Temporal verification of RT-DEVS models with implementation aspects

Load adaptive dynamic scheduling of tasks with hard deadlines useful for industrial applications

Computing

A theory of timed automata

Theoretical Computer Science

Theory of Modeling and Simulation

Theory of Modeling and Simulation

Concurrent and Real-Time Programming in Java

Concurrent and Real-Time Programming in Java

Application of Real-Time DEVS to Analysis of Safety-Critical Embedded Control Systems: Railroad Crossing Control Example

Simulation

Actor-Based Simulation of PDEVS systems over HLA

ANSS-41 '08 Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)

Model continuity in the design of dynamic distributed real-time systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans