ThreadSafe: Static Analysis for Java Concurrency, Electronic Communications of the EASST, vol.72, 2015. ,
,
ARCHER: Effectively Spotting Data Races in Large OpenMP Applications, 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp.53-62, 2016. ,
ompVerify: Polyhedral Analysis for the OpenMP Programmer, OpenMP in the Petascale Era, vol.6665, pp.37-53, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00752626
A Survey of Methods for Preventing Race Conditions, 2006. ,
A State/Event-based Modelchecking Approach for the Analysis of Abstract System Properties, Sci. Comput. Program, vol.76, issue.2, pp.119-135, 2011. ,
RacerD: Compositional Static Race Detection, Proc. ACM Program. Lang. 2(OOPSLA), vol.144, pp.1-144, 2018. ,
An OpenMP Epoch Model for Correctness Checking, 2016 45th International Conference on Parallel Processing Workshops (ICPPW), pp.299-308, 2016. ,
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems, Computer Networks and ISDN Systems, vol.25, issue.7, pp.761-778, 1993. ,
, , pp.90047-90055
Action versus State Based Logics for Transition Systems, Semantics of Systems of Concurrent Processes: Proceedings of the LITP Spring School on Theoretical Computer Science, vol.469, pp.407-419, 1990. ,
From ACTL to Mu-Calculus, Proceedings of the ERCIM Workshop on Theory and Practice in Verification, pp.3-10, 1992. ,
Model Checking for ActionBased Logics, Formal Methods in System Design, vol.4, issue.2, pp.187-203, 1994. ,
,
Modelling Transition Systems within an Action Based Logic, IEI-CNR, 1996. ,
Compositional Verification of Asynchronous Concurrent Systems Using CADP, Acta Informatica, vol.52, issue.4, pp.337-392, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01138749
, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, vol.15, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056
ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, vol.10500, pp.3-26, 2017. ,
On the Fly Verification of Network of Automata, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications PDPTA'1999, pp.1040-1046, 1999. ,
A True Positives Theorem for a Static Race Detector, Proc. ACM Program. Lang. 3(POPL), vol.57, 2019. ,
Empirical Comparison of Race Detection Tools for OpenMP Programs, Grid and Distributed Computing, pp.108-116, 2009. ,
On-the-fly Detection of Data Races in OpenMP Programs, Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, vol.2012, pp.1-10, 2012. ,
Race checking by context inference, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI, pp.1-13, 2004. ,
A Tool for Detecting First Races in OpenMP Programs, Parallel Computing Technologies, pp.299-303, 2009. ,
ADAT: An Adaptable Dynamic Analysis Tool for Race Detection in OpenMP Programs, 2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications, pp.304-310, 2011. ,
A Practical Tool for Detecting Races in OpenMP Programs, Parallel Computing Technologies, pp.321-330, 2005. ,
Compositional Verification of Concurrent Systems by Combining Bisimulations, Proceedings of the 3rd World Congress on Formal Methods FM'2019, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02295459
Static Nonconcurrency Analysis of OpenMP Programs, Proceedings of the 2005 and 2006 International Conference on OpenMP Shared Memory Parallel Programming, pp.36-50, 2008. ,
Symbolic Analysis of Concurrency Errors in OpenMP Programs, 2013 42nd International Conference on Parallel Processing, pp.510-516, 2013. ,
CAESAR SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.8, issue.1, pp.37-56, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00084628
Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols, Science of Computer Programming, vol.78, issue.7, pp.843-861, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00671321
A Model Checking Language for Concurrent ValuePassing Systems, Proceedings of the 15th International Symposium on Formal Methods (FM'08), vol.5014, pp.148-164, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00315312
Property-Dependent Reductions Adequate with Divergence-Sensitive Branching Bisimilarity, Sci. Comput. Program, vol.96, issue.3, pp.354-376, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01016922
From AADL Model to LNT Specification, Proceedings of the 20th ADA-Europe International Conference on Reliable Software Technologies (AdaEurope'15), vol.9111, pp.146-161, 2015. ,
Model-Checking Task Parallel Programs for Data-Race, NASA Formal Methods, pp.367-382, 2018. ,
, OpenMP Architecture Review Board: OpenMP Application Programming Interface, 2018.
, Thread Analyzer User's Guide, vol.12, 2017.
OpenMP Support in the Intel R Thread Checker, OpenMP Shared Memory Parallel Programming, pp.1-12, 2003. ,
Eraser: A Dynamic Data Race Detector for Multithreaded Programs, ACM Trans. Comput. Syst, vol.15, issue.4, pp.391-411, 1997. ,
Analysis of an OpenMP Program for Race Detection, 2009. ,
Common Mistakes in OpenMP and How to Avoid Them: A Collection of Best Practices, Proceedings of the 2005 and 2006 International Conference on OpenMP Shared Memory Parallel Programming, pp.312-323 ,
, IWOMP'05/IWOMP'06, 2008.