"Linear Parametric Model Checking of Timed Automata"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Model checking /	Clarke, Edmund M.,		The MIT Press
Model checking /	Clarke, Edmund M.,; Grumberg, Orna.; Peled, Doron A.,	c1999.	MIT Press,
Model checking /	Clarke, Edmund M.,; Grumberg, Orna,; Peled, Doron A.,	©1999.	MIT Press,
The theory of timed I/O automata	Dilsun K. Kaynar	2011	Morgan & Claypool
Handbook of Model Checking	Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem	1st ed. 2018	Springer International Publishing
Principles of model checking /	Baier, Christel.; Katoen, Joost-Pieter.	[2008?]	The MIT Press,
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
Non-Linear Parametric Optimization	BANK; GUDDAT; KLATTE; KUMMER; TAMMER	1983	Birkhäuser Basel
The Theory of Timed I/O Automata, Second Edition	Dilsun Kaynar; Nancy Lynch; Roberto Segala; Frits Vaandrager		Springer International Publishing
Parametric modeling of linear and nonlinear systems	Francis Anthony Perry	1980	Naval Postgraduate School
A bootstrap approach to model checking for linear models under length-biased data	Ojeda J.L., Cristobal J.A.	2008
Cellular Automata: A Parallel Model	M. Delorme; J. Mazoyer	1999	Springer Netherlands
Linear Model Methodology	Andre I. Khuri	2009	Routledge
25 Years of Model Checking: History, Achievements, Perspectives	Orna Grumberg; Helmut Veith	2008	Springer Berlin Heidelberg
Abstraction Refinement for Large Scale Model Checking	Chao Wang; Gary D. Hachtel; Fabio Somenzi	2006	Springer US
Model Checking Quantum Systems: Principles and Algorithms	Mingsheng Ying; Yuan Feng	2021-02	Cambridge University Press
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems	Howard Bowman; Rodolfo Gomez	2006	Springer London
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach	Doc.dr.hab. Wojciech Penczek, Dr. Agata Pólrola (auth.)	2006	Springer-Verlag Berlin Heidelberg
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach	Wojciech Penczek; Agata Pólrola	2006	Springer Berlin Heidelberg
Parametric analysis of airland combat model in high resolution	Jae Yeong Lee	1988
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Linear Parametric Model Checking of Timed Automata	Thomas Hune; Judi Romijn; Mariëelle Stoelinga; Frits Vaandrager	Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings	Tiziana Margaria; Wang Yi	2001	Springer Berlin Heidelberg
Bounded Model Checking for Parametric Timed Automata	Michał Knapik; Wojciech Penczek	Transactions on Petri Nets and Other Models of Concurrency V	Kurt Jensen	2012	Springer Berlin Heidelberg
Model checking timed automata	Sergio Yovine	Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996	Grzegorz Rozenberg; Frits W. Vaandrager	1998	Springer Berlin Heidelberg
Model Checking Timed Automata	Patricia Bouyer; François Laroussinie	Modeling and Verification of Real-time Systems	Nicolas Navet; Stephan Merz	2008	John Wiley & Sons
Parametric Deadlock-Freeness Checking Timed Automata	Étienne André	Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings	Augusto Sampaio; Farn Wang	1st ed. 2016	Springer International Publishing
Model Checking Prioritized Timed Automata	Shang-Wei Lin; Pao-Ann Hsiung; Chun-Hsian Huang; Yean-Ru Chen	Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings	Doron A. Peled; Yih-Kuen Tsay	2005	Springer Berlin Heidelberg
Parametric Timed Automata	Étienne André; Romain Soulat	The Inverse Method / Parametric Verification of Real-time Unbedded Systems	Étienne André	2013	John Wiley & Sons
Verified Model Checking of Timed Automata	Simon Wimmer; Peter Lammich	Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I	Dirk Beyer; Marieke Huisman	1st ed. 2018	Springer International Publishing
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption	Étienne André; Hoang Gia Nguyen; Laure Petrucci; Jun Sun	NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings	Clark Barrett; Misty Davies; Temesghen Kahsai	1st ed. 2017	Springer International Publishing
Parametric Model Checking Timed Automata Under Non-Zenoness Assumpti		NASA Formal Methods	Clark Barrett and Misty Davies	2017	Springer
Model-Checking for Weighted Timed Automata	Thomas Brihaye; Véronique Bruyère; Jean-François Raskin	Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings	Yassine Lakhnech; Sergio Yovine	2004	Springer Berlin Heidelberg
Parametric Timed Model Checking for Guaranteeing Timed Opacity	Étienne André; Jun Sun	Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings	Yu-Fang Chen; Chih-Hong Cheng; Javier Esparza	1st ed. 2019	Springer International Publishing
Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic	Véronique Bruyère; Emmanuel Dall’Olio; Jean-FranÇois Raskin	STACS 2003: 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings	Helmut Alt; Michel Habib	2003	Springer Berlin Heidelberg
Robust Model-Checking of Linear-Time Properties in Timed Automata	Patricia Bouyer; Nicolas Markey; Pierre-Alain Reynier	LATIN 2006: Theoretical Informatics: 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings	José R. Correa; Alejandro Hevia; Marcos Kiwi	2006	Springer Berlin Heidelberg
Parametric Interrupt Timed Automata	Beatrice Bérard; Serge Haddad; Aleksandra Jovanović; Didier Lime	Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings	Parosh Aziz Abdulla; Igor Potapov	2013	Springer Berlin Heidelberg
Parametric Updates in Parametric Timed Automata	Étienne André; Didier Lime; Mathias Ramparison	Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6. 1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings	Jorge A. Pérez; Nobuko Yoshida	1st ed. 2019	Springer International Publishing
Model Checking Probabilistic Timed Systems against Timed Automata Specification	Junhua Zhang	Advances in Computer Science and its Applications: CSA 2013	Hwa Young Jeong; Mohammad S. Obaidat; Neil Y. Yen; James J. (Jong Hyuk) Park	2014	Springer Berlin Heidelberg
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants	Étienne André; Didier Lime; Mathias Ramparison	Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings	David N. Jansen; Pavithra Prabhakar	1st ed. 2018	Springer International Publishing
Priced Timed Automata and Statistical Model Checking	Kim Guldstrand Larsen	Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings	Einar Broch Johnsen; Luigia Petre	2013	Springer Berlin Heidelberg
Fully Symbolic Model Checking for Timed Automata	Georges Morbé; Florian Pigorsch; Christoph Scholl	Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings	Ganesh Gopalakrishnan; Shaz Qadeer	2011	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Linear Parametric Model Checking of Timed Automata" - similar Books and Chapters