03469nam 2200589 a 450 991048385300332120200520144314.010.1007/11603009(CKB)1000000000213569(SSID)ssj0000317726(PQKBManifestationID)11248913(PQKBTitleCode)TC0000317726(PQKBWorkID)10294611(PQKB)10041810(DE-He213)978-3-540-31616-9(MiAaPQ)EBC3068413(PPN)123099064(EXLCZ)99100000000021356920051110d2005 uy 0engurnn|008mamaatxtccrFormal modeling and analysis of timed systems third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings /Paul Pettersson, Wang Yi (eds.)1st ed. 2005.Berlin ;New York Springerc20051 online resource (IX, 305 p.) Lecture notes in computer science,0302-9743 ;3829Bibliographic Level Mode of Issuance: MonographPrinted edition: 9783540309468 Includes bibliographical references and index.Invited Talk -- Modular Performance Analysis of Distributed Embedded Systems -- Logic and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata Specifications for Theorem Proving in PVS -- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams -- Times Games and Synthesis -- On Optimal Timed Strategies -- Average Reward Timed Games -- Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness -- Invited Talk -- Verification of Parameterized Timed Systems -- Model Checking -- Model Checking the Time to Reach Agreement -- Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems -- A New Verification Procedure for Partially Clairvoyant Scheduling -- Invited Talk -- Timing Analysis and Simulation Tools for Real-Time Control -- Hybrid Systems -- Automatic Rectangular Refinement of Affine Hybrid Systems -- Reachability Problems on Extended O-Minimal Hybrid Automata -- Counterexamples for Timed Probabilistic Reachability -- Petri Nets -- Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets -- Comparison of the Expressiveness of Timed Automata and Time Petri Nets -- Semantics -- Quantifying Similarities Between Timed Systems -- Performance of Pipelined Asynchronous Systems -- Is Timed Branching Bisimilarity an Equivalence Indeed? -- Semantics and Modelling -- Implementation of Timed Automata: An Issue of Semantics or Modeling? -- Timed Abstract Non-interference.Lecture notes in computer science ;3829.Computer simulationCongressesTemporal automataCongressesFormal methods (Computer science)CongressesRobotsCongressesComputer simulationTemporal automataFormal methods (Computer science)Robots003/.3Pettersson Paul1762580Yi Wang1762581MiAaPQMiAaPQMiAaPQBOOK9910483853003321Formal modeling and analysis of timed systems4202594UNINA