Search results for: Axel Legay
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 6 > 667-677
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 6 > 635-649
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 6 > 607-612
Formal Aspects of Computing > 2019 > 31 > 2 > 165-206
Journal of Reliable Intelligent Environments > 2018 > 4 > 2 > 107-120
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 4 > 397-422
International Journal of Information Security > 2018 > 17 > 4 > 395-409
Soft Computing > 2018 > 22 > 4 > 1139-1158
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Section 2: Regular Papers > 149-163
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Modeling Visions > 490-500
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 2: Robustness > 129-144
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The QUASIMODO Project > 290-310
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2011 > Contributed Papers > 60-71
Lecture Notes in Computer Science > Computer Aided Verification > Session 16: Tools – Model Checking > 548-551