Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Alcino Cunha
Researcher
PaperBounded Model Checking of Temporal Formulas with AlloyAuthorship / preprint / 2015PaperThe High-Assurance ROS FrameworkAuthorship / preprint / 2021PaperAutomatic Unbounded Verification of Alloy Specifications with Prover9Authorship / preprint / 2012PaperAlloy meets TLA+: An exploratory studyAuthorship / preprint / 2016PaperA Generic Scheme and Properties of Bidirectional TransformationsAuthorship / preprint / 2013PaperFast Distributed Computation of Distances in NetworksAuthorship / preprint / 2011PaperA Feature-based Classification of Model Repair ApproachesAuthorship / preprint / 2015