LEADER 04552nam 22007815 450 001 996466265403316 005 20230330011013.0 010 $a3-642-33365-6 024 7 $a10.1007/978-3-642-33365-1 035 $a(CKB)3460000000085334 035 $a(SSID)ssj0000767513 035 $a(PQKBManifestationID)11436209 035 $a(PQKBTitleCode)TC0000767513 035 $a(PQKBWorkID)10741618 035 $a(PQKB)10424885 035 $a(DE-He213)978-3-642-33365-1 035 $a(MiAaPQ)EBC3071008 035 $a(PPN)168324261 035 $a(EXLCZ)993460000000085334 100 $a20120831d2012 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] $e10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings /$fedited by Marcin Jurdzinski, Dejan Nickovic 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (X, 267 p. 71 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7595 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-33364-8 320 $aIncludes bibliographical references and author index. 327 $aInvited Talks -- Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems (Extended Abstract) -- Statistical Model Checking, Refinement Checking, Optimization, for Stochastic Hybrid Systems.-Robustness of Time Petri Nets under Architectural Constraints -- Toward a Timed Theory of Channel Coding -- Playing Optimally on Timed Automata with Random Delays -- Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems -- Revisiting Timed Specification Theories: A Linear-Time Perspective -- Multi-core Reachability for Timed Automata -- Counterexample-Guided Synthesis of Observation Predicates -- Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems -- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition -- Reducing Quasi-Equal Clocks in Networks of Timed Automata -- SMT-Based Induction Methods for Timed Systems -- Timed Automata with Disjoint Activity -- The Complexity of Bounded Synthesis for Timed Control with Partial Observability -- Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics -- Frequencies in Forgetful Timed Automata -- Mcta: Heuristics and Search for Timed Systems. 330 $aThis book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7595 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aMachine theory 606 $aComputer programming 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aFormal Languages and Automata Theory 606 $aProgramming Techniques 606 $aAlgorithms 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aMachine theory. 615 0$aComputer programming. 615 0$aAlgorithms. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aFormal Languages and Automata Theory. 615 24$aProgramming Techniques. 615 24$aAlgorithms. 676 $a004.01/51 702 $aJurdzinski$b Marcin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNickovic$b Dejan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFORMATS 2012 906 $aBOOK 912 $a996466265403316 996 $aFormal Modeling and Analysis of Timed Systems$9772562 997 $aUNISA