( en | de | ru )

 

Disambiguierung von "Biagi, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An introduction to the ORIS tool.

, , , und . VALUETOOLS, Seite 9-11. ACM, (2017)

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.

Arno Biagi

Francesca Biagini

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Monika Marcotty

 

Weitere Publikationen von Autoren mit dem selben Namen

Rare Event Simulation for non-Markovian repairable Fault Trees., , , , und . CoRR, (2019)A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling., , , , und . EPEW, Volume 9951 von Lecture Notes in Computer Science, Seite 32-47. Springer, (2016)Rare Event Simulation for Non-Markovian Repairable Fault Trees., , , , und . TACAS (1), Volume 12078 von Lecture Notes in Computer Science, Seite 463-482. Springer, (2020)Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes., , , , und . QEST, Volume 10503 von Lecture Notes in Computer Science, Seite 20-35. Springer, (2017)An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines., , , , und . EPEW, Volume 10497 von Lecture Notes in Computer Science, Seite 152-166. Springer, (2017)Hospital Inventory Management Through Markov Decision Processes @runtime., , , und . QEST, Volume 11024 von Lecture Notes in Computer Science, Seite 87-103. Springer, (2018)A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments., , , , und . IEEE Trans. Hum. Mach. Syst., 49 (4): 293-303 (2019)Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow., , , und . ETFA, Seite 456-463. IEEE, (2018)The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems., , , und . IEEE Trans. Software Eng., 47 (6): 1211-1225 (2021)Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks., , , und . ACM Trans. Cyber Phys. Syst., 3 (2): 19:1-19:26 (2019)