A Class of Decidable Parametric Hybrid Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Preemptive Job-Shop Scheduling Using Stopwatch Automata
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Verification of duration systems using an approximation approach
Journal of Computer Science and Technology
Duration Properties over Real Time System Designs
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Optimal paths in weighted timed automata
Theoretical Computer Science - Logic, semantics and theory of programming
On the expressiveness and decidability of o-minimal hybrid systems
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
On model-checking timed automata with stopwatch observers
Information and Computation
On the optimal reachability problem of weighted timed automata
Formal Methods in System Design
Towards verifiable deeply embedded systems
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Scheduling for Reliable Execution in Autonomic Systems
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
Concavely-Priced Timed Automata
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Scheduling policy design for autonomic systems
International Journal of Autonomous and Adaptive Communications Systems
On model-checking timed automata with stopwatch observers
Information and Computation
On the expressiveness and decidability of o-minimal hybrid systems
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Timed automata with observers under energy constraints
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
A model-based approach for multiple QoS in scheduling: from models to implementation
Automated Software Engineering
Quantitative analysis of real-time systems using priced timed automata
Communications of the ACM
Interrupt Timed Automata: verification and expressiveness
Formal Methods in System Design
Timed temporal logics for abstracting transient states
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Verification of linear duration properties over continuous-time markov chains
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
The scheduling problem of self-suspending periodic real-time tasks
Proceedings of the 20th International Conference on Real-Time and Network Systems
Verification of linear duration properties over continuous-time markov chains
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.02 |