Sagonas, « Optimal dynamic partial order reduction, 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014. ,
« Context-Sensitive Dynamic Partial Order Reduction, Computer Aided Verification -29th International Conference, 2017. ,
« Constrained Dynamic Partial Order Reduction, 30th International Conference on Computer Aided Verification, 2018. ,
« Bounded model checking of software using SMT solvers instead of SAT solvers, STTT 11, 2009. ,
« Optimal Dynamic Partial Order Reduction with Observers" », in: Tools and Algorithms for the Construction and Analysis of Systems, 2018. ,
Principles of model checking, 2008. ,
, Handbook of Satisfiability, 2009.
« State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI, Formal Methods -21st International Symposium, 2016. ,
A Generic Framework for Large-Scale Distributed Experiments, Tenth International Conference on Computer Modeling and Simulation, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00260697
« Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic, 25 Years of Model Checking -History, Achievements, Perspectives, 2008. ,
Guided Abstraction Refinement, Computer Aided Verification, 12th International Conference, CAV, Proceedings, 2000. ,
, Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992.
, The SMPI Approach, vol.28, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01415484
« Dynamic partial-order reduction for model checking software, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, vol.40, 2005. ,
, MPI: A Message-Passing Interface Standard, tech. rep, 1994.
« Model Checking for Programming Languages using Verisoft, Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, 1997. ,
Partial-Order Methods for the Verification of Concurrent Systems -An Approach to the State-Explosion Problem, Lecture Notes in Computer Science, vol.1032, pp.3-540, 1996. ,
« Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract), Proc. Computer Aided Verification, 5th International Conference, 1993. ,
Martin Schulz, and Greg Bronevetsky, « Formal Analysis of MPI-based Parallel Programs, Communication of the ACM 54, vol.12, pp.1-0782, 2011. ,
« System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications, 2015. ,
, Seven Myths of Formal Methods, vol.7, pp.740-7459, 1990.
A Scalable Approach to Runtime Error Detection in MPI Programs, Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, pp.978-981, 2010. ,
César Rodríguez, and Rahul Purandare, « Dynamic Symbolic Verification of MPI Programs, 22nd International Symposium on Formal Methods, FM'18, 2018. ,
César Rodríguez, and Rahul Purandare, « Dynamic Symbolic Verification of MPI Programs, 22nd International Symposium on Formal Methods, 2018. ,
Debugging Synchronization Errors in MPI-3 One-Sided Applications, Euro-Par 2016: Parallel Processing: 22nd International Conference on Parallel and Distributed Computing, 2016. ,
An MPI analysis and checking tool, Advances in Parallel Computing, vol.13, pp.493-500, 2004. ,
Daniel Kroening, « Unfoldingbased Partial Order Reduction, 26th International Conference on Concurrency Theory, 2015. ,
, Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers, pp.0-3211, 2002.
Symbolic Model Checking, p.792393805, 1993. ,
, Proceedings of Model Checking Software, 12th International SPIN Workshop, 2005.
Verification Support for a Multi-API Simulation Platform, Formal Techniques for Distributed Systems -Joint 13th IFIP WG 6.1 International Conference, FMOODS, and 31st IFIP WG 6.1 International Conference, FORTE, Proceedings, Reykjavik, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00593505
A Pragmatic Approach to Model Checking Real Code, 5th Symposium on Operating System Design and Implementation, 2002. ,
Piramanayagam Arumuga Nainar, and Iulian Neamtiu, « Finding and Reproducing Heisenbugs in Concurrent Programs, 8th USENIX Symposium on Operating Systems Design and Implementation, 2008. ,
, 30th International Conference on Computer Aided Verification, 2018.
A Framework for Verifying Scientific Computing Software, Electronic Notes in Theoretical Computer Science, vol.144, issue.3, 2006. ,
« Semantics Driven Dynamic Partial-order Reduction of MPI-based Parallel Programs, Proceedings of the ACM Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD '07, 2007. ,
« All from One, One for All: on Model Checking Using Representatives, Computer Aided Verification, 5th International Conference, 1993. ,
« Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs, Formal Techniques for Distributed Objects, Components, and Systems -39th IFIP WG 6.1 International Conference, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, 2019. ,
, Proceedings of the 1st International Workshop on Software Correctness for HPC Applications, 2017.
« Specification and verification of concurrent systems in CESAR, International Symposium on Programming, p.5 ,
, Proceedings, 1982.
Simple Model of Communication APIs -Application to Dynamic Partial Order Reduction, 10th International Workshop on Automated Verification of Critical Systems, 2010. ,
, Combining static and dynamic validation of MPI collective communications », in: International Journal of High Performance Computing Applications, 2014.
« A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications, Formal Methods: Foundations and Applications, pp.194-209, 2012. ,
, Model Checking Nonblocking MPI Programs" », in: 8th International Conference on Verification, Model Checking, and Abstract Interpretation, 2007.
The Concurrency Intermediate Verification Language, Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, 2015. ,
Automatic Formal Verification of MPIbased Parallel Programs, 2011. ,
, Digital avionics handbook: development and implementation. Avionics, p.9780849384417, 2007.
« A brief introduction to distributed systems, Computing 98, vol.10, pp.1436-5057, 2016. ,
« Stubborn sets for reduced state space generation, International Conference on Applications and Theory of Petri Nets, 1989. ,
« A Scalable and Distributed Dynamic Formal Verifier for MPI Programs, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, 2010. ,
« Formal Verification of Practical MPI Programs, ACM SIGPLAN Notices, vol.44, 2009. ,
Using Z: Specification, Refinement, and Proof, pp.0-13, 1996. ,
, Practice and Experience, vol.41, 2009.
, Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009.
« Distributed dynamic partial order reduction, STTT 12, vol.2, pp.113-122, 2010. ,