Search results for: Pierre Ganty
Fundamenta Informaticae > 2021 > Vol. 184, nr 1 > 1-47
Formal Methods in System Design > 2017 > 50 > 2-3 > 140-167
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 49-64
Acta Informatica > 2017 > 54 > 2 > 191-215
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 5 > 565-584
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed Systems > 342-356
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 155-164
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 124-143
Lecture Notes in Computer Science > Computer Aided Verification > Session 13. Concurrent Program Verification II > 600-614
Formal Methods in System Design > 2012 > 40 > 2 > 206-231
Information Processing Letters > 2011 > 111 > 12 > 614-619
Theoretical Computer Science > 2010 > 411 > 38-39 > 3444-3459