Search results for: Saddek Bensalem
Real-Time Systems > 2019 > 55 > 4 > 709-773
Innovations in Systems and Software Engineering > 2018 > 14 > 2 > 117-142
Design Automation for Embedded Systems > 2018 > 22 > 1-2 > 141-181
Innovations in Systems and Software Engineering > 2018 > 14 > 2 > 101-116
Formal Aspects of Computing > 2017 > 29 > 6 > 951-986
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 150-167
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Model Checking > 64-79
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 52-66
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 466-471
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Components and Architecture > 32-46
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 453-458
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > PADTAD > 208-223
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Merging Formal and Testing > 120-135