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
Feedback