Search results for "timed automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
3	Rodolfo Gómez	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
3	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
3	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
3	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 in System Design	2009	DBLP DOI BibTeX RDF	Memory circuit, Model checking, Timed automata
3	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
3	M. 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
3	Taolue Chen, Tingting Han, Joost-Pieter Katoen	Time-Abstracting Bisimulation for Probabilistic Timed Automata.	TASE	2008	DBLP DOI BibTeX RDF	time-abstracting bisimulation, probabilistic timed automata
3	Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen	Optimal infinite scheduling for multi-priced timed automata.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Priced timed automata, Optimal mean-payoff
3	Libor Waszniowski, Zdenek Hanzálek	Formal verification of multitasking applications based on timed automata model.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	OSEK/VDX, Model-checking, Verification, Formal methods, Timed automata, Multitasking
3	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
3	Slawomir Lasota, Igor Walukiewicz	Alternating timed automata.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	emptyness problem, timed automata, Alternation
3	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.	T. Edutainment	2008	DBLP DOI BibTeX RDF	rehabilitation training game, isometric training, hemiparetic patient, motion capture, timed automata
3	Rodolfo Gómez, Howard Bowman	Efficient Detection of Zeno Runs in Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF	Zeno Runs, Model-checking, Timed Automata, Uppaal
3	Xianli Jin, Huadong Ma, Zonghua Gu	Real-Time Component Composition Using Hierarchical Timed Automata.	QSIC	2007	DBLP DOI BibTeX RDF	hierarchical timed automata, real-time, component, labeled transition systems
3	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
3	Bernard Berthomieu, Florent Peres, François Vernadat	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
3	Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He	A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata.	KES	2006	DBLP DOI BibTeX RDF	tabu search, timed automata, scheduling algorithm, GRASP, hardware/software partitioning
3	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
3	Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik	Dealing with practical limitations of distributed timed model checking for timed automata.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Distributed timed model checking, Kronos, Load-balance, Reconfiguration, Timed automata, Reachability, Redistribution, Zeus, DBM
3	Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani	On using priced timed automata to achieve optimal scheduling.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Priced-timed automata, Zone-based, Linear programming, Real-time scheduling, Cost optimality
3	Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston	Performance analysis of probabilistic timed automata using digital clocks.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Timed automata, Probabilistic model checking, Digital clocks
3	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek	Lower and upper bounds in zone-based abstractions of timed automata.	STTT	2006	DBLP DOI BibTeX RDF	Verification, Abstraction, Timed automata, Extrapolation
3	Shang-Wei Lin, 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
3	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
3	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
3	Jin Song Dong, Roger Duke, Ping Hao	Integrating Object-Z with Timed Automata.	ICECCS	2005	DBLP DOI BibTeX RDF	Specification, Timed Automata, Object-Z
3	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
3	Gerd Behrmann	Distributed reachability analysis in timed automata.	STTT	2005	DBLP DOI BibTeX RDF	Distributed state space generation, Model checking, Load balancing, Timed automata
3	Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz	Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. (PDF / PS)	DS-RT	2004	DBLP DOI BibTeX RDF	Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS
3	Patricia Bouyer	Forward Analysis of Updatable Timed Automata.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	(updatable) timed automata, forward analysis algorithm, widening operator, data structure, correctness
3	Pierluigi San Pietro, Zhe Dang	Automatic Verification of Multi-queue Discrete Timed Automata.	COCOON	2003	DBLP BibTeX RDF	infinite-state model-checking, real-time systems, Timed Automata
3	Farn Wang	Efficient Verification of Timed Automata with BDD-Like Data-Structures.	VMCAI	2003	DBLP BibTeX RDF	model-checking, verification, data-structures, timed automata, BDD
3	Stavros Tripakis	Fault Diagnosis for Timed Automata.	FTRTFT	2002	DBLP BibTeX RDF	Fault diagnosis, Timed Automata, Partial observability
3	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
3	Dirk Beyer	Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs.	CHARME	2001	DBLP BibTeX RDF	Real-time systems, Formal verification, Timed Automata
3	Dirk Beyer	Improvements in BDD-Based Reachability Analysis of Timed Automata.	FME	2001	DBLP BibTeX RDF	Real-time systems, Formal verification, Timed automata, BDDs, Discretization
3	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 BibTeX RDF	Optimization, Algorithms, Verification, Data Structures, Timed Automata
3	Lina Khatib, Nicola Muscettola, Klaus Havelund	Mapping Temporal Planning Constraints into Timed Automata. (PDF / PS)	TIME	2001	DBLP DOI BibTeX RDF	Time in AI, Temporal Representation and Constraints, Scheduling, Model Checking, Validation, Planning, Timed Automata
3	Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi	Verifying temporal constraints on data in multi-rate transactions using timed automata. (PDF / PS)	RTCSA	2000	DBLP DOI BibTeX RDF	temporal constraint verification, multi-rate transactions, nonpreemptive execution order, scheduling, real-time systems, real-time systems, program verification, computational models, timed automata, transaction processing, schedulability analysis, data dependencies, reachability analysis, reachability analysis, automata theory, end-to-end latency
3	Rachel Cardell-Oliver	Conformance Tests for Real-Time Systems with Timed Automata Specifications.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Real-time systems, Timed automata, Conformance testing, Test selection
3	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. (PDF / PS)	ICPP Workshops	1999	DBLP DOI BibTeX RDF	real-time systems, verification, timed automata, deadlock freeness
3	Carl K. Chang, Yi-Te Tseng, Ugo Buy	Compiling process algebraic specifications into timed automata. (PDF / PS)	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
3	Eugene Asarin, Paul Caspi, Oded Maler	A Kleene Theorem for Timed Automata. (PDF / PS)	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
3	Felice Balarin	Approximate reachability analysis of timed automata. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	approximate reachability analysis, unsafe states, incorrect system, discrete state components, real-time systems, formal verification, computation, Boolean functions, timed automata, finite automata, finite state automata, timing information
3	Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher	From Scenarios to Timed Automata: Building Specifications from Users Requirements. (PDF / PS)	APSEC	1995	DBLP DOI BibTeX RDF	Requirements Engineering, Synthesis, Scenarios, Timed automata, Timing constraints
2	Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi	Concavely-Priced Probabilistic Timed Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
2	Jeremy Sproston	Strict Divergence for Probabilistic Timed Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
2	Matthias Woehrle, Kai Lampka, Lothar Thiele	Exploiting Timed Automata for Conformance Testing of Power Measurements.	FORMATS	2009	DBLP DOI BibTeX RDF
2	Martin Fränzle, Mani Swaminathan	Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata.	FORMATS	2009	DBLP DOI BibTeX RDF
2	Marta Z. Kwiatkowska, Gethin Norman, David Parker	Stochastic Games for Verification of Probabilistic Timed Automata.	FORMATS	2009	DBLP DOI BibTeX RDF
2	Catalin Dima, Ruggero Lanotte	Removing All Silent Transitions from Timed Automata.	FORMATS	2009	DBLP DOI BibTeX RDF
2	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
2	Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye	When Are Timed Automata Determinizable?	ICALP	2009	DBLP DOI BibTeX RDF
2	Pawel Parys, Igor Walukiewicz	Weak Alternating Timed Automata.	ICALP	2009	DBLP DOI BibTeX RDF
2	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
2	Étienne André	IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata.	ICTAC	2009	DBLP DOI BibTeX RDF
2	Arnd Hartmanns, Holger Hermanns	A Modest Approach to Checking Probabilistic Timed Automata.	QEST	2009	DBLP DOI BibTeX RDF	Probabilistic timed automata, model checking, compositional modelling, digital clocks
2	Qingguo Xu, Huaikou Miao	Manipulating Clocks in Timed Automata Using PVS.	SNPD	2009	DBLP DOI BibTeX RDF	clock manipulation, real-time system, Timed Automata, PVS
2	Jasper Berendsen, Taolue Chen, David N. Jansen	Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.	TAMC	2009	DBLP DOI BibTeX RDF
2	Sicco Verwer, Mathijs de Weerdt, Cees Witteveen	One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit.	LATA	2009	DBLP DOI BibTeX RDF
2	Ramzi Ben Salah, Marius Bozga, Oded Maler	Compositional timing analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	compositional generation, abstraction, timed automata, reachability analysis
2	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
2	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
2	Moez Krichen, Stavros Tripakis	Conformance testing for real-time systems.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
2	Angelo Furfaro, Libero Nigro	A development methodology for embedded systems based on RT-DEVS.	ISSE	2009	DBLP DOI BibTeX RDF	Embedded control systems, Model continuity, Java, Model checking, Timed automata, DEVS, Temporal analysis, Real-time constraints
2	Martin Kot	Modeling selected real-time database concurrency control protocols in Uppaal.	ISSE	2009	DBLP DOI BibTeX RDF	Pessimistic protocol, Model checking, Verification, Timed automata, Real-time database systems, Two-phase-locking, Uppaal, Verification tool, Optimistic protocol
2	Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj	Updatable Timed Automata with Additive and Diagonal Constraints.	CiE	2008	DBLP DOI BibTeX RDF
2	P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa	Timed Automata with Integer Resets: Language Inclusion and Expressiveness.	FORMATS	2008	DBLP DOI BibTeX RDF
2	Marcin Jurdzinski, Ashutosh Trivedi	Concavely-Priced Timed Automata.	FORMATS	2008	DBLP DOI BibTeX RDF
2	Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba	Infinite Runs in Weighted Timed Automata with Energy Constraints.	FORMATS	2008	DBLP DOI BibTeX RDF
2	Jirí Srba	Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets.	FORMATS	2008	DBLP DOI BibTeX RDF
2	Manfred Droste, Karin Quaas	A Kleene-Schützenberger Theorem for Weighted Timed Automata.	FoSSaCS	2008	DBLP DOI BibTeX RDF
2	Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier	Robust Analysis of Timed Automata via Channel Machines.	FoSSaCS	2008	DBLP DOI BibTeX RDF
2	Taolue Chen, Jian Lu	Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks.	FSKD	2008	DBLP DOI BibTeX RDF
2	Sicco Verwer, Mathijs de Weerdt, Cees Witteveen	Polynomial Distinguishability of Timed Automata.	ICGI	2008	DBLP DOI BibTeX RDF
2	Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen	The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.	IFIP TCS	2008	DBLP DOI BibTeX RDF
2	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Verification of networks of timed automata using mCRL2.	IPDPS	2008	DBLP DOI BibTeX RDF
2	Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer	Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata.	LICS	2008	DBLP DOI BibTeX RDF
2	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
2	Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey	Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics.	QEST	2008	DBLP DOI BibTeX RDF
2	Jean-Yves Didier, Bachir Djafri, Hanna Klaudel	MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata.	VR	2008	DBLP DOI BibTeX RDF
2	Salvatore Campana, Luca Spalazzi, Francesco Spegni	XAL: A Web Oriented Programming Language Based on Timed-Automata.	Web Intelligence	2008	DBLP DOI BibTeX RDF
2	Oded Maler, Grégory Batt	Approximating Continuous Systems by Timed Automata.	FMSB	2008	DBLP DOI BibTeX RDF
2	Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao	Counterexample Generation for Probabilistic Timed Automata Model Checking.	CSSE	2008	DBLP DOI BibTeX RDF
2	Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin	Robust safety of timed automata.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Robustness, Implementability, Perturbation, Timed automaton, Drift
2	Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi	Timed Automata Patterns.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
2	Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, 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
2	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
2	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
2	Jan-Georg Smaus, Jörg Hoffmann	Relaxation Refinement: A New Method to Generate Heuristic Functions.	MoChArt	2008	DBLP DOI BibTeX RDF	Directed model checking, timed automata, predicate abstraction, abstraction refinement
2	Stephanie Geist, Dmitry Gromov, Jörg Raisch	Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Multirate timed automata, Parallel production lines, Scheduling, Verification, Hybrid systems, Discrete event control
2	Sara Adams, Joël Ouaknine, James Worrell	Undecidability of Universality for Timed Automata with Minimal Resources.	FORMATS	2007	DBLP DOI BibTeX RDF
2	Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen	Automatic Abstraction Refinement for Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
2	Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar	Counter-Free Input-Determined Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
2	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
2	Catalin Dima	Dynamical Properties of Timed Automata Revisited.	FORMATS	2007	DBLP DOI BibTeX RDF
2	Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini	Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.	FORTE	2007	DBLP DOI BibTeX RDF
2	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