Limit search to available items
Book Cover
Author FORMATS (Conference) (5th : 2007 : Salzburg, Austria)

Title Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings / Jean-Francois Raskin, P.S. Thiagarajan (eds.)
Published Berlin ; New York : Springer, 2007
Online access available from:
Springer eBooks    View Resource Record  


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
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Computer simulation -- Congresses.
Temporal automata -- Congresses.
Formal methods (Computer science) -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Raskin, Jean-Fran├žois, 1972-
Thiagarajan, P. S.
ISBN 9783540754541
Other Titles FORMATS 2007