LEADER 04857nam 22007935 450 001 996465918303316 005 20230223035950.0 010 $a3-540-85778-8 024 7 $a10.1007/978-3-540-85778-5 035 $a(CKB)1000000000490583 035 $a(SSID)ssj0000715668 035 $a(PQKBManifestationID)11423832 035 $a(PQKBTitleCode)TC0000715668 035 $a(PQKBWorkID)10720820 035 $a(PQKB)10158959 035 $a(DE-He213)978-3-540-85778-5 035 $a(MiAaPQ)EBC3063530 035 $a(MiAaPQ)EBC6511670 035 $a(Au-PeEL)EBL6511670 035 $a(OCoLC)288567880 035 $a(PPN)12906257X 035 $a(EXLCZ)991000000000490583 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Modeling and Analysis of Timed Systems$b[electronic resource] $e6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings /$fedited by Franck Cassez, Claude Jard 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (X, 295 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5215 300 $aIncludes index. 311 $a3-540-85777-X 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Some Recent Results in Metric Temporal Logic -- Composing Web Services in an Open World: Issues of Quality of Service -- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets -- Session 1. Extensions of Timed Automata and Semantics -- Infinite Runs in Weighted Timed Automata with Energy Constraints -- Concavely-Priced Timed Automata -- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets -- Timed Automata with Integer Resets: Language Inclusion and Expressiveness -- Session 2. Timed Games and Logic -- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities -- MTL with Bounded Variability: Decidability and Complexity -- Timed Parity Games: Complexity and Robustness -- On Scheduling Policies for Streams of Structured Jobs -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling and Scheduling of Datapaths of Digital Document Printers -- Session 4. Model-Checking of Probabilistic Systems -- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks -- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains -- Session 5. Verification and Test -- Convergence Verification: From Shared Memory to Partially Synchronous Systems -- Compositional Abstraction in Real-Time Model Checking -- On Conformance Testing for Timed Systems -- Session 6. Time Petri Nets -- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs -- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. 330 $aThis book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5215 606 $aComputer programming 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aProgramming Techniques 606 $aTheory of Computation 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aModels of Computation 606 $aCompilers and Interpreters 615 0$aComputer programming. 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 14$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aModels of Computation. 615 24$aCompilers and Interpreters. 676 $a004.33 702 $aJard$b Claude 702 $aCassez$b Franck$f1967- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465918303316 996 $aFormal Modeling and Analysis of Timed Systems$9772562 997 $aUNISA