Alcino Cunha

According to our database, Alcino Cunha authored at least 79 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Validating multiple variants of an automotive light system with Alloy 6.

Alcino Cunha, Nuno Macedo, Chong Liu

Int. J. Softw. Tools Technol. Transf., June, 2024

Designing Software with Complex Configurations.

Alcino Cunha

CoRR, 2024

Alloy Goes Fuzzy.

Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Assessing the impact of hints in learning formal specification.

Alcino Cunha, Nuno Macedo, José Creissac Campos, Iara Margolis, Emanuel Sousa

Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024

Alloy Repair Hint Generation Based on Historical Data.

Ana Barros, Henrique Neto, Alcino Cunha, Nuno Macedo, Ana C. R. Paiva

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Verifying Temporal Relational Models with Pardinus.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Task Model Design and Analysis with Alloy.

Alcino Cunha, Nuno Macedo, Eunsuk Kang

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Adding Records to Alloy.

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises.

Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, José Pereira, Paulo Sérgio Almeida

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

2022

Merging cloned Alloy models with colorful refactorings.

Chong Liu, Nuno Macedo, Alcino Cunha

Sci. Comput. Program., 2022

Pardinus: A Temporal Relational Model Finder.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha

J. Autom. Reason., 2022

Quantitative relational modelling with QAlloy.

Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Timely Specification Repair for Alloy 6.

Jorge Cerqueira, Alcino Cunha, Nuno Macedo

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Verification of railway network models with EVEREST.

João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Variability Analysis for Robot Operating System Applications.

André Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira

Proceedings of the Sixth IEEE International Conference on Robotic Computing, 2022

Schema-guided Testing of Message-oriented Systems.

André Santos, Alcino Cunha, Nuno Macedo

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

2021

Experiences on teaching alloy with an automated assessment platform.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva

Sci. Comput. Program., 2021

The High-Assurance ROS Framework.

André Santos, Alcino Cunha, Nuno Macedo

Proceedings of the 3rd IEEE/ACM International Workshop on Robotics Software Engineering, 2021

2020

Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum.

Alcino Cunha, Nuno Macedo

Int. J. Softw. Tools Technol. Transf., 2020

alurity, a toolbox for robot cybersecurity.

Víctor Mayoral Vilches, Irati Abad-Fernández, Martin Pinzger, Stefan Rass, Bernhard Dieber, Alcino Cunha, Francisco J. Rodríguez-Lera, Giovanni Lacava, Angelica Marotta, Fabio Martinelli, Endika Gil-Uriarte

CoRR, 2020

Verification of system-wide safety properties of ROS applications.

Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Experiences on Teaching Alloy with an Automated Assessment Platform.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Validating Multiple Variants of an Automotive Light System with Electrum.

Alcino Cunha, Nuno Macedo, Chong Liu

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Simulation under Arbitrary Temporal Logic Constraints.

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

Sharing and Learning Alloy on the Web.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel S. Ramalho, Daniel Castro Silva

CoRR, 2019

Simplifying the Analysis of Software Design Variants with a Colorful Alloy.

Chong Liu, Nuno Macedo, Alcino Cunha

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

Static-Time Extraction and Analysis of the ROS Computation Graph.

André Santos, Alcino Cunha, Nuno Macedo

Proceedings of the 3rd IEEE International Conference on Robotic Computing, 2019

2018

Teaching how to program using automated assessment and functional glossy games (experience report).

José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença

Proc. ACM Program. Lang., 2018

Improving the Visualization of Alloy Instances.

Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Property-based testing for the robot operating system.

André Santos, Alcino Cunha, Nuno Macedo

Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2018

The electrum analyzer: model checking relational first-order temporal specifications.

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Proposition of an Action Layer for Electrum.

Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

A Feature-Based Classification of Model Repair Approaches.

Nuno Macedo, Jorge Tiago, Alcino Cunha

IEEE Trans. Software Eng., 2017

Bidirectional Transformations (BX 2015) Editorial.

Alcino Cunha, Ekkart Kindler

J. Object Technol., 2017

Composition in State-based Replicated Data Types.

Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira

Bull. EATCS, 2017

Mining the usage patterns of ROS primitives.

André Santos, Alcino Cunha, Nuno Macedo, Rafael Arrais, Filipe Neves dos Santos

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Exploiting Partial Knowledge for Efficient Model Analysis.

Nuno Macedo, Alcino Cunha, Eduardo Pessoa

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Least-change bidirectional model transformation with QVT-R and ATL.

Nuno Macedo, Alcino Cunha

Softw. Syst. Model., 2016

Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira.

Luís Soares Barbosa, Alcino Cunha, Alexandra Silva

J. Log. Algebraic Methods Program., 2016

Alloy meets TLA+: An exploratory study.

Nuno Macedo, Alcino Cunha

CoRR, 2016

Lightweight specification and analysis of dynamic systems with rich configurations.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

A framework for quality assessment of ROS repositories.

André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

2015

Translating between Alloy specifications and UML class diagrams annotated with OCL.

Alcino Cunha, Ana Gabriela Garis, Daniel Riesco

Softw. Syst. Model., 2015

An ORCID based synchronization framework for a national CRIS ecosystem.

João Mendes Moreira, Alcino Cunha, Nuno Macedo

F1000Research, 2015

Exploring Scenario Exploration.

Nuno Macedo, Alcino Cunha, Tiago Guimarães

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

Bidirectional spreadsheet formulas.

Nuno Macedo, Hugo Pacheco, Nuno Rocha Sousa, Alcino Cunha

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Target Oriented Relational Model Finding.

Alcino Cunha, Nuno Macedo, Tiago Guimarães

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Towards a Framework for Multidirectional Model Transformations.

Nuno Macedo, Alcino Cunha, Hugo Pacheco

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

BenchmarX.

Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

Bounded Model Checking of Temporal Formulas with Alloy.

Alcino Cunha

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Composing Least-change Lenses.

Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A Generic Scheme and Properties of Bidirectional Transformations.

Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer

CoRR, 2013

Model repair and transformation with Echo.

Nuno Macedo, Tiago Guimarães, Alcino Cunha

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Implementing QVT-R Bidirectional Model Transformations Using Alloy.

Nuno Macedo, Alcino Cunha

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

Delta Lenses over Inductive Types.

Hugo Pacheco, Alcino Cunha, Zhenjiang Hu

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Automatic Unbounded Verification of Alloy Specifications with Prover9

Nuno Macedo, Alcino Cunha

CoRR, 2012

Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation).

Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Specifying UML Protocol State Machines in Alloy.

Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas.

Hugo Pacheco, Alcino Cunha

Proceedings of the Theory and Practice of Model Transformations, 2012

Fast distributed computation of distances in networks.

Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.

Nuno Macedo, Hugo Pacheco, Alcino Cunha

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Transformation of structure-shy programs with application to XPath queries and strategic functions.

Alcino Cunha, Joost Visser

Sci. Comput. Program., 2011

Logic Training through Algorithmic Problem Solving.

João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Translating Alloy Specifications to UML Class Diagrams Annotated with OCL.

Ana Gabriela Garis, Alcino Cunha, Daniel Riesco

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Calculating with lenses: optimising bidirectional transformations.

Hugo Pacheco, Alcino Cunha

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010

Generic Point-free Lenses.

Hugo Pacheco, Alcino Cunha

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009

Mapping between Alloy Specifications and Database Implementations.

Alcino Cunha, Hugo Pacheco

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008

Algebraic Specialization of Generic Functions for Recursive Types.

Alcino Cunha, Hugo Pacheco

Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008

2007

Transformation of structure-shy programs: applied to XPath queries and strategic functions.

Alcino Cunha, Joost Visser

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Coupled Schema Transformation and Data Conversion for XML and SQL.

Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

2006

Strongly Typed Rewriting For Coupled Software Transformation.

Alcino Cunha, Joost Visser

Proceedings of the 7th International Workshop on Rule Based Programming, 2006

Type-Safe Two-Level Data Transformation.

Alcino Cunha, José Nuno Oliveira, Joost Visser

Proceedings of the FM 2006: Formal Methods, 2006

2005

Point-free program calculation

Alcino Cunha

PhD thesis, 2005

Recursion patterns and time-analysis.

Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto

ACM SIGPLAN Notices, 2005

Point-free Program Transformation.

Alcino Cunha, Jorge Sousa Pinto

Fundam. Informaticae, 2005

A Framework for Point-Free Program Transformation.

Alcino Cunha, Jorge Sousa Pinto, José Proença

Proceedings of the Implementation and Application of Functional Languages, 2005

2003

Automatic visualization of recursion trees: a case study on generic programming.

Alcino Cunha

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

1998

A Game-Theoretic Approach to the Socialization of Utility-Based Agents.

Alcino Cunha, José Neves

Proceedings of the Third International Conference on Multiagent Systems, 1998

1997

Resource Allocation on Agent Meta-Societies.

Alcino Cunha, Orlando Belo

Proceedings of the Progress in Artificial Intelligence, 1997