Browsing by Author Alcino Cunha

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 15 to 32 of 32 < previous 
Issue DateTitleAuthor(s)
2016Least-change bidirectional model transformation with QVT-R and ATLNuno Moreira Macedo; Alcino Cunha
2016Lightweight Specification and Analysis of Dynamic Systems with Rich ConfigurationsNuno Moreira Macedo; Brunel,J; Chemouil,D; Alcino Cunha; Kuperberg,D
2013Model Repair and Transformation with EchoNuno Moreira Macedo; Guimaraes,T; Alcino Cunha
2015An ORCID based synchronization framework for a national CRIS ecosystemMendes Moreira,J; Alcino Cunha; Nuno Moreira Macedo
2015Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015Alcino Cunha; Kindler,E
2018Property-based testing for the robot operating systemAndré Filipe Santos; Alcino Cunha; Nuno Moreira Macedo; 5625; 6414; 5612
2016Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno OliveiraLuís Soares Barbosa; Alcino Cunha; Alexandra Silva
2012Relations as executable specifications: taming partiality and non-determinism using invariantsAlcino Cunha; Nuno Moreira Macedo; Hugo Pereira Pacheco
2019Simplifying the Analysis of Software Design Variants with a Colorful AlloyChong Liu; Alcino Cunha; Nuno Moreira Macedo; 5625; 5612; 6934
2019Simulation under Arbitrary Temporal Logic ConstraintsBrunel,J; Nuno Moreira Macedo; Alcino Cunha; Chemouil,D; 5625; 5612
2019Static-Time Extraction and Analysis of the ROS Computation GraphAndré Filipe Santos; Alcino Cunha; Nuno Moreira Macedo; 6414; 5612; 5625
2014Target oriented relational model findingAlcino Cunha; Nuno Moreira Macedo; Guimaraes,T
2014Towards a framework for multidirectional model transformationsNuno Moreira Macedo; Alcino Cunha; Hugo Pereira Pacheco
2011Transformation of Structure-Shy Programs with Application to XPath Queries and Strategic Functions, IAlcino Cunha; Joost Visser
2015Translating between Alloy specifications and UML class diagrams annotated with OCLAlcino Cunha; Garis,A; Riesco,D
2020Validating Multiple Variants of an Automotive Light System with ElectrumLiu,C; Alcino Cunha; Macedo,N; 5612
2019Validating the Hybrid ERTMS/ETCS Level 3 concept with ElectrumNuno Moreira Macedo; Alcino Cunha; 5625; 5612
2018Validating the Hybrid ERTMS/ETCS Level 3 Concept with ElectrumNuno Moreira Macedo; Alcino Cunha; 5625; 5612