E-LIB Suche - Ergebnisse für: Wimmer, Manuel

1

Multi-objective model transformation chain exploration with..:

Eisenberg, Martin ; Sahay, Apurvanand ; Di Ruscio, Davide...
Information and Software Technology. 174 (2024) - p. 107500 , 2024

Link: https://doi.org/10.1016/..

2

Digital Transformation in Tunneling –A Project Report on Tr..:

Bednar, Thomas ; Galler, Robert ; Huemer, Christian...
Zeitschrift für Hochschulentwicklung. 19 (2024) Sonderheft Administration - p. 143-163 , 2024

Link: https://doi.org/10.21240..

3

Automatic Optimization of Tolerance Ranges for Model-Driven..:

Sint, Sabine ; Mazak-Huemer, Alexandra ; Eisenberg, Martin..
IEEE Transactions on Automation Science and Engineering. , 2024

Link: https://doi.org/10.1109/..

4

A language-parametric test coverage framework for executabl..:

Khorram, Faezeh ; Bousse, Erwan ; Garmendia, Antonio...
Journal of Systems and Software. 211 (2024) - p. 111977 , 2024

Link: https://doi.org/10.1016/..

5

Preface for the special issue on "Fundamental Approaches to..:

Jakobs, Marie-Christine ; Johnsen, Einar Broch ; Kamburjan, Eduard.
Science of Computer Programming. 232 (2024) - p. 103055 , 2024

Link: https://doi.org/10.1016/..

6

Preface for the Formal Methods in System Design special iss..:

Johnsen, Einar Broch ; Wimmer, Manuel
Formal Methods in System Design. , 2024

Link: https://doi.org/10.1007/..

7

A pattern catalog for augmenting Digital Twin models with b..:

Lehner, Daniel ; Sint, Sabine ; Eisenberg, Martin.
at - Automatisierungstechnik. 71 (2023) 6 - p. 423-443 , 2023

Link: https://doi.org/10.1515/..

8

Leveraging Artificial Intelligence for Model-based Software..:

, In: Optimising the Software Development Process with Artificial Intelligence; Natural Computing Series,

Garmendia, Antonio ; Bork, Dominik ; Eisenberg, Martin... - p. 93-117 , 2023

Link: https://doi.org/10.1007/..

9

5th Workshop on Artificial Intelligence and Model-Driven En..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Burgueno, Lola ; Bork, Dominik ; Galasso, Jessie. - p. 559-561 , 2023

Link: https://doi.org/10.1109/..

10

Quantum Combinatorial Optimization in the NISQ Era: A Syste..:

Gemeinhardt, Felix ; Garmendia, Antonio ; Wimmer, Manuel..
ACM Computing Surveys. 56 (2023) 3 - p. 1-36 , 2023

Link: https://doi.org/10.1145/..

11

An Interdisciplinary Course on Model-Based Systems Engineer..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Khandoker, Azad ; Sint, Sabine ; Wimmer, Manuel. - p. 102-109 , 2023

Link: https://doi.org/10.1109/..

12

A model-based mode-switching framework based on security vu..:

Riegler, Michael ; Sametinger, Johannes ; Vierhauser, Michael.
Journal of Systems and Software. 200 (2023) - p. 111633 , 2023

Link: https://doi.org/10.1016/..

13

Towards a Product Line Architecture for Digital Twins:

, In: 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C),

Pfeiffer, Jerome ; Lehner, Daniel ; Wortmann, Andreas. - p. 187-190 , 2023

Link: https://doi.org/10.1109/..

14

An Architectural Extension for Digital Twin Platforms to Le..:

, In: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE),

Lehner, Daniel ; Gil, Santiago ; Mikkelsen, Peter H... - p. 1-8 , 2023

Link: https://doi.org/10.1109/..

15

Engineering Digital Twins and Digital Shadows as Key Enable..:

, In: Digital Transformation,

Braun, Stefan ; Dalibor, Manuela ; Jansen, Nico... - p. 3-31 , 2023

Link: https://doi.org/10.1007/..