Search results for: Joseph Sifakis
Software & Systems Modeling > 2019 > 18 > 3 > 1613-1636
Journal of Logical and Algebraic Methods in Programming > 2017 > 92 > C > 19-44
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 2-29
Lecture Notes in Computer Science > Computer Aided Verification > Tool Presentations: Model-Checking and Automata Techniques > 391-395
Lecture Notes in Computer Science > Embedded Systems Design > Component-Based Design and Integration Platforms > 103-113
Lecture Notes in Computer Science > Embedded Systems Design > Adaptive Real-Time Systems for Quality of Service Management > 305-315
Lecture Notes in Computer Science > Embedded Systems Design > Hard Real-Time Development Environments > 63-71
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Embedded Systems Design > Adaptive Real-Time Systems for Quality of Service Management > 352-372
Lecture Notes in Computer Science > Embedded Systems Design > Component-Based Design and Integration Platforms > 160-193
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed and Hybrid Systems > 109-126
Lecture Notes in Computer Science > Embedded Systems Design > Hard Real-Time Development Environments > 39-53
Lecture Notes in Computer Science > Logics of Programs > 458-473
Lecture Notes in Computer Science > Composition of Embedded Systems. Scientific and Industrial Issues > Software Engineering for Embedded Systems > 75-96