Manuel Wimmer
Johannes Kepler Universität Linz
H-index: 55
Europe-Austria
Top articles of Manuel Wimmer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Digital Transformation in Tunneling–A Project Report on TransIT | Zeitschrift für Hochschulentwicklung | Thomas Bednar Robert Galler Christian Huemer Marco Huymajer Stefan Klikovits | 2024/2/5 |
Quo vadis modeling? findings of a community survey, an ad-hoc bibliometric analysis, and expert interviews on data, process, and software modeling | Software and Systems Modeling | Judith Michael Dominik Bork Manuel Wimmer Heinrich C Mayr | 2024/2 |
A language-parametric test coverage framework for executable domain-specific languages | Journal of Systems and Software | Faezeh Khorram Erwan Bousse Antonio Garmendia Jean-Marie Mottu Gerson Sunyé | 2024/5/1 |
Automatic Optimization of Tolerance Ranges for Model-Driven Runtime State Identification | IEEE Transactions on Automation Science and Engineering | Sabine Sint Alexandra Mazak-Huemer Martin Eisenberg Daniel Waghubinger Manuel Wimmer | 2024/4/12 |
Modelling assistants based on information reuse: a user evaluation for language engineering | Software and Systems Modeling | Ángel Mora Segura Juan de Lara Manuel Wimmer | 2024/2 |
Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead | arXiv preprint arXiv:2404.06825 | Juan M Murillo Jose Garcia-Alonso Enrique Moguel Johanna Barzen Frank Leymann | 2024/4/10 |
Towards Interoperable Digital Twins: Integrating SysML into AAS with Higher-Order Transformations | 3rd International Workshop on Digital Twin Architecture (TwinArch) and Digital Twin Engineering (DTE) | Enxhi Ferko Luca Berardinelli Alessio Bucaioni Morris Behnam Manuel Wimmer | 2024 |
Preface for the formal methods in system design specialissue on ‘FASE 2022’ | Formal Methods in System Design | Einar Broch Johnsen Manuel Wimmer | 2024/4/2 |
Preface for the special issue on “Fundamental Approaches to Software Engineering”(FASE 2022) | Marie-Christine Jakobs Einar Broch Johnsen Eduard Kamburjan Manuel Wimmer | 2024/1 | |
A model-based mode-switching framework based on security vulnerability scores | Journal of Systems and Software | Michael Riegler Johannes Sametinger Michael Vierhauser Manuel Wimmer | 2023/6/1 |
GRuM—A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles | Journal of Systems and Software | Michael Vierhauser Antonio Garmendia Marco Stadler Manuel Wimmer Jane Cleland-Huang | 2023/9/1 |
Towards Generating Model-Driven Speech Interfaces for Digital Twins | Ramya Jayaraman Daniel Lehner Stefan Klikovits Manuel Wimmer | 2023/10/1 | |
Quantum combinatorial optimization in the nisq era: A systematic mapping study | Felix Gemeinhardt Antonio Garmendia Manuel Wimmer Benjamin Weder Frank Leymann | 2023/10/5 | |
Towards a Product Line Architecture for Digital Twins | Jérôme Pfeiffer Daniel Lehner Andreas Wortmann Manuel Wimmer | 2023/3/13 | |
An Architectural Extension for Digital Twin Platforms to Leverage Behavioral ModelsBehaviors | Daniel Lehner Santiago Gil Peter H Mikkelsen Peter G Larsen Manuel Wimmer | 2023/8/26 | |
Model-Driven Optimization for Quantum Program Synthesis with MOMoT | Felix Gemeinhardt Martin Eisenberg Stefan Klikovits Manuel Wimmer | 2023/10/1 | |
5th Workshop on Artificial Intelligence and Model-Driven Engineering (MDE 2023) | Lola Burgueño Dominik Bork Jessie Galasso Manuel Wimmer | 2023/10/1 | |
Engineering digital twins and digital shadows as key enablers for industry 4.0 | Stefan Braun Manuela Dalibor Nico Jansen Matthias Jarke István Koren | 2023/2/3 | |
Leveraging Artificial Intelligence for Model-based Software Analysis and Design | Antonio Garmendia Dominik Bork Martin Eisenberg Thiago Ferreira Marouane Kessentini | 2023/7/20 | |
Towards modeling process mining for graphical editors | MohammadHadi Dehghani Luca Berardinelli Manuel Wimmer | 2023/10/1 |