| Description |
1 online resource (x, 368 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 4763 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 4763. 0302-9743
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Abstraction of Probabilistic Systems -- From Analysis to Design -- Efficient On-the-Fly Algorithms for Partially Observable Timed Games -- Undecidability of Universality for Timed Automata with Minimal Resources -- On Timed Models of Gene Networks -- Costs Are Expensive! -- Hypervolume Approximation in Timed Automata Model Checking -- Counter-Free Input-Determined Timed Automata -- Towards Budgeting in Real-Time Calculus: Deferrable Servers -- Automatic Abstraction Refinement for Timed Automata -- Dynamical Properties of Timed Automata Revisited -- Robust Sampling for MITL Specifications -- On the Expressiveness of MTL Variants over Dense Time -- Quantitative Model Checking Revisited: Neither Decidable Nor Approximable -- Efficient Detection of Zeno Runs in Timed Automata -- Partial Order Reduction for Verification of Real-Time Components -- Guided Controller Synthesis for Climate Controller Using Uppaal Tiga -- Symbolic Reachability Analysis of Lazy Linear Hybrid Automata -- Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters -- Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times -- Designing Consistent Multimedia Documents: The RT-LOTOS Methodology -- AMT: A Property-Based Monitoring Tool for Analog Systems -- Region Stability Proofs for Hybrid Systems -- CSL Model Checking Algorithms for Infinite-State Structured Markov Chains -- Symbolic Simulation-Checking of Dense-Time Automata |
| Summary |
This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007, held in Salzburg, Austria, in October 2007. The 22 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 48 submissions. The papers cover work on foundations and semantics of timed systems including timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, and probabilistic models. There are contributions on techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints such as scheduling, worst-case execution time analysis, optimisation, model-checking, testing, constraint solving, etc.; finally there are articles on applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication |
| Analysis |
systemen |
|
systems |
|
computerwetenschappen |
|
computer sciences |
|
programmeertalen |
|
programming languages |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Print version record |
| Subject |
Computer simulation -- Congresses
|
|
Temporal automata -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
Informatique.
|
|
Computer simulation
|
|
Formal methods (Computer science)
|
|
Temporal automata
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Raskin, Jean-François, 1972-
|
|
Thiagarajan, P. S.
|
| ISBN |
9783540754541 |
|
3540754547 |
|
9783540754534 |
|
3540754539 |
|
