Formal methods and finite element analysis of hurricane storm surge: A case study in software verification, Science of Computer Programming, vol.158, issue.15, pp.100-121, 2018. ,
Formal Verification in Railways, Industrial-Strength Formal Methods in Practice, 1999. ,
Formal Methods for Aerospace Systems -Achievements and Challenges, in Cyber-Physical System Design from an Architecture Analysis Viewpoint, pp.133-159, 2017. ,
What is Formal Methods?, Last Updated: April 10, 2001. ,
The Birth of Model Checking, 25 Years of Model Checking, Lecture Notes in Computer Science, 2008. ,
, The ARIANE 5 Software Failure, Software Engineering Notes, vol.22, 1997.
The Vindication of Computer Simulations, Mathematics as a tool, pp.137-156, 2017. ,
The Philosophy of Simulation: Hot New Issues or Same Old Stew?, Synthese, vol.169, issue.3, pp.593-613, 2009. ,
, Software Abstractions: Logic, Language, and Analysis, 2012.
Empirical agreement in model validation, Studies in History and Philosophy of Science Part A, vol.56, pp.168-174, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-02105519
The role of model checking in software engineering, Frontiers of Computer Science, vol.12, issue.4, pp.642-668, 2018. ,
Holism, Entrenchment, and the Future of Climate Model Pluralism, Studies in History and Philosophy of Science Part B, vol.41, issue.3, pp.253-262, 2010. ,
Holism, or the Erosion of Modularity -a Methodological Challenge for Validation, 2018. ,
Ariane 5 Flight 501 Failure, Ariane 501 Inquiry Board Report, p.4, 1996. ,
Values and uncertainty in simulation models, Erkenntnis, vol.79, issue.S5, pp.939-959, 2014. ,
, Reconstructing Reality: Models, Mathematics, and Simulations, p.16, 2015.
Verification and Validation in Computational Fluid Dynamics. Rapport Sandia, pp.2002-0529, 2002. ,
Verification, validation and predictive capacity in computational engineering and physics, Applied Mechanics Review, vol.57, issue.5, p.345, 2002. ,
Verification, Validation, and Confirmation of Numerical Models in the Earth Sciences, Science, vol.263, issue.5147, pp.641-646, 1994. ,
Observations on the practice and profession of modeling and simulation: A survey approach, Simulation, vol.94, issue.6, pp.493-506, 2017. ,
Formal Methods and their Role in the Certification of Critical Systems, 1995. ,
Automated Formal Methods Enter the Mainstream, Communications of the Computer Society of India, Archived in Journal of Universal Computer Science, vol.31, issue.2, pp.650-660, 2007. ,
, , vol.25, 1992.
Finite Difference and Spectral Methods for Ordinary and Partial Differential Equations, unpublished text, 1994. ,
Formal Verification of Critical Aerospace Software, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01184099
Computer Simulation and the Philosophy of Science, Philosophy Compass, vol.4, pp.835-845, 2009. ,
Science in the Age of Computer Simulation, 2010. ,
Philosophy and Climate Science, 2018. ,
Formal Methods: Practice and Experience, ACM Computing Surveys, vol.41, issue.4, pp.1-36, 2009. ,