Timed Automata with Asynchronous Processes: Schedulability and Decidability
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Timed Automata with Asynchronous Processes: Schedulability and Decidability
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Code synthesis for timed automata
Nordic Journal of Computing
Towards formal specification and analysis of avionics mission systems
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
FSM-Hume: programming resource-limited systems using bounded automata
Proceedings of the 2004 ACM symposium on Applied computing
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
Proceedings of the 26th International Conference on Software Engineering
Mutation-Based Testing Criteria for Timeliness
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A generic approach to schedulability analysis of real-time tasks
Nordic Journal of Computing
IEEE Transactions on Software Engineering
Schedulability analysis of fixed-priority systems using timed automata
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Performance analysis of multimedia applications using correlated streams
Proceedings of the conference on Design, automation and test in Europe
Task automata: Schedulability, decidability and undecidability
Information and Computation
Robust safety of timed automata
Formal Methods in System Design
Process-Algebraic Interpretation of AADL Models
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Schedulability analysis using two clocks
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Schedulability analysis using Uppaal: Herschel-Planck case study
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Developing UPPAAL over 15 years
Software—Practice & Experience
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification and verification of real-time systems using POLA
International Journal of Critical Computer-Based Systems
Compositional specification of real time embedded systems by priority time Petri Nets
The Journal of Supercomputing
Embedded Systems Design
The zerberus language: describing the functional model of dependable real-time systems
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Specification and verification of real-time systems using the POLA tool
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Modeling and verification of real-time embedded systems
ISIICT'09 Proceedings of the Third international conference on Innovation and Information and Communication Technology
Safety-critical Java with cyclic executives on chip-multiprocessors
Concurrency and Computation: Practice & Experience
User-defined schedulers for real-time concurrent objects
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |