Browsing by Author Nuno Moreira Macedo

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 12 to 25 of 25 < 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
2018Property-based testing for the robot operating systemAndré Filipe Santos; Alcino Cunha; Nuno Moreira Macedo; 5625; 6414; 5612
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
2016Towards a Formal Validation of ETL Patterns BehaviourOliveira,B; Belo,O; Nuno Moreira Macedo
2014Towards a framework for multidirectional model transformationsNuno Moreira Macedo; Alcino Cunha; Hugo Pereira Pacheco
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