( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Statistical Model Checking of LLVM Code.

, , , и . FM, том 10951 из Lecture Notes in Computer Science, стр. 542-549. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sylvain Legay

Jürgen Axel

Bertil Axelson

Erik Axell

Katrin Axel-Tober

 

Другие публикации лиц с тем же именем

Homotopy Bisimilarity for Higher-Dimensional Automata., и . CoRR, (2014)Towards sampling and simulation-based analysis of featured weighted automata., , , и . FormaliSE@ICSE, стр. 61-64. IEEE / ACM, (2019)Towards statistical prioritization for software product lines testing., , , , , и . VaMoS, стр. 10:1-10:7. ACM, (2014)Search-based Similarity-driven Behavioural SPL Testing., , , , и . VaMoS, стр. 89-96. ACM, (2016)Modal interfaces: unifying interface automata and modal specifications., , , , , и . EMSOFT, стр. 87-96. ACM, (2009)Sequential Relational Decomposition., , , и . CoRR, (2019)PyEcdar: Towards Open Source Implementation for Timed Systems., и . ATVA, том 8172 из Lecture Notes in Computer Science, стр. 460-463. Springer, (2013)Controlling Security Rules Using Natural Dialogue: an Application to Smart Home Care., , , , и . UbiComp/ISWC Adjunct, стр. 194-197. ACM, (2021)Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals., , , , и . SPIN, том 13255 из Lecture Notes in Computer Science, стр. 61-78. Springer, (2022)C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs., , , и . SPIN, том 12864 из Lecture Notes in Computer Science, стр. 101-119. Springer, (2021)