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

Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm., , und . IEEE Software, 29 (1): 76-83 (2012)Automatic Code Generation from Real-Time Systems Specifications., , , und . IEEE International Workshop on Rapid System Prototyping, Seite 102-105. IEEE Computer Society, (2009)Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes., , und . QEST, Seite 231-240. IEEE Computer Society, (2010)A quantitative approach for imput generation in real-time testing of stochastic systems.. University of Florence, Italy, (2012)Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle., , und . IEEE Trans. Software Eng., 37 (6): 826-844 (2011)Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems., , und . ETFA, Seite 1-8. IEEE, (2009)Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers., , , und . QEST, Seite 131-140. IEEE Computer Society, (2011)Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models., , und . QEST, Seite 153-154. IEEE Computer Society, (2011)A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems., , und . IEEE Trans. Software Eng., 39 (3): 292-304 (2013)A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models., , und . SAFECOMP, Volume 6894 von Lecture Notes in Computer Science, Seite 409-422. Springer, (2011)