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|
What is the future of modelling? (Feb 2021) Antonio Bucchiarone , Federico Ciccozzi, Leen Lambers , Alfonso Pierantonio, Matthias Tichy , Massimo Tisi , Andreas Wortmann , Vadim Zaytsev IEEE Software (IEEE Software)
Blended Graphical and Textual Modelling for UML Profiles: a Proof-of-Concept Implementation and Experiment (Jan 2021) Lorenzo Addazi, Federico Ciccozzi Journal of Systems and Software (JSS)
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)