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 1 to 20 of 32  next >
Issue DateTitleAuthor(s)
2014BenchmarXAnjorin,Anthony; Cunha,Alcino; Alcino Cunha; Hermann,Frank; Rensink,Arend; Schürr,Andy
2014Bidirectional spreadsheet formulasNuno Moreira Macedo; Hugo Pereira Pacheco; Sousa,NR; Alcino Cunha
2014Bounded Model Checking of Temporal Formulas with AlloyAlcino Cunha
2013Composing Least-change LensesNuno Moreira Macedo; Hugo Pereira Pacheco; Alcino Cunha; Oliveira,JN
2017COMPOSITION IN STATE-BASED REPLICATED DATA TYPESPaulo Sérgio Almeida; Ferreira,C; Alcino Cunha; Carlos Baquero; 5612; 5607; 5596
2020Experiences on Teaching Alloy with an Automated Assessment PlatformAlcino Cunha; Carvalho,R; Pereira,J; Macedo,N; Silva,DC; Ramalho,MS; Paiva,ACR; Silva,R; 5612
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
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
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