A framework for the synthesis of reactive modules
International Conference on Concurrency on Concurrency 88
On the development of reactive systems
Logics and models of concurrent systems
Theoretical Computer Science
An old-fashioned recipe for real time
ACM Transactions on Programming Languages and Systems (TOPLAS)
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
The complexity of probabilistic verification
Journal of the ACM (JACM)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Automatic verification of real-time systems with discrete probability distributions
Theoretical Computer Science
Probabilistic simulations for probabilistic processes
Nordic Journal of Computing
Proceedings of the First International Workshop on Embedded Software
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Symbolic Algorithms for Infinite-State Games
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Modularity for Timed and Hybrid Systems
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Efficient on-the-fly algorithms for the analysis of timed games
CONCUR 2005 - Concurrency Theory
Verifying temporal properties of finite-state probabilistic programs
SFCS '88 Proceedings of the 29th Annual Symposium on Foundations of Computer Science
Games, Time, and Probability: Graph Models for System Design and Analysis
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Verification of Digital and Hybrid Systems (Nato ASI Series (closed) / Nato ASI Subseries F
Verification of Digital and Hybrid Systems (Nato ASI Series (closed) / Nato ASI Subseries F
| Hi-index | 0.00 |
Recent embedded systems are composed of many components, and each component is an open system, and it has both real-time properties and uncertainties. We specify each component using timing constraints and probabilities, and compose systems from all the components. In order to treat them, we develop the followings: First we develop probabilistic timed game automata based on a probabilistic timed game as a computational model. Next we develop probabilistic timed game verification.