Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Daniel O'Malley
Maria Concetta Palumbo
Sariyildiz, E.
Takashi Kubota
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
SANDER DE PUTTER
Author Info
Open Visualization
Name
Affiliation
Papers
SANDER DE PUTTER
Eindhoven Univ Technol, Eindhoven, Netherlands
7
Collaborators
Citations
PageRank
3
7
2.50
Referers
Referees
References
6
153
94
Search Limit
100
153
Publications (7 rows)
Collaborators (3 rows)
Referers (6 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Compositional model checking with divergence preserving branching bisimilarity is lively
0
0.34
2020
Lock and Fence When Needed - State Space Exploration + Static Analysis = Improved Fence and Lock Insertion.
0
0.34
2020
To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation.
0
0.34
2018
A formal verification technique for behavioural model-to-model transformations.
2
0.37
2018
The SLCO Framework for Verified, Model-Driven Construction of Component Software.
0
0.34
2018
Compositional Model Checking Is Lively.
3
0.41
2017
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique.
2
0.37
2016
1