Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong 0004 |
Conic Abstractions for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 116-132, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arvind S. Adimoolam, Thao Dang 0001 |
Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 97-115, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal |
On Global Scheduling Independency in Networks of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 42-57, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pengfei Yang, David N. Jansen, Lijun Zhang 0001 |
Distribution-Based Bisimulation for Labelled Markov Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 170-186, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff |
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 318-334, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus |
Combining the Temporal and Epistemic Dimensions for MTL Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 207-223, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus |
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 189-206, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bai Xue 0001, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan |
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 281-299, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak |
Optimal Control for Multi-mode Systems with Discrete Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 77-96, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner |
Optimal Reachability in Cost Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 58-73, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Loïg Jezequel, Didier Lime |
Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 247-263, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Ratschan |
Simulation Based Computation of Certificates for Safety of Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 303-317, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefanos Skalistis, Alena Simalatsar |
Worst-Case Execution Time Analysis for Many-Core Architectures with NoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 211-227, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Patino Alvarez, Jiang Chau Wang |
Scenario-Aware Workload Characterization Based on a Max-Plus Linear Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 177-194, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Didier Lime, Olivier H. Roux |
On the Expressiveness of Parametric Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 19-34, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Majid Zamani 0001, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr. |
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 85-101, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhengkui Zhang, Brian Nielsen, Kim G. Larsen |
Distributed Algorithms for Time Optimal Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 157-173, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott |
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 228-244, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Mendler, Partha S. Roop, Bruno Bodin |
A Novel WCET Semantics of Synchronous Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 195-210, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder |
Real-Time Synthesis is Hard! ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 105-120, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen |
Modelling Attack-defense Trees Using Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 35-50, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Leonid W. Dworzanski |
Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 3-18, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio, Matias David Lee, Raúl E. Monti |
Input/Output Stochastic Automata - Compositionality and Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 53-68, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Waga, Takumi Akazaki, Ichiro Hasuo |
A Boyer-Moore Type Algorithm for Timed Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 121-139, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Susmit Jha, Vasumathi Raman |
On Optimal Control of Stochastic Linear Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 69-84, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Raymond R. Devillers, Hanna Klaudel |
Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 140-156, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fränzle, Nicolas Markey (eds.) |
Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![Springer, 978-3-319-44877-0 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guoqiang Li 0001, Mizuhito Ogawa, Shoji Yuen |
Nested Timed Automata with Frozen Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 189-205, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen |
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 93-107, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Nicolas Markey |
Language Preservation Problems in Parametric Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 27-43, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand |
Contracts for Schedulability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 270-287, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Herbreteau, Thanh-Tung Tran |
Improving Search Order for Reachability Testing in Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 124-139, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Eike Möhlmann, Willem Hagemann, Oliver E. Theel |
Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 222-239, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gethin Norman, David Parker 0001, Xueyi Zou |
Verification and Control of Partially Observable Probabilistic Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 240-255, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig |
Bounded Determinization of Timed Automata with Silent Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 288-304, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Marin, Sabina Rossi |
Quantitative Analysis of Concurrent Reversible Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 206-221, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Sproston |
Verification and Control of Probabilistic Rectangular Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 1-9, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandra Jovanovic 0002, Marta Z. Kwiatkowska, Gethin Norman |
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 140-155, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rajesh Kumar 0012, Enno Ruijters, Mariëlle Stoelinga |
Quantitative Attack Tree Analysis via Priced Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 156-171, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Enrico Vicario (eds.) |
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![Springer, 978-3-319-22974-4 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert |
Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 10-26, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Roberta Lanciani |
Fluid Model Checking of Timed Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 172-188, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn R. Jongerden, René Rydhof Hansen, Kim Guldstrand Larsen |
A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 305-320, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan 0001 |
Deciding Concurrent Planar Monotonic Linear Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 256-269, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert de Simone |
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 108-123, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Basset |
Timed Symbolic Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 44-59, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Dubslaff, Christel Baier |
Quantitative Analysis of Communication Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 76-92, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Nicolas Markey, Nicolas Perrin 0001, Philipp Schlehuber-Caissier |
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, pp. 60-75, 2015, Springer, 978-3-319-22974-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Taylor T. Johnson, Sayan Mitra |
Anonymized Reachability of Hybrid Automata Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 130-145, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Stierand, Philipp Reinkemeier, Purandar Bhaduri |
Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 206-221, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter Fontana, Rance Cleaveland |
The Power of Proofs: New Algorithms for Timed Automata Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 115-129, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Minopoli, Goran Frehse |
Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 176-190, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kurátko, Stefan Ratschan |
Combined Global and Local Search for the Falsification of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 146-160, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti |
Data-Driven Statistical Learning of Temporal Logic Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 23-37, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek |
Modeling Bitcoin Contracts by Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 7-22, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sanjoy K. Baruah |
The Modeling and Analysis of Mixed-Criticality Systems - Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 1-6, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler |
Timed Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 222-236, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang |
Verification and Performance Evaluation of Timed Game Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 100-114, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shankara Narayanan Krishna, Umang Mathur 0001, Ashutosh Trivedi 0001 |
Weak Singular Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 161-175, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hanifa Boucheneb, Kamel Barkaoui, Karim Weslati |
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 53-68, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Axel Legay, Marius Bozga (eds.) |
Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![Springer, 978-3-319-10511-6 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jirí Srba |
Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 237-251, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Omar I. Al-Bataineh, Mark Reynolds 0001, Tim French 0002 |
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 38-52, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc, François Vernadat 0001 |
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 85-99, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nima Roohi, Mahesh Viswanathan 0001 |
Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 191-205, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts |
On MITL and Alternating Timed Automata over Infinite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 69-84, 2014, Springer, 978-3-319-10511-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine |
A Mechanized Semantic Framework for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 106-120, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts |
On MITL and Alternating Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 47-61, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Nicolas Markey, Ocan Sankur |
Robust Weighted Timed Automata and Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 31-46, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christos Stergiou 0001, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee |
On the Verification of Timed Discrete-Event Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 213-227, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eleftherios Matsikoudis, Edward A. Lee |
On Fixed Points of Strictly Causal Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 183-197, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David N. Jansen |
More or Less True DCTL for Continuous-Time MDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 137-151, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga |
Confluence Reduction for Markov Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 243-257, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Chatain, Claude Jard |
Back in Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 91-105, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Muñiz, Bernd Westphal, Andreas Podelski |
Detecting Quasi-equal Clocks in Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 198-212, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Asarin, Nicolas Basset, Aldric Degorre |
Spectral Gap in Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 16-30, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Víctor A. Braberman, Laurent Fribourg (eds.) |
Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![Springer, 978-3-642-40228-9 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Wojtczak |
Optimal Control for Linear-Rate Multi-mode Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 258-273, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Alban Grastien |
Predictability of Event Occurrences in Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 62-76, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bernadette Charron-Bost, Matthias Függer, Thomas Nowak |
Transience Bounds for Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 77-90, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pranav Tendulkar, Peter Poplavko, Oded Maler |
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 228-242, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Willibald Krenn, Dejan Nickovic, Loredana Tec |
Incremental Language Inclusion Checking for Networks of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 152-167, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Höfner, Maryam Kamali |
Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 121-136, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Giuseppe Pellegrino, Laure Petrucci |
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 1-15, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guoqiang Li 0001, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen |
Nested Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, pp. 168-182, 2013, Springer, 978-3-642-40228-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Rinast, Sibylle Schupp |
Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 220-235, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian Ellen, Sebastian Gerwinn, Martin Fränzle |
Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 123-138, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Twan Basten, Martijn Hendriks, Lou J. Somers, Nikola Trcka |
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 1-6, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen |
Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 7-10, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marco Muñiz, Bernd Westphal, Andreas Podelski |
Timed Automata with Disjoint Activity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 188-203, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol |
Multi-core Reachability for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 91-106, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rebekah Carter, Eva M. Navarro-López |
Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 59-74, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Bernd Finkbeiner |
Counterexample-Guided Synthesis of Observation Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 107-122, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Marco Gribaudo |
Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 139-154, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Peter, Bernd Finkbeiner |
The Complexity of Bounded Synthesis for Timed Control with Partial Observability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 204-219, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä |
SMT-Based Induction Methods for Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 171-187, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wehrle, Sebastian Kupferschmid |
Mcta: Heuristics and Search for Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 252-266, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Sven Schewe |
Playing Optimally on Timed Automata with Random Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 43-58, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, Dominique Perrin |
Toward a Timed Theory of Channel Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 27-42, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chris Chilton, Marta Z. Kwiatkowska, Xu Wang 0001 |
Revisiting Timed Specification Theories: A Linear-Time Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 75-90, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|