???global.info.a_carregar???
Alcino Cunha is an Associate Professor with Habilitation at the Department of Informatics of University of Minho. He is also a member (and currently co-coordinator) of the High-Assurance Software Laboratory, a research center of University of Minho and of the INESC TEC associate laboratory.
Identificação

Identificação pessoal

Nome completo
Manuel Alcino Pereira da Cunha

Nomes de citação

  • Cunha, Alcino

Identificadores de autor

Ciência ID
ED1F-3C1B-4A1B
ORCID iD
0000-0002-2714-8027
Google Scholar ID
aT3gF_cAAAAJ
Researcher Id
I-4104-2015
Scopus Author Id
8549257000

Endereços de correio eletrónico

  • alcino@di.uminho.pt (Profissional)
  • alcino.cunha@inesctec.pt (Profissional)

Telefones

Telefone
  • 253604444 (Profissional)

Moradas

  • Departamento de Informática, Campus de Gualtar, 4710-057, Braga, Braga, Portugal (Profissional)

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Formação
Grau Classificação
2024/07/16
Concluído
 Informática (Título de Agregado)
Universidade do Minho, Portugal
2005/06/17
Concluído
 Informática (Doutoramento)
Universidade do Minho, Portugal
"Point-free program calculation" (TESE/DISSERTAÇÃO)
 Aprovado por unanimidade
1996
Concluído
 Engenharia de Sistemas e Informática (Licenciatura)
Universidade do Minho, Portugal
 18
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2011/11/01 - Atual Investigador (Investigação) Universidade do Minho, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/05/04 - Atual Professor Associado (Docente Universitário) Universidade do Minho, Portugal
2005/06/17 - 2023/05/03 Professor Auxiliar (Docente Universitário) Universidade do Minho, Portugal
2001/09/21 - 2005/06/16 Assistente (Docente Universitário) Universidade do Minho, Portugal
1997/03/13 - 2001/09/20 Assistente Estagiário (Docente Universitário) Universidade do Minho, Portugal
1995/10/23 - 1997/03/12 Monitor (Docente Universitário) Universidade do Minho, Portugal
1994/11/07 - 1995/09/30 Monitor (Docente Universitário) Universidade do Minho, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2016/01 - Atual Coordenador do Laboratório de Software Confiável Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2013/11 - Atual Director adjunto do Centro de Investigação em Software Confiável Universidade do Minho, Portugal
2008/05/07 - 2010/07/20 Director dos cursos de Engenharia Informática e Engenharia de Sistemas e Informática Universidade do Minho, Portugal
Projetos

Projeto

Designação Financiadores
2022/01/01 - 2023/12/31 SpecRep: Constraint-based Specification Repair
EXPL/CCI-COM/1637/2021
Co-Investigador Responsável (Co-IR)
2018/07/01 - 2021/06/30 SAFER - Safety Verification for Robotic Software
PTDC/CCI-INF/29583/2017
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2016/07/01 - 2019/12/31 TRUST - Trustworthy Software Design with Alloy
PTDC/EEI-CTP/2904/2014
Investigador responsável
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2017 - 2019 Lightkone - Lightweight Computation for Networks at the Edge
732505
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Horizon 2020
Concluído
2015 - 2018 Tech4Growth - Pervasive Intelligence, Enhancers and Proofs of Concept with Industrial Impact
NORTE-01-0145-FEDER- 000020
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Comissao de Coordenacao e Desenvolvimento Regional do Norte
Concluído
2015 - 2018 NanoStima - Macro-to-Nano Human Sensing: Towards Integra- ted Multimodal Health Monitoring and Analytics
NORTE-01- 0145-FEDER-000016
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Comissao de Coordenacao e Desenvolvimento Regional do Norte
Concluído
2012/03/01 - 2014/08/31 FATBIT - Foundations, Applications and Tools for Bidirectional Transformation
PTDC/EIA-CCO/120838/2010
Investigador responsável
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2012 - 2014 Prova - Platform for Software Verification and Validation
FCOMP-01-0202-FEDER- 023137
Investigador
Universidade do Minho, Portugal
 Agência Nacional de Inovação SA
Concluído
2008 - 2011 EVOLVE - Evolutionary Verification, Validation and Certification
FCOMP- 01-0202-FEDER-001621
Investigador
Universidade do Minho, Portugal
 Agência Nacional de Inovação SA
