Alcino Cunha

According to our database1, Alcino Cunha authored at least 60 papers between 1997 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum.
Int. J. Softw. Tools Technol. Transf., 2020

alurity, a toolbox for robot cybersecurity.
CoRR, 2020

Merging Cloned Alloy Models with Colorful Refactorings.
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Verification of system-wide safety properties of ROS applications.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Experiences on Teaching Alloy with an Automated Assessment Platform.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Validating Multiple Variants of an Automotive Light System with Electrum.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019
Simulation under Arbitrary Temporal Logic Constraints.
Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

Sharing and Learning Alloy on the Web.
CoRR, 2019

Simplifying the Analysis of Software Design Variants with a Colorful Alloy.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

Static-Time Extraction and Analysis of the ROS Computation Graph.
Proceedings of the 3rd IEEE International Conference on Robotic Computing, 2019

2018
Teaching how to program using automated assessment and functional glossy games (experience report).
Proc. ACM Program. Lang., 2018

Improving the Visualization of Alloy Instances.
Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Property-based testing for the robot operating system.
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2018

The electrum analyzer: model checking relational first-order temporal specifications.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Proposition of an Action Layer for Electrum.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
A Feature-Based Classification of Model Repair Approaches.
IEEE Trans. Software Eng., 2017

Bidirectional Transformations (BX 2015) Editorial.
J. Object Technol., 2017

Composition in State-based Replicated Data Types.
Bull. EATCS, 2017

Mining the usage patterns of ROS primitives.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Exploiting Partial Knowledge for Efficient Model Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
Least-change bidirectional model transformation with QVT-R and ATL.
Softw. Syst. Model., 2016

Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira.
J. Log. Algebraic Methods Program., 2016

Alloy meets TLA+: An exploratory study.
CoRR, 2016

Lightweight specification and analysis of dynamic systems with rich configurations.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

A framework for quality assessment of ROS repositories.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

2015
Translating between Alloy specifications and UML class diagrams annotated with OCL.
Softw. Syst. Model., 2015

Exploring Scenario Exploration.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014
Bidirectional spreadsheet formulas.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Target Oriented Relational Model Finding.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Towards a Framework for Multidirectional Model Transformations.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

BenchmarX.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

Bounded Model Checking of Temporal Formulas with Alloy.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013
Composing Least-change Lenses.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A Generic Scheme and Properties of Bidirectional Transformations.
CoRR, 2013

Model repair and transformation with Echo.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Implementing QVT-R Bidirectional Model Transformations Using Alloy.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012
Delta Lenses over Inductive Types.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Automatic Unbounded Verification of Alloy Specifications with Prover9
CoRR, 2012

Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation).
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Specifying UML Protocol State Machines in Alloy.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas.
Proceedings of the Theory and Practice of Model Transformations, 2012

Fast distributed computation of distances in networks.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011
Transformation of structure-shy programs with application to XPath queries and strategic functions.
Sci. Comput. Program., 2011

Algebraic Specialization of Generic Functions for Recursive Types.
Electron. Notes Theor. Comput. Sci., 2011

Logic Training through Algorithmic Problem Solving.
Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Translating Alloy Specifications to UML Class Diagrams Annotated with OCL.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Calculating with lenses: optimising bidirectional transformations.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010
Generic Point-free Lenses.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009
Mapping between Alloy Specifications and Database Implementations.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2007
Strongly Typed Rewriting For Coupled Software Transformation.
Electron. Notes Theor. Comput. Sci., 2007

Transformation of structure-shy programs: applied to XPath queries and strategic functions.
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Coupled Schema Transformation and Data Conversion for XML and SQL.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

2006
Type-Safe Two-Level Data Transformation.
Proceedings of the FM 2006: Formal Methods, 2006

2005
Recursion patterns and time-analysis.
ACM SIGPLAN Notices, 2005

Point-free Program Transformation.
Fundam. Informaticae, 2005

A Framework for Point-Free Program Transformation.
Proceedings of the Implementation and Application of Functional Languages, 2005

2003
Automatic visualization of recursion trees: a case study on generic programming.
Electron. Notes Theor. Comput. Sci., 2003

1998
A Game-Theoretic Approach to the Socialization of Utility-Based Agents.
Proceedings of the Third International Conference on Multiagent Systems, 1998

1997
Resource Allocation on Agent Meta-Societies.
Proceedings of the Progress in Artificial Intelligence, 1997


  Loading...