Search results for: Jean-Francois Raskin
Acta Informatica > 2018 > 55 > 8 > 627-647
Information and Computation > 2017 > 254 > P2 > 259-295
Information and Computation > 2017 > 254 > P2 > 296-315
Formal Methods in System Design > 2017 > 50 > 2-3 > 207-248
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 49-64
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 173-187
Lecture Notes in Computer Science > Computer Aided Verification > Automata and Transition Systems > 394-407
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 158-172
Acta Informatica > 2017 > 54 > 1 > 41-83
Acta Informatica > 2017 > 54 > 1 > 3-39
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 > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 287-298
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 155-164
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Invited Talks > 2-22