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|
|AIDOaRt - AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in 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|
Towards Evidence-based Decision-making for Identification and Usage of Assets in Composite Software: A Research Roadmap (Mar 2021) Claes Wohlin , Efi Papatheocharous , Jan Carlson, Kai Petersen , Emil Alégroth , Jakob Axelsson, Deepika Badampudi , Markus Borg , Antonio Cicchetti, Federico Ciccozzi, Thomas Olsson , Séverine Sentilles, Mikael Svahnberg , Krzysztof Wnuk , Tony Gorschek Journal of Software: Evolution and Process (JSEP)
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 (Jan 2021) 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)