publicações selecionadas
-
artigo académico
- 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
- Experiences on teaching Alloy with an automated assessment platform. International Journal on Software Tools for Technology Transfer. 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
- Translating between Alloy specifications and UML class diagrams annotated with OCL. Software and Systems Modeling. 2015
- Composing least-change lenses. Electronic Communications of the EASST. 2013
- Fast distributed computation of distances in networks. Proceedings of the IEEE Conference on Decision and Control. 2012
- Transformation of structure-shy programs with application to XPath queries and strategic functions. International Journal on Software Tools for Technology Transfer. 2011
- Recursion patterns and time-analysis. ACM SIGPLAN Notices. 2005
-
artigo de conferência
- Assessing the impact of hints in learning formal specification 2024
- Variability analysis for Robot Operating System applications 2022
- Quantitative relational modelling with QAlloy 2022
- Verification of railway network models with EVEREST 2022
- Verification of railway network models with EVEREST 2022
- Schema-guided Testing of Message-oriented Systems 2022
- The High-Assurance ROS Framework 2021
- 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
- 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
- Bounded model checking of temporal formulas with Alloy. International Journal on Software Tools for Technology Transfer. 2014
- Model repair and transformation with Echo. IEEE/ACM International Conference on Automated Software Engineering. 2013
- Delta lenses over inductive types. Electronic Communications of the EASST. 2012
- Multifocal: A strategic bidirectional transformation language for XML schemas. International Journal on Software Tools for Technology Transfer. 2012
- Specifying UML protocol state machines in Alloy. International Journal on Software Tools for Technology Transfer. 2012
- Algebraic specialization of generic functions for recursive types. Electronic Notes in Theoretical Computer Science. 2011
- Calculating with lenses: optimising bidirectional transformations 2011
- Logic training through algorithmic problem solving. International Journal on Software Tools for Technology Transfer. 2011
- Logic training through algorithmic problem solving. International Journal on Software Tools for Technology Transfer. 2011
- Translating Alloy specifications to UML class diagrams annotated with OCL. International Journal on Software Tools for Technology Transfer. 2011
- Generic point-free lenses. International Journal on Software Tools for Technology Transfer. 2010
- Mapping between Alloy specifications and database implementations 2009
- Coupled schema transformation and data conversion for XML and SQL. International Journal on Software Tools for Technology Transfer. 2007
- Strongly typed rewriting for coupled software transformation. Electronic Notes in Theoretical Computer Science. 2007
- Transformation of structure-shy programs: applied to XPath queries and strategic functions 2007
- A framework for point-free program transformation. International Journal on Software Tools for Technology Transfer. 2006
- Type-safe two-level data transformation. International Journal on Software Tools for Technology Transfer. 2006
- Automatic visualization of recursion trees: a case study on generic programming. Electronic Notes in Theoretical Computer Science. 2003
- Integrating agent based information outsourcing techniques on data warehousing systems. IEEE International Conference on Systems, Man, and Cybernetics. 1999
-
capítulo de livro
- 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
- An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. International Journal on Software Tools for Technology Transfer. 2023
- An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. 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
- 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
- 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
- Variability analysis for robot operating system applications 2022
- The High-Assurance ROS Framework 2021
- Sharing and learning Alloy on the web 2019
- Bidirectional Transformations (Bx 2015) Special Section: Editorial. Journal of Object Technology. 2017
- Composition in state-based replicated data types. Bulletin of the European Association for Theoretical Computer Science. 2017
- Alloy meets TLA+: An exploratory study 2016
- A feature-based classification of model repair approaches 2015
- Preface. CEUR Workshop Proceedings. 2015
- BenchmarX. CEUR Workshop Proceedings. 2014
- Towards a framework for multi-directional model transformations. CEUR Workshop Proceedings. 2014
- A generic scheme and properties of bidirectional transformation 2013
- Automatic unbounded verification of Alloy specifications with Prover9 2012
- Using term rewriting to solve bit-vector arithmetic problems (Poster presentation). International Journal on Software Tools for Technology Transfer. 2012
- Translating alloy apecifications to UML class diagrams annotated with OCL. International Journal on Software Tools for Technology Transfer. 2011
- Down with variables 2005
- Point-free program calculation 2005
- Point-free program transformation. Fundamenta Informaticae. 2005
- Making the point-free calculus less pointless 2004
- Point-free program transformation 2004
- Deriving animations from recursive definitions 2002
- A game-theoretic approach to the socialization of utility-based agents 1998
- Parallel neural network recognition - a multi-agent system approach 1997
-
livro