Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Parimala Venkata Krishna
Roger L. Johnson
Claudia Calabrese
Hao Mao
Peter Malec
D. Fernandes Carvalho
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
C. BERNARDESCHI
Author Info
Open Visualization
Name
Affiliation
Papers
C. BERNARDESCHI
Dipartimento di Ingegneria della Informazione, Università di Pisa, Via Diotisalvi 2, 56126 Pisa, Italy
12
Collaborators
Citations
PageRank
14
41
4.90
Referers
Referees
References
53
210
146
Search Limit
100
210
Publications (12 rows)
Collaborators (14 rows)
Referers (53 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Relock: A Resilient Two-Phase Locking Restful Transaction Model
0
0.34
2021
Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study.
1
0.35
2017
Decomposing bytecode verification by abstract interpretation
1
0.35
2008
Using postdomination to reduce space requirements of data flow analysis
1
0.35
2006
Using Control Dependencies for Space-Aware Bytecode Verification
3
0.36
2006
Checking secure information flow in java bytecode by code transformation and standard bytecode verification
8
0.50
2004
An abstract semantics tool for secure information flow of stack-based assembly programs
7
0.48
2002
Abstract interpretation of operational semantics for secure information flow
18
0.78
2002
Formal validation of fault-tolerance mechanisms inside GUARDS
1
0.36
2001
An approach to system design based on P/T net simulation
0
0.34
2001
Validating the Design of Dependable Systems
1
0.35
1998
An industrial application for the JACK environment
0
0.34
1997
1