Search results for: Julien Schmaltz
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Learning Techniques for Software Verification and Validation > 673-686
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 5. Verification and Test > 250-264
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Selected Posters > 207-209
Lecture Notes in Computer Science > FM 2009: Formal Methods > Special Track: Industrial Applications I > 516-531
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 310-325
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers 1 > 150-157
Lecture Notes in Computer Science
IEEE Transactions on Parallel and Distributed Systems > 2014 > 25 > 8 > 1935 - 1944
Theoretical Computer Science > 2012 > 413 > 1 > 87-105
Journal of Automated Reasoning > 2012 > 48 > 4 > 419-439