E-Books durchsuchen
Formal Modeling and Analysis of Timed Systems [2008]
- 1
-
Some Recent Results in Metric Temporal Logic
- 2
-
Composing Web Services in an Open World: Issues of Quality of Service
- 3
-
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- 4
-
Infinite Runs in Weighted Timed Automata with Energy Constraints
- 5
-
Concavely-Priced Timed Automata
- 6
-
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
- 7
-
Timed Automata with Integer Resets: Language Inclusion and Expressiveness
- 8
-
Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
- 9
-
MTL with Bounded Variability: Decidability and Complexity
- 11
-
On Scheduling Policies for Streams of Structured Jobs
- 12
-
A Framework for Distributing Real-Time Functions
- 13
-
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
- 15
-
Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
- 17
-
Compositional Abstraction in Real-Time Model Checking
- 18
-
On Conformance Testing for Timed Systems
- 19
-
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs
- 20
-
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
- 124
-
Timed Parity Games: Complexity and Robustness
- 188
-
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks
- 218
-
Convergence Verification: From Shared Memory to Partially Synchronous Systems