"On Efficiently Specifying Models for Model Checking"

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,
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
A bootstrap approach to model checking for linear models under length-biased data	Ojeda J.L., Cristobal J.A.	2008
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,
Abstraction Refinement for Large Scale Model Checking	Chao Wang; Gary D. Hachtel; Fabio Somenzi	2006	Springer US
Specifying and diagnostically testing econometric models /	Stokes, Houston H.,	1997.	Quorum Books,
Conformance Checking: Relating Processes and Models	Josep Carmona; Boudewijn van Dongen; Andreas Solti; Matthias Weidlich	1st ed. 2018	Springer International Publishing
Model Checking Quantum Systems: Principles and Algorithms	Mingsheng Ying; Yuan Feng	2021-02	Cambridge University Press
Report [on measures for checking cholera]	Edinburgh (Scotland). Board of Health	1831	[J. Stark]
Model Discrimination for Nonlinear Regression Models	Dale S. Borowiak	1989	Routledge
Model discrimination for nonlinear regression models	Dale S. Borowiak	1989	M. Dekker
Unfoldings: A Partial-Order Approach to Model Checking	Javier Esparza; Keijo Heljanko	2008	Springer Berlin Heidelberg
25 Years of Model Checking: History, Achievements, Perspectives	Orna Grumberg; Helmut Veith	2008	Springer Berlin Heidelberg
Checking on the moon	Jenny Davis	1991	Orchard Books
Specifying Software: A Hands-On Introduction	R. D. Tennent	2002-02	Cambridge University Press
Systems and Software Verification: Model-Checking Techniques and Tools	B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen	2001	Springer Berlin Heidelberg
Specifying the self for cognitive neuroscience	Kalina Christoff, Diego Cosmelli, Dorothée Legrand and Evan Thompson	2011
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
On Efficiently Specifying Models for Model Checking	Mykhaylo Nykolaychuk; Michael Lipaczewski; Tino Liebusch; Frank Ortmeier	Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings	Frank Ortmeier; Antoine Rauzy	2014	Springer International Publishing
On Efficiently Specifying Models for Model Checki		Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings	Frank Ortmeier, Antoine Rauzy (eds.)	2014	Springer International Publishing
Model Checking for Multivariate Regression Models		Nonparametric Monte Carlo Tests and Their Applications	Li-Xing Zhu	2005	Springer New York
Statistical Model Checking for Traffic Models	B. Thamilselvam; Subrahmanyam Kalyanasundaram; Shubham Parmar; M. V. Panduranga Rao	Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings	Sérgio Campos; Marius Minea	1st ed. 2021	Springer International Publishing
Specifying Overlaps of Heterogeneous Models for Global Consistency Checking	Zinovy Diskin; Yingfei Xiong; Krzysztof Czarnecki	Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers	Juergen Dingel; Arnor Solberg	2011	Springer Berlin Heidelberg
Specifying Safety Monitors for Autonomous Systems Using Model-Checking	Mathilde Machin; Fanny Dufossé; Jean-Paul Blanquart; Jérémie Guiochet; David Powell; Hélène Waeselynck	Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings	Andrea Bondavalli; Felicita Di Giandomenico	2014	Springer International Publishing
Symbolic Model Checking for Factored Probabilistic Models	David Deininger; Rayna Dimitrova; Rupak Majumdar	Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings	Cyrille Artho; Axel Legay; Doron Peled	1st ed. 2016	Springer International Publishing
MARCIE – Model Checking and Reachability Analysis Done Efficiently	Monika Heiner; Christian Rohr; Martin Schwarick	Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings	Jose-Manuel Colom; Jörg Desel	2013	Springer Berlin Heidelberg
Model checking in parametric models	David Collett	Modelling Survival Data in Medical Research	David Collett	2014	Routledge
Efficiently Screening Models		Tidy Modeling with R: A Framework for Modeling in the Tidyverse	Max Kuhn, Julia Silge	2022	O'Reilly Media
On Efficient Models for Model Checking Message-Passing Distributed Protocols	Péter Bokor; Marco Serafini; Neeraj Suri	Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6. 1 International Conference, FMOODS 2010 and 30th IFIP WG 6. 1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings	John Hatcliff; Elena Zucca	2010	Springer Berlin Heidelberg
On Specifying Double-Hurdle Models	Murray D. Smith	Handbook Of Applied Econometrics And Statistical Inference	Aman Ullah	2002	Routledge
On checking model checkers	Gerard J. Holzmann	Computer Aided Verification: 10th International Conference, CAV' 98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings	Alan J. Hu; Moshe Y. Vardi	1998	Springer Berlin Heidelberg
Upper-Bounded Model Checking for Declarative Process Models	Nicolai Schützenmeier; Martin Käppel; Sebastian Petter; Stefan Jablonski	The Practice of Enterprise Modeling: 14th IFIP WG 8. 1 Working Conference, PoEM 2021, Riga, Latvia, November 24–26, 2021, Proceedings	Estefanía Serral; Janis Stirna; Jolita Ralyté; Jānis Grabis	1st ed. 2021	Springer International Publishing
Logic and Model Checking for Hidden Markov Models	Lijun Zhang; Holger Hermanns; David N. Jansen	Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6. 1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings	Farn Wang	2005	Springer Berlin Heidelberg
Optimizing Symbolic Model Checking for Constraint-Rich Models	Bwolen Yang; Reid Simmons; Randal E. Bryant; David R. O’Hallaron	Computer Aided Verification: 11th International Conference, CAV' 99, Trento, Italy, July 6-10, 1999, Proceedings	Nicolas Halbwachs; Doron Peled	1999	Springer Berlin Heidelberg
Model checking and designs for discriminating between models		Optimum experimental designs, with SAS /	Atkinson, A. C.; Donev, A. N.; Tobias, Randall.	2007.	Oxford University Press,
Strategies for Specifying Catastrophe Models		Chaos and Catastrophe Theories	Courtney Brown	June 1995	SAGE Publications, Inc
Checking Models		An Introduction to Regression Graphics	R. Dennis Cook	1994	John Wiley & Sons
Model Checking for Collaborativeness	Reggie Davidrajuh	Petri Nets for Modeling of Large Discrete Systems	Reggie Davidrajuh	1st ed. 2021	Springer Nature Singapore
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"On Efficiently Specifying Models for Model Checking" - similar Books and Chapters