( en | de | ru )

 

Disambiguierung von "Legay, Axel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Beyond boolean product-line model checking: dealing with feature attributes and multi-features.

, , , und . ICSE, Seite 472-481. IEEE Computer Society, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sylvain Legay

Jürgen Axel

Bertil Axelson

Erik Axell

Katrin Axel-Tober

 

Weitere Publikationen von Autoren mit dem selben Namen

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