Personal identification

Full name

Manuel Alcino Pereira da Cunha

Citation names

• Cunha, Alcino

Author identifiers

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

Email addresses

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

Telephones

Telephone

• 253604444 (Professional)

Addresses

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

Websites

• http://www.di.uminho.pt/~alcino (Scholar)

Knowledge fields

• Exact Sciences - Computer and Information Sciences - Computer Sciences

	Degree	Classification
2024/07/16 Concluded	Informática (Título de Agregado) Universidade do Minho, Portugal
2005/06/17 Concluded	Informática (Doutoramento) Universidade do Minho, Portugal "Point-free program calculation" (THESIS/DISSERTATION)	Aprovado por unanimidade
1996 Concluded	Engenharia de Sistemas e Informática (Licenciatura) Universidade do Minho, Portugal	18

Science

	Category Host institution	Employer
2011/11/01 - Current	Researcher (Research)	Universidade do Minho, Portugal
	Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Teaching in Higher Education

	Category Host institution	Employer
2023/05/04 - Current	Associate Professor (University Teacher)	Universidade do Minho, Portugal
2005/06/17 - 2023/05/03	Assistant Professor (University Teacher)	Universidade do Minho, Portugal
2001/09/21 - 2005/06/16	Assistant (University Teacher)	Universidade do Minho, Portugal
1997/03/13 - 2001/09/20	Trainee Assistant (University Teacher)	Universidade do Minho, Portugal
1995/10/23 - 1997/03/12	Tutor (University Teacher)	Universidade do Minho, Portugal
1994/11/07 - 1995/09/30	Tutor (University Teacher)	Universidade do Minho, Portugal

Positions / Appointments

	Category Host institution	Employer
2016/01 - Current	Coordenador do Laboratório de Software Confiável	Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2013/11 - Current	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

Contract

	Designation	Funders
2022/01/01 - 2023/12/31	SpecRep: Constraint-based Specification Repair EXPL/CCI-COM/1637/2021 Co-Principal Investigator (Co-PI)
2018/07/01 - 2021/06/30	SAFER - Safety Verification for Robotic Software PTDC/CCI-INF/29583/2017 Principal investigator Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Fundação para a Ciência e a Tecnologia Ongoing
2016/07/01 - 2019/12/31	TRUST - Trustworthy Software Design with Alloy PTDC/EEI-CTP/2904/2014 Principal investigator Universidade do Minho, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2017 - 2019	Lightkone - Lightweight Computation for Networks at the Edge 732505 Researcher Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Horizon 2020 Concluded
2015 - 2018	Tech4Growth - Pervasive Intelligence, Enhancers and Proofs of Concept with Industrial Impact NORTE-01-0145-FEDER- 000020 Researcher Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Comissao de Coordenacao e Desenvolvimento Regional do Norte Concluded
2015 - 2018	NanoStima - Macro-to-Nano Human Sensing: Towards Integra- ted Multimodal Health Monitoring and Analytics NORTE-01- 0145-FEDER-000016 Researcher Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Comissao de Coordenacao e Desenvolvimento Regional do Norte Concluded
2012/03/01 - 2014/08/31	FATBIT - Foundations, Applications and Tools for Bidirectional Transformation PTDC/EIA-CCO/120838/2010 Principal investigator Universidade do Minho, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2012 - 2014	Prova - Platform for Software Verification and Validation FCOMP-01-0202-FEDER- 023137 Researcher Universidade do Minho, Portugal	Agência Nacional de Inovação SA Concluded
2008 - 2011	EVOLVE - Evolutionary Verification, Validation and Certification FCOMP- 01-0202-FEDER-001621 Researcher Universidade do Minho, Portugal	Agência Nacional de Inovação SA Concluded
2008 - 2011	CACE - Computer Aided Cryptography Engineering 216499 Researcher 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 Researcher	Fundação para a Ciência e a Tecnologia Concluded

Publications

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

Other

Dataset

Nuno Macedo; Alcino Cunha; Ana C. R. Paiva. Alloy4Fun Dataset for 2019/20. 10.5281/zenodo.4665671 Nuno Macedo; Alcino Cunha; Ana C. R. Paiva. Alloy4Fun Dataset for 2019/20. 10.5281/zenodo.4665672 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 Nuno Macedo; Cunha, Alcino; Ana C. R. Paiva. Alloy4Fun Dataset. https://zenodo.org/doi/10.5281/zenodo.4665671. 2020. 10.5281/zenodo.4676413

Award

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