| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong 0004 |
Conic Abstractions for Hybrid Systems.  |
FORMATS  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arvind S. Adimoolam, Thao Dang 0001 |
Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal |
On Global Scheduling Independency in Networks of Timed Automata. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengfei Yang, David N. Jansen, Lijun Zhang 0001 |
Distribution-Based Bisimulation for Labelled Markov Processes. |
FORMATS |
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. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus |
Combining the Temporal and Epistemic Dimensions for MTL Monitoring. |
FORMATS |
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. |
FORMATS |
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. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak |
Optimal Control for Multi-mode Systems with Discrete Costs. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner |
Optimal Reachability in Cost Time Petri Nets. |
FORMATS |
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. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ratschan |
Simulation Based Computation of Certificates for Safety of Dynamical Systems. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefanos Skalistis, Alena Simalatsar |
Worst-Case Execution Time Analysis for Many-Core Architectures with NoC. |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Patino Alvarez, Jiang Chau Wang |
Scenario-Aware Workload Characterization Based on a Max-Plus Linear Representation. |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Didier Lime, Olivier H. Roux |
On the Expressiveness of Parametric Timed Automata. |
FORMATS |
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. |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengkui Zhang, Brian Nielsen, Kim G. Larsen |
Distributed Algorithms for Time Optimal Reachability Analysis. |
FORMATS |
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. |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler, Partha S. Roop, Bruno Bodin |
A Novel WCET Semantics of Synchronous Programs. |
FORMATS |
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! |
FORMATS |
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. |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid W. Dworzanski |
Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency. |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro R. D'Argenio, Matias David Lee, Raúl E. Monti |
Input/Output Stochastic Automata - Compositionality and Determinism. |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaki Waga, Takumi Akazaki, Ichiro Hasuo |
A Boyer-Moore Type Algorithm for Timed Pattern Matching. |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Jha, Vasumathi Raman |
On Optimal Control of Stochastic Linear Hybrid Systems. |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond R. Devillers, Hanna Klaudel |
Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. |
FORMATS |
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 |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Li 0001, Mizuhito Ogawa, Shoji Yuen |
Nested Timed Automata with Frozen Clocks. |
FORMATS |
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. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Nicolas Markey |
Language Preservation Problems in Parametric Timed Automata. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand |
Contracts for Schedulability Analysis. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Herbreteau, Thanh-Tung Tran |
Improving Search Order for Reachability Testing in Timed Automata. |
FORMATS |
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. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman, David Parker 0001, Xueyi Zou |
Verification and Control of Partially Observable Probabilistic Real-Time Systems. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig |
Bounded Determinization of Timed Automata with Silent Transitions. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Marin, Sabina Rossi |
Quantitative Analysis of Concurrent Reversible Computations. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Sproston |
Verification and Control of Probabilistic Rectangular Hybrid Automata. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandra Jovanovic 0002, Marta Z. Kwiatkowska, Gethin Norman |
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajesh Kumar 0012, Enno Ruijters, Mariëlle Stoelinga |
Quantitative Attack Tree Analysis via Priced Timed Automata. |
FORMATS |
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 |
FORMATS |
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. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Roberta Lanciani |
Fluid Model Checking of Timed Properties. |
FORMATS |
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. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan 0001 |
Deciding Concurrent Planar Monotonic Linear Hybrid Systems. |
FORMATS |
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. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Basset |
Timed Symbolic Dynamics. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Dubslaff, Christel Baier |
Quantitative Analysis of Communication Scenarios. |
FORMATS |
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. |
FORMATS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Taylor T. Johnson, Sayan Mitra |
Anonymized Reachability of Hybrid Automata Networks. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Stierand, Philipp Reinkemeier, Purandar Bhaduri |
Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Fontana, Rance Cleaveland |
The Power of Proofs: New Algorithms for Timed Automata Model Checking. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Minopoli, Goran Frehse |
Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kurátko, Stefan Ratschan |
Combined Global and Local Search for the Falsification of Hybrid Systems. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti |
Data-Driven Statistical Learning of Temporal Logic Properties. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek |
Modeling Bitcoin Contracts by Timed Automata. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjoy K. Baruah |
The Modeling and Analysis of Mixed-Criticality Systems - Extended Abstract. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler |
Timed Pattern Matching. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang |
Verification and Performance Evaluation of Timed Game Strategies. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankara Narayanan Krishna, Umang Mathur 0001, Ashutosh Trivedi 0001 |
Weak Singular Hybrid Automata. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanifa Boucheneb, Kamel Barkaoui, Karim Weslati |
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. |
FORMATS |
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 |
FORMATS |
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. |
FORMATS |
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. |
FORMATS |
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. |
FORMATS |
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. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts |
On MITL and Alternating Timed Automata over Infinite Words. |
FORMATS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine |
A Mechanized Semantic Framework for Real-Time Systems. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts |
On MITL and Alternating Timed Automata. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Nicolas Markey, Ocan Sankur |
Robust Weighted Timed Automata and Games. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos Stergiou 0001, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee |
On the Verification of Timed Discrete-Event Models. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleftherios Matsikoudis, Edward A. Lee |
On Fixed Points of Strictly Causal Functions. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | David N. Jansen |
More or Less True DCTL for Continuous-Time MDPs. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga |
Confluence Reduction for Markov Automata. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Chatain, Claude Jard |
Back in Time Petri Nets. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Muñiz, Bernd Westphal, Andreas Podelski |
Detecting Quasi-equal Clocks in Timed Automata. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Nicolas Basset, Aldric Degorre |
Spectral Gap in Timed Automata. |
FORMATS |
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 |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Wojtczak |
Optimal Control for Linear-Rate Multi-mode Systems. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Alban Grastien |
Predictability of Event Occurrences in Timed Systems. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernadette Charron-Bost, Matthias Függer, Thomas Nowak |
Transience Bounds for Distributed Algorithms. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pranav Tendulkar, Peter Poplavko, Oded Maler |
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Willibald Krenn, Dejan Nickovic, Loredana Tec |
Incremental Language Inclusion Checking for Networks of Timed Automata. |
FORMATS |
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. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Giuseppe Pellegrino, Laure Petrucci |
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Li 0001, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen |
Nested Timed Automata. |
FORMATS |
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. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Ellen, Sebastian Gerwinn, Martin Fränzle |
Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems. |
FORMATS |
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). |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen |
Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid Systems. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Muñiz, Bernd Westphal, Andreas Podelski |
Timed Automata with Disjoint Activity. |
FORMATS |
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. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rebekah Carter, Eva M. Navarro-López |
Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rayna Dimitrova, Bernd Finkbeiner |
Counterexample-Guided Synthesis of Observation Predicates. |
FORMATS |
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. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Peter, Bernd Finkbeiner |
The Complexity of Bounded Synthesis for Timed Control with Partial Observability. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä |
SMT-Based Induction Methods for Timed Systems. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wehrle, Sebastian Kupferschmid |
Mcta: Heuristics and Search for Timed Systems. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand 0001, Sven Schewe |
Playing Optimally on Timed Automata with Random Delays. |
FORMATS |
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. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Chilton, Marta Z. Kwiatkowska, Xu Wang 0001 |
Revisiting Timed Specification Theories: A Linear-Time Perspective. |
FORMATS |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license