???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. Ana Barros; Henrique Neto; Alcino Cunha; Nuno Macedo; Ana C. R. Paiva. "Alloy Repair Hint Generation Based on Historical Data". Trabalho apresentado em 26th International Symposium on Formal Methods, 2024.
    Publicado • 10.1007/978-3-031-71177-0_8
  2. Pedro Silva; Alcino Cunha; Nuno Macedo; José N. Oliveira. "Alloy Goes Fuzzy". Trabalho apresentado em 10th International Conference on Rigorous State-Based Methods, 2024.
    Publicado • 10.1007/978-3-031-63790-2_4
  3. Cunha, Alcino; Macedo, Nuno; Campos, José Creissac; Margolis, Iara; Sousa, Emanuel. "Assessing the impact of hints in learning formal specification". Trabalho apresentado em International Conference on Software Engineering: Software Engineering Education and Training, 2024.
    Publicado • 10.1145/3639474.3640050
  4. 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.
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. Santos, A; Cunha, A; Macedo, N; Melo, S; Pereira, R. "Variability Analysis for Robot Operating System Applications". 2022.
    10.1109/irc55401.2022.00028
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. Macedo, N.; Cunha, A.; Pacheco, H.. "Towards a framework for multidirectional model transformations". Trabalho apresentado em 3rd International Workshop on Bidirectional Transformations, 2014.
    Publicado
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
  51. 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
  52. 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
  53. 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
  54. 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
  55. 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
  56. 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
  57. 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
  58. 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
  59. Cunha, A.; Santos, L. P.; Belo, O.. "Enhancing load distribution strategies through simulation". Trabalho apresentado em 9th European Simulation Symposium, 1997.
    Publicado
  60. 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
  61. Cunha, Alcino; Belo, Orlando. "An electronic commerce framework for resource allocation among multi-agent enterprises". Trabalho apresentado em 10th International FLAIRS Conference, 1997.
    Publicado
  62. 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. Cunha, Alcino; Macedo, Nuno; Liu, Chong. "Validating multiple variants of an automotive light system with Alloy 6". International Journal on Software Tools for Technology Transfer 26 3 (2024): 365-377. https://doi.org/10.1007/s10009-024-00752-3.
    10.1007/s10009-024-00752-3
  2. 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
  3. 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
  4. 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
  5. 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
  6. Baquero, C; Almeida, PS; Cunha, A; Ferreira, C. "Composition in State-based Replicated Data Types". Bulletin of the EATCS 123 (2017):
    Publicado
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. Cunha, A.; Pinto, J.S.. "Point-free program transformation". Fundamenta Informaticae 66 4 (2005): 315-352.
    Publicado
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
2023 - 2025 Formal Modelling and Analysis of Clock-SI with TLA+
Orientador
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2023 - 2025 Reverse engineering Alloy with Alloy
Orientador
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2023 - 2024 Specifying Distributed Hash Tables with Allen Temporal Logic in Alloy
Coorientador
 Computer Science and Engineering (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 - 2024 Isolde: a tool for isolation level design
Coorientador
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
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
2025 - 2025 11th International Conference on Rigorous State Based Methods (2025 - 2025)
Conferência (Membro da Comissão Científica)
2025 - 2025 23rd International Conference on Software Engineering and Formal Methods (2025 - 2025)
Conferência (Membro da Comissão Científica)
2024 - 2024 10th International Conference on Rigorous State Based Methods (2024 - 2024)
Conferência (Membro da Comissão Científica)
2024 - 2024 22nd International Conference on Software Engineering and Formal 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