Compositional Abstraction for Stochastic Systems (Englisch)
- Neue Suche nach: Katoen, J.-P.
- Neue Suche nach: Klink, D.
- Neue Suche nach: Neuhausser, M.R.
- Neue Suche nach: Katoen, J.-P.
- Neue Suche nach: Klink, D.
- Neue Suche nach: Neuhausser, M.R.
- Neue Suche nach: Ouaknine, Joel
- Neue Suche nach: Vaandrager, Frits
In:
Formal Modeling and Analysis of Timed Systems
5813
;
195-211
;
2009
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Compositional Abstraction for Stochastic Systems
-
Beteiligte:Katoen, J.-P. ( Autor:in ) / Klink, D. ( Autor:in ) / Neuhausser, M.R. ( Autor:in ) / Ouaknine, Joel / Vaandrager, Frits
-
Kongress:Conference; 7th, Formal Modeling and Analysis of Timed Systems ; 2009 ; Budapest, Hungary
-
Erschienen in:Formal Modeling and Analysis of Timed Systems , 5813 ; 195-211LECTURE NOTES IN COMPUTER SCIENCE , 5813 ; 195-211
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:01.01.2009
-
Format / Umfang:17 pages
-
Anmerkungen:Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Tapas: Theory Combinations and Practical Applications (Invited Talk)Bjorner, N. / de Moura, L. et al. | 2009
- 7
-
Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games (Invited Talk)Gaubert, S. et al. | 2009
- 12
-
Approximations of Discrete, Continuous, and Hybrid Systems (Invited Talk)Pappas, G.J. et al. | 2009
- 13
-
Volume and Entropy of Regular Timed Languages: Analytic ApproachAsarin, E. / Degorre, A. et al. | 2009
- 28
-
Synthesis of Non-Interferent Timed SystemsBenattar, G. / Cassez, F. / Lime, D. / Roux, O.H. et al. | 2009
- 43
-
Critical Paths in the Partial Order Unfolding of a Stochastic Petri NetBouillard, A. / Haar, S. / Rosario, S. et al. | 2009
- 58
-
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component AnalysisBraberman, V. / Garbervestky, D. / Kicillof, N. / Monteverde, D. / Olivero, A. et al. | 2009
- 73
-
Efficient On-the-Fly Algorithm for Checking Alternating Timed SimulationBulychev, P. / Chatain, T. / David, A. / Larsen, K.G. et al. | 2009
- 88
-
Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed AutomataChiplunkar, A. / Krishna, S.N. / Jain, C. et al. | 2009
- 103
-
Safe Runtime Verification of Real-Time PropertiesColombo, C. / Pace, G.J. / Schneider, G. et al. | 2009
- 118
-
Removing All Silent Transitions from Timed AutomataDima, C. / Lanotte, R. et al. | 2009
- 133
-
Realizability of Real-Time LogicsDoyen, L. / Geeraerts, G. / Raskin, J.-F. / Reichert, J. et al. | 2009
- 149
-
Revisiting Decidability and Optimum Reachability for Multi-Priced Timed AutomataFranzle, M. / Swaminathan, M. et al. | 2009
- 164
-
Analyzing Real-Time Event-Driven ProgramsGanty, P. / Majumdar, R. et al. | 2009
- 179
-
A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed AutomataGomez, R. et al. | 2009
- 195
-
Compositional Abstraction for Stochastic SystemsKatoen, J.-P. / Klink, D. / Neuhausser, M.R. et al. | 2009
- 212
-
Stochastic Games for Verification of Probabilistic Timed AutomataKwiatkowska, M. / Norman, G. / Parker, D. et al. | 2009
- 228
-
Checking Timed Buchi Automata Emptiness Using LU-AbstractionsLi, G. et al. | 2009
- 243
-
On the Supports of Recognizable Timed SeriesQuaas, K. et al. | 2009
- 258
-
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order AbstractionUmeno, S. et al. | 2009
- 275
-
Exploiting Timed Automata for Conformance Testing of Power MeasurementsWoehrle, M. / Lampka, K. / Thiele, L. et al. | 2009