Search results for "timed-automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini	Concurrency in Timed Automata.	FCT	2001	DBLP DOI BibTeX RDF
35	Bernard Boigelot, Frédéric Herbreteau	The Power of Hybrid Acceleration.	CAV	2006	DBLP DOI BibTeX RDF
35	Sebastian Kupferschmid, Jörg Hoffmann 0001, Henning Dierks, Gerd Behrmann	Adapting an AI Planning Heuristic for Directed Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF
35	Iulian Ober, Alain Kerbrat	Verification of Quantitative Temporal Properties of SDL Specifications.	SDL Forum	2001	DBLP DOI BibTeX RDF
35	Oscar H. Ibarra, Jianwen Su	Generalizing the Discrete Timed Automaton.	CIAA	2000	DBLP DOI BibTeX RDF
35	Howard Bowman	Modelling Timeouts without Timelocks.	ARTS	1999	DBLP DOI BibTeX RDF
34	Saulo Oliveira Dornellas Luiz, Genildo de Moura Vasconcelos, Leandro Dias da Silva	Formal specification of DSP gateway for data transmission between processor cores of OMAP platform.	SAC	2008	DBLP DOI BibTeX RDF	OMAP161x platform, modelling, model checking, embedded systems, timed-automata, discrete event systems, inter-processor communication
34	Henning Dierks	Comparing model checking and logical reasoning for real-time systems.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Verification, Real-time, Timed Automata, Duration Calculus
34	Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek	To Store or Not to Store.	CAV	2003	DBLP DOI BibTeX RDF	Timed automata model checking, Static analysis
34	Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan	Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol.	APSEC	2001	DBLP DOI BibTeX RDF	Lip Synchronisation Protocol, Multimedia, Synthesis, Timed Automata, Duration Calculus
34	Rachel Cardell-Oliver, Tim Glover	A Practical and Complete Algorithm for Testing Real-Time Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF	real-time systems, timed automata, black-box testing
34	Timothy Bourke, Arcot Sowmya	Automatically transforming and relating Uppaal models of embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	timed trace inclusion, model transformation, Uppaal
34	Anthony Winstanley, Mark R. Greenstreet	Temporal Properties of Self-Timed Rings.	CHARME	2001	DBLP DOI BibTeX RDF
34	Stavros Tripakis, Karine Altisen	On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
33	Ting Wang 0004, Jun Sun 0001, Yang Liu 0003, Xinyu Wang 0001, Shanping Li	Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata.	TACAS	2014	DBLP DOI BibTeX RDF
33	Oded Maler, Grégory Batt	Approximating Continuous Systems by Timed Automata.	FMSB	2008	DBLP DOI BibTeX RDF
33	Patricia Bouyer, Thomas Brihaye, Véronique Bruyère, Jean-François Raskin	On the optimal reachability problem of weighted timed automata.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Weighted timed automaton, Cost-optimal reachability problem
33	Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng	Improvements for the Symbolic Verification of Timed Automata.	FORTE	2007	DBLP DOI BibTeX RDF	verification, BDD, timed systems, symbolic method
33	Pavel Krcál, Wang Yi 0001	Communicating Timed Automata: The More Synchronous, the More Difficult to Verify.	CAV	2006	DBLP DOI BibTeX RDF
33	Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis	Deep Random Search for Efficient Model Checking of Timed Automata.	Monterey Workshop	2006	DBLP DOI BibTeX RDF
33	Stefano Cattani, Marta Z. Kwiatkowska	A refinement-based process algebra for timed automata.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF
33	Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie	A New Modality for Almost Everywhere Properties in Timed Automata.	CONCUR	2005	DBLP DOI BibTeX RDF
33	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek	Lower and Upper Bounds in Zone Based Abstractions of Timed Automata.	TACAS	2004	DBLP DOI BibTeX RDF
33	Brian Nielsen, Arne Skou	Automated test generation from timed automata.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF
33	Sanjit A. Seshia, Randal E. Bryant	Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods.	CAV	2003	DBLP DOI BibTeX RDF
33	Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin	Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic.	STACS	2003	DBLP DOI BibTeX RDF
33	Brian Nielsen, Arne Skou	Automated Test Generation from Timed Automata.	TACAS	2001	DBLP DOI BibTeX RDF
32	Franco Raimondi, James Skene, Wolfgang Emmerich	Efficient online monitoring of web-service SLAs.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	services, service level agreements, on-line monitoring
32	Sanjit A. Seshia, Randal E. Bryant, Kenneth S. Stevens	Modeling and Verifying Circuits Using Generalized Relative Timing.	ASYNC	2005	DBLP DOI BibTeX RDF
32	Oded Maler, Dejan Nickovic, Amir Pnueli	Real Time Temporal Logic: Past, Present, Future.	FORMATS	2005	DBLP DOI BibTeX RDF
32	Satoshi Yamane	Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems.	ASIAN	2003	DBLP DOI BibTeX RDF
32	Patricia Bouyer, Antoine Petit 0001, Denis Thérien	An Algebraic Characterization of Data and Timed Languages.	CONCUR	2001	DBLP DOI BibTeX RDF
31	Martin Fränzle, Mani Swaminathan	Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata.	FORMATS	2009	DBLP DOI BibTeX RDF
31	Catalin Dima	Dynamical Properties of Timed Automata Revisited.	FORMATS	2007	DBLP DOI BibTeX RDF
31	Christine Paulin-Mohring	Modelisation of Timed Automata in Coq.	TACS	2001	DBLP DOI BibTeX RDF
30	Patricia Bouyer, Nicolas Markey	Costs Are Expensive!	FORMATS	2007	DBLP DOI BibTeX RDF
30	Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen	Staying Alive as Cheaply as Possible.	HSCC	2004	DBLP DOI BibTeX RDF
30	Ramzi Ben Salah, Marius Bozga, Oded Maler	On Timing Analysis of Combinational Circuits.	FORMATS	2003	DBLP DOI BibTeX RDF
30	Henning Dierks, Marc Lettrari	Constructing Test Automata from Graphical Real-Time Requirements.	FTRTFT	2002	DBLP DOI BibTeX RDF
30	Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn	Efficient Guiding Towards Cost-Optimality in UPPAAL.	TACAS	2001	DBLP DOI BibTeX RDF
30	Martin Dickhöfer, Thomas Wilke	Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem.	ICALP	1999	DBLP DOI BibTeX RDF
30	Angelo Furfaro, Libero Nigro	A development methodology for embedded systems based on RT-DEVS.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Embedded control systems, Model continuity, Java, Model checking, Timed automata, DEVS, Temporal analysis, Real-time constraints
30	Martin Kot	Modeling selected real-time database concurrency control protocols in Uppaal.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Pessimistic protocol, Model checking, Verification, Timed automata, Two-phase-locking, Real-time database systems, Uppaal, Verification tool, Optimistic protocol
30	Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager	Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks.	FM	2009	DBLP DOI BibTeX RDF	wireless sensor networks, model checking, theorem proving, timed automata, clock synchronization, industrial application
30	Hesham Saadawi, Gabriel A. Wainer	Verification of real-time DEVS models.	SpringSim	2009	DBLP DOI BibTeX RDF	formal methods verification, timed automata, DEVS, real-time software
30	Jan-Georg Smaus, Jörg Hoffmann 0001	Relaxation Refinement: A New Method to Generate Heuristic Functions.	MoChArt	2008	DBLP DOI BibTeX RDF	Directed model checking, timed automata, predicate abstraction, abstraction refinement
30	Samrat Mondal, Shamik Sural	A Verification Framework for Temporal RBAC with Role Hierarchy (Short Paper).	ICISS	2008	DBLP DOI BibTeX RDF	Temporal RBAC, Model Checking, Verification, Timed Automata, CTL
30	Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh 0002, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang	Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.	DAC	2008	DBLP DOI BibTeX RDF	task chain, model checking, timed automata, clock drifts, end-to-end latency
30	AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö	Seamless formal verification of complex event processing applications.	DEBS	2007	DBLP DOI BibTeX RDF	design, verification, timed automata, CASE, CEP
30	Iulian Ober, Susanne Graf, Ileana Ober	Validating timed UML models by simulation and verification.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Model checking, UML, Real-time, Object oriented, Observer, Timed automata
30	Frits W. Vaandrager, Adriaan de Groot	Analysis of a biphase mark protocol with Uppaaland PVS.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Biphase mark protocol, Model checking, Formal methods, Timed automata, Theorem provers
30	Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang	Analysis of the zeroconf protocol using UPPAAL.	EMSOFT	2006	DBLP DOI BibTeX RDF	zeroconf protocol, modelling, model checking, verification, formal methods, validation, timed automata
30	Serge Haddad, Patrice Moreaux, Sylvain Rampacek	A Formal Semantics and a Client Synthesis for a BPEL Service.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF	Algebra of timed processes, Web Services, Timed Automata, BPEL4WS
30	Jifeng He 0001, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi 0001	Exploring optimal solution to hardware/software partitioning for synchronous model.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Timed automata, Scheduling algorithm, Reachability, Hardware/software partitioning
30	M. Ümit Uyar, Yu Wang 0012, Samrat S. Batth, Adriana Wise, Mariusz A. Fecko	Timing Fault Models for Systems with Multiple Timers.	TestCom	2005	DBLP DOI BibTeX RDF	Timer Constraints, Fault Modeling, Timed Automata, Conformance Testing, Multiple Faults
30	Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan	Passive mid-stream monitoring of real-time properties.	EMSOFT	2005	DBLP DOI BibTeX RDF	monitoring, timed automata, passive testing, run-time verification
30	Alexandre Pauchet, Nathalie Chaignaud, Amal El Fallah Seghrouchni	A Cognitive Model of Interaction for Software Agents.	IAT	2005	DBLP DOI BibTeX RDF	a semantics of speech acts, Cognitive modelling, timed automata, BDI agents, human interaction
30	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston	Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Timed automata, Probabilistic model checking, IEEE standard, FireWire
30	Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink	Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Lip synchronisation, Model checking, Verification, Specification, Timed automata, Uppaal
30	Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel	Experiences with analysis of formal specifications in Astral.	RTCSA	1997	DBLP DOI BibTeX RDF	temporal properties verification, simulation, formal specification, formal specifications, prototyping, specification language, timed automata, timing analysis, requirements specification, real-time software, Astral
29	John Håkansson, Paul Pettersson	Partial Order Reduction for Verification of Real-Time Components.	FORMATS	2007	DBLP DOI BibTeX RDF
29	Rajeev Alur, Mikhail Bernadsky, P. Madhusudan	Optimal Reachability for Weighted Timed Games.	ICALP	2004	DBLP DOI BibTeX RDF
29	Ernst-Rüdiger Olderog	Correct Real-Time Software for Programmable Logic Controllers.	Correct System Design	1999	DBLP DOI BibTeX RDF
28	Olga Grinchtein, Martin Leucker	Network invariants for real-time systems.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Real-time systems, Parameterized systems, Network invariants
28	Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Predictable real-time software synthesis.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Real-time systems, Formal methods, Program synthesis
28	Eun-Young Kang 0001, Stephan Merz	Predicate diagrams for the verification of real-time systems.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF
28	Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier	Controller Synthesis for MTL Specifications.	CONCUR	2006	DBLP DOI BibTeX RDF
28	Oded Maler, Amir Pnueli	On Recognizable Timed Languages.	FoSSaCS	2004	DBLP DOI BibTeX RDF
28	Deepak D'Souza, P. Madhusudan	Timed Control Synthesis for External Specifications.	STACS	2002	DBLP DOI BibTeX RDF
28	Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard	Difference Decision Diagrams.	CSL	1999	DBLP DOI BibTeX RDF
28	Jürgen Ruf, Thomas Kropf	Using MTBDDs for Compostion and Model Checking of Real-Time Systems.	FMCAD	1998	DBLP DOI BibTeX RDF
28	Carsten Weise, Dirk Lenzkes	Efficient Scaling-Invariant Checking of Timed Bisimulation.	STACS	1997	DBLP DOI BibTeX RDF	program specification and verification, real-time systems, decidability, algorithms and data structures, automata and formal languages
27	Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager	Operational and Logical Semantics for Polling Real-Time Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF
27	Étienne André	IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata.	ICTAC	2009	DBLP DOI BibTeX RDF
27	Matthias Woehrle, Kai Lampka, Lothar Thiele	Exploiting Timed Automata for Conformance Testing of Power Measurements.	FORMATS	2009	DBLP DOI BibTeX RDF
27	Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao	Counterexample Generation for Probabilistic Timed Automata Model Checking.	CSSE (2)	2008	DBLP DOI BibTeX RDF
27	Abdelouahed Gherbi, Ferhat Khendek	Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency.	ISORC	2007	DBLP DOI BibTeX RDF
27	Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye, Marcus Größer	Probabilistic and Topological Semantics for Timed Automata.	FSTTCS	2007	DBLP DOI BibTeX RDF
27	Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik	Hypervolume Approximation in Timed Automata Model Checking.	FORMATS	2007	DBLP DOI BibTeX RDF
27	Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen	Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata.	QEST	2006	DBLP DOI BibTeX RDF
27	Franck Cassez, Thomas Chatain, Claude Jard	Symbolic Unfoldings for Networks of Timed Automata.	ATVA	2006	DBLP DOI BibTeX RDF
27	Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.	FMOODS	2006	DBLP DOI BibTeX RDF
27	Oded Maler, Dejan Nickovic, Amir Pnueli	From MITL to Timed Automata.	FORMATS	2006	DBLP DOI BibTeX RDF
27	Moez Krichen, Stavros Tripakis	State Identification Problems for Timed Automata.	TestCom	2005	DBLP DOI BibTeX RDF
27	Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang	Towards Timed Automata and Multi-agent Systems.	FAABS	2004	DBLP DOI BibTeX RDF	formal models, Agent oriented software engineering, agent oriented programming
27	Iulian Ober, Susanne Graf, Ileana Ober	Validation of UML Models via a Mapping to Communicating Extended Timed Automata.	SPIN	2004	DBLP DOI BibTeX RDF
27	François Laroussinie, Nicolas Markey, Philippe Schnoebelen	Model Checking Timed Automata with One or Two Clocks.	CONCUR	2004	DBLP DOI BibTeX RDF
27	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina	Information Flow Analysis for Probabilistic Timed Automata.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
27	Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi 0001	Unification & Sharing in Timed Automata Verification.	SPIN	2003	DBLP DOI BibTeX RDF
27	Agata Pólrola, Wojciech Penczek, Maciej Szreter	Towards Efficient Partition Refinement for Checking Reachability in Timed Automata.	FORMATS	2003	DBLP DOI BibTeX RDF
27	Bozena Wozna, Andrzej Zbrzezny	Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking.	FORMATS	2003	DBLP DOI BibTeX RDF
27	Sarah Zennou, Manuel Yguel, Peter Niebert	ELSE: A New Symbolic State Generator for Timed Automata.	FORMATS	2003	DBLP DOI BibTeX RDF
27	Stavros Tripakis	Folk Theorems on the Determinization and Minimization of Timed Automata.	FORMATS	2003	DBLP DOI BibTeX RDF
27	Guoqiang Shu, Chao Li, Qing Wang 0001, Mingshu Li 0001	Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata.	IEEE International Workshop on Rapid System Prototyping	2002	DBLP DOI BibTeX RDF
27	Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng	Partial Order Path Technique for Checking Parallel Timed Automata.	FTRTFT	2002	DBLP DOI BibTeX RDF
27	Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain	Verification of Timed Automata via Satisfiability Checking.	FTRTFT	2002	DBLP DOI BibTeX RDF
27	Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero	An architecture-centric approach to the development of a distributed model-checker for timed automata.	ICSE	2002	DBLP DOI BibTeX RDF
27	Marius Bozga, Oded Maler, Stavros Tripakis	Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics.	CHARME	1999	DBLP DOI BibTeX RDF
27	Ansgar Fehnker	Scheduling a Steel Plant with Timed Automata.	RTCSA	1999	DBLP DOI BibTeX RDF
27	Supratik Mukhopadhyay, Andreas Podelski	Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata.	FSTTCS	1999	DBLP DOI BibTeX RDF