PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Cimatti, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Software model checking via large-block encoding.

, , , , und . FMCAD, Seite 25-32. IEEE, (2009)

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.

Keine Personen gefunden für den Autorennamen Cimatti, Alessandro
Eine Person hinzufügen mit dem Namen Cimatti, Alessandro
 

Weitere Publikationen von Autoren mit dem selben Namen

Improving Heuristics for Planning as Search in Belief Space., und . AIPS, Seite 143-152. AAAI, (2002)Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach., , und . AAAI, Seite 3254-3260. AAAI Press, (2015)Solving Temporal Problems Using SMT: Weak Controllability., , und . AAAI, AAAI Press, (2012)IC3 Modulo Theories via Implicit Predicate Abstraction., , , und . CoRR, (2013)Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions., , , , und . ACM Trans. Comput. Log., 19 (3): 19:1-19:52 (2018)Symbolic Implementation of Alternating Automata., , , und . Int. J. Found. Comput. Sci., 18 (4): 727-743 (2007)Kratos - A Software Model Checker for SystemC., , , , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 310-316. Springer, (2011)Efficient Scenario Verification for Hybrid Automata., , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 317-332. Springer, (2011)Formal Design and Safety Analysis of AIR6110 Wheel Brake System., , , , , , , und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 518-535. Springer, (2015)Boolean Abstraction for Temporal Logic Satisfiability., , , und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 532-546. Springer, (2007)