| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marcin Jurdzinski, Dejan Nickovic (eds.) |
Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings  |
FORMATS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz, Andreas Podelski |
Reducing Quasi-Equal Clocks in Networks of Timed Automata. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Akshay 0001, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux |
Robustness of Time Petri Nets under Architectural Constraints. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amélie Stainer |
Frequencies in Forgetful Timed Automata. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort |
Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram Sankaranarayanan 0001, Hadjar Homaei, Clayton Lewis |
Model-Based Dependability Analysis of Programmable Drug Infusion Pumps. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Stavros Tripakis (eds.) |
Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Badban, Martin Lange |
Exact Incremental Analysis of Timed Automata with an SMT-Solver. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schneider 0001, Uwe Nestmann |
Rigorous Discretization of Hybrid Systems Using Process Calculi. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Nicolas Markey, Ocan Sankur |
Robust Model-Checking of Timed Automata via Pumping in Channel Machines. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Basset, Eugene Asarin |
Thin and Thick Timed Regular Languages. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Francois Kempf, Marius Bozga, Oded Maler |
Performance Evaluation of Schedulers in a Probabilistic Setting. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kupferschmid, Bernd Becker 0001 |
Craig Interpolation in the Presence of Non-linear Constraints. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Woehrle, Kai Lampka, Lothar Thiele |
Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dileep Raghunath Kini, Shankara Narayanan Krishna, Paritosh K. Pandya |
On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso |
On the Verification of Timed Ad Hoc Networks. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Mitrohin, Andreas Podelski |
Composing Stability Proofs for Hybrid Systems. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-David Quesel, Martin Fränzle, Werner Damm |
Crossing the Bridge between Similar Games. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suleiman Abu Kharmeh, Kerstin Eder, David May 0001 |
A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Bentea, Peter Csaba Ölveczky |
Probabilistic Real-Time Rewrite Theories and Their Expressive Power. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang 0005 |
Statistical Model Checking for Networks of Priced Timed Automata. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder |
Event Clock Automata: From Theory to Practice. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre |
Time-Bounded Verification of CTMCs against Real-Time Specifications. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski |
Robust Specification of Real Time Components. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart D. Theelen, Marc Geilen, Jeroen Voeten |
Performance Model Checking Scenario-Aware Dataflow. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar |
Minimum Attention Controller Synthesis for Omega-Regular Objectives. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur |
Interfaces for Control Components. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Dzetkulic, Stefan Ratschan |
Incremental Computation of Succinct Abstractions for Hybrid Systems. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, Jacobus E. Rooda |
Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
A Framework for Verification of Software with Time and Probabilities. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Sproston, Angelo Troina |
Simulation and Bisimulation for Probabilistic Timed Automata. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek F. Abdelzaher |
Interdisciplinary Foundations for Open Cyber-Physical Systems - (Invited Talk). |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz |
A Conformance Testing Relation for Symbolic Timed Automata. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux |
Diagnosis Using Unfoldings of Parametric Time Petri Nets. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Havlicek, Scott Little, Oded Maler, Dejan Nickovic |
Property-Based Monitoring of Analog and Mixed-Signal Systems. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter |
Combining Symbolic Representations for Solving Timed Games. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, Insup Lee 0001, Oleg Sokolsky, Jin-Young Choi |
A Process Algebraic Framework for Modeling Resource Demand and Supply. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Schmid 0001 |
Synchrony and Time in Fault-Tolerant Distributed Algorithms - (Invited Tutorial). |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens |
Memory Event Clocks. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder |
Safraless Procedures for Timed Specifications. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Cotton |
Natural Domain SMT: A Preliminary Assessment. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Romain Brenguier, Nicolas Markey |
Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 |
Expected Reachability-Time Games. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejan Nickovic, Nir Piterman |
From Mtl to Deterministic Timed Automata. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paritosh K. Pandya, Simoni S. Shah |
Unambiguity in Timed Regular Languages: Automata and Logics. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Mani Swaminathan |
Layered Composition for Timed Automata. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Donzé, Oded Maler |
Robust Satisfaction of Temporal Logic over Real-Valued Signals. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger (eds.) |
Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain |
Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinya Umeno |
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodolfo Gómez 0001 |
A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
Urgent actions, Timed Automata with Deadlines, Uppaal |
| 1 | Pierre Ganty, Rupak Majumdar |
Analyzing Real-Time Event-Driven Programs. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephane Gaubert |
Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guangyuan Li |
Checking Timed Büchi Automata Emptiness Using LU-Abstractions. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider |
Safe Runtime Verification of Real-Time Properties. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero |
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen |
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Karin Quaas |
On the Supports of Recognizable Timed Series. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Stochastic Games for Verification of Probabilistic Timed Automata. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen 0001, Gilles Geeraerts, Jean-François Raskin, Julien Reichert |
Realizability of Real-Time Logics. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, Frits W. Vaandrager (eds.) |
Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Bouillard, Stefan Haar, Sidney Rosario |
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Woehrle, Kai Lampka, Lothar Thiele |
Exploiting Timed Automata for Conformance Testing of Power Measurements. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Catalin Dima, Ruggero Lanotte |
Removing All Silent Transitions from Timed Automata. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fränzle, Mani Swaminathan |
Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer |
Compositional Abstraction for Stochastic Systems. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaj S. Bjørner, Leonardo Mendonça de Moura |
Tapas: Theory Combinations and Practical Applications. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Aldric Degorre |
Volume and Entropy of Regular Timed Languages: Analytic Approach. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | George J. Pappas |
Approximations of Discrete, Continuous, and Hybrid Systems. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux |
Synthesis of Non-Interferent Timed Systems. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
Synthesis, Non-Interference, Timed Automaton |
| 1 | Joël Ouaknine, James Worrell 0001 |
Some Recent Results in Metric Temporal Logic. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi |
MTL with Bounded Variability: Decidability and Complexity. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Schmaltz, Jan Tretmans |
On Conformance Testing for Timed Systems. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba |
Infinite Runs in Weighted Timed Automata with Energy Constraints. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis-Marie Traonouez, Didier Lime, Olivier H. Roux |
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
state-class graph, model-checking, Time Petri nets, parameters, stopwatches |
| 1 | K. Mani Chandy, Sayan Mitra, Concetta Pilotto |
Convergence Verification: From Shared Memory to Partially Synchronous Systems. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasper Berendsen, Frits W. Vaandrager |
Compositional Abstraction in Real-Time Model Checking. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic 0001, Michal Rutkowski |
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Jurdzinski, Ashutosh Trivedi 0001 |
Concavely-Priced Timed Automata. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Claude Jard (eds.) |
Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Timed Parity Games: Complexity and Robustness. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa |
Timed Automata with Integer Resets: Language Inclusion and Expressiveness. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aldric Degorre, Oded Maler |
On Scheduling Policies for Streams of Structured Jobs. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu |
A Framework for Distributing Real-Time Functions. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
Distributed systems, Constraint programming, Industrial case study |
| 1 | Anne Remke, Boudewijn R. Haverkort |
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers |
Formal Modeling and Scheduling of Datapaths of Digital Document Printers. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Srba |
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanifa Boucheneb, Kamel Barkaoui |
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste |
Composing Web Services in an Open World: Issues of Quality of Service. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Alexandru Mereacre |
Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John Håkansson, Paul Pettersson |
Partial Order Reduction for Verification of Real-Time Components. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian |
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
Iterative System Tuning, Statistical Formal Methods, System Realization, Cross-layer Timing/QoS/resource Provisioning for Distributed Systems, Formal Modeling |
| 1 | Sergio Giro, Pedro R. D'Argenio |
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat |
Designing Consistent Multimedia Documents: The RT-LOTOS Methodology. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter J. L. Cuijpers, Reinder J. Bril |
Towards Budgeting in Real-Time Calculus: Deferrable Servers. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez |
Efficient On-the-Fly Algorithms for Partially Observable Timed Games. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar |
Counter-Free Input-Determined Timed Automata. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi |
On the Expressiveness of MTL Variants over Dense Time. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen |
Automatic Abstraction Refinement for Timed Automata. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license