000 05078nam a22005775i 4500
001 978-3-540-75454-1
003 DE-He213
005 20240730173621.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540754541
_9978-3-540-75454-1
024 7 _a10.1007/978-3-540-75454-1
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aFormal Modeling and Analysis of Timed Systems
_h[electronic resource] :
_b5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings /
_cedited by Jean-Francois Raskin, P.S. Thiagarajan.
250 _a1st ed. 2007.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2007.
300 _aX, 372 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4763
505 0 _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.
520 _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.
650 0 _aComputer science.
_99832
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputers, Special purpose.
_946653
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
700 1 _aRaskin, Jean-Francois.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9109001
700 1 _aThiagarajan, P.S.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9109002
710 2 _aSpringerLink (Online service)
_9109003
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540754534
776 0 8 _iPrinted edition:
_z9783540844648
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4763
_9109004
856 4 0 _uhttps://doi.org/10.1007/978-3-540-75454-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89011
_d89011