publicações selecionadas
-
artigo académico
- Psychometric Properties of the European Portuguese Version of the London Chest Activities of Daily Living. Athena Health & Research Journal. 2025
- Validating multiple variants of an automotive light system with Alloy 6. International Journal on Software Tools for Technology Transfer. 2024
- Validating multiple variants of an automotive light system with Electrum. International Journal on Software Tools for Technology Transfer. 2024
- Pardinus: A Temporal Relational Model Finder. Journal of Automated Reasoning. 2022
- Merging cloned Alloy models with colorful refactorings. International Journal on Software Tools for Technology Transfer. 2022
- Experiences on teaching Alloy with an automated assessment platform. International Journal on Software Tools for Technology Transfer. 2021
- ROSY: An elegant language to teach the pure reactive nature of robot programming. International Journal of Robotic Computing. 2021
- Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. International Journal on Software Tools for Technology Transfer. 2019
- Improving the Visualization of Alloy Instances. Electronic Proceedings in Theoretical Computer Science. 2018
- Improving the Visualization of Alloy Instances. Electronic Proceedings in Theoretical Computer Science. 2018
- Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report). Proceedings of the ACM on Programming Languages. 2018
- Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report). Proceedings of the ACM on Programming Languages. 2018
- 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
-
artigo de conferência
- Assessing the impact of hints in learning formal specification 2024
- Exploring automatic specification repair in Dafny programs 2023
- Variability analysis for Robot Operating System applications 2022
- Quantitative relational modelling with QAlloy 2022
- Verification of railway network models with EVEREST 2022
- Schema-guided Testing of Message-oriented Systems 2022
- The High-Assurance ROS Framework 2021
- ROSY: An elegant language to teach the pure reactive nature of robot programming 2020
- Verification of system-wide safety properties of ROS applications. IEEE International Conference on Intelligent Robots and Systems. 2020
- 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
- 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
- Mining the Usage Patterns of ROS Primitives. IEEE International Conference on Intelligent Robots and Systems. 2017
- Formal verification of ROS-based robotic applications using timed-automata 2017
- Checking the Correctness of What-If Scenarios 2017
- Lightweight specification and analysis of dynamic systems with rich configurations 2016
- Lightweight specification and analysis of dynamic systems with rich configurations 2016
- A framework for quality assessment of ROS repositories. IEEE International Conference on Intelligent Robots and Systems. 2016
- A framework for quality assessment of ROS repositories. IEEE International Conference on Intelligent Robots and Systems. 2016
- An ORCID based synchronization framework for a national CRIS ecosystem 2015
- Bidirectional spreadsheet formulas. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2014
- Bidirectional spreadsheet formulas. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2014
- Towards a framework for multidirectional model transformations 2014
- Model repair and transformation with Echo. IEEE/ACM International Conference on Automated Software Engineering. 2013
-
capítulo de livro
- On Quantitative Solution Iteration in QAlloy 2025
- Alloy Goes Fuzzy 2024
- Alloy Repair Hint Generation Based on Historical Data 2024
- Adding Records to Alloy. International Journal on Software Tools for Technology Transfer. 2023
- Task Model Design and Analysis with Alloy. International Journal on Software Tools for Technology Transfer. 2023
- Verifying Temporal Relational Models with Pardinus. International Journal on Software Tools for Technology Transfer. 2023
- Timely Specification Repair for Alloy 6. International Journal on Software Tools for Technology Transfer. 2022
- Validating multiple variants of an automotive light system with Electrum. International Journal on Software Tools for Technology Transfer. 2020
- Validating multiple variants of an automotive light system with Electrum. International Journal on Software Tools for Technology Transfer. 2020
- Experiences on Teaching Alloy with an Automated Assessment Platform. International Journal on Software Tools for Technology Transfer. 2020
- Experiences on Teaching Alloy with an Automated Assessment Platform. International Journal on Software Tools for Technology Transfer. 2020
- Merging cloned Alloy models with colorful refactorings 2020
- Simplifying the Analysis of Software Design Variants with a Colorful Alloy. International Journal on Software Tools for Technology Transfer. 2019
- Proposition of an Action Layer for Electrum. International Journal on Software Tools for Technology Transfer. 2018
- Proposition of an Action Layer for Electrum. International Journal on Software Tools for Technology Transfer. 2018
- Exploiting Partial Knowledge for Efficient Model Analysis. International Journal on Software Tools for Technology Transfer. 2017
- Towards a formal validation of ETL patterns behavior. International Journal on Software Tools for Technology Transfer. 2016
- Exploring Scenario Exploration. International Journal on Software Tools for Technology Transfer. 2015
- Target oriented relational model finding. International Journal on Software Tools for Technology Transfer. 2014
- Implementing QVT-R bidirectional model transformations using Alloy. International Journal on Software Tools for Technology Transfer. 2013
- Relations as executable specifications: Taming partiality and non-determinism using invariants. International Journal on Software Tools for Technology Transfer. 2012
-
documento
- Alloy4Fun Semantic Entries 2025
- Assessing the impact of hints in learning formal specification: Research artifact 2024
- Variability analysis for robot operating system applications 2022
- The High-Assurance ROS Framework 2021
- Alloy4Fun Dataset 2020
- ROSY: An elegant language to teach the pure reactive nature of robot programming 2019
- Sharing and learning Alloy on the web 2019
- Alloy4Fun 2018
- Alloy meets TLA+: An exploratory study 2016
- PTCRISync 2016
- Pardinus 2016
- A feature-based classification of model repair approaches 2015
- Electrum 2015
- A relational approach to bidirectional transformation 2014
- Towards a framework for multi-directional model transformations. CEUR Workshop Proceedings. 2014
- A generic scheme and properties of bidirectional transformation 2013
- Echo 2013
- Automatic unbounded verification of Alloy specifications with Prover9 2012
- Translating alloy specification to the point-free style 2010
- Alloy4Fun
- Alloy4Fun Dataset for 2019/20
- Alloy4Fun Dataset for 2019/20
- LI1 Hall of Fame
-
teses