publicações selecionadas
-
artigo académico
- Merging Cloned Alloy Models with Colorful Refactorings. Computational Methods in Applied Sciences. 2022
- Pardinus: A Temporal Relational Model Finder. Journal of Automated Reasoning. 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
- Composition in State-based Replicated Data Types. Bulletin of the European Association for Theoretical Computer Science. 2017
- Fast distributed computation of distances in networks. Proceedings of the IEEE Conference on Decision and Control. 2012
- Point-free program transformation. Fundamenta Informaticae. 2005
-
artigo de conferência
- Assessing the impact of hints in learning formal specification 2024
- A Survey of Tools for Grading Concurrent Programming Exercises 2023
- Adding Records to Alloy 2023
- An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises 2023
- Task Model Design and Analysis with Alloy 2023
- Verifying Temporal Relational Models with Pardinus 2023
- Quantitative relational modelling with QAlloy 2022
- Schema-guided Testing of Message-oriented Systems 2022
- Timely Specification Repair for Alloy 6 2022
- Variability Analysis for Robot Operating System Applications 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 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
- Exploiting Partial Knowledge for Efficient Model Analysis. Computational Methods in Applied Sciences. 2017
- Mining the Usage Patterns of ROS Primitives 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
- Exploring Scenario Exploration. Computational Methods in Applied Sciences. 2015
- BenchmarX 2014
- Bidirectional spreadsheet formulas. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2014
- Bounded model checking of temporal formulas with Alloy. Computational Methods in Applied Sciences. 2014
- Target oriented relational model finding. Computational Methods in Applied Sciences. 2014
- Towards a framework for multidirectional model transformations 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
- Multifocal: A strategic bidirectional transformation language for XML schemas. Computational Methods in Applied Sciences. 2012
- Relations as executable specifications: Taming partiality and non-determinism using invariants. Computational Methods in Applied Sciences. 2012
- Specifying UML protocol state machines in Alloy. Computational Methods in Applied Sciences. 2012
- Using term rewriting to solve bit-vector arithmetic problems (Poster presentation). Computational Methods in Applied Sciences. 2012
- Calculating with lenses: optimising bidirectional transformations 2011
- Logic training through algorithmic problem solving. Computational Methods in Applied Sciences. 2011
- Translating Alloy specifications to UML class diagrams annotated with OCL. Computational Methods in Applied Sciences. 2011
- Generic point-free lenses. Computational Methods in Applied Sciences. 2010
- Mapping between Alloy specifications and database implementations 2009
- Coupled schema transformation and data conversion for XML and SQL. Computational Methods in Applied Sciences. 2007
- Transformation of structure-shy programs: applied to XPath queries and strategic functions 2007
- A framework for point-free program transformation. Computational Methods in Applied Sciences. 2006
- Type-safe two-level data transformation 2006
- Integrating agent based information outsourcing techniques on data warehousing systems. IEEE International Conference on Systems, Man, and Cybernetics. 1999
- A Game-Theoretic Approach to the Socialization of Utility-Based Agents 1998
- Modeling intelligent decision making on electronic mail distribution systems 1998
- Simulating a gas distribution network in a distributed object oriented system 1998
- An electronic commerce framework for resource allocation among multi-agent enterprises 1997
- Enhancing load distribution strategies through simulation 1997
- Parallel neural network recognition - a multi-agent system approach 1997
- Simulating the use of autonomous intelligent agents on cellular manufacturing plant floors 1996
-
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
- 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
- Delta lenses over inductive types. Electronic Communications of the EASST. 2012
- Algebraic specialization of generic functions for recursive types. Electronic Notes in Theoretical Computer Science. 2011
- Transformation of structure-shy programs with application to XPath queries and strategic functions. Computational Methods in Applied Sciences. 2011
- Strongly typed rewriting for coupled software transformation. Electronic Notes in Theoretical Computer Science. 2007
- Recursion patterns and time-analysis. ACM SIGPLAN Notices. 2005
- Automatic visualization of recursion trees: a case study on generic programming. Electronic Notes in Theoretical Computer Science. 2003
-
documento
-
livro