publicações selecionadas
-
artigo académico
- Merging Cloned Alloy Models with Colorful Refactorings. Computational Methods in Applied Sciences. 2022
- Experiences on teaching Alloy with an automated assessment platform. Computational Methods in Applied Sciences. 2021
- Improving the Visualization of Alloy Instances. Electronic Proceedings in Theoretical Computer Science. 2018
-
artigo de conferência
- Task Model Design and Analysis with Alloy 2023
- Quantitative relational modelling with QAlloy 2022
- Verification of railway network models with EVEREST 2022
- The High-Assurance ROS Framework 2021
- Experiences on Teaching Alloy with an Automated Assessment Platform. Computational Methods in Applied Sciences. 2020
- Validating Multiple Variants of an Automotive Light System with Electrum. Computational Methods in Applied Sciences. 2020
- Verification of system-wide safety properties of ROS applications. IEEE International Conference on Intelligent Robots and Systems. 2020
- Simplifying the Analysis of Software Design Variants with a Colorful Alloy. Computational Methods in Applied Sciences. 2019
- Simulation under arbitrary temporal logic constraints. Electronic Proceedings in Theoretical Computer Science. 2019
- Static-Time Extraction and Analysis of the ROS Computation Graph 2019
- Property-Based Testing for the Robot Operating System 2018
- Proposition of an Action Layer for Electrum. Computational Methods in Applied Sciences. 2018
- Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report) 2018
- The Electrum Analyzer: model checking relational first-order temporal specifications. IEEE/ACM International Conference on Automated Software Engineering. 2018
- Mining the usage patterns of ROS primitives. IEEE International Conference on Intelligent Robots and Systems. 2017
- Checking the Correctness of What-If Scenarios 2017
- Exploiting Partial Knowledge for Efficient Model Analysis. Computational Methods in Applied Sciences. 2017
- A framework for quality assessment of ROS repositories. IEEE International Conference on Intelligent Robots and Systems. 2016
- Lightweight specification and analysis of dynamic systems with rich configurations 2016
- Towards a formal validation of ETL patterns behaviour. Computational Methods in Applied Sciences. 2016
- Exploring Scenario Exploration. Computational Methods in Applied Sciences. 2015
- Bidirectional spreadsheet formulas. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2014
- Target oriented relational model finding. Computational Methods in Applied Sciences. 2014
- Towards a framework for multi-directional model transformations. CEUR Workshop Proceedings. 2014
- Model repair and transformation with Echo. IEEE/ACM International Conference on Automated Software Engineering. 2013
- Implementing QVT-R bidirectional model transformations using Alloy. Computational Methods in Applied Sciences. 2013
- Relations as executable specifications: Taming partiality and non-determinism using invariants. Computational Methods in Applied Sciences. 2012
-
artigo de revista
- Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. Computational Methods in Applied Sciences. 2019
- A Feature-Based Classification of Model Repair Approaches. IEEE Transactions on Software Engineering. 2017
- Least-change bidirectional model transformation with QVT-R and ATL. Software and Systems Modeling. 2016
- An ORCID based synchronization framework for a national CRIS ecosystem. F1000research. 2015
- Composing least-change lenses. Electronic Communications of the EASST. 2013
-
documento
-
teses