Search results for: Marius Bozga
Real-Time Systems > 2019 > 55 > 4 > 709-773
Design Automation for Embedded Systems > 2018 > 22 > 1-2 > 141-181
Software: Practice and Experience > 48 > 6 > 1167 - 1194
Formal Aspects of Computing > 2017 > 29 > 6 > 951-986
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Invited Talks > 1-17
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 2 > 122-136
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Contributed Papers > 4-18
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Model Checking > 64-79
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Diagnostic and Test Generation > 235-250
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 52-66
Lecture Notes in Computer Science > Static Analysis > Concurrency > 164-178
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Bounded Model Checking > 225-243