• Publications
  • Influence
Where does model-driven engineering help? Experiences from three industrial cases
TLDR
This paper summarizes the experiences of three large industrial participants in a European research project with the objective of developing techniques and tools for applying MDE on the development of large and complex software systems.
An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases
TLDR
Investigation of the state of the practice of applying MDE and factors considered as important for its adoption found perceived usefulness, ease of use and the maturity of the tools to be important determinants for the adoption of MDE.
Synthesis of Distributed Algorithms Using Asynchronous Automata
TLDR
This work uses safe asynchronous automata as implementation model, and characterise the languages they accept, and develops and implements a synthesis algorithm for the classic problem of mutual exclusion.
Formal Approach to the Deployment of Distributed Robotic Teams
TLDR
A computational framework for automatic synthesis of control and communication strategies for a robotic team from task specifications that are given as regular expressions about servicing requests in an environment by using a technique inspired by linear temporal logic model checking.
Test Data Provision for ERP Systems
TLDR
Four main challenges regarding the provision of test data for automatic testing of ERP software: system test data supply, system testData stability, input test data constraints and test data correlation are identified.
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
TLDR
This work uses AsmL to present an executable semantics covering dynamic structures and other important features like run time schedulability of UML-RT, and illustrates how the proposed executable semantics can be used in the analysis of a Rose-RT model using the Spec Explorer tool.
Complexity results for checking distributed implementability
TLDR
This paper provides complexity bounds for the distributed implementability problem with three interpretations of 'equivalent': as transition system isomorphism, as language equivalence, and as bisimilarity.
Automatic synthesis of distributed transition systems
TLDR
By using several heuristics to overcome the classical state space explosion, this thesis is able to automatically generate small distributed algorithms for problems such as mutual exclusion.
Learn and Test for Event-B - A Rodin Plugin
TLDR
This work developed a new feature as a Rodin plugin that implements a model-learning approach to iteratively construct an approximate automaton model together with an associated test suite.
Analysis of uPort Open, an Identity Management Blockchain-Based Solution
TLDR
This paper analyzes the open-source version uPort Open in terms of risk delegation and private key recovery of the mobile application, smart contract security of the uPort identity registry, and usage and on-chain transaction analytics.
...
1
2
3
4
5
...