Autor der Publikation

Towards Realizability Checking of Contracts Using Theories.

, , , , und . NFM, Volume 9058 von Lecture Notes in Computer Science, Seite 173-187. Springer, (2015)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-Checking of Safety-Critical Software for Avionics., , und . ERCIM News, (2008)Machine-Checked Proofs for Realizability Checking Algorithms., , und . VSTTE, Volume 9593 von Lecture Notes in Computer Science, Seite 110-123. Springer, (2015)Inductive Validity Cores., , , und . IEEE Trans. Software Eng., 47 (2): 279-299 (2021)Development of Security Software: A High Assurance Methodology., , , , und . ICFEM, Volume 5885 von Lecture Notes in Computer Science, Seite 266-285. Springer, (2009)Architectural Modeling and Analysis for Safety Engineering., , , und . IMBSA, Volume 10437 von Lecture Notes in Computer Science, Seite 97-111. Springer, (2017)Proofs for Incremental SAT with Inprocessing., und . FMCAD, Seite 132-140. IEEE, (2023)Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers., , , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 348-366. Springer, (2023)Hierarchical multi-formalism proofs of cyber-physical systems., , , , , , und . MEMOCODE, Seite 90-95. IEEE, (2015)Structuring simulink models for verification and reuse., , , und . MiSE, Seite 19-24. ACM, (2014)The effect of program and model structure on mc/dc test adequacy coverage., , und . ICSE, Seite 161-170. ACM, (2008)