The ASSO research group focuses on automating the engineering of software (programming/modelling) languages and software by applying advanced computation and data manipulation.
The group pursues long-lasting research on the application of advanced computation and data manipulation to automate, systematize and make more flexible the engineering of software languages and software to increase software quality and productivity of software engineers. The key methodology is Model-Driven Engineering.
The distinctive focus of the ASSO group is multi-fold and includes: engineering of domain-specific languages (DSLs) and modelling languages (DSMLs), automated and seamless support for blended multi-notation editing of programs and models, innovative multi-step transpilation and compilation techniques for automatic generation of executable software from DS(M)Ls based on program and model transformation, software language and software engineering for robotics and the Internet-of-Things.
ASSO is a dynamic group with a variegated set of skills and knowledge in software language and software engineering, as well as theoretical computer science, with a common denominator being automatization of engineering phases. The group has a strong network of internal and external collaborations (both nationally and internationally).
|First Name||Last Name||Title|
|Abu Naser||Masud||Senior Lecturer|
|Séverine||Sentilles||Senior Lecturer,Thesis Coordinator|
|ACICS - Assured Cloud Platforms for Industrial Cyber-physical Systems||active|
|BUMBLE - Blended Modelling for Enhanced Software and Systems Engineering||active|
|HERO: Heterogeneous systems - software-hardware integration||active|
|MINEStrA: Model Integration for Early Simulation and Analysis||active|
|Software Center: Managing Inconsistent Development Artefacts||active|
|XPRES - Excellence in Production Research||active|
|MOMENTUM: analysis of models towards compilation to predictable embedded real-time and safety-critical applications||finished|
|ORION - Decision Support for Component-Based Software Engineering of Cyber-Physical Systems||finished|
|SMARTCore: Model-driven support for deployment optimization of embedded systems on multicore||finished|
Semantic Correctness of Dependence-Based Slicing for Interprocedural, Possibly Nonterminating Programs (Dec 2020) Abu Naser Masud, Björn Lisper ACM Transactions on Programming Languages and Systems (TOPLAS)
Simple and Efficient Computation of Minimal Weak Control Closure (Nov 2020) Abu Naser Masud SAS 2020 - 27th Static Analysis Symposium (SAS 2020)
Co-evolution of Simulink Models in a Model-Based Product Line (Oct 2020) Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)
Towards boosting the OpenMBEE platform with model-code consistency (Oct 2020) Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson Workshop on Open Model Based Engineering Environment (OpenMBEE) (OpenMBEE)
Using Benji to Systematically Evaluate Model Comparison Algorithms (Oct 2020) Lorenzo Addazi, Antonio Cicchetti ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)