Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2005.
|
| Σειρά: | Lecture Notes in Computer Science,
3829 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Invited Talk
- Modular Performance Analysis of Distributed Embedded Systems
- Logic and Specification
- Real Time Temporal Logic: Past, Present, Future
- Translating Timed I/O Automata Specifications for Theorem Proving in PVS
- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams
- Times Games and Synthesis
- On Optimal Timed Strategies
- Average Reward Timed Games
- Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness
- Invited Talk
- Verification of Parameterized Timed Systems
- Model Checking
- Model Checking the Time to Reach Agreement
- Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems
- A New Verification Procedure for Partially Clairvoyant Scheduling
- Invited Talk
- Timing Analysis and Simulation Tools for Real-Time Control
- Hybrid Systems
- Automatic Rectangular Refinement of Affine Hybrid Systems
- Reachability Problems on Extended O-Minimal Hybrid Automata
- Counterexamples for Timed Probabilistic Reachability
- Petri Nets
- Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
- Comparison of the Expressiveness of Timed Automata and Time Petri Nets
- Semantics
- Quantifying Similarities Between Timed Systems
- Performance of Pipelined Asynchronous Systems
- Is Timed Branching Bisimilarity an Equivalence Indeed?
- Semantics and Modelling
- Implementation of Timed Automata: An Issue of Semantics or Modeling?
- Timed Abstract Non-interference.
