Alcino Cunha - RankMe

92 papers A* 2A 5B 12C 14Misc 2Journal 31Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Road Map for Responsible Robotics: Promoting Human Agency and Collaborative Efforts. IEEE Robotics Autom. Mag. Dejanira Araiza-Illan, Kevin Baum, Helen Beebee, Raja Chatila, Sarah Moth-Lund Christensen, Simon Coghlan, Emily C. Collins, S. Kate Conroy, Alcino Cunha, Anna Dobrosovestnova, Hein Duijf, Vanessa Evers, Michael Fisher, Nico Hochgeschwender, Nadin Kökciyan, Séverin Lemaignan, Francisco Javier Rodríguez-Lera, Sara Ljungblad, Martin Magnusson, Masoumeh Mansouri, Michael Milford, AJung Moon, Thomas M. Powers, Pericle Salvini, Teresa Scantamburlo, Nick Schuster, Marija Slavkovik, Ufuk Topcu, Daniel F. Preciado Vanegas, Andrzej Wasowski, Yi Yang
2025	—	`conf`	First-Order Linear Temporal Logic for Testing Distributed Protocols. OVERLAY José João Ferreira, Nuno Policarpo, José Fragoso Santos, Alcino Cunha, Alessandro Gianola
2025	—	`conf`	Specifying Distributed Hash Tables with Allen Temporal Logic. FormaliSE Nuno Policarpo, José Fragoso Santos, Alcino Cunha, João Leitão, Pedro Ákos Costa
2025	J	`jnl`	Synthesizing Test Cases for Narrowing Specification Candidates. CoRR Alcino Cunha, Nuno Macedo
2025	J	`jnl`	Validating Formal Specifications with LLM-generated Test Cases. CoRR Alcino Cunha, Nuno Macedo
2025	—	`conf`	Verifying Multiple TLA FormaliSE Paul Somson, Alcino Cunha
2024	C	`conf`	Alloy Goes Fuzzy. ABZ Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira
2024	—	`conf`	Alloy Repair Hint Generation Based on Historical Data. FM (2) Ana Barros, Henrique Neto, Alcino Cunha, Nuno Macedo, Ana C. R. Paiva
2024	—	`conf`	Assessing the impact of hints in learning formal specification. SEET@ICSE Alcino Cunha, Nuno Macedo, José Creissac Campos, Iara Margolis, Emanuel Sousa
2024	J	`jnl`	Designing Software with Complex Configurations. CoRR Alcino Cunha
2024	J	`jnl`	Validating multiple variants of an automotive light system with Alloy 6. Int. J. Softw. Tools Technol. Transf. Alcino Cunha, Nuno Macedo, Chong Liu
2023	C	`conf`	Adding Records to Alloy. ABZ Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
2023	C	`conf`	An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. FORTE Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, José Pereira, Paulo Sérgio Almeida
2023	C	`conf`	Task Model Design and Analysis with Alloy. ABZ Alcino Cunha, Nuno Macedo, Eunsuk Kang
2023	C	`conf`	Verifying Temporal Relational Models with Pardinus. ABZ Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
2022	J	`jnl`	Merging cloned Alloy models with colorful refactorings. Sci. Comput. Program. Chong Liu, Nuno Macedo, Alcino Cunha
2022	J	`jnl`	Pardinus: A Temporal Relational Model Finder. J. Autom. Reason. Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
2022	—	`conf`	Quantitative relational modelling with QAlloy. ESEC/SIGSOFT FSE Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha
2022	B	`conf`	Schema-guided Testing of Message-oriented Systems. ENASE André Santos, Alcino Cunha, Nuno Macedo
2022	B	`conf`	Timely Specification Repair for Alloy 6. SEFM Jorge Cerqueira, Alcino Cunha, Nuno Macedo
2022	—	`conf`	Variability Analysis for Robot Operating System Applications. IRC André Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira
2022	A	`conf`	Verification of railway network models with EVEREST. MoDELS João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira
2021	J	`jnl`	Experiences on teaching alloy with an automated assessment platform. Sci. Comput. Program. Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva
2021	—	`conf`	The High-Assurance ROS Framework. RoSE@ICSE André Santos, Alcino Cunha, Nuno Macedo
2021	J	`jnl`	The High-Assurance ROS Framework. CoRR André Santos, Alcino Cunha, Nuno Macedo
2020	C	`conf`	Experiences on Teaching Alloy with an Automated Assessment Platform. ABZ Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva
2020	—	`conf`	Merging Cloned Alloy Models with Colorful Refactorings. SBMF Chong Liu, Nuno Macedo, Alcino Cunha
2020	C	`conf`	Validating Multiple Variants of an Automotive Light System with Electrum. ABZ Alcino Cunha, Nuno Macedo, Chong Liu
2020	J	`jnl`	Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. Int. J. Softw. Tools Technol. Transf. Alcino Cunha, Nuno Macedo
2020	A	`conf`	Verification of system-wide safety properties of ROS applications. IROS Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos
2020	J	`jnl`	alurity, a toolbox for robot cybersecurity. CoRR Víctor Mayoral Vilches, Irati Abad-Fernández, Martin Pinzger, Stefan Rass, Bernhard Dieber, Alcino Cunha, Francisco J. Rodríguez-Lera, Giovanni Lacava, Angelica Marotta, Fabio Martinelli, Endika Gil-Uriarte
2019	J	`jnl`	Sharing and Learning Alloy on the Web. CoRR Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel S. Ramalho, Daniel Castro Silva
2019	Misc	`conf`	Simplifying the Analysis of Software Design Variants with a Colorful Alloy. SETTA Chong Liu, Nuno Macedo, Alcino Cunha
2019	—	`conf`	Simulation under Arbitrary Temporal Logic Constraints. F-IDE@FM Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
2019	—	`conf`	Static-Time Extraction and Analysis of the ROS Computation Graph. IRC André Santos, Alcino Cunha, Nuno Macedo
2018	—	`conf`	Improving the Visualization of Alloy Instances. F-IDE@FLoC Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha
2018	—	`conf`	Property-based testing for the robot operating system. A-TEST@ESEC/SIGSOFT FSE André Santos, Alcino Cunha, Nuno Macedo
2018	C	`conf`	Proposition of an Action Layer for Electrum. ABZ Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa
2018	J	`jnl`	Teaching how to program using automated assessment and functional glossy games (experience report). Proc. ACM Program. Lang. José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença
2018	A*	`conf`	The electrum analyzer: model checking relational first-order temporal specifications. ASE Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
2018	C	`conf`	Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. ABZ Alcino Cunha, Nuno Macedo
2017	J	`jnl`	A Feature-Based Classification of Model Repair Approaches. IEEE Trans. Software Eng. Nuno Macedo, Jorge Tiago, Alcino Cunha
2017	J	`jnl`	Bidirectional Transformations (BX 2015) Editorial. J. Object Technol. Alcino Cunha, Ekkart Kindler
2017	J	`jnl`	Composition in State-based Replicated Data Types. Bull. EATCS Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira
2017	B	`conf`	Exploiting Partial Knowledge for Efficient Model Analysis. ATVA Nuno Macedo, Alcino Cunha, Eduardo Pessoa
2017	A	`conf`	Mining the usage patterns of ROS primitives. IROS André Santos, Alcino Cunha, Nuno Macedo, Rafael Arrais, Filipe Neves dos Santos
2016	A	`conf`	A framework for quality assessment of ROS repositories. IROS André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço
2016	J	`jnl`	Alloy meets TLA+: An exploratory study. CoRR Nuno Macedo, Alcino Cunha
2016	J	`jnl`	Least-change bidirectional model transformation with QVT-R and ATL. Softw. Syst. Model. Nuno Macedo, Alcino Cunha
2016	—	`conf`	Lightweight specification and analysis of dynamic systems with rich configurations. SIGSOFT FSE Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg
2016	J	`jnl`	Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. J. Log. Algebraic Methods Program. Luís Soares Barbosa, Alcino Cunha, Alexandra Silva
2015	J	`jnl`	A Feature-based Classification of Model Repair Approaches. CoRR Nuno Macedo, Jorge Tiago, Alcino Cunha
2015	J	`jnl`	An ORCID based synchronization framework for a national CRIS ecosystem. F1000Research João Mendes Moreira, Alcino Cunha, Nuno Macedo
2015	B	`conf`	Exploring Scenario Exploration. FASE Nuno Macedo, Alcino Cunha, Tiago Guimarães
2015	—	`ed.`	Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015. Bx@STAF Alcino Cunha, Ekkart Kindler
2015	J	`jnl`	Translating between Alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model. Alcino Cunha, Ana Gabriela Garis, Daniel Riesco
2014	—	`conf`	BenchmarX. EDBT/ICDT Workshops Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr
2014	B	`conf`	Bidirectional spreadsheet formulas. VL/HCC Nuno Macedo, Hugo Pacheco, Nuno Rocha Sousa, Alcino Cunha
2014	C	`conf`	Bounded Model Checking of Temporal Formulas with Alloy. ABZ Alcino Cunha
2014	B	`conf`	Target Oriented Relational Model Finding. FASE Alcino Cunha, Nuno Macedo, Tiago Guimarães
2014	—	`conf`	Towards a Framework for Multidirectional Model Transformations. EDBT/ICDT Workshops Nuno Macedo, Alcino Cunha, Hugo Pacheco
2013	J	`jnl`	A Generic Scheme and Properties of Bidirectional Transformations. CoRR Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer
2013	J	`jnl`	Composing Least-change Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira
2013	B	`conf`	Implementing QVT-R Bidirectional Model Transformations Using Alloy. FASE Nuno Macedo, Alcino Cunha
2013	A*	`conf`	Model repair and transformation with Echo. ASE Nuno Macedo, Tiago Guimarães, Alcino Cunha
2012	J	`jnl`	Automatic Unbounded Verification of Alloy Specifications with Prover9 CoRR Nuno Macedo, Alcino Cunha
2012	J	`jnl`	Bounded Model Checking of Temporal Formulas with Alloy CoRR Alcino Cunha
2012	J	`jnl`	Delta Lenses over Inductive Types. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
2012	—	`conf`	Fast distributed computation of distances in networks. CDC Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha
2012	—	`conf`	Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas. ICMT@TOOLS Hugo Pacheco, Alcino Cunha
2012	C	`conf`	Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. RAMiCS Nuno Macedo, Hugo Pacheco, Alcino Cunha
2012	B	`conf`	Specifying UML Protocol State Machines in Alloy. IFM Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco
2012	A	`conf`	Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). SAT Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto
2011	C	`conf`	Calculating with lenses: optimising bidirectional transformations. PEPM Hugo Pacheco, Alcino Cunha
2011	J	`jnl`	Fast Distributed Computation of Distances in Networks CoRR Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha
2011	—	`conf`	Logic Training through Algorithmic Problem Solving. TICTTL João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira
2011	J	`jnl`	Transformation of structure-shy programs with application to XPath queries and strategic functions. Sci. Comput. Program. Alcino Cunha, Joost Visser
2011	B	`conf`	Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. SEFM Ana Gabriela Garis, Alcino Cunha, Daniel Riesco
2010	B	`conf`	Generic Point-free Lenses. MPC Hugo Pacheco, Alcino Cunha
2009	B	`conf`	Mapping between Alloy Specifications and Database Implementations. SEFM Alcino Cunha, Hugo Pacheco
2008	—	`conf`	Algebraic Specialization of Generic Functions for Recursive Types. MSFP@ICALP Alcino Cunha, Hugo Pacheco
2007	C	`conf`	Coupled Schema Transformation and Data Conversion for XML and SQL. PADL Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser
2007	C	`conf`	Transformation of structure-shy programs: applied to XPath queries and strategic functions. PEPM Alcino Cunha, Joost Visser
2006	—	`conf`	Strongly Typed Rewriting For Coupled Software Transformation. RULE@FLoC Alcino Cunha, Joost Visser
2006	B	`conf`	Type-Safe Two-Level Data Transformation. FM Alcino Cunha, José Nuno Oliveira, Joost Visser
2005	—	`conf`	A Framework for Point-Free Program Transformation. IFL Alcino Cunha, Jorge Sousa Pinto, José Proença
2005	J	`jnl`	Point-free Program Transformation. Fundam. Informaticae Alcino Cunha, Jorge Sousa Pinto
2005	—	`—`	Point-free program calculation Alcino Cunha
2005	J	`jnl`	Recursion patterns and time-analysis. ACM SIGPLAN Notices Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto
2003	—	`conf`	Automatic visualization of recursion trees: a case study on generic programming. WFLP Alcino Cunha
1998	—	`conf`	A Game-Theoretic Approach to the Socialization of Utility-Based Agents. ICMAS Alcino Cunha, José Neves
1997	Misc	`conf`	Resource Allocation on Agent Meta-Societies. EPIA Alcino Cunha, Orlando Belo