Autor der Publikation

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

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System., , und . Formal Methods in System Design, 17 (2): 163-192 (2000)Performance analysis and optimization of a distributed Video on Demand service., , , und . ISPASS, Seite 156-165. IEEE Computer Society, (2003)Timing analysis of industrial real-time systems., , , und . WIFT, Seite 97-107. IEEE Computer Society, (1995)Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers.. FORTE, Volume 135 von IFIP Conference Proceedings, Seite 249-263. Kluwer, (1998)Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms., und . STTT, 2 (3): 260-269 (1999)Temporal Verification of Real-Time Systems., , , , und . IEICE Transactions, 78-D (7): 796-801 (1995)Fighting pollution in P2P live streaming systems., , und . ICME, Seite 481-484. IEEE Computer Society, (2008)Compositional Reasoning in Model Checking., , und . COMPOS, Volume 1536 von Lecture Notes in Computer Science, Seite 81-102. Springer, (1997)Formal verification and analysis of multimedia systems., , , und . ACM Multimedia (1), Seite 419-430. ACM, (1999)Efficient Secondary Database Driven Annotation Using Model Organism Sequences., , , , , und . Silico Biol., 6 (5): 363-372 (2006)