( en | de | ru )

 

Disambiguation of "Legay, Axel"

Author of the publication

copydeleteadd this publication to your clipboard
Model-based mutant equivalence detection using automata language equivalence and simulations.

, , , , , and . J. Syst. Softw., (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. You can also use the button next to the name to display some publications already assigned to the person.

Sylvain Legay

Jürgen Axel

Bertil Axelson

Erik Axell

Katrin Axel-Tober

 

Other publications of authors with the same name

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)., , , and . Dagstuhl Reports, 3 (2): 144-170 (2013)Model checking lots of systems: efficient verification of temporal properties in software product lines., , , , and . ICSE (1), page 335-344. ACM, (2010)T(O)RMC: A Tool for (omega)-Regular Model Checking.. CAV, volume 5123 of Lecture Notes in Computer Science, page 548-551. Springer, (2008)PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library., , , and . QEST, volume 8054 of Lecture Notes in Computer Science, page 160-164. Springer, (2013)Combined software and hardware fault injection vulnerability detection., , and . Innov. Syst. Softw. Eng., 16 (2): 101-120 (2020)Formal Methods Meet Machine Learning (F3ML)., , , , , and . ISoLA (3), volume 13703 of Lecture Notes in Computer Science, page 393-405. Springer, (2022)Optimizing the resource requirements of hierarchical scheduling systems., , , , , , , and . SIGBED Rev., 13 (3): 41-48 (2016)Robust synthesis for real-time systems., , , and . Theor. Comput. Sci., (2014)User Reception of Babylon Health's Chatbot., , and . VISIGRAPP (2: HUCAPP), page 134-141. SCITEPRESS, (2022)Secure federated learning applied to medical imaging with fully homomorphic encryption., , , , , and . ICAIC, page 1-12. IEEE, (2024)