E-LIB Suche - Ergebnisse für: Macedo, Nuno

1

Validating multiple variants of an automotive light system ..:

Cunha, Alcino ; Macedo, Nuno ; Liu, Chong
International Journal on Software Tools for Technology Transfer. 26 (2024) 3 - p. 365-377 , 2024

Link: https://doi.org/10.1007/..

2

Assessing the Impact of Hints in Learning Formal Specificat..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET),

Cunha, Alcino ; Macedo, Nuno ; Campos, Jose Creissac.. - p. 151-161 , 2024

Link: https://doi.org/10.1145/..

3

Alloy Goes Fuzzy:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Silva, Pedro ; Cunha, Alcino ; Macedo, Nuno. - p. 61-79 , 2024

Link: https://doi.org/10.1007/..

4

Assessing the impact of hints in learning formal specificat..:

, In: Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training,

Cunha, Alcino ; Macedo, Nuno ; Campos, José Creissac.. - p. 151-161 , 2024

Link: https://dl.acm.org/doi/1..

5

Verifying Temporal Relational Models with Pardinus:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Macedo, Nuno ; Brunel, Julien ; Chemouil, David. - p. 254-261 , 2023

Link: https://doi.org/10.1007/..

6

Adding Records to Alloy:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Brunel, Julien ; Chemouil, David ; Cunha, Alcino. - p. 212-219 , 2023

Link: https://doi.org/10.1007/..

7

Task Model Design and Analysis with Alloy:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Cunha, Alcino ; Macedo, Nuno ; Kang, Eunsuk - p. 303-320 , 2023

Link: https://doi.org/10.1007/..

8

Exploring Automatic Specification Repair in Dafny Programs:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW),

Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra - p. 105-112 , 2023

Link: https://doi.org/10.1109/..

9

Verification of railway network models with EVEREST:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Martins, João ; Fonseca, José M. ; Costa, Rafael... - p. 345-355 , 2022

Link: https://dl.acm.org/doi/1..

10

Merging cloned Alloy models with colorful refactorings:

Liu, Chong ; Macedo, Nuno ; Cunha, Alcino
Science of Computer Programming. 220 (2022) - p. 102829 , 2022

Link: https://doi.org/10.1016/..

11

Variability Analysis for Robot Operating System Application:

, In: 2022 Sixth IEEE International Conference on Robotic Computing (IRC),

Santos, Andre ; Cunha, Alcino ; Macedo, Nuno.. - p. 111-118 , 2022

Link: https://doi.org/10.1109/..

12

Timely Specification Repair for Alloy 6:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Cerqueira, Jorge ; Cunha, Alcino ; Macedo, Nuno - p. 288-303 , 2022

Link: https://doi.org/10.1007/..

13

Pardinus: A Temporal Relational Model Finder:

Macedo, Nuno ; Brunel, Julien ; Chemouil, David.
Journal of Automated Reasoning. 66 (2022) 4 - p. 861-904 , 2022

Link: https://doi.org/10.1007/..

14

Quantitative relational modelling with QAlloy:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Silva, Pedro ; Oliveira, José N. ; Macedo, Nuno. - p. 885-896 , 2022

Link: https://dl.acm.org/doi/1..

15

Experiences on teaching alloy with an automated assessment ..:

Macedo, Nuno ; Cunha, Alcino ; Pereira, José...
Science of Computer Programming. 211 (2021) - p. 102690 , 2021

Link: https://doi.org/10.1016/..