Autor der Publikation

Property-Based Monitoring of Analog and Mixed-Signal Systems.

, , , und . FORMATS, Volume 6246 von Lecture Notes in Computer Science, Seite 23-24. Springer, (2010)

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

The Definition of a Temporal Clock Operator., , , , und . ICALP, Volume 2719 von Lecture Notes in Computer Science, Seite 857-870. Springer, (2003)Virtual Symmetry Reduction., , und . LICS, Seite 121-131. IEEE Computer Society, (2000)Realtime regular expressions for analog and mixed-signal assertions., und . FMCAD, Seite 155-162. FMCAD Inc., (2011)Property-Based Monitoring of Analog and Mixed-Signal Systems., , , und . FORMATS, Volume 6246 von Lecture Notes in Computer Science, Seite 23-24. Springer, (2010)Formal Verification Successes at Motorola., , , , und . Formal Methods Syst. Des., 22 (2): 117-123 (2003)A Method for Synthesizing Boolean Constrains., , , , und . IWLS, Seite 351-353. (2002)Some Complexity Results for SystemVerilog Assertions., und . CAV, Volume 4144 von Lecture Notes in Computer Science, Seite 205-218. Springer, (2006)A topological characterization of weakness., , und . PODC, Seite 1-8. ACM, (2005)Reasoning with Temporal Logic on Truncated Paths., , , , , und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 27-39. Springer, (2003)Computable Obstructions to Wait-free Computability.. FOCS, Seite 80-89. IEEE Computer Society, (1997)