5 citations · 9 across the 3 of their papers we have counts for
7 papers
The High-Assurance ROS Framework
André Santos, Alcino Cunha, Nuno Macedo
This tool paper presents the High-Assurance ROS (HAROS) framework. HAROS is a framework for the analysis and quality improvement of robotics software developed using the popular Ro…
alurity, a toolbox for robot cybersecurity
Víctor Mayoral-Vilches, Irati Abad-Fernández, Martin Pinzger +8
The reuse of technologies and inherent complexity of most robotic systems is increasingly leading to robots with wide attack surfaces and a variety of potential vulnerabilities. Gi…
Simulation under Arbitrary Temporal Logic Constraints
Julien Brunel, David Chemouil, Alcino Cunha +1
Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next…
Sharing and Learning Alloy on the Web
Nuno Macedo, Alcino Cunha, José Pereira +5
We present Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances, to be used mainly in an educational context. By introducing the notio…
Improving the Visualization of Alloy Instances
Rui Couto, José C. Campos, Nuno Macedo +1
Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-suited for reasoning about software design in early development stages. The IDE pro…
Alloy meets TLA+: An exploratory study
Nuno Macedo, Alcino Cunha
Alloy and TLA+ are two formal specification languages that are increasingly popular due to their simplicity and flexibility, as well as the effectiveness of their companion model c…