Alcino Cunha

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 44

Top Topics

Programming Exercises

Relational Models

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira
Alloy Goes Fuzzy. ABZ (2024)
Alcino Cunha, Nuno Macedo, Chong Liu
Validating multiple variants of an automotive light system with Alloy 6. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Alcino Cunha, Nuno Macedo, José Creissac Campos, Iara Margolis, Emanuel Sousa
Assessing the impact of hints in learning formal specification. SEET@ICSE (2024)
Alcino Cunha
Designing Software with Complex Configurations. CoRR (2024)
Alcino Cunha, Nuno Macedo, Eunsuk Kang
Task Model Design and Analysis with Alloy. ABZ (2023)
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
Verifying Temporal Relational Models with Pardinus. ABZ (2023)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
Adding Records to Alloy. ABZ (2023)
Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, José Pereira, Paulo Sérgio Almeida
An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. FORTE (2023)
André Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira
Variability Analysis for Robot Operating System Applications. IRC (2022)
João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira
Verification of railway network models with EVEREST. MoDELS (2022)
Jorge Cerqueira, Alcino Cunha, Nuno Macedo
Timely Specification Repair for Alloy 6. SEFM (2022)
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
Pardinus: A Temporal Relational Model Finder. J. Autom. Reason. 66 (4) (2022)
Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha
Quantitative relational modelling with QAlloy. ESEC/SIGSOFT FSE (2022)
André Santos, Alcino Cunha, Nuno Macedo
Schema-guided Testing of Message-oriented Systems. ENASE (2022)
Chong Liu, Nuno Macedo, Alcino Cunha
Merging cloned Alloy models with colorful refactorings. Sci. Comput. Program. 220 (2022)
Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva
Experiences on teaching alloy with an automated assessment platform. Sci. Comput. Program. 211 (2021)
André Santos, Alcino Cunha, Nuno Macedo
The High-Assurance ROS Framework. RoSE@ICSE (2021)
André Santos, Alcino Cunha, Nuno Macedo
The High-Assurance ROS Framework. CoRR (2021)
Alcino Cunha, Nuno Macedo
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Chong Liu, Nuno Macedo, Alcino Cunha
Merging Cloned Alloy Models with Colorful Refactorings. SBMF (2020)
Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva
Experiences on Teaching Alloy with an Automated Assessment Platform. ABZ (2020)
Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos
Verification of system-wide safety properties of ROS applications. IROS (2020)
Alcino Cunha, Nuno Macedo, Chong Liu
Validating Multiple Variants of an Automotive Light System with Electrum. ABZ (2020)
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
alurity, a toolbox for robot cybersecurity. CoRR (2020)
Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel S. Ramalho, Daniel Castro Silva
Sharing and Learning Alloy on the Web. CoRR (2019)
André Santos, Alcino Cunha, Nuno Macedo
Static-Time Extraction and Analysis of the ROS Computation Graph. IRC (2019)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
Simulation under Arbitrary Temporal Logic Constraints. F-IDE@FM (2019)
Chong Liu, Nuno Macedo, Alcino Cunha
Simplifying the Analysis of Software Design Variants with a Colorful Alloy. SETTA (2019)
Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa
Proposition of an Action Layer for Electrum. ABZ (2018)
Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha
Improving the Visualization of Alloy Instances. F-IDE@FLoC (2018)
André Santos, Alcino Cunha, Nuno Macedo
Property-based testing for the robot operating system. A-TEST@ESEC/SIGSOFT FSE (2018)
José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença
Teaching how to program using automated assessment and functional glossy games (experience report). Proc. ACM Program. Lang. 2 (ICFP) (2018)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
The electrum analyzer: model checking relational first-order temporal specifications. ASE (2018)
Alcino Cunha, Nuno Macedo
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. ABZ (2018)
Nuno Macedo, Alcino Cunha, Eduardo Pessoa
Exploiting Partial Knowledge for Efficient Model Analysis. ATVA (2017)
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira
Composition in State-based Replicated Data Types. Bull. EATCS 123 (2017)
Nuno Macedo, Jorge Tiago, Alcino Cunha
A Feature-Based Classification of Model Repair Approaches. IEEE Trans. Software Eng. 43 (7) (2017)
Alcino Cunha, Ekkart Kindler
Bidirectional Transformations (BX 2015) Editorial. J. Object Technol. 16 (1) (2017)
André Santos, Alcino Cunha, Nuno Macedo, Rafael Arrais, Filipe Neves dos Santos
Mining the usage patterns of ROS primitives. IROS (2017)
Nuno Macedo, Alcino Cunha
Alloy meets TLA+: An exploratory study. CoRR (2016)
André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço
A framework for quality assessment of ROS repositories. IROS (2016)
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg
Lightweight specification and analysis of dynamic systems with rich configurations. SIGSOFT FSE (2016)
Nuno Macedo, Alcino Cunha
Least-change bidirectional model transformation with QVT-R and ATL. Softw. Syst. Model. 15 (3) (2016)
Luís Soares Barbosa, Alcino Cunha, Alexandra Silva
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. J. Log. Algebraic Methods Program. 85 (5) (2016)
Nuno Macedo, Alcino Cunha, Tiago Guimarães
Exploring Scenario Exploration. FASE (2015)
Alcino Cunha, Ana Gabriela Garis, Daniel Riesco
Translating between Alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model. 14 (1) (2015)
Nuno Macedo, Jorge Tiago, Alcino Cunha
A Feature-based Classification of Model Repair Approaches. CoRR (2015)
João Mendes Moreira, Alcino Cunha, Nuno Macedo
An ORCID based synchronization framework for a national CRIS ecosystem. F1000Research 4 (2015)
Nuno Macedo, Alcino Cunha, Hugo Pacheco
Towards a Framework for Multidirectional Model Transformations. EDBT/ICDT Workshops (2014)
Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr
BenchmarX. EDBT/ICDT Workshops (2014)
Alcino Cunha, Nuno Macedo, Tiago Guimarães
Target Oriented Relational Model Finding. FASE (2014)
Alcino Cunha
Bounded Model Checking of Temporal Formulas with Alloy. ABZ (2014)
Nuno Macedo, Hugo Pacheco, Nuno Rocha Sousa, Alcino Cunha
Bidirectional spreadsheet formulas. VL/HCC (2014)
Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer
A Generic Scheme and Properties of Bidirectional Transformations. CoRR (2013)
Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira
Composing Least-change Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Nuno Macedo, Alcino Cunha
Implementing QVT-R Bidirectional Model Transformations Using Alloy. FASE (2013)
Nuno Macedo, Tiago Guimarães, Alcino Cunha
Model repair and transformation with Echo. ASE (2013)
Alcino Cunha
Bounded Model Checking of Temporal Formulas with Alloy CoRR (2012)
Nuno Macedo, Alcino Cunha
Automatic Unbounded Verification of Alloy Specifications with Prover9 CoRR (2012)
Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco
Specifying UML Protocol State Machines in Alloy. IFM (2012)
Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
Delta Lenses over Inductive Types. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012)
Nuno Macedo, Hugo Pacheco, Alcino Cunha
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. RAMiCS (2012)
Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha
Fast distributed computation of distances in networks. CDC (2012)
Hugo Pacheco, Alcino Cunha
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas. ICMT@TOOLS (2012)
Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). SAT (2012)
Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha
Fast Distributed Computation of Distances in Networks CoRR (2011)
Alcino Cunha, Joost Visser
Transformation of structure-shy programs with application to XPath queries and strategic functions. Sci. Comput. Program. 76 (6) (2011)
Hugo Pacheco, Alcino Cunha
Calculating with lenses: optimising bidirectional transformations. PEPM (2011)
João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira
Logic Training through Algorithmic Problem Solving. TICTTL (2011)
Ana Gabriela Garis, Alcino Cunha, Daniel Riesco
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. SEFM (2011)
Alcino Cunha, Hugo Pacheco
Algebraic Specialization of Generic Functions for Recursive Types. Electron. Notes Theor. Comput. Sci. 229 (5) (2011)
Hugo Pacheco, Alcino Cunha
Generic Point-free Lenses. MPC (2010)
Alcino Cunha, Hugo Pacheco
Mapping between Alloy Specifications and Database Implementations. SEFM (2009)
Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser
Coupled Schema Transformation and Data Conversion for XML and SQL. PADL (2007)
Alcino Cunha, Joost Visser
Strongly Typed Rewriting For Coupled Software Transformation. Electron. Notes Theor. Comput. Sci. 174 (1) (2007)
Alcino Cunha, Joost Visser
Transformation of structure-shy programs: applied to XPath queries and strategic functions. PEPM (2007)
Alcino Cunha, José Nuno Oliveira, Joost Visser
Type-Safe Two-Level Data Transformation. FM (2006)
Alcino Cunha, Jorge Sousa Pinto, José Proença
A Framework for Point-Free Program Transformation. IFL (2005)
Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto
Recursion patterns and time-analysis. ACM SIGPLAN Notices 40 (5) (2005)
Alcino Cunha, Jorge Sousa Pinto
Point-free Program Transformation. Fundam. Informaticae 66 (4) (2005)
Alcino Cunha
Automatic visualization of recursion trees: a case study on generic programming. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)
Alcino Cunha, José Neves
A Game-Theoretic Approach to the Socialization of Utility-Based Agents. ICMAS (1998)
Alcino Cunha, Orlando Belo
Resource Allocation on Agent Meta-Societies. EPIA (1997)