Concluído
2008 - 2011 CACE - Computer Aided Cryptography Engineering
216499
Investigador
Universidade do Minho, Portugal
 European Commission Seventh Framework Programme for Research and Technological Development Information and Communication Technologies
2003/10/15 - 2007/01/14 PURe - Program Understanding and Re-engineering: Calculi and Applications
POSI/CHS/44304/2002
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Barros, Manuel; Ramos, Maria; Gomes, Alexandre; Cunha, Alcino; Pereira, José; Almeida, Paulo Sérgio. "A Survey of Tools for Grading Concurrent Programming Exercises". Trabalho apresentado em FORTE 2023 - 43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Lisboa, 2023.
  2. Cunha, Alcino; Macedo, Nuno; Kang, Eunsuk. "Task Model Design and Analysis with Alloy". Trabalho apresentado em 9th International Conference on Rigorous State-Based Methods, 2023.
    Publicado • 10.1007/978-3-031-33163-3_23
  3. Nuno Macedo; Julien Brunel; David Chemouil; Cunha, Alcino; Macedo, N; Brunel, J; Chemouil, D; Cunha, A. "Verifying Temporal Relational Models with Pardinus". Trabalho apresentado em 9th International Conference on Rigorous State-Based Methods, 2023.
    Publicado • 10.1007/978-3-031-33163-3_20
  4. Julien Brunel; David Chemouil; Cunha, Alcino; Nuno Macedo; Alcino Cunha; Nuno Macedo. "Adding Records to Alloy". Trabalho apresentado em 9th International Conference on Rigorous State-Based Methods, 2023.
    Publicado • 10.1007/978-3-031-33163-3_16
  5. Manuel Barros; Maria Ramos; Alexandre Gomes; Cunha, Alcino; José Pereira; Almeida, Paulo Sérgio; Alcino Cunha; Paulo Sérgio Almeida. "An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises". Trabalho apresentado em 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 2023.
    Publicado • 10.1007/978-3-031-35355-0_1
  6. Santos, A; Cunha, A; Macedo, N. "Schema-guided Testing of Message-oriented Systems". Trabalho apresentado em 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022.
    10.5220/0010976100003176
  7. Cerqueira, J; Cunha, A; Macedo, N. "Timely Specification Repair for Alloy 6". Trabalho apresentado em 20th International Conference on Software Engineering and Formal Methods, 2022.
    10.1007/978-3-031-17108-6_18
  8. Martins, João; Fonseca, José M.; Costa, Rafael; Campos, José C.; Cunha, Alcino; Macedo, Nuno; Oliveira, José N.. "Verification of railway network models with EVEREST". Trabalho apresentado em 25th International Conference on Model Driven Engineering Languages and Systems, 2022.
    10.1145/3550355.3552439
  9. Silva, Pedro; Oliveira, José N.; Macedo, Nuno; Cunha, Alcino. "Quantitative relational modelling with QAlloy". Trabalho apresentado em 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022.
    10.1145/3540250.3549154
  10. Santos, A; Cunha, A; Macedo, N; Melo, S; Pereira, R. "Variability Analysis for Robot Operating System Applications". 2022.
    10.1109/irc55401.2022.00028
  11. Santos, Andre; Cunha, Alcino; Macedo, Nuno. "The High-Assurance ROS Framework". Trabalho apresentado em 3rd International Workshop on Robotics Software Engineering (RoSE), 2021.
    Publicado • 10.1109/rose52553.2021.00013
  12. Cunha, A; Macedo, N; Liu, C; Vilches, VM; Fernández, IA; Pinzger, M; Rass, S; et al. "Validating Multiple Variants of an Automotive Light System with Electrum". Trabalho apresentado em 7th International Conference on Rigorous State Based Methods, 2020.
    Publicado • 10.1007/978-3-030-48077-6_26
  13. Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR; Ramalho, MS; Silva, DC. "Experiences on Teaching Alloy with an Automated Assessment Platform". Trabalho apresentado em 7th International Conference on Rigorous State Based Methods, 2020.
    Publicado • 10.1007/978-3-030-48077-6_5
  14. Renato Carvalho; Cunha, Alcino; Nuno Macedo; André Santos; Carvalho, R; Cunha, A; Macedo, N; Santos, A. "Verification of system-wide safety properties of ROS applications". Trabalho apresentado em IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020.
    Publicado • 10.1109/iros45743.2020.9341085
  15. Santos, Andre; Cunha, Alcino; Macedo, Nuno. "Static-Time Extraction and Analysis of the ROS Computation Graph". Trabalho apresentado em 3rd IEEE International Conference on Robotic Computing, 2019.
    Publicado • 10.1109/irc.2019.00018
  16. Liu, Chong; Macedo, Nuno; Cunha, Alcino. "Simplifying the Analysis of Software Design Variants with a Colorful Alloy". Trabalho apresentado em 5th International Symposium on Dependable Software Engineering - Theories, Tools, and Applications, 2019.
    Publicado • 10.1007/978-3-030-35540-1_3
  17. Brunel, J; Chemouil, D; Cunha, A; Macedo, N. "Simulation under Arbitrary Temporal Logic Constraints". Trabalho apresentado em 5th International Workshop on Formal Integrated Development Environment, 2019.
    Publicado • 10.4204/eptcs.310.7
  18. Couto, R; Campos, JC; Macedo, N; Cunha, A. "Improving the Visualization of Alloy Instances". Trabalho apresentado em 4th Workshop on Formal Integrated Development Environment, 2018.
    Publicado • 10.4204/eptcs.284.4
  19. Brunel, J; Chemouil, D; Cunha, A; Hujsa, T; Macedo, N; Tawa, J. "Proposition of an Action Layer for Electrum". Trabalho apresentado em 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018.
    Publicado • 10.1007/978-3-319-91271-4_30
  20. Brunel, J; Chemouil, D; Cunha, A; Macedo, N. "The Electrum Analyzer: model checking relational first-order temporal specifications". Trabalho apresentado em 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018.
    Publicado • 10.1145/3238147.3240475
  21. Almeida, JB; Cunha, A; Macedo, N; Pacheco, H; Proenca, J. "Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)". Trabalho apresentado em 23rd ACM SIGPLAN International Conference on Functional Programming, 2018.
    10.1145/3236777
  22. Santos, A; Cunha, A; Macedo, N. "Property-Based Testing for the Robot Operating System". Trabalho apresentado em 9th ACM SIGSOFT International Workshop on Automating Test Case Design, Selection, and Evaluation, 2018.
    Publicado • 10.1145/3278186.3278195
  23. Macedo, N; Cunha, A; Pessoa, E. "Exploiting Partial Knowledge for Efficient Model Analysis". Trabalho apresentado em 15th International Symposium on Automated Te- chnology for Verification and Analysis, 2017.
    Publicado • 10.1007/978-3-319-68167-2_23
  24. Santos, A; Cunha, A; Macedo, N; Arrais, R; dos Santos, FN. "Mining the Usage Patterns of ROS Primitives". Trabalho apresentado em IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017.
    Publicado • 10.1109/iros.2017.8206237
  25. Santos, A.; Cunha, A.; Macedo, N.; Lourenço, C.. "A framework for quality assessment of ROS repositories". Trabalho apresentado em IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016.
    Publicado • 10.1109/IROS.2016.7759661
  26. Macedo, N.; Brunel, J.; Chemouil, D.; Cunha, A.; Kuperberg, D.. "Lightweight specification and analysis of dynamic systems with rich configurations". Trabalho apresentado em 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016.
    10.1145/2950290.2950318
  27. Macedo, N; Cunha, A; Guimaraes, T. "Exploring Scenario Exploration". Trabalho apresentado em 18th International Conference on Fundamental Approaches to Software Engineering, 2015.
    Publicado • 10.1007/978-3-662-46675-9_20
  28. Cunha, Alcino. "Bounded model checking of temporal formulas with Alloy". Trabalho apresentado em 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014.
    Publicado • 10.1007/978-3-662-43652-3_29
  29. Cunha, Alcino; Macedo, Nuno; Guimarães, Tiago. "Target oriented relational model finding". Trabalho apresentado em 17th International Conference on Fundamental Approaches to Software Engineering, 2014.
    Publicado • 10.1007/978-3-642-54804-8_2
  30. Macedo, N.; Pacheco, H.; Sousa, N.R.; Cunha, A.. "Bidirectional spreadsheet formulas". Trabalho apresentado em IEEE Symposium on Visual Languages and Human-Centric Computing, 2014.
    Publicado • 10.1109/VLHCC.2014.6883041
  31. Macedo, N.; Cunha, A.; Pacheco, H.. "Towards a framework for multidirectional model transformations". Trabalho apresentado em 3rd International Workshop on Bidirectional Transformations, 2014.
    Publicado
  32. Anjorin, A.; Hermann, F.; Cunha, A.; Rensink, A.; Giese, H.; Schürr, A.. "BenchmarX". Trabalho apresentado em 3rd International Workshop on Bidirectional Transformations, 2014.
    Publicado
  33. Nuno Macedo; Tiago Guimaraes; Alcino Cunha; Macedo, N.; Guimaraes, T.; Cunha, A.. "Model repair and transformation with Echo". Trabalho apresentado em 28th IEEE/ACM International Conference on Automated Software Engineering, 2013.
    Publicado • 10.1109/ase.2013.6693135
  34. Nuno Macedo; Alcino Cunha. "Implementing QVT-R bidirectional model transformations using Alloy". Trabalho apresentado em 16th International Conference on Fundamental Appro- aches to Software Engineering, 2013.
    Publicado • 10.1007/978-3-642-37057-1_22
  35. Macedo, N; Pacheco, H; Cunha, A; Oliveira, JN. "Composing least-change lenses". Trabalho apresentado em 2nd International Workshop on Bidirectional Transformations, 2013.
    Publicado • 10.14279/tuj.eceasst.57.868.862
  36. Almeida, P.S.; Baquero, C.; Cunha, A.. "Fast distributed computation of distances in networks". Trabalho apresentado em 51st IEEE Conference on Decision and Control, 2012.
    Publicado • 10.1109/CDC.2012.6426872
  37. Ana Garis; Ana C. R. Paiva; Cunha, Alcino; Daniel Riesco. "Specifying UML protocol state machines in Alloy". Trabalho apresentado em 9th International Conference on Integrated Formal Methods, 2012.
    Publicado • 10.1007/978-3-642-30729-4_22
  38. Hugo Pacheco; Cunha, Alcino. "Multifocal: A strategic bidirectional transformation language for XML schemas". Trabalho apresentado em 5th International Conference on Model Transformation, 2012.
    Publicado • 10.1007/978-3-642-30476-7_6
  39. Nuno Macedo; Hugo Pacheco; Cunha, Alcino. "Relations as executable specifications: Taming partiality and non-determinism using invariants". Trabalho apresentado em 13th International Conference on Relational and Algebraic Methods in Computer Science, 2012.
    Publicado • 10.1007/978-3-642-33314-9_10
  40. Pacheco, H; Cunha, A; Hu, Z. "Delta lenses over inductive types". Trabalho apresentado em 1st International Workshop on Bidirectional Transformations, 2012.
    Publicado • 10.14279/tuj.eceasst.49.713.719
  41. Cunha, A.; Pacheco, H.. "Calculating with lenses: optimising bidirectional transformations". Trabalho apresentado em 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011.
    Publicado • 10.1145/1929501.1929520
  42. Cunha, Alcino; Hugo Pacheco. "Algebraic specialization of generic functions for recursive types". Trabalho apresentado em 2nd Workshop on Mathematically Structured Functional Programming, 2011.
    10.1016/j.entcs.2011.02.016
  43. João F. Ferreira; Alexandra Mendes; Cunha, Alcino; Carlos Baquero; Paulo Silva; L. S. Barbosa; J. N. Oliveira. "Logic training through algorithmic problem solving". Trabalho apresentado em 3rd International Congress on Tools for Teaching Logic, 2011.
    Publicado • 10.1007/978-3-642-21350-2_8
  44. Ana Garis; Cunha, Alcino; Daniel Riesco. "Translating Alloy specifications to UML class diagrams annotated with OCL". Trabalho apresentado em 9th International Conference on Software Engineering and Formal Methods, 2011.
    Publicado • 10.1007/978-3-642-24690-6_16
  45. Cunha, Alcino; Hugo Pacheco. "Generic point-free lenses". Trabalho apresentado em 10th International Conference on Mathematics of Program Construction, 2010.
    10.1007/978-3-642-13321-3_19
  46. Alcino Cunha; Hugo Pacheco. "Mapping between Alloy specifications and database implementations". Trabalho apresentado em 7th IEEE International Conference on Software Engineering and Formal Methods, 2009.
    Publicado • 10.1109/SEFM.2009.27
  47. Cunha, A.; Visser, J.. "Transformation of structure-shy programs: applied to XPath queries and strategic functions". Trabalho apresentado em 16th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2007.
    Publicado • 10.1145/1244381.1244385
  48. Pablo Berdaguer; Cunha, Alcino; Hugo Pacheco; Joost Visser. "Coupled schema transformation and data conversion for XML and SQL". Trabalho apresentado em 9th International Symposium on Practical Aspects of Declarative Languages, 2007.
    Publicado • 10.1007/978-3-540-69611-7-19
  49. Cunha, A.; Visser, J.. "Strongly typed rewriting for coupled software transformation". Trabalho apresentado em 7th International Workshop on Rule-Based Programming, 2007.
    Publicado • 10.1016/j.entcs.2006.10.019
  50. Cunha, A.; Pinto, J.S.; Proença, J.. "A framework for point-free program transformation". Trabalho apresentado em 17th International Workshop on Implementation and Application of Functional Languages, 2006.
    Publicado • 10.1007/11964681_1
  51. Cunha, A.; Oliveira, J.N.; Visser, J.. "Type-safe two-level data transformation". Trabalho apresentado em 14th International Symposium on Formal Methods, 2006.
    Publicado • 10.1007/11813040_20
  52. Alcino Cunha. "Automatic visualization of recursion trees: a case study on generic programming". Trabalho apresentado em 12th International Workshop on Functional and (Constraint) Logic Programming, 2003.
    Publicado • 10.1016/s1571-0661(04)80694-7
  53. Belo, Orlando; Cunha, Alcino. "Integrating agent based information outsourcing techniques on data warehousing systems". Trabalho apresentado em IEEE Systems, Man, and Cybernetics Conference, 1999.
    Publicado
  54. Ribeiro, A; Cunha, A; Belo, O. "Simulating a gas distribution network in a distributed object oriented system". Trabalho apresentado em 10th European Simulation Symposium, 1998.
    Publicado
  55. Cunha, Alcino; Belo, Orlando; Santos, Alexandre. "Modeling intelligent decision making on electronic mail distribution systems". Trabalho apresentado em 3rd EUROSIM Congress on Modelling and Simulation, 1998.
    Publicado
  56. Cunha, A.; Santos, L. P.; Belo, O.. "Enhancing load distribution strategies through simulation". Trabalho apresentado em 9th European Simulation Symposium, 1997.
    Publicado
  57. Cunha, A.; Biscaia, C.; Torres, M.; Sobral, L.; Belo, O.. "Parallel neural network recognition - a multi-agent system approach". Trabalho apresentado em 6th International Conference on Applications of High-Performance Computing in Engineering, 1997.
    Publicado
  58. Cunha, Alcino; Belo, Orlando. "An electronic commerce framework for resource allocation among multi-agent enterprises". Trabalho apresentado em 10th International FLAIRS Conference, 1997.
    Publicado
  59. Cunha, Alcino; Biscaia, Carlos; Torres, Mário; Sobral, Luís; Belo, Orlando. "Simulating the use of autonomous intelligent agents on cellular manufacturing plant floors". Trabalho apresentado em 8th European Simulation Symposium, 1996.
    Publicado
Artigo em revista
  1. Liu, C; Macedo, N; Cunha, A. "Merging cloned Alloy models with colorful refactorings". SCIENCE OF COMPUTER PROGRAMMING 220 (2022): 102829-191.
    10.1016/j.scico.2022.102829
  2. Macedo, N; Brunel, J; Chemouil, D; Cunha, A. "Pardinus: A Temporal Relational Model Finder". JOURNAL OF AUTOMATED REASONING 66 4 (2022): 861-904.
    10.1007/s10817-022-09642-2
  3. Macedo, Nuno; Cunha, Alcino; Pereira, José; Carvalho, Renato; Silva, Ricardo; Paiva, Ana C.R.; Sozinho Ramalho, Miguel; Silva, Daniel. "Experiences on teaching Alloy with an automated assessment platform". Science of Computer Programming 211 (2021): 102690. http://dx.doi.org/10.1016/j.scico.2021.102690.
    Publicado • 10.1016/j.scico.2021.102690
  4. Cunha, A; Macedo, N. "Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum". International Journal on Software Tools for Technology Transfer (2019): 307-321.
    No prelo • 10.1007/s10009-019-00540-4
  5. Baquero, C; Almeida, PS; Cunha, A; Ferreira, C. "Composition in State-based Replicated Data Types". Bulletin of the EATCS 123 (2017):
    Publicado
  6. Macedo, N; Tiago, J; Cunha, A. "A Feature-Based Classification of Model Repair Approaches". IEEE Transactions on Software Engineering 43 7 (2017): 615-640.
    Publicado • 10.1109/TSE.2016.2620145
  7. Macedo, N.; Cunha, A.. "Least-change bidirectional model transformation with QVT-R and ATL". Software and Systems Modeling 15 3 (2016): 783-810.
    Publicado • 10.1007/s10270-014-0437-x
  8. Mendes Moreira, J.; Cunha, A.; Macedo, N.. "An ORCID based synchronization framework for a national CRIS ecosystem". F1000Research 4 (2015): 181.
    Publicado • 10.12688/f1000research.6499.1
  9. Cunha, A.; Garis, A.; Riesco, D.. "Translating between Alloy specifications and UML class diagrams annotated with OCL". Software and Systems Modeling 14 1 (2015): 5-25.
    Publicado • 10.1007/s10270-013-0353-5
  10. Cunha, A.; Visser, J.. "Transformation of structure-shy programs with application to XPath queries and strategic functions". Science of Computer Programming 76 6 (2011): 516-539.
    Publicado • 10.1016/j.scico.2010.01.003
  11. Barbosa, M.; Cunha, A.; Pinto, J.S.. "Recursion patterns and time-analysis". ACM SIGPLAN Notices 40 5 (2005): 45-54.
    Publicado • 10.1145/1071221.1071226
  12. Cunha, A.; Pinto, J.S.. "Point-free program transformation". Fundamenta Informaticae 66 4 (2005): 315-352.
    Publicado
Capítulo de livro
  1. Ana Barros; Henrique Neto; Alcino Cunha; Nuno Macedo; Ana C. R. Paiva. "Alloy Repair Hint Generation Based on Historical Data". 2025.
    10.1007/978-3-031-71177-0_8
  2. Pedro Silva; Alcino Cunha; Nuno Macedo; José N. Oliveira. "Alloy Goes Fuzzy". 2024.
    10.1007/978-3-031-63790-2_4
Edição de livro
  1. Cunha, A; Kindler, E. Proceedings of the 4th International Workshop on Bidirectional Transformations (co-located with Software Technologies: Applications and Foundations). 2015.
    Publicado
Edição de número de revista
  1. Cunha, A.; Kindler, E.. "Bidirectional transformations (Bx 2015) special section". Journal of Object Technology 16 1 (2017):
    Publicado • 10.5381/jot.2017.16.1.e1
  2. Barbosa, LS; Cunha, A; Silva, A. "Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira". Journal of Logical and Algebraic Methods in Programming 85 5 (2016):
    Publicado • 10.1016/j.jlamp.2016.07.002
Poster em conferência
  1. Iago Abal; Cunha, Alcino; Joe Hurd; Jorge Sousa Pinto. "Using term rewriting to solve bit-vector arithmetic problems (Poster presentation)". Trabalho apresentado em 15th International Conference on Theory and Applications of Satisfiability Testing, 2012.
    10.1007/978-3-642-31612-8_51
  2. Cunha, A.; Neves, J.; Cunha, A; Neves, J. "A game-theoretic approach to the socialization of utility-based agents". Trabalho apresentado em 3rd International Conference on Multi-Agent Systems, 1998.
    10.1109/icmas.1998.699239
  3. Cunha, A.; Belo, O.. "Resource allocation on agent meta-societies". Trabalho apresentado em 8th Portuguese Conference on Artificial Intelligence, 1997.
    10.1007/BFb0023938
Relatório
  1. Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR; Ramalho, MS; Silva, DC. 2019. Sharing and Learning Alloy on the Web. https://arxiv.org/abs/1907.02275.
  2. Macedo, N; Cunha, A. 2016. Alloy meets TLA+: An exploratory study.
  3. Pacheco, Hugo; Macedo, Nuno; Cunha, Alcino; Voigtländer, Janis. 2013. A generic scheme and properties of bidirectional transformations.
  4. Macedo, Nuno; Cunha, Alcino. 2012. Automatic unbounded verification of Alloy specifications with Prover9.
Tese / Dissertação
  1. "Point-free program calculation". 2005.

Outros

Conjunto de dados
  1. Nuno Macedo; Alcino Cunha; Ana C. R. Paiva. Alloy4Fun Dataset for 2019/20.
    10.5281/zenodo.4665671
  2. Nuno Macedo; Alcino Cunha; Ana C. R. Paiva. Alloy4Fun Dataset for 2019/20.
    10.5281/zenodo.4665672
  3. Nuno Macedo; Cunha, Alcino; José Creissac Campos; Iara Margolis; Emanuel Sousa; Nuno Macedo; Alcino Cunha; et al. Assessing the impact of hints in learning formal specification: Research artifact. https://zenodo.org/doi/10.5281/zenodo.10450608. 2024.
    10.5281/zenodo.10579475
  4. Nuno Macedo; Cunha, Alcino; Ana C. R. Paiva. Alloy4Fun Dataset. https://zenodo.org/doi/10.5281/zenodo.4665671. 2020.
    10.5281/zenodo.4676413
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2022 - 2023 Mining hints for fixing formal specifications
Orientador
Universidade do Minho, Portugal
2021 - 2023 Formalização de um protocolo Mesh para sistemas IoT em Alloy
Orientador
Universidade do Minho, Portugal
2021 - 2022 Encoding and Analysis of Variational ROS Computation Graphs
Orientador
 Mestrado em Engenharia Informática (Mestrado)
2021 - 2022 Formalizing ROS2 security configuration with Alloy
Orientador
Universidade do Minho, Portugal
2021 - 2022 Formalização da reconfiguração de protocolos de consenso usando Alloy
Orientador
2021 - 2022 Automatic Repair of Behavioural Specifications
Orientador
Universidade do Minho, Portugal
2020 - 2022 An HAROS Extension for Variability Aware ROS Code Analysis
Orientador
Universidade do Minho, Portugal
2016 - 2022 Lightweight trustworthy high-level software design
Orientador
Universidade do Minho, Portugal
2020 - 2021 Estudo Empírico da Variabilidade em Sistemas ROS
Orientador
Universidade do Minho, Portugal
2015 - 2021 Safety verification for ROS applications
Orientador
Universidade do Minho, Portugal
2019 - 2020 Analysis of Message Passing Software Using Electrum
Coorientador
Universidade do Minho, Portugal
2018 - 2019 Towards model checking Electrum specifications with LTSmin
Orientador
Universidade do Minho, Portugal
2015 - 2016 A web-based social environment for Alloy
Orientador
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2015 - 2016 Parallel verification of dynamic systems with rich configurations
Coorientador
Universidade do Minho, Portugal
2014 - 2015 Applying coding standards to the Robot Operating System
Orientador
Universidade do Minho, Portugal
2014 - 2015 File carving in practice
Orientador
Universidade do Minho, Portugal
2014 - 2015 Software quality for the Robot Operating System
Orientador
Universidade do Minho, Portugal
2009 - 2015 Model driven software development with Alloy
Orientador
Universidad Nacional de San Luis, Argentina
2013 - 2014 A comparison between DSLs and GPLs for the implementation of unidirectional and bidirectional transformations
Orientador
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2013 - 2014 Bidirectional distributed data aggregation
Orientador
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2013 - 2014 A model repair application scenario with PROVA
Orientador
Universidade do Minho, Portugal
2010 - 2014 A relational approach to bidirectional tranformation
Orientador
Universidade do Minho, Portugal
2007 - 2012 Bidirectional data transformation by calculation
Orientador
Universidade do Minho, Portugal
2010 - 2011 Formalizing Alloy with a shallow embedding
Orientador
Universidade do Minho, Portugal
2010 - 2011 Formal approaches to critical systems development - a case study using SPARK
Orientador
Universidade do Minho, Portugal
2009 - 2010 Translating Alloy specifications to the point-free style
Orientador
Universidade do Minho, Portugal
2009 - 2010 Verificação de consultas .QL usando Alloy
Orientador
Universidade do Minho, Portugal
2007 - 2007 Gestão dos programas e configurações para o parque de máquinas na infra-estrutura produtiva
Orientador
Universidade do Minho, Portugal
2007 - 2007 Two-level transformations
Orientador
Universidade do Minho, Portugal
2000 - 2000 Servidor TimeStamp
Orientador
Universidade do Minho, Portugal
2000 - 2000 Desenvolvimento de uma arquitectura de certificados de atributos
Orientador
Universidade do Minho, Portugal
2000 - 2000 Infraestrutura de chaves públicas para ambiente home networking
Orientador
Universidade do Minho, Portugal
1999 - 1999 Manutenção evolutiva de um data warehouse para suportar um novo modelo de informação de Gestão
Orientador
Universidade do Minho, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2024 - 2024 10th International Conference on Rigorous State Based Methods (2024 - 2024)
Conferência (Membro da Comissão Científica)
2023 - 2023 2nd International Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components (2023 - 2023)
Oficina (workshop) (Coorganizador)
2023 - 2023 21st International Conference on Software Engineering and Formal Methods (2023 - 2023)
Conferência (Membro da Comissão Científica)
2022 - 2022 11th European Congress on Embedded Real-time Systems (2022 - 2022)
Congresso (Membro da Comissão Científica)
2021 - 2021 9th International Workshop on Bidirectional Transformations (2021 - 2021)
Conferência (Membro da Comissão Científica)
2021 - 2021 1st International Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components (2021 - 2021)
Oficina (workshop) (Coorganizador)
2021 - 2021 Workshop em Ciência e Engenharia de Software (2021 - 2021)
Oficina (workshop) (Membro da Comissão Científica)
2020 - 2020 1st International Workshop on Engineering Resilient Robot Software Systems (2020 - 2020)
Oficina (workshop) (Membro da Comissão Científica)
2019 - 2019 23rd International Symposium on Formal Methods (2019 - 2019)
Conferência (Membro da Comissão Científica)
2018 - 2018 7th International Workshop on Bidirectional Transformations (2018 - 2018)
Oficina (workshop) (Membro da Comissão Científica)
2015 - 2015 4th International Workshop on Bidirectional Transformations (2015 - 2015)
Oficina (workshop) (Coorganizador)
2015 - 2015 15th International Conference on Relational and Algebraic Methods in Computer Science (2015 - 2015)
Conferência (Membro da Comissão Organizadora)
2013 - 2013 1st international Conference on Model-Driven Engineering and Software Development (2013 - 2013)
Conferência (Membro da Comissão Científica)
2013 - 2013 1st International Workshop on Haskell and Rewriting Techniques (2013 - 2013)
Oficina (workshop) (Membro da Comissão Científica)
2012 - 2012 5th International Conference on Model Transformation (2012 - 2012)
Conferência (Membro da Comissão Científica)
2012 - 2012 1st International Workshop on Bidirectional Transformations (2012 - 2012)
Oficina (workshop) (Membro da Comissão Científica)
2012 - 2012 13th Argentine Symposium on Software Engineering (2012 - 2012)
Simpósio (Membro da Comissão Científica)
2010 - 2010 3rd Workshop on Mathematically Structured Functional Programming (2010 - 2010)
Oficina (workshop) (Membro da Comissão Científica)
2010 - 2010 2º Simpósio de Informática (2010 - 2010)
Simpósio (Membro da Comissão Organizadora)
2007 - 2007 2nd Summer School on Generative and Transformational Techniques in Software Engineering (2007 - 2007)
Encontro (Membro da Comissão Científica)
2007 - 2007 2nd Summer School on Generative and Transformational Techniques in Software Engineering (2007 - 2007)
Encontro (Membro da Comissão Organizadora)
2007 - 2007 7th Workshop on Language Descriptions, Tools and Applications (2007 - 2007)
Oficina (workshop) (Membro da Comissão Organizadora)

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2018 - Atual Alloy Board
Membro
Distinções

Prémio

2022 Best paper award at the 17th International Conference on Evaluation of Novel Approaches to Software Engineering