Search results for: Laurent Doyen
Applied Stochastic Models in Business and Industry > 39 > 3 > 352 - 371
Safety and Reliability of Systems and Processes > 2023 > Summer Safety and Reliability Seminar 2023 > 7--17
Applied Stochastic Models in Business and Industry > 37 > 3 > 592 - 611
Reliability Engineering & System Safety > 2017 > 168 > C > 40-52
Information and Computation > 2017 > 254 > P2 > 296-315
Lecture Notes in Computer Science > Automata, Languages and Programming > Track B: Invited Lectures > 1-15
IEEE Transactions on Reliability > 2016 > 65 > 3 > 1343 - 1359
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 118-133
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2011 > Contributed Papers > 206-218
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Invited Talks > 2-22
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools I > 58-61
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 183-197
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B6: Hybrid Systems > 416-427