Search results for "timed-automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Joseph Sifakis	A General Framework for the Composition of Timed Systems Extended Abstract.	FTRTFT	1998	DBLP DOI BibTeX RDF
136	Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001	Timed Automata Patterns.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
116	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux	Comparison of the Expressiveness of Timed Automata and Time Petri Nets.	FORMATS	2005	DBLP DOI BibTeX RDF	Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets
111	Bernard Berthomieu, Florent Peres, François Vernadat 0001	Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.	FORMATS	2006	DBLP DOI BibTeX RDF	weak timed bisimilarity, real-time systems modeling and verification, Timed Automata, priorities, Time Petri nets
105	Olivier Finkel	Undecidable Problems About Timed Automata.	FORMATS	2006	DBLP DOI BibTeX RDF
103	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
98	Manfred Droste, Karin Quaas	A Kleene-Schützenberger Theorem for Weighted Timed Automata.	FoSSaCS	2008	DBLP DOI BibTeX RDF
89	Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens	The Regular Real-Time Languages.	ICALP	1998	DBLP DOI BibTeX RDF
88	Joël Ouaknine, James Worrell 0001	Universality and Language Inclusion for Open and Closed Timed Automata.	HSCC	2003	DBLP DOI BibTeX RDF
87	Patricia Bouyer	Forward Analysis of Updatable Timed Automata.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	(updatable) timed automata, forward analysis algorithm, widening operator, data structure, correctness
86	Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001	Concavely-Priced Probabilistic Timed Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
85	Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye	When Are Timed Automata Determinizable?	ICALP (2)	2009	DBLP DOI BibTeX RDF
85	Deepak D'Souza, P. S. Thiagarajan	Product Interval Automata: A Subclass of Timed Automata.	FSTTCS	1999	DBLP DOI BibTeX RDF
83	Marcin Jurdzinski, François Laroussinie, Jeremy Sproston	Model Checking Probabilistic Timed Automata with One or Two Clocks.	TACAS	2007	DBLP DOI BibTeX RDF
83	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston	Performance analysis of probabilistic timed automata using digital clocks.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Timed automata, Probabilistic model checking, Digital clocks
83	Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager	Minimum-Cost Reachability for Priced Timed Automata.	HSCC	2001	DBLP DOI BibTeX RDF	Optimization, Algorithms, Verification, Data Structures, Timed Automata
82	William K. C. Lam, Robert K. Brayton	Criteria for the Simple Path Property in Timed Automata.	CAV	1994	DBLP DOI BibTeX RDF
81	Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik	Dealing with practical limitations of distributed timed model checking for timed automata.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Distributed timed model checking, Kronos, Load-balance, Reconfiguration, Timed automata, Reachability, Redistribution, Zeus, DBM
81	Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier	Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences.	ICALP (2)	2006	DBLP DOI BibTeX RDF
79	Béatrice Bérard, Serge Haddad	Interrupt Timed Automata.	FoSSaCS	2009	DBLP DOI BibTeX RDF	decidability of reachability, timed automata, interruptions, Hybrid automata, multi-task systems
79	Huimin Lin, Wang Yi 0001	Axiomatising timed automata.	Acta Informatica	2002	DBLP DOI BibTeX RDF
79	Rajeev Alur, Limor Fix, Thomas A. Henzinger	A Determinizable Class of Timed Automata.	CAV	1994	DBLP DOI BibTeX RDF
79	Jirí Srba	Timed-Arc Petri Nets vs. Networks of Timed Automata.	ICATPN	2005	DBLP DOI BibTeX RDF
79	Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick	Specification and Analysis of Automata-Based Designs.	IFM	2000	DBLP DOI BibTeX RDF	model checking, Timed automata, stochastic automata
78	Shang-Wei Lin 0001, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen	Model Checking Prioritized Timed Automata.	ATVA	2005	DBLP DOI BibTeX RDF	Prioritized timed automata, DBM subtraction, zone merging, zone reduction
78	Stavros Tripakis	Fault Diagnosis for Timed Automata.	FTRTFT	2002	DBLP DOI BibTeX RDF	Fault diagnosis, Timed Automata, Partial observability
78	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux	When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?	FSTTCS	2005	DBLP DOI BibTeX RDF	Weak Timed Bisimilarity, Timed Automata, Time Petri Nets
78	Henrik C. Bohnenkamp, Axel Belinfante	Timed Testing with TorX.	FM	2005	DBLP DOI BibTeX RDF	Model-based on-the-fly Testing, Real-Time Testing, TorX, Tools, Timed Automata
78	Junyan Qian, Baowen Xu	Model Checking for Timed Statecharts.	FORTE	2005	DBLP DOI BibTeX RDF
77	Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer	On Presburger Liveness of Discrete Timed Automata.	STACS	2001	DBLP DOI BibTeX RDF
77	Slawomir Lasota 0001, Igor Walukiewicz	Alternating timed automata.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	emptyness problem, timed automata, Alternation
77	Dirk Beyer 0001	Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs.	CHARME	2001	DBLP DOI BibTeX RDF	Real-time systems, Formal verification, Timed Automata
76	Joseph S. Miller	Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata.	HSCC	2000	DBLP DOI BibTeX RDF
75	Parosh Aziz Abdulla, Pavel Krcál, Wang Yi 0001	Sampled Universality of Timed Automata.	FoSSaCS	2007	DBLP DOI BibTeX RDF
73	Jeremy Sproston	Strict Divergence for Probabilistic Timed Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
73	Sara Adams, Joël Ouaknine, James Worrell 0001	Undecidability of Universality for Timed Automata with Minimal Resources.	FORMATS	2007	DBLP DOI BibTeX RDF
73	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston	Performance Analysis of Probabilistic Timed Automata Using Digital Clocks.	FORMATS	2003	DBLP DOI BibTeX RDF
71	Sicco Verwer, Mathijs de Weerdt, Cees Witteveen	Polynomial Distinguishability of Timed Automata.	ICGI	2008	DBLP DOI BibTeX RDF
71	William K. C. Lam, Robert K. Brayton	Alternating RQ Timed Automata.	CAV	1993	DBLP DOI BibTeX RDF
70	Franck Cassez, Kim Guldstrand Larsen	The Impressive Power of Stopwatches.	CONCUR	2000	DBLP DOI BibTeX RDF
69	Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya	Decidability of Safety Properties of Timed Multiset Rewriting.	FTRTFT	2002	DBLP DOI BibTeX RDF	real-time systems, timed automata, decidability, timed Petri nets
69	Huimin Lin, Wang Yi 0001	A Proof System for Timed Automata.	FoSSaCS	2000	DBLP DOI BibTeX RDF
69	Huimin Lin, Wang Yi 0001	A Complete Axiomatisation for Timed Automata.	FSTTCS	2000	DBLP DOI BibTeX RDF
67	Marcin Jurdzinski, Ashutosh Trivedi 0001	Concavely-Priced Timed Automata.	FORMATS	2008	DBLP DOI BibTeX RDF
67	Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell 0001	Decidability and Complexity Results for Timed Automata via Channel Machines.	ICALP	2005	DBLP DOI BibTeX RDF
67	Zhe Dang, Oscar H. Ibarra, Jianwen Su	Composability of Infinite-State Activity Automata.	ISAAC	2004	DBLP DOI BibTeX RDF
66	Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen	Optimal infinite scheduling for multi-priced timed automata.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Priced timed automata, Optimal mean-payoff
66	Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani 0001	On using priced timed automata to achieve optimal scheduling.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Priced-timed automata, Zone-based, Linear programming, Real-time scheduling, Cost optimality
66	Farn Wang	Efficient Verification of Timed Automata with BDD-Like Data-Structures.	VMCAI	2003	DBLP DOI BibTeX RDF	model-checking, verification, data-structures, timed automata, BDD
66	Dirk Beyer 0001	Improvements in BDD-Based Reachability Analysis of Timed Automata.	FME	2001	DBLP DOI BibTeX RDF	Real-time systems, Formal verification, Timed automata, BDDs, Discretization
66	Lina Khatib, Nicola Muscettola, Klaus Havelund	Mapping Temporal Planning Constraints into Timed Automata.	TIME	2001	DBLP DOI BibTeX RDF	Time in AI, Temporal Representation and Constraints, Scheduling, Model Checking, Validation, Planning, Timed Automata
66	Frits W. Vaandrager, Nancy A. Lynch	Action Transducers and Timed Automata.	CONCUR	1992	DBLP DOI BibTeX RDF
65	Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston	Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata.	QEST	2008	DBLP DOI BibTeX RDF
65	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang	Symbolic Model Checking for Probabilistic Timed Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
65	Zhe Dang	Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks.	CAV	2001	DBLP DOI BibTeX RDF
65	Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba	An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata.	ICFEM	2009	DBLP DOI BibTeX RDF
64	Satoshi Yamane, Takashi Kanatani	Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing.	EUC	2004	DBLP DOI BibTeX RDF
64	Satoshi Yamane	Deductive Verification of Probabilistic Real-Time Systems.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
64	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Automated Incremental Synthesis of Timed Automata.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata
63	Johan Bengtsson, Wang Yi 0001	On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.	ICFEM	2003	DBLP DOI BibTeX RDF
62	Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad	Extended Timed Automata and Time Petri Nets.	ACSD	2006	DBLP DOI BibTeX RDF	Conciseness, Timed Automata, Reachability Analysis, Time Petri Nets
62	Rongjie Yan, Guangyuan Li, Zhisong Tang	Symbolic Model Checking of Finite Precision Timed Automata.	ICTAC	2005	DBLP DOI BibTeX RDF	Finite precision timed automata, model checking, symbolic methods
62	Jin Song Dong, Roger Duke, Ping Hao	Integrating Object-Z with Timed Automata.	ICECCS	2005	DBLP DOI BibTeX RDF	Specification, Timed Automata, Object-Z
62	Pierluigi San Pietro, Zhe Dang	Automatic Verification of Multi-queue Discrete Timed Automata.	COCOON	2003	DBLP DOI BibTeX RDF	infinite-state model-checking, real-time systems, Timed Automata
62	Rachel Cardell-Oliver	Conformance Tests for Real-Time Systems with Timed Automata Specifications.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Real-time systems, Timed automata, Conformance testing, Test selection
61	Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell 0001	Zone-Based Universality Analysis for Single-Clock Timed Automata.	FSEN	2007	DBLP DOI BibTeX RDF
61	Rajeev Alur, P. Madhusudan	Decision Problems for Timed Automata: A Survey.	SFM	2004	DBLP DOI BibTeX RDF
61	Biniam Gebremichael, Frits W. Vaandrager	Specifying Urgency in Timed I/O Automata.	SEFM	2005	DBLP DOI BibTeX RDF
61	Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen	Time-Abstracting Bisimulation for Probabilistic Timed Automata.	TASE	2008	DBLP DOI BibTeX RDF	time-abstracting bisimulation, probabilistic timed automata
60	Eugene Asarin	Timed Automata and Timed Languages Challenges and Open Problems.	FORMATS	2003	DBLP DOI BibTeX RDF
60	Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi 0001	Timed vs. Time-Triggered Automata.	CONCUR	2004	DBLP DOI BibTeX RDF
60	Elena Fersman, Paul Pettersson, Wang Yi 0001	Timed Automata with Asynchronous Processes: Schedulability and Decidability.	TACAS	2002	DBLP DOI BibTeX RDF
60	Ruggero Lanotte, Andrea Maggiolo-Schettini	Timed Automata with Monotonic Activities.	MFCS	2000	DBLP DOI BibTeX RDF
59	Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier	Robust Analysis of Timed Automata via Channel Machines.	FoSSaCS	2008	DBLP DOI BibTeX RDF
59	Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza	Fault Diagnosis Using Timed Automata.	FoSSaCS	2005	DBLP DOI BibTeX RDF
59	Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer	Past Pushdown Timed Automata.	CIAA	2001	DBLP DOI BibTeX RDF
59	Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit 0001	Expressiveness of Updatable Timed Automata.	MFCS	2000	DBLP DOI BibTeX RDF
59	Christer Norström, Anders Wall, Wang Yi 0001	Timed Automata as Task Models for Event-Driven Systems.	RTCSA	1999	DBLP DOI BibTeX RDF
58	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	Compiling Real-Time Specifications into Extended Automata.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
58	Nils Jansen 0001, Mariëlle Stoelinga, Petra van den Bos (eds.)	A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	David N. Jansen, Xinxin Liu	Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Herman Geuvers	Apartness and Distinguishing Formulas in Hennessy-Milner Logic.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir	Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Petra van den Bos, Marieke Huisman	The Integration of Testing and Program Verification - A Position Paper.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Rance Cleaveland	Better Automata Through Process Algebra.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Falk Howar, Bernhard Steffen	Active Automata Learning as Black-Box Search and Lazy Partition Refinement.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Joshua Moerman, Thorsten Wißmann	State Identification and Verification with Satisfaction.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Alex Thieme, Twan Basten	Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Benedikt Bollig, Martin Leucker, Daniel Neider	A Survey of Model Learning Techniques for Recurrent Neural Networks.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Markus Frohme, Bernhard Steffen	From Languages to Behaviors and Back.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse	Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Carlos Diego Nascimento Damasceno, Daniel Strüber 0001	Family-Based Fingerprint Analysis: A Position Paper.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Bart Jacobs 0001	A Reconstruction of Ewens' Sampling Formula via Lists of Coins.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Ivan Kurtev, Jozef Hooman	Runtime Verification of Compound Components with ComMA.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Hans Zantema	Passive Automata Learning: DFAs and NFAs.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Tiago Ferreira 0001, Gerco van Heerdt, Alexandra Silva 0001	Tree-Based Adaptive Model Learning.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink	Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Rob van Glabbeek	Fair Must Testing for I/O Automata.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Wil M. P. van der Aalst	Discovering Directly-Follows Complete Petri Nets from Event Data.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Henk Barendregt, Antonino Raffone	Axiomatizing Consciousness with Applications.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF