E-LIB Suche - Ergebnisse für: Cunha, Alcino

1

Alloy Goes Fuzzy:

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

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

2

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..

3

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/..

4

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/..

5

An Experimental Evaluation of Tools for Grading Concurrent ..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Barros, Manuel ; Ramos, Maria ; Gomes, Alexandre... - p. 3-20 , 2023

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

6

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/..

7

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/..

8

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/..

9

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/..

10

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..

11

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/..

12

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..

13

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/..

14

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/..

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/..