default search action
Alcino Cunha
Person information
- affiliation: University of Minho, Braga, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j17]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): 365-377 (2024) - [c56]Ana Barros, Henrique Neto, Alcino Cunha, Nuno Macedo, Ana C. R. Paiva:
Alloy Repair Hint Generation Based on Historical Data. FM (2) 2024: 104-121 - [c55]Alcino Cunha, Nuno Macedo, José Creissac Campos, Iara Margolis, Emanuel Sousa:
Assessing the impact of hints in learning formal specification. SEET@ICSE 2024: 151-161 - [c54]Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira:
Alloy Goes Fuzzy. ABZ 2024: 61-79 - [i11]Alcino Cunha:
Designing Software with Complex Configurations. CoRR abs/2407.13633 (2024) - 2023
- [c53]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: 3-20 - [c52]Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
Adding Records to Alloy. ABZ 2023: 212-219 - [c51]Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha:
Verifying Temporal Relational Models with Pardinus. ABZ 2023: 254-261 - [c50]Alcino Cunha, Nuno Macedo, Eunsuk Kang:
Task Model Design and Analysis with Alloy. ABZ 2023: 303-320 - 2022
- [j16]Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha:
Pardinus: A Temporal Relational Model Finder. J. Autom. Reason. 66(4): 861-904 (2022) - [j15]Chong Liu, Nuno Macedo, Alcino Cunha:
Merging cloned Alloy models with colorful refactorings. Sci. Comput. Program. 220: 102829 (2022) - [c49]André Santos, Alcino Cunha, Nuno Macedo:
Schema-guided Testing of Message-oriented Systems. ENASE 2022: 26-37 - [c48]André Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira:
Variability Analysis for Robot Operating System Applications. IRC 2022: 111-118 - [c47]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: 345-355 - [c46]Jorge Cerqueira, Alcino Cunha, Nuno Macedo:
Timely Specification Repair for Alloy 6. SEFM 2022: 288-303 - [c45]Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha:
Quantitative relational modelling with QAlloy. ESEC/SIGSOFT FSE 2022: 885-896 - 2021
- [j14]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: 102690 (2021) - [c44]André Santos, Alcino Cunha, Nuno Macedo:
The High-Assurance ROS Framework. RoSE@ICSE 2021: 37-40 - [i10]André Santos, Alcino Cunha, Nuno Macedo:
The High-Assurance ROS Framework. CoRR abs/2103.01603 (2021) - 2020
- [j13]Alcino Cunha, Nuno Macedo:
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. Int. J. Softw. Tools Technol. Transf. 22(3): 281-296 (2020) - [c43]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: 61-77 - [c42]Alcino Cunha, Nuno Macedo, Chong Liu:
Validating Multiple Variants of an Automotive Light System with Electrum. ABZ 2020: 318-334 - [c41]Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos:
Verification of system-wide safety properties of ROS applications. IROS 2020: 7249-7254 - [c40]Chong Liu, Nuno Macedo, Alcino Cunha:
Merging Cloned Alloy Models with Colorful Refactorings. SBMF 2020: 173-191 - [i9]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 abs/2010.07759 (2020)
2010 – 2019
- 2019
- [c39]André Santos, Alcino Cunha, Nuno Macedo:
Static-Time Extraction and Analysis of the ROS Computation Graph. IRC 2019: 62-69 - [c38]Chong Liu, Nuno Macedo, Alcino Cunha:
Simplifying the Analysis of Software Design Variants with a Colorful Alloy. SETTA 2019: 38-55 - [c37]Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
Simulation under Arbitrary Temporal Logic Constraints. F-IDE@FM 2019: 63-69 - [i8]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 abs/1907.02275 (2019) - 2018
- [j12]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): 82:1-82:17 (2018) - [c36]Alcino Cunha, Nuno Macedo:
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. ABZ 2018: 307-321 - [c35]Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa:
Proposition of an Action Layer for Electrum. ABZ 2018: 397-402 - [c34]Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
The electrum analyzer: model checking relational first-order temporal specifications. ASE 2018: 884-887 - [c33]André Santos, Alcino Cunha, Nuno Macedo:
Property-based testing for the robot operating system. A-TEST@ESEC/SIGSOFT FSE 2018: 56-62 - [c32]Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha:
Improving the Visualization of Alloy Instances. F-IDE@FLoC 2018: 37-52 - 2017
- [j11]Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira:
Composition in State-based Replicated Data Types. Bull. EATCS 123 (2017) - [j10]Alcino Cunha, Ekkart Kindler:
Bidirectional Transformations (BX 2015) Editorial. J. Object Technol. 16(1): 1-2 (2017) - [j9]Nuno Macedo, Jorge Tiago, Alcino Cunha:
A Feature-Based Classification of Model Repair Approaches. IEEE Trans. Software Eng. 43(7): 615-640 (2017) - [c31]Nuno Macedo, Alcino Cunha, Eduardo Pessoa:
Exploiting Partial Knowledge for Efficient Model Analysis. ATVA 2017: 344-362 - [c30]André Santos, Alcino Cunha, Nuno Macedo, Rafael Arrais, Filipe Neves dos Santos:
Mining the usage patterns of ROS primitives. IROS 2017: 3855-3860 - 2016
- [j8]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): 805 (2016) - [j7]Nuno Macedo, Alcino Cunha:
Least-change bidirectional model transformation with QVT-R and ATL. Softw. Syst. Model. 15(3): 783-810 (2016) - [c29]André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço:
A framework for quality assessment of ROS repositories. IROS 2016: 4491-4496 - [c28]Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg:
Lightweight specification and analysis of dynamic systems with rich configurations. SIGSOFT FSE 2016: 373-383 - [i7]Nuno Macedo, Alcino Cunha:
Alloy meets TLA+: An exploratory study. CoRR abs/1603.03599 (2016) - 2015
- [j6]Alcino Cunha, Ana Gabriela Garis, Daniel Riesco:
Translating between Alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model. 14(1): 5-25 (2015) - [c27]Nuno Macedo, Alcino Cunha, Tiago Guimarães:
Exploring Scenario Exploration. FASE 2015: 301-315 - [e1]Alcino Cunha, Ekkart Kindler:
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015. CEUR Workshop Proceedings 1396, CEUR-WS.org 2015 [contents] - [i6]Nuno Macedo, Jorge Tiago, Alcino Cunha:
A Feature-based Classification of Model Repair Approaches. CoRR abs/1504.03947 (2015) - [i5]João Mendes Moreira, Alcino Cunha, Nuno Macedo:
An ORCID based synchronization framework for a national CRIS ecosystem. F1000Research 4: 181 (2015) - 2014
- [c26]Alcino Cunha:
Bounded Model Checking of Temporal Formulas with Alloy. ABZ 2014: 303-308 - [c25]Nuno Macedo, Alcino Cunha, Hugo Pacheco:
Towards a Framework for Multidirectional Model Transformations. EDBT/ICDT Workshops 2014: 71-74 - [c24]Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr:
BenchmarX. EDBT/ICDT Workshops 2014: 82-86 - [c23]Alcino Cunha, Nuno Macedo, Tiago Guimarães:
Target Oriented Relational Model Finding. FASE 2014: 17-31 - [c22]Nuno Macedo, Hugo Pacheco, Nuno Rocha Sousa, Alcino Cunha:
Bidirectional spreadsheet formulas. VL/HCC 2014: 161-168 - 2013
- [j5]Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira:
Composing Least-change Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [c21]Nuno Macedo, Alcino Cunha:
Implementing QVT-R Bidirectional Model Transformations Using Alloy. FASE 2013: 297-311 - [c20]Nuno Macedo, Tiago Guimarães, Alcino Cunha:
Model repair and transformation with Echo. ASE 2013: 694-697 - [i4]Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer:
A Generic Scheme and Properties of Bidirectional Transformations. CoRR abs/1306.4473 (2013) - 2012
- [j4]Hugo Pacheco, Alcino Cunha, Zhenjiang Hu:
Delta Lenses over Inductive Types. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - [c19]Nuno Macedo, Hugo Pacheco, Alcino Cunha:
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. RAMiCS 2012: 146-161 - [c18]Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha:
Fast distributed computation of distances in networks. CDC 2012: 5215-5220 - [c17]Hugo Pacheco, Alcino Cunha:
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas. ICMT@TOOLS 2012: 89-104 - [c16]Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco:
Specifying UML Protocol State Machines in Alloy. IFM 2012: 312-326 - [c15]Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto:
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). SAT 2012: 493-495 - [i3]Alcino Cunha:
Bounded Model Checking of Temporal Formulas with Alloy. CoRR abs/1207.2746 (2012) - [i2]Nuno Macedo, Alcino Cunha:
Automatic Unbounded Verification of Alloy Specifications with Prover9. CoRR abs/1209.5773 (2012) - 2011
- [j3]Alcino Cunha, Joost Visser:
Transformation of structure-shy programs with application to XPath queries and strategic functions. Sci. Comput. Program. 76(6): 516-539 (2011) - [c14]Hugo Pacheco, Alcino Cunha:
Calculating with lenses: optimising bidirectional transformations. PEPM 2011: 91-100 - [c13]Ana Gabriela Garis, Alcino Cunha, Daniel Riesco:
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. SEFM 2011: 221-236 - [c12]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: 62-69 - [i1]Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha:
Fast Distributed Computation of Distances in Networks. CoRR abs/1111.6087 (2011) - 2010
- [c11]Hugo Pacheco, Alcino Cunha:
Generic Point-free Lenses. MPC 2010: 331-352
2000 – 2009
- 2009
- [c10]Alcino Cunha, Hugo Pacheco:
Mapping between Alloy Specifications and Database Implementations. SEFM 2009: 285-294 - 2008
- [c9]Alcino Cunha, Hugo Pacheco:
Algebraic Specialization of Generic Functions for Recursive Types. MSFP@ICALP 2008: 57-74 - 2007
- [c8]Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser:
Coupled Schema Transformation and Data Conversion for XML and SQL. PADL 2007: 290-304 - [c7]Alcino Cunha, Joost Visser:
Transformation of structure-shy programs: applied to XPath queries and strategic functions. PEPM 2007: 11-20 - 2006
- [c6]Alcino Cunha, José Nuno Oliveira, Joost Visser:
Type-Safe Two-Level Data Transformation. FM 2006: 284-299 - [c5]Alcino Cunha, Joost Visser:
Strongly Typed Rewriting For Coupled Software Transformation. RULE@FLoC 2006: 17-34 - 2005
- [b1]Alcino Cunha:
Point-free program calculation. University of Minho, Portugal, 2005 - [j2]Alcino Cunha, Jorge Sousa Pinto:
Point-free Program Transformation. Fundam. Informaticae 66(4): 315-352 (2005) - [j1]Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto:
Recursion patterns and time-analysis. ACM SIGPLAN Notices 40(5): 45-54 (2005) - [c4]Alcino Cunha, Jorge Sousa Pinto, José Proença:
A Framework for Point-Free Program Transformation. IFL 2005: 1-18 - 2003
- [c3]Alcino Cunha:
Automatic visualization of recursion trees: a case study on generic programming. WFLP 2003: 70-84
1990 – 1999
- 1998
- [c2]Alcino Cunha, José Neves:
A Game-Theoretic Approach to the Socialization of Utility-Based Agents. ICMAS 1998: 413-414 - 1997
- [c1]Alcino Cunha, Orlando Belo:
Resource Allocation on Agent Meta-Societies. EPIA 1997: 343-348
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint