Search results for: Gilles Geeraerts
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 > 85-125
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 287-298
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B6: Hybrid Systems > 416-427
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 4: Verification and Testing > 209-224
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 98-113
Formal Methods in System Design > 2014 > 45 > 3 > 330-380
Real-Time Systems > 2013 > 49 > 2 > 171-218
Acta Informatica > 2007 > 44 > 3-4 > 249-288