"Statistical Model Checking of Simulink Models with Plasma Lab"

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,
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
Optical Fiber Communication Systems with MATLAB and Simulink Models	Le Nguyen Binh	2015	Routledge
A bootstrap approach to model checking for linear models under length-biased data	Ojeda J.L., Cristobal J.A.	2008
Statistical Models	A. C. Davison	2003-08	Cambridge University Press
Statistical Models	A. C. Davison	2008	Cambridge University Press
Conformance Checking: Relating Processes and Models	Josep Carmona; Boudewijn van Dongen; Andreas Solti; Matthias Weidlich	1st ed. 2018	Springer International Publishing
Probability and Statistical Models with Applications	CH. A. Charalambides; M.V. Koutras; N. Balakrishnan	2000	Routledge
Probability and statistical models with applications /	Charalambides, Ch. A.; Koutras, Markos V.; Balakrishnan, N.,	2001.	Chapman & Hall/CRC,
Growth Curve Models With Statistical Diagnostics	Jian-Xin Pan; Kai-Tai Fang	August 21, 2002	Springer
Stochastic Models of Structural Plasma Turbulence	V. Yu. Korolev; N. N. Skvortsova	2006	De Gruyter
25 Years of Model Checking: History, Achievements, Perspectives	Orna Grumberg; Helmut Veith	2008	Springer Berlin Heidelberg
Statistical Plasma Physics: Basic Principles	Setsuo Ichimaru	2004	Routledge
Lab Manual for Statistical Analysis	Dawn M. McBride; J. Cooper Cutting	September 2017	SAGE Publications, Inc
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
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
Statistical Model Checking of Simulink Models with Plasma Lab	Axel Legay; Louis-Marie Traonouez	Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers	Cyrille Artho; Peter Csaba Ölveczky	1st ed. 2016	Springer International Publishing
Plasma Lab: A Modular Statistical Model Checking Platform	Axel Legay; Sean Sedwards; Louis-Marie Traonouez	Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	1st ed. 2016	Springer International Publishing
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library	Benoît Boyer; Kevin Corre; Axel Legay; Sean Sedwards	Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings	Kaustubh Joshi; Markus Siegle; Mariëlle Stoelinga; Pedro R. D'Argenio	2013	Springer Berlin Heidelberg
Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification		HSCC'10: proceedings of the 13th International Conference on hybrid systems: computation and control: April 12-15, 2010, Stockholm, Sweden	Karl Henrik Johansson, Wang Yi, Association for Computing Machinery. Special Interest Group on Embedded Systems	2010	Association for Computing Machinery
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
Statistical Model Checking	Axel Legay; Anna Lukina; Louis Marie Traonouez; Junxing Yang; Scott A. Smolka; Radu Grosu	Computing and Software Science: State of the Art and Perspectives	Bernhard Steffen; Gerhard Woeginger	1st ed. 2019	Springer International Publishing
Statistical Model Checking with Change Detection	Axel Legay; Louis-Marie Traonouez	Transactions on Foundations for Mastering Change I	Bernhard Steffen	1st ed. 2016	Springer International Publishing
Deep Statistical Model Checking	Timo P. Gros; Holger Hermanns; Jörg Hoffmann; Michaela Klauck; Marcel Steinmetz	Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings	Alexey Gotsman; Ana Sokolova	1st ed. 2020	Springer International Publishing
Checking and Distributing Statistical Model Checking	Peter Bulychev; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikučionis; Danny Bøgsted Poulsen	NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings	Alwyn Goodloe; Suzette Person	2012	Springer Berlin Heidelberg
A Platform for High Performance Statistical Model Checking – PLASMA	Cyrille Jegourel; Axel Legay; Sean Sedwards	Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings	Cormac Flanagan; Barbara König	2012	Springer Berlin Heidelberg
Simulink Models	Roland Best	Costas Loops: Theory, Design, and Simulation	Roland Best	1st ed. 2018	Springer International Publishing
Statistical Model Checking of LLVM Code	Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen; Louis-Marie Tranouez	Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings	Klaus Havelund; Jan Peleska; Bill Roscoe; Erik de Vink	1st ed. 2018	Springer International Publishing
30 Years of Statistical Model Checking	Kim G. Larsen; Axel Legay	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	1st ed. 2020	Springer International Publishing
Statistical Model Checking: An Overview	Axel Legay; Benoît Delahaye; Saddek Bensalem	Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings	Howard Barringer; Ylies Falcone; Bernd Finkbeiner; Klaus Havelund; Insup Lee; Gordon Pace; Grigore Rosu; Oleg Sokolsky; Nikolai Tillmann	2010	Springer Berlin Heidelberg
STATISTICAL INFERENCE AND MODEL CHECKING		An Introduction to Categorical Data Analysis [3rd ed. ]	Alan Agresti	2019	Wiley
Simulation and Statistical Model Checking for Modestly Nondeterministic Models	Jonathan Bogdoll; Arnd Hartmanns; Holger Hermanns	Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings	Jens B. Schmitt	2012	Springer Berlin Heidelberg
Statistical Model Checking QoS Properties of Systems with SBIP	Saddek Bensalem; Marius Bozga; Benoit Delahaye; Cyrille Jegourel; Axel Legay; Ayoub Nouri	Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	2012	Springer Berlin Heidelberg
Model Checking with Formula-Dependent Abstract Models	Alexander Asteroth; Christel Baier; Ulrich A*Bmann	Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings	Gérard Berry; Hubert Comon; Alain Finkel	2001	Springer Berlin Heidelberg
Bounded LTL Model Checking with Stable Models	Keijo Heljanko; Ilkka Niemelä	Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings	Thomas Eiter; Wolfgang Faber; Miroslaw Trusczynksi	2001	Springer Berlin Heidelberg
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking	Anders P. Ravn; Bent Thomsen; Kasper Søe Luckow; Lone Leth; Thomas Bøgholm	Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday	Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Axel Legay; Radu Mardare	1st ed. 2017	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Statistical Model Checking of Simulink Models with Plasma Lab" - similar Books and Chapters