Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
John Leach
Daniel P. Kennedy
Barbara Aquilani
Sudeep Singh Walia
P. Wurm
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
PEDRO R. G. ANTONINO
Author Info
Open Visualization
Name
Affiliation
Papers
PEDRO R. G. ANTONINO
Univ Fed Pernambuco, Ctr Informat, Recife, PE, Brazil
11
Collaborators
Citations
PageRank
11
33
4.57
Referers
Referees
References
35
188
146
Search Limit
100
188
Publications (11 rows)
Collaborators (11 rows)
Referers (35 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling
0
0.34
2021
Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving.
1
0.35
2019
Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving.
1
0.35
2019
Checking Static Properties Using Conservative SAT Approximations for Reachability.
0
0.34
2017
The Automatic Detection of Token Structures and Invariants Using SAT Checking.
1
0.36
2017
Rigorous development of component-based systems using component metadata and patterns.
8
0.57
2016
Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving.
5
0.50
2016
Tighter Reachability Criteria for Deadlock-Freedom Analysis.
3
0.41
2016
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.
9
0.54
2014
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.
4
0.44
2014
Algebraic Laws for Process Subtyping.
1
0.36
2013
1