Search results for "timed-automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Hubert Garavel, Frédéric Lang	Equivalence Checking 40 Years After: A Review of Bisimulation Tools.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Jan Tretmans, Ramon Janssen	Goodbye ioco.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Christel Baier, Clemens Dubslaff, Florian Funke 0002, Simon Jantsch, Jakob Piribauer, Robin Ziemek	Operational Causality - Necessarily Sufficient and Sufficiently Necessary.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Martin Fränzle	The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Jan A. Bergstra, John V. Tucker	Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Saidgani Musaev, Wan J. Fokkink	A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Sebastian Junges, Jurriaan Rot	Learning Language Intersections.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Rocco De Nicola, Luca Di Stefano 0001, Omar Inverso, Serenella Valiani	Process Algebras and Flocks of Birds.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Ansgar Fehnker	What's in School? - Topic Maps for Secondary School Computer Science.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Nancy A. Lynch, Cameron Musco	A Basic Compositional Model for Spiking Neural Networks.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis	Playing Wordle with Uppaal Stratego.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
58	Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin	Durations and parametric model-checking in timed automata.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	model-checking, Timed automata, Presburger arithmetic
58	Gerd Behrmann	Distributed reachability analysis in timed automata.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Distributed state space generation, Model checking, Load balancing, Timed automata
58	Carl K. Chang, Yi-Te Tseng, Ugo A. Buy	Compiling process algebraic specifications into timed automata.	COMPSAC	1997	DBLP DOI BibTeX RDF	Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems
58	Ramzi Ben Salah, Marius Bozga, Oded Maler	Compositional timing analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	compositional generation, abstraction, timed automata, reachability analysis
57	Jasper Berendsen, Taolue Chen, David N. Jansen	Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.	TAMC	2009	DBLP DOI BibTeX RDF
57	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
57	Slawomir Lasota 0001, Igor Walukiewicz	Alternating Timed Automata.	FoSSaCS	2005	DBLP DOI BibTeX RDF
57	Deepak D'Souza, M. Raj Mohan	Eventual Timed Automata.	FSTTCS	2005	DBLP DOI BibTeX RDF
57	Joël Ouaknine, James Worrell 0001	On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap.	LICS	2004	DBLP DOI BibTeX RDF
57	Joël Ouaknine, James Worrell 0001	Revisiting Digitization, Robustness, and Decidability for Timed Automata.	LICS	2003	DBLP DOI BibTeX RDF
56	Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri	Towards formal security analysis of GTRBAC using timed automata.	SACMAT	2009	DBLP DOI BibTeX RDF	GTRBAC, model checking, timed automata, security analysis, ctl
56	Gi Sook Jung, Sang Yun Kim, Soon Ki Jung, Seung Deuk Byun, Yang Soo Lee	Timed Automata-Based Rehabilitation Training Game Design for the Affected Lower Extremity of Hemiparetic Patient.	Trans. Edutainment	2008	DBLP DOI BibTeX RDF	rehabilitation training game, isometric training, hemiparetic patient, motion capture, timed automata
56	Xianli Jin, Huadong Ma, Zonghua Gu 0001	Real-Time Component Composition Using Hierarchical Timed Automata.	QSIC	2007	DBLP DOI BibTeX RDF	hierarchical timed automata, real-time, component, labeled transition systems
56	Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He 0001	A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata.	KES (1)	2006	DBLP DOI BibTeX RDF	tabu search, timed automata, scheduling algorithm, GRASP, hardware/software partitioning
56	Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi	Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	real-time systems, verification, timed automata, deadlock freeness
56	Eugene Asarin, Paul Caspi, Oded Maler	A Kleene Theorem for Timed Automata.	LICS	1997	DBLP DOI BibTeX RDF	Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory
56	Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher	From Scenarios to Timed Automata: Building Specifications from Users Requirements.	APSEC	1995	DBLP DOI BibTeX RDF	Requirements Engineering, Synthesis, Scenarios, Timed automata, Timing constraints
56	Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu	Timed verification of the generic architecture of a memory circuit using parametric timed automata.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Memory circuit, Model checking, Timed automata
55	Thomas Brihaye, Véronique Bruyère, Jean-François Raskin	Model-Checking for Weighted Timed Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
55	Béatrice Bérard, Paul Gastin, Antoine Petit 0001	On the Power of Non-Observable Actions in Timed Automata.	STACS	1996	DBLP DOI BibTeX RDF
55	Pham Hong Thai, Dang Van Hung	Verifying Linear Duration Constraints of Timed Automata.	ICTAC	2004	DBLP DOI BibTeX RDF
54	Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001	Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems.	Real Time Syst.	2003	DBLP DOI BibTeX RDF	real-time systems, model checking, timed automata, design tool, formal specification and verification
54	Gopal Gupta 0001, Enrico Pontelli	A constraint-based approach for specification and verification of real-time systems.	RTSS	1997	DBLP DOI BibTeX RDF	constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata
54	Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001	Efficient verification of real-time systems: compact data structure and state-space reduction.	RTSS	1997	DBLP DOI BibTeX RDF	real-time systems verification, clock values, clock constraints, real-valued variables, static analysis, timed automata, termination, reachability analysis, reachability analysis, state-space reduction, compact data structure
54	Karin Quaas	On the Supports of Recognizable Timed Series.	FORMATS	2009	DBLP DOI BibTeX RDF
53	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Verification of networks of timed automata using mCRL2.	IPDPS	2008	DBLP DOI BibTeX RDF
53	Marcin Jurdzinski, Ashutosh Trivedi 0001	Reachability-Time Games on Timed Automata.	ICALP	2007	DBLP DOI BibTeX RDF
53	Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar	Counter-Free Input-Determined Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
53	Margaret Naughton, Donal Heffernan, Gabriel Leen	Use of Timed Automata Models in the Design of Real-time Control Network Elements.	ETFA	2006	DBLP DOI BibTeX RDF
53	Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson	Model Checking Timed Automata with Priorities Using DBM Subtraction.	FORMATS	2006	DBLP DOI BibTeX RDF
53	Rajeev Alur, Salvatore La Torre, P. Madhusudan	Perturbed Timed Automata.	HSCC	2005	DBLP DOI BibTeX RDF
53	Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston	Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.	CONCUR	2000	DBLP DOI BibTeX RDF
53	Patricia Bouyer, Antoine Petit 0001	Decomposition and Composition of Timed Automata.	ICALP	1999	DBLP DOI BibTeX RDF
52	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek	Lower and upper bounds in zone-based abstractions of timed automata.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Verification, Abstraction, Timed automata, Extrapolation
52	Jing Chen, Huimin Lin	Making Timed Automata Communicate.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	value-passing, timed symbolic transition graph, real-time, timed automata
52	Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi 0001	Verifying temporal constraints on data in multi-rate transactions using timed automata.	RTCSA	2000	DBLP DOI BibTeX RDF	temporal constraint verification, multi-rate transactions, nonpreemptive execution order, scheduling, real-time systems, real-time systems, program verification, transaction processing, computational models, timed automata, data dependencies, schedulability analysis, reachability analysis, reachability analysis, automata theory, end-to-end latency
52	Felice Balarin	Approximate reachability analysis of timed automata.	RTSS	1996	DBLP DOI BibTeX RDF	approximate reachability analysis, unsafe states, incorrect system, discrete state components, real-time systems, formal verification, Boolean functions, computation, timed automata, finite automata, finite state automata, timing information
52	Lars Grunske, Kirsten Winter, Robert Colvin	Timed Behavior Trees and Their Application to Verifying Real-Time Systems.	ASWEC	2007	DBLP DOI BibTeX RDF	real time systems, model checking, requirements engineering, timed automata, Behavior Trees
52	Eugene Asarin, Paul Caspi, Oded Maler	Timed regular expressions.	J. ACM	2002	DBLP DOI BibTeX RDF	Kleene theorem, timed languages, timed automata
51	Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer	Decidable Approximations on Generalized and Parameterized Discrete Timed Automata.	COCOON	2001	DBLP DOI BibTeX RDF
51	Marius Minea	Partial Order Reduction for Model Checking of Timed Automata.	CONCUR	1999	DBLP DOI BibTeX RDF
51	Stefan Edelkamp, Shahid Jabbar	Real-Time Model Checking on Secondary Storage.	MoChArt	2006	DBLP DOI BibTeX RDF
51	Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi 0001	Schedulability Analysis Using Two Clocks.	TACAS	2003	DBLP DOI BibTeX RDF
50	Rodolfo Gómez 0001, Howard Bowman	Efficient Detection of Zeno Runs in Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF	Zeno Runs, Model-checking, Timed Automata, Uppaal
50	Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz	Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.	DS-RT	2004	DBLP DOI BibTeX RDF	Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS
50	Hacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet	Integrated Tool for Testing Timed Systems.	ISSADS	2005	DBLP DOI BibTeX RDF	Validation, Timed Automata, Conformance Testing, Automata Theory, Protocol Engineering
50	Béatrice Bérard, Claudine Picaronny	Accepting Zeno words: a way toward timed refinements.	Acta Informatica	2000	DBLP DOI BibTeX RDF
49	Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye, Nicolas Markey	Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics.	QEST	2008	DBLP DOI BibTeX RDF
49	Hermann Gruber, Markus Holzer 0001, Astrid Kiehn, Barbara König 0001	On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
49	Pavel Krcál, Wang Yi 0001	Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata.	TACAS	2004	DBLP DOI BibTeX RDF
49	Danièle Beauquier	Pumping Lemmas for Timed Automata.	FoSSaCS	1998	DBLP DOI BibTeX RDF
49	Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen	Model Checking via Reachability Testing for Timed Automata.	TACAS	1998	DBLP DOI BibTeX RDF
49	Volker Diekert, Paul Gastin, Antoine Petit 0001	Removing epsilon-Transitions in Timed Automata.	STACS	1997	DBLP DOI BibTeX RDF
49	Ahmed Bouajjani, Yassine Lakhnech	Temporal Logic + Timed Automata: Expressiveness and Decidability.	CONCUR	1995	DBLP DOI BibTeX RDF
49	Rajeev Alur, David L. Dill	The Theory of Timed Automata.	REX Workshop	1991	DBLP DOI BibTeX RDF	Real-time systems, Formal languages, Automatic verification, Automata theory
48	Jirí Srba	Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets.	FORMATS	2008	DBLP DOI BibTeX RDF
48	Christophe Lohr, Jean-Pierre Courtiat	From the Specification to the Scheduling of Time-Dependent Systems.	FTRTFT	2002	DBLP DOI BibTeX RDF	Minimal Reachability Graph, Time Labeled Scheduling Automata, Process Algebra, Timed Automata, Temporal Consistency, RT-Lotos
48	Michael Emmi, Rupak Majumdar	Decision Problems for the Verification of Real-Time Software.	HSCC	2006	DBLP DOI BibTeX RDF
48	Jeremy Sproston	Model Checking for Probabilistic Timed Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
48	Wang Yi 0001, Bengt Jonsson 0001	Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes.	FSTTCS	1994	DBLP DOI BibTeX RDF
47	Ramzi Ben Salah, Marius Bozga, Oded Maler	On timed components and their abstraction.	SAVCBS	2007	DBLP DOI BibTeX RDF	components, abstraction, timed automata
47	Sicco Verwer, Mathijs de Weerdt, Cees Witteveen	One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit.	LATA	2009	DBLP DOI BibTeX RDF
47	Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj	Updatable Timed Automata with Additive and Diagonal Constraints.	CiE	2008	DBLP DOI BibTeX RDF
47	Jin Song Dong, Yang Liu 0003, Jun Sun 0001, Xian Zhang 0007	Verification of Computation Orchestration Via Timed Automata.	ICFEM	2006	DBLP DOI BibTeX RDF
47	Martijn Hendriks, Marcel Verhoef	Timed automata based analysis of embedded system architectures.	IPDPS	2006	DBLP DOI BibTeX RDF
47	Roberto Barbuti, Luca Tesei	Timed automata with urgent transitions.	Acta Informatica	2004	DBLP DOI BibTeX RDF
47	Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen	Static Guard Analysis in Timed Automata Verification.	TACAS	2003	DBLP DOI BibTeX RDF
47	Rajeev Alur	Timed Automata.	CAV	1999	DBLP DOI BibTeX RDF
47	Karin Quaas	Weighted Timed MSO Logics.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
47	Pao-Ann Hsiung, Shang-Wei Lin 0001, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao	Model Checking Timed Systems with Urgencies.	ATVA	2006	DBLP DOI BibTeX RDF
47	David K. Probst, Hon Fung Li	Verifying Timed Behavior Automata with Input/Output Critical Races.	CAV	1993	DBLP DOI BibTeX RDF
46	Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey	Timed automata with observers under energy constraints.	HSCC	2010	DBLP DOI BibTeX RDF	weighted timed automata, energy constraints
46	Kai Lampka, Simon Perathoner, Lothar Thiele	Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems.	EMSOFT	2009	DBLP DOI BibTeX RDF	performance analysis, timed automata, hard real-time systems, real-time calculus
46	Libor Waszniowski, Zdenek Hanzálek	Formal verification of multitasking applications based on timed automata model.	Real Time Syst.	2008	DBLP DOI BibTeX RDF	OSEK/VDX, Model-checking, Verification, Formal methods, Timed automata, Multitasking
46	Paula Herber, Joachim Fellmuth, Sabine Glesner	Model checking SystemC designs using timed automata.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	model checking, timed automata, SystemC
46	Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Modelling secure wireless sensor networks routing protocols with timed automata.	PM2HW2N	2008	DBLP DOI BibTeX RDF	security, wireless sensor networks, timed automata
46	Béatrice Bérard, Paul Gastin, Antoine Petit 0001	Timed substitutions for regular signal-event languages.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Signal-event word, Refinement, Abstraction, Timed automata, Substitution
46	Robert Colvin, Lars Grunske, Kirsten Winter	Probabilistic Timed Behavior Trees.	IFM	2007	DBLP DOI BibTeX RDF	model checking, probabilities, timed automata, Behavior Trees
46	Jin Song Dong, Ping Hao, Xian Zhang 0007, Shengchao Qin	HighSpec: a tool for building and checking OZTA models.	ICSE	2006	DBLP DOI BibTeX RDF	verification, timed automata, object-Z, structural design
46	Karsten Strehl	Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification.	RTCSA	1999	DBLP DOI BibTeX RDF	timed reachability analysis, real-time symbolic model checking, Formal verification, timed automata, binary decision diagrams
45	Rodolfo Gómez 0001, Howard Bowman	Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.	FORTE	2003	DBLP DOI BibTeX RDF
45	Catalin Dima	Computing Reachability Relations in Timed Automata.	LICS	2002	DBLP DOI BibTeX RDF
45	Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager	Linear Parametric Model Checking of Timed Automata.	TACAS	2001	DBLP DOI BibTeX RDF
45	Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.	RTSS	2003	DBLP DOI BibTeX RDF
44	Martin De Wulf, Laurent Doyen 0001, Nicolas Markey, Jean-François Raskin	Robust safety of timed automata.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Robustness, Implementability, Perturbation, Timed automaton, Drift
44	Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston	From Time Petri Nets to Timed Automata: An Untimed Approach.	TACAS	2007	DBLP DOI BibTeX RDF
44	Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier	Robust Model-Checking of Linear-Time Properties in Timed Automata.	LATIN	2006	DBLP DOI BibTeX RDF	robust verification, Implementability, timed systems
44	François Laroussinie, Kim Guldstrand Larsen, Carsten Weise	From Timed Automata to Logic - and Back.	MFCS	1995	DBLP DOI BibTeX RDF
44	Howard Bowman, Rodolfo Gómez 0001	How to stop time stopping.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Zeno-timelocks, Non-zenoness conditions, Model checking, Timed automata