Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: 5215 (Lecture Notes in Computer Science, 5215) - Taschenbuch

EAN (ISBN-13): 9783540857778
ISBN (ISBN-10): 354085777X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Cassez, Franck, Springer
294 Seiten
Gewicht: 0,475 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-12-15T05:25:07+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-08-30T21:07:12+02:00 (Berlin)
ISBN/EAN: 9783540857778

ISBN - alternative Schreibweisen:
3-540-85777-X, 978-3-540-85777-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: franck, claude franc
Titel des Buches: formal modeling analysis timed systems, system, saint malo, france, time form form time, general analysis, september 2008

---

Daten vom Verlag:

Autor/in: Franck Cassez; Claude Jard
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems - 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
Verlag: Springer; Springer Berlin
295 Seiten
Erscheinungsjahr: 2008-09-05
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 295 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Informatik; Qos; distributed systems; embedded systems; formal analysis; formal methods; formal modeling; formal verification; iterative system tuning; logical constraints; model checking; modeling; refinement; simulation; statistical formal; verification; Programming Techniques; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Models of Computation; Compilers and Interpreters; Theoretische Informatik; Software Engineering; Compiler und Übersetzer; EA

Invited 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.