Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
A Framework for Embedded Real-Time System Design
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
On the Construction of Live Timed Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Methodology for the Construction of Scheduled Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Formalising scheduling theories in duration calculus
Nordic Journal of Computing
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Tabled resolution + constraints: a recipe for model checking real-time systems
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
A model-based approach for multiple QoS in scheduling: from models to implementation
Automated Software Engineering
Embedded Systems Design
| Hi-index | 0.00 |