publicações selecionadas
-
artigo académico
- Merging Cloned Alloy Models with Colorful Refactorings. Computational Methods in Applied Sciences. 2022
- 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
- Fast distributed computation of distances in networks. Proceedings of the IEEE Conference on Decision and Control. 2012
-
artigo de conferência
- Quantitative relational modelling with QAlloy 2022
- Verification of railway network models with EVEREST 2022
- 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
- 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
- Exploring Scenario Exploration. Computational Methods in Applied Sciences. 2015
- BenchmarX. CEUR Workshop Proceedings. 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 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
- 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
- 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
- Translating alloy apecifications 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. Computational Methods in Applied Sciences. 2006
- Making the point-free calculus less pointless 2004
- Deriving animations from recursive definitions 2002
- 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
- Parallel neural network recognition - a multi-agent system approach 1997
-
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
- Composition in state-based replicated data types. Bulletin of the European Association for Theoretical Computer Science. 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
- Point-free program transformation. Fundamenta Informaticae. 2005
- 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
-
capítulo de livro
-
documento
- Bidirectional Transformations (Bx 2015) Special Section: Editorial. Journal of Object Technology. 2017
- Preface. CEUR Workshop Proceedings. 2015
-
livro
-
relatório
-
teses