Browsing by Author 5612
Showing results 1 to 10 of 10
Issue Date | Title | Author(s) |
2017 | COMPOSITION IN STATE-BASED REPLICATED DATA TYPES | Paulo Sérgio Almeida; Ferreira,C; Alcino Cunha; Carlos Baquero; 5612; 5607; 5596 |
2020 | Experiences on Teaching Alloy with an Automated Assessment Platform | Alcino Cunha; Carvalho,R; Pereira,J; Macedo,N; Silva,DC; Ramalho,MS; Paiva,ACR; Silva,R; 5612 |
2018 | Improving the Visualization of Alloy Instances | José Creissac Campos; Rui Miguel Couto; Alcino Cunha; Nuno Moreira Macedo; 5625; 5599; 5612; 6000 |
2018 | Property-based testing for the robot operating system | André Filipe Santos; Alcino Cunha; Nuno Moreira Macedo; 5625; 6414; 5612 |
2019 | Simplifying the Analysis of Software Design Variants with a Colorful Alloy | Chong Liu; Alcino Cunha; Nuno Moreira Macedo; 5625; 5612; 6934 |
2019 | Simulation under Arbitrary Temporal Logic Constraints | Brunel,J; Nuno Moreira Macedo; Alcino Cunha; Chemouil,D; 5625; 5612 |
2019 | Static-Time Extraction and Analysis of the ROS Computation Graph | André Filipe Santos; Alcino Cunha; Nuno Moreira Macedo; 6414; 5612; 5625 |
2020 | Validating Multiple Variants of an Automotive Light System with Electrum | Liu,C; Alcino Cunha; Macedo,N; 5612 |
2019 | Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum | Nuno Moreira Macedo; Alcino Cunha; 5625; 5612 |
2018 | Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum | Nuno Moreira Macedo; Alcino Cunha; 5625; 5612 |