1. INESCTEC

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 3 to 22 of 25 < previous   next >
Issue DateTitleAuthor(s)
2017Exploiting Partial Knowledge for Efficient Model AnalysisNuno Moreira Macedo; Alcino Cunha; Pessoa,E
2015Exploring Scenario ExplorationNuno Moreira Macedo; Alcino Cunha; Guimaraes,T
2016A Feature-based Classification of Model Repair ApproachesNuno Moreira Macedo; Tiago,Jorge; Alcino Cunha
2015A Feature-based Classification of Model Repair ApproachesNuno Moreira Macedo; Tiago,J; Alcino Cunha
2017Formal Verification of ROS-Based Robotic Applications Using Timed-AutomataHalder,R; José Paiva Proença; Nuno Moreira Macedo; Santos,A
2016A Framework for Quality Assessment of ROS RepositoriesAndré Filipe Santos; Alcino Cunha; Nuno Moreira Macedo; Cláudio Belo Lourenço
2013A Generic Scheme and Properties of Bidirectional TransformationsHugo Pereira Pacheco; Nuno Moreira Macedo; Alcino Cunha; Voigtländer,Janis
2013Implementing QVT-R Bidirectional Model Transformations Using AlloyNuno Moreira Macedo; Alcino Cunha
2018Improving the Visualization of Alloy InstancesJosé Creissac Campos; Rui Miguel Couto; Alcino Cunha; Nuno Moreira Macedo; 5625; 5599; 5612; 6000
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
Showing results 3 to 22 of 25 < previous   next >