Raúl E. Monti

Raúl E. Monti

University of Twente - Enschede / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 6026245
Universiteit Twente
person_outline Raúl E. Monti's MOST POPULAR ARTICLES
1-) Compositional construction of importance functions in fullyCE Budde, PR D’Argenio, RE MontiEuropean Transactions on Telecommunications 13 (4), 363-371, 2002242002
2-) Input/Output Stochastic Automata: Compositionality and DeterminismPR D’Argenio, MD Lee, RE MontiInternational Conference on Formal Modeling and Analysis of Timed Systems, 53-68, 2016222016
3-) Rare event simulation for non-Markovian repairable fault treesCE Budde, M Biagi, RE Monti, PR D’Argenio, M StoelingaInternational Conference on Tools and Algorithms for the Construction and …, 2020132020
4-) On the Industrial Application of Critical Software Verification with VerCorsM Huisman, RE MontiLeveraging Applications of Formal Methods, Verification and Validation …, 2020132020
5-) Input/output stochastic automata with urgency: confluence and weak determinismPR D’Argenio, RE MontiInternational Colloquium on Theoretical Aspects of Computing, 132-152, 2018132018