Search results for "timed-automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Frits W. Vaandrager	A Theory of Testing for Timed Automata (Abstract).	TAPSOFT	1997	DBLP DOI BibTeX RDF
26	Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey	Diagnosing timed automata using timed markings.	Int. J. Softw. Tools Technol. Transf.	2021	DBLP DOI BibTeX RDF
26	Honghao Gao, Yida Zhang, Huaikou Miao, Ramón J. Durán Barroso, Xiaoxian Yang	SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata.	Mob. Networks Appl.	2021	DBLP DOI BibTeX RDF
26	Moez Krichen	Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata.	TACC	2021	DBLP BibTeX RDF
26	Anne Ejsing, Martin Jensen, Marco Muñiz, Jacob Nørhave, Lars Rechter	Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes.	CoRR	2020	DBLP BibTeX RDF
26	Amel Boumaza, Ramdane Maamri	Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach.	J. Inf. Technol. Res.	2018	DBLP DOI BibTeX RDF
26	Fabrizio Pastore, Daniela Micucci, Leonardo Mariani	Timed k-Tail: Automatic Inference of Timed Automata.	CoRR	2017	DBLP BibTeX RDF
26	Fabrizio Pastore, Daniela Micucci, Leonardo Mariani	Timed k-Tail: Automatic Inference of Timed Automata.	ICST	2017	DBLP DOI BibTeX RDF
26	James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens	Multi-timed Bisimulation for Distributed Timed Automata.	NFM	2017	DBLP DOI BibTeX RDF
26	Devendra Bhave, Shibashis Guha	Adding Dense-Timed Stack to Integer Reset Timed Automata.	RP	2017	DBLP DOI BibTeX RDF
26	Fabrizio Maria Maggi, Michael Westergaard	Using Timed Automata for a Priori Warnings and Planning for Timed Declarative Process Models.	Int. J. Cooperative Inf. Syst.	2014	DBLP DOI BibTeX RDF
26	Joakim Byg, Morten Jacobsen, Lasse Jacobsen, Kenneth Yrke Jørgensen, Mikael Harkjær Møller, Jirí Srba	TCTL-preserving translations from timed-arc Petri nets to networks of timed automata.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
26	Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schäfer	From timed automata to timed failure propagation graphs.	ISORC	2013	DBLP DOI BibTeX RDF
26	Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab	From Timed Reo Networks to Networks of Timed Automata.	FESCA	2012	DBLP DOI BibTeX RDF
26	Shota Nakano, Shingo Yamaguchi	An Efficient Translation Method from Timed Petri Nets to Timed Automata.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2012	DBLP DOI BibTeX RDF
26	Shibashis Guha, Shankara Narayanan Krishna	Game Characterizations of Timed Relations for Timed Automata Processes	CoRR	2012	DBLP BibTeX RDF
26	Michael Westergaard, Fabrizio Maria Maggi	Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models.	OTM Conferences (1)	2012	DBLP DOI BibTeX RDF
26	Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons	Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata.	COMPSAC	2012	DBLP DOI BibTeX RDF
26	Miroslaw Kurkowski, Wojciech Penczek	Timed Automata Based Model Checking of Timed Security Protocols.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
26	Wojciech Nabialek, Agata Janowska, Pawel Janowski	Translation of Timed Promela to Timed Automata with Discrete Data.	Fundam. Informaticae	2008	DBLP BibTeX RDF
26	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux	When are Timed Automata weakly timed bisimilar to Time Petri Nets?	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
26	Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier	Timed Petri nets and timed automata: On the discriminating power of zeno sequences.	Inf. Comput.	2008	DBLP DOI BibTeX RDF
26	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Discretization of Timed Automata in Timed mu.	APC 25	2005	DBLP DOI BibTeX RDF
26	Philipp Lucas 0001	Timed Semantics of Message Sequence Charts Based on Timed Automata.	Theory and Practice of Timed Systems @ ETAPS	2002	DBLP DOI BibTeX RDF
26	Víctor A. Braberman, Alfredo Olivero	Extending Timed Automata for Compositional Modeling Healthy Timed Systems.	MTCS	2001	DBLP DOI BibTeX RDF
26	Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig	Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.	Scalable Comput. Pract. Exp.	1998	DBLP BibTeX RDF
26	Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig	Comparing Timed C/E Systems with Timed Automata (Abstract).	HART	1997	DBLP DOI BibTeX RDF
26	Thomas Wilke	Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata.	FTRTFT	1994	DBLP DOI BibTeX RDF
26	Franck Cassez	The Dark Side of Timed Opacity.	ISA	2009	DBLP DOI BibTeX RDF
26	Jan Stöcker, Frédéric Lang, Hubert Garavel	Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.	IFM	2009	DBLP DOI BibTeX RDF
26	Eugene Asarin, Aldric Degorre	Volume and Entropy of Regular Timed Languages: Analytic Approach.	FORMATS	2009	DBLP DOI BibTeX RDF
26	Bernard Berthomieu, Florent Peres, François Vernadat 0001	Model Checking Bounded Prioritized Time Petri Nets.	ATVA	2007	DBLP DOI BibTeX RDF
26	Nawal Addouche, Christian Antoine, Jacky Montmain	Methodology for UML Modeling and Formal Verification of Real-Time Systems.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
26	Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng	Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking.	IPDPS	2005	DBLP DOI BibTeX RDF
26	Thomas Brihaye, Véronique Bruyère, Jean-François Raskin	On Optimal Timed Strategies.	FORMATS	2005	DBLP DOI BibTeX RDF
26	Catalin Dima	Regular Expressions with Timed Dominoes.	DMTCS	2003	DBLP DOI BibTeX RDF
26	Hans Vangheluwe, Juan de Lara	Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation.	WSC	2003	DBLP DOI BibTeX RDF
26	Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo	Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning.	FTRTFT	2002	DBLP DOI BibTeX RDF
26	Alexandre David, M. Oliver Möller, Wang Yi 0001	Formal Verification of UML Statecharts with Real-Time Extensions.	FASE	2002	DBLP DOI BibTeX RDF
26	Supratik Mukhopadhyay, Andreas Podelski	Model Checking for Timed Logic Processes.	Computational Logic	2000	DBLP DOI BibTeX RDF
25	Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg	Verification of PLC Programs Given as Sequential Function Charts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	Model Checking, Analysis, Automata, Logic Control
23	Ocan Sankur	Timed Automata Verification and Synthesis via Finite Automata Learning.	TACAS (2)	2023	DBLP DOI BibTeX RDF
23	Antoine Mottet, Karin Quaas	The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata.	Theory Comput. Syst.	2021	DBLP DOI BibTeX RDF
23	Amélie Stainer	Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata. (Contribution à la vérification des automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates).		2013	RDF
23	Lucien Ouedraogo, Ahmed Khoumsi, Mustapha Nourelfath	SetExp: a method of transformation of timed automata into finite state automata.	Real Time Syst.	2010	DBLP DOI BibTeX RDF
23	Rajeev Alur, Limor Fix, Thomas A. Henzinger	Event-Clock Automata: A Determinizable Class of Timed Automata.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
23	Guillermo Rodríguez-Navas, Julián Proenza, Hans Hansson	Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking.	ICFEM	2007	DBLP DOI BibTeX RDF
23	Catalin Dima, Ruggero Lanotte	Distributed Time-Asynchronous Automata.	ICTAC	2007	DBLP DOI BibTeX RDF
23	Behzad Bordbar, Kozo Okano	Verification of Timeliness QoS Properties in Multimedia Systems.	ICFEM	2003	DBLP DOI BibTeX RDF
23	Yasmina Abdeddaïm, Oded Maler	Preemptive Job-Shop Scheduling Using Stopwatch Automata.	TACAS	2002	DBLP DOI BibTeX RDF
23	Martin Fränzle	Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States.	CSL	1999	DBLP DOI BibTeX RDF
22	Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba	TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets.	ATVA	2009	DBLP DOI BibTeX RDF
22	Susanna Donatelli, Serge Haddad, Jeremy Sproston	CSLTA: an Expressive Logic for Continuous-Time Markov Chains.	QEST	2007	DBLP DOI BibTeX RDF
22	Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani	Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols.	ER	2007	DBLP DOI BibTeX RDF
22	Moez Krichen, Stavros Tripakis	Interesting Properties of the Real-Time Conformance Relation.	ICTAC	2006	DBLP DOI BibTeX RDF
22	Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal	Branching-Time Property Preservation Between Real-Time Systems.	ATVA	2006	DBLP DOI BibTeX RDF
22	Karine Altisen, Franck Cassez, Stavros Tripakis	Monitoring and fault-diagnosis with digital clocks	ACSD	2006	DBLP DOI BibTeX RDF
22	Youcef Hammal	Branching Time Semantics for UML 2.0 Sequence Diagrams.	FORTE	2006	DBLP DOI BibTeX RDF
22	Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Correctness-preserving synthesis for real-time control software.	QSIC	2006	DBLP DOI BibTeX RDF
22	Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang 0007	The Semantics and Tool Support of OZTA.	ICFEM	2005	DBLP DOI BibTeX RDF	Timed Patterns, Tool and Verification, Semantics
22	V. Krishna Nandivada, Jens Palsberg	Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
22	Maria Sorea	Lazy Approximation for Dense Real-Time Systems.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
22	Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit 0001	Timed Control with Partial Observability.	CAV	2003	DBLP DOI BibTeX RDF
22	Farn Wang, Fang Yu 0001	OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.	RTCSA	2003	DBLP DOI BibTeX RDF
22	Zonghua Gu 0001, Kang G. Shin	An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Net.	ICDCS	2003	DBLP DOI BibTeX RDF
22	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston	Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
22	Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine	TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems.	CAV	2001	DBLP DOI BibTeX RDF
22	Philippe Herrmann	Renaming is Necessary in Timed Regular Expressions.	FSTTCS	1999	DBLP DOI BibTeX RDF
22	Johan Bengtsson, Bengt Jonsson 0001, Johan Lilius, Wang Yi 0001	Partial Order Reductions for Timed Systems.	CONCUR	1998	DBLP DOI BibTeX RDF
22	Béatrice Bérard, Claudine Picaronny	Accepting Zeno Words Without Making Time Stand Still.	MFCS	1997	DBLP DOI BibTeX RDF
20	Stavros Tripakis	Checking timed Büchi automata emptiness on simulation graphs.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages
20	Susanna Donatelli, Serge Haddad, Jeremy Sproston	Model Checking Timed and Stochastic Properties with CSL^{TA}.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
20	Joël Ouaknine, Alexander Rabinovich, James Worrell 0001	Time-Bounded Verification.	CONCUR	2009	DBLP DOI BibTeX RDF
20	Rui Wang 0024, Ming Gu 0001, Xiaoyu Song, Hai Wan	Formal Specification and Code Generation of Programable Logic Controllers.	ICECCS	2009	DBLP DOI BibTeX RDF
20	Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski	Faster Than Uppaal?	CAV	2008	DBLP DOI BibTeX RDF
20	Yves Boussemart, Sébastien Gorelov, Martin Ouimet, Kristina Lundqvist	Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
20	Peter Niebert, Hongyang Qu 0001	Adding Invariants to Event Zone Automata.	FORMATS	2006	DBLP DOI BibTeX RDF
20	Gregorio Díaz 0001, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero	Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
20	Cory Plock, Benjamin Goldberg, Lenore D. Zuck	From Requirements to Specifications.	ECBS	2005	DBLP DOI BibTeX RDF
20	Moez Krichen, Stavros Tripakis	An Expressive and Implementable Formal Framework for Testing Real-Time Systems.	TestCom	2005	DBLP DOI BibTeX RDF
20	Nawal Addouche, Christian Antoine, Jacky Montmain	Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
20	Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin	Systematic Implementation of Real-Time Models.	FM	2005	DBLP DOI BibTeX RDF
20	Joel Kelso, George J. Milne	Properties as Processes: Their Specification and Verification.	FORTE	2005	DBLP DOI BibTeX RDF
20	Behzad Bordbar, Kozo Okano	Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach.	FATES	2004	DBLP DOI BibTeX RDF
20	Alejandra Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero	Visual Timed Event Scenarios.	ICSE	2004	DBLP DOI BibTeX RDF
20	Véronique Bruyère, Jean-François Raskin	Real-Time Model-Checking: Parameters Everywhere.	FSTTCS	2003	DBLP DOI BibTeX RDF
20	Libor Waszniowski, Zdenek Hanzálek	Analysis of Real Time Operating System Based Applications.	FORMATS	2003	DBLP DOI BibTeX RDF
20	Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen	Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL.	ECRTS	2000	DBLP DOI BibTeX RDF
20	Peter Niebert, Sergio Yovine	Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode.	HSCC	2000	DBLP DOI BibTeX RDF
20	Béatrice Bérard, Laurent Fribourg	Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol.	CAV	1999	DBLP DOI BibTeX RDF
20	Dang Van Hung, Dimitar P. Guelev	Completeness and Decidability of a Fragment of Duration Calculus with Iteration.	ASIAN	1999	DBLP DOI BibTeX RDF
20	Y. Tachi, Satoshi Yamane	Real-Time Symbolic Model Checking for Hard Real-Time Systems.	RTCSA	1999	DBLP DOI BibTeX RDF	real-time symbolic model checking, real-time systems, timed automaton, real-time temporal logic
20	Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi	A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking.	CONCUR	1996	DBLP DOI BibTeX RDF
20	François Laroussinie, Kim Guldstrand Larsen	Compositional Model Checking of Real Time Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
20	Felice Balarin, Alberto L. Sangiovanni-Vincentelli	Iterative algorithms for formal verification of embedded real-time systems.	ICCAD	1994	DBLP DOI BibTeX RDF
20	Stephen Ponzio, Ray Strong	Semisynchrony and Real-Time (Extended Abstract).	WDAG	1992	DBLP DOI BibTeX RDF
20	Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee 0001	A Safety-Assured Development Approach for Real-Time Software.	RTCSA	2010	DBLP DOI BibTeX RDF	formal verification, code generation, timed automata, timing analysis, real-time software
20	Farn Wang	Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.	HSCC	2009	DBLP DOI BibTeX RDF	algorithms, model-checking, experiment, timed automata, TCTL, branching bisimulation
20	Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry	Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation.	MoDELS	2009	DBLP DOI BibTeX RDF	context description, property patterns, model checking, Formal methods, observers, timed automata
20	Catalin Dima	Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL.	TIME	2009	DBLP DOI BibTeX RDF	timed automata, epistemic logics