Types for safe locking: static race detection for Java, ACM Trans. Program. Lang. Syst, vol.28, pp.207-255, 2006. ,
Threadsafe: static analysis for Java concurrency, Electron. Commun. ECEASST, vol.72, 2015. ,
Dynamic deadlock analysis of multi-threaded programs, Hardware and Software Verification and Testing, vol.3875, pp.208-223, 2005. ,
Ownership types for safe programming: preventing data races and deadlocks, pp.211-230, 2002. ,
Introduction to Lattices and Order, 2002. ,
Sherlock: scalable deadlock detection for concurrent programs, Proc. 22nd International Symposium on Foundations of Software Engineering (FSE-22), pp.353-365, 2014. ,
A type and effect system for atomicity, pp.338-349, 2003. ,
May-happen-in-parallel based deadlock analysis for concurrent objects, FORTE/FMOODS 2013, vol.7892, pp.273-288, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01515247
Static Analysis of Concurrent Programs Based on Behavioral Type Systems, 2017. ,
JaDA -the Java deadlock analyser, Behavioural Types: From Theories to Tools, pp.169-192, 2017. ,
Deadlock analysis of unbounded process networks, CONCUR 2014 -Concurrency Theory -25th International Conference, vol.8704, pp.63-77, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01091749
Deadlock detection in linear recursive programs, Proceedings of SFM-14:ESM, in: LNCS, vol.8483, pp.26-64, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01091747
A framework for deadlock detection in core ABS, Softw. Syst. Model, vol.15, issue.4, pp.1013-1048, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01229046
ABS: a core language for abstract behavioral specification, FMCO, in: LNCS, vol.6957, pp.142-164, 2011. ,
Complexity of some problems in Petri nets, Theor. Comput. Sci, vol.4, issue.3, pp.277-299, 1977. ,
, A new type system for deadlock-free processes, vol.4137, pp.233-247, 2006.
Deadlock analysis of unbounded process networks, Inf. Comput, vol.252, pp.48-70, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01643152
A lightweight deadlock analysis for programs with threads and reentrant locks, Proc. of 22nd Int. Symposium on Formal Methods (FM 2018), vol.10951, pp.608-624, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01926509
Deadlock detection of Java bytecode, Proc. of 27th Int. Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), vol.10855, pp.37-53, 2017. ,
Deadlock analysis of wait-notify coordination, cs .unibo .it /~laneve /papers /DAoWNC .pdf, 2019. ,
, A Calculus of Communicating Systems, vol.92, 1980.
A calculus of mobile processes, Inf. Comput, vol.II, pp.41-77, 1992. ,
Effective static deadlock detection, Proc. 31st International Conference on Software Engineering, pp.386-396, 2009. ,
An Overview of the Scala Programming Language, 2004. ,
Petri Nets: An Introduction, 1985. ,
Separation logic: a logic for shared mutable data structures, Proc. of LICS, pp.55-74, 2002. ,
Type-based deadlock-freedom verification for non-block-structured lock primitives and mutable references, APLAS, in: LNCS, vol.5356, pp.155-170, 2008. ,
Type inference for deadlock detection in a multithreaded polymorphic typed assembly language, PLACES, in: EPTCS, vol.17, pp.95-109, 2009. ,