Autor der Publikation

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.

, , und . ICTAC Training School on Software Engineering, Volume 8050 von Lecture Notes in Computer Science, Seite 67-108. Springer, (2013)

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

Extending modal transition systems with structured labels., , , , und . Mathematical Structures in Computer Science, 22 (4): 581-617 (2012)Model-Based Verification and Analysis for Real-Time Systems., , und . Software and Systems Safety - Specification and Verification, Volume 30 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)Metrics for weighted transition systems: Axiomatization and complexity., , und . Theor. Comput. Sci., 412 (28): 3358-3369 (2011)Constraint Markov Chains., , , , , und . Theor. Comput. Sci., 412 (34): 4373-4404 (2011)A modal specification theory for components with data., , , , und . Sci. Comput. Program., (2014)Learning deterministic probabilistic automata from a model checking perspective., , , , , und . Machine Learning, 105 (2): 255-299 (2016)Complete Axiomatization for the Total Variation Distance of Markov Chains., , , und . Electr. Notes Theor. Comput. Sci., (2018)Topologies of Stochastic Markov Models: Computational Aspects., , , und . CoRR, (2014)Compositional bisimulation metric reasoning with Probabilistic Process Calculi., , und . Logical Methods in Computer Science, (2016)Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation., , , , , , , , , und 1 andere Autor(en). Petri Nets, Volume 10258 von Lecture Notes in Computer Science, Seite 139-158. Springer, (2017)