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

Architectural Modeling and Analysis for Safety Engineering., , , und . IMBSA, Volume 10437 von Lecture Notes in Computer Science, Seite 97-111. Springer, (2017)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)Proofs for Incremental SAT with Inprocessing., und . FMCAD, Seite 132-140. IEEE, (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)Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers., , , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 348-366. Springer, (2023)Requirements Coverage as an Adequacy Measure for Conformance Testing., , , und . ICFEM, Volume 5256 von Lecture Notes in Computer Science, Seite 86-104. Springer, (2008)