Search results for: Carlo A. Furia
Formal Aspects of Computing > 2018 > 30 > 5 > 495-523
Annals of Mathematics and Artificial Intelligence > 2017 > 80 > 3-4 > 283-316
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 128-142
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 215-229
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Requirements and Specifications > 127-141
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Automatic Proofs and Provers > 326-340
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 4. Real-Time and Concurrency > 132-147
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 408-417
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 382-398
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 2. Timed Games and Logic > 109-123
Lecture Notes in Computer Science > Computer and Information Sciences - ISCIS 2004 > Modeling and Performance Evaluation > 718-728
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 6 > 697-716
IEEE Transactions on Software Engineering > 2015 > 41 > 10 > 1019 - 1037