LEADER 05391nam 22007575 450 001 9910484183903321 005 20230406003321.0 010 $a3-540-75454-7 024 7 $a10.1007/978-3-540-75454-1 035 $a(CKB)1000000000490584 035 $a(SSID)ssj0000317724 035 $a(PQKBManifestationID)11248521 035 $a(PQKBTitleCode)TC0000317724 035 $a(PQKBWorkID)10308059 035 $a(PQKB)11372606 035 $a(DE-He213)978-3-540-75454-1 035 $a(MiAaPQ)EBC3063241 035 $a(MiAaPQ)EBC6806094 035 $a(Au-PeEL)EBL6806094 035 $a(OCoLC)184982172 035 $a(PPN)123165474 035 $a(EXLCZ)991000000000490584 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Modeling and Analysis of Timed Systems $e5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings /$fedited by Jean-Francois Raskin, P.S. Thiagarajan 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (X, 372 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4763 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-75453-9 320 $aIncludes bibliographical references and index. 327 $aAbstraction 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. 330 $aThis volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed and results reportingnewapplicationdomainsareactivelyencouraged.Further,invitedtalks that survey various aspects of this broad research domain were presented at the conference. FORMATS 2007 was co-located (during October 3?5) as a guest conference attheEmbeddedSystemsWeek,whichconstitutesaweek-longeventthatbrings togetherconferences,tutorialsandworkshopsdealingwithvariousaspectsof- bedded systemsresearchanddevelopment. Embedded Systems Week took place this year at Salzburg, Austria during September 30 - October 5, 2007. Detailed information about FORMATS 2007 can be found at http://www.ulb.ac.be/ di/formats07, while http://www.esweek.org provides an overview of the - bedded Systems Week Event. We would like to thank the organizers of the - bedded Systems Week for enabling FORMATS 2007 to be co-located at this exciting event and for providing valuable logistics support. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4763 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputers, Special purpose 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aSpecial Purpose and Application-Based Systems 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aComputers, Special purpose. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a003.3 702 $aThiagarajan$b P. S. 702 $aRaskin$b Jean-Franc?ois$f1972- 712 12$aFORMATS 2007 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484183903321 996 $aFormal Modeling and Analysis of Timed Systems$9772562 997 $aUNINA