Pedro Antonino : Publications
-
[1]
The Automatic Detection of Token Structures and Invariants Using SAT Checking
Pedro Antonino‚ Thomas Gibson−Robinson and A. W. Roscoe
In Axel Legay and Tiziana Margaria, editors, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference‚ TACAS 2017‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2017‚ Uppsala‚ Sweden‚ April 22−29‚ 2017‚ Proceedings‚ Part II. Pages 249–265. Springer Berlin Heidelberg, Berlin‚ Heidelberg. 2017.
Details about The Automatic Detection of Token Structures and Invariants Using SAT Checking | BibTeX data for The Automatic Detection of Token Structures and Invariants Using SAT Checking | DOI (10.1007/978-3-662-54580-5_15) | Link to The Automatic Detection of Token Structures and Invariants Using SAT Checking
-
[2]
Tighter reachability criteria for deadlock freedom analysis
Pedro Antonino‚ Thomas Gibson−Robinson and A.W. Roscoe
2016.
Details about Tighter reachability criteria for deadlock freedom analysis | BibTeX data for Tighter reachability criteria for deadlock freedom analysis | Download (pdf) of Tighter reachability criteria for deadlock freedom analysis
-
[3]
Efficient deadlock−freedom checking using local analysis and SAT solving
Pedro Antonino‚ Thomas Gibson−Robinson and A.W. Roscoe
In Proceedings of IFM. 2016.
Details about Efficient deadlock−freedom checking using local analysis and SAT solving | BibTeX data for Efficient deadlock−freedom checking using local analysis and SAT solving | Download (pdf) of Efficient deadlock−freedom checking using local analysis and SAT solving
-
[4]
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification
Pedro R. G. Antonino‚ Marcel Vinicius Medeiros Oliveira‚ Augusto Sampaio‚ Klaus E. Kristensen and Jeremy W. Bryans
In NASA Formal Methods − 6th International Symposium‚ NFM 2014‚ Houston‚ TX‚ USA‚ April 29 − May 1‚ 2014. Proceedings. Pages 31–45. 2014.
Details about Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification | BibTeX data for Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification | DOI (10.1007/978-3-319-06200-6_3) | Link to Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification
-
[5]
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes
Pedro R. G. Antonino‚ Augusto Sampaio and Jim Woodcock
In FM 2014: Formal Methods − 19th International Symposium‚ Singapore‚ May 12−16‚ 2014. Proceedings. Pages 62–77. 2014.
Details about A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes | BibTeX data for A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes | DOI (10.1007/978-3-319-06410-9_5) | Link to A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes
-
[6]
Algebraic Laws for Process Subtyping
José Dihego‚ Pedro R. G. Antonino and Augusto Sampaio
In Formal Methods and Software Engineering − 15th International Conference on Formal Engineering Methods‚ ICFEM 2013‚ Queenstown‚ New Zealand‚ October 29 − November 1‚ 2013‚ Proceedings. Pages 4–19. 2013.
Details about Algebraic Laws for Process Subtyping | BibTeX data for Algebraic Laws for Process Subtyping | DOI (10.1007/978-3-642-41202-8_2) | Link to Algebraic Laws for Process Subtyping