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

1

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/..

2

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/..

3

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/..

4

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/..

5

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..

6

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/..

7

Hybrid Multi-Objective Genetic Programming for Parameterize..:

, In: Proceedings of the Companion Conference on Genetic and Evolutionary Computation,

Gemeinhardt, Felix Günther ; Klikovits, Stefan ; Wimmer, Manuel - p. 795-798 , 2023

Link: https://dl.acm.org/doi/1..

8

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/..

9

Model-Driven Optimization for Quantum Program Synthesis wit..:

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

Gemeinhardt, Felix ; Eisenberg, Martin ; Klikovits, Stefan. - p. 614-621 , 2023

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

10

4th International Workshop on Modeling in Low-Code Developm..:

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

Kolovos, Dimitris ; de Lara, Juan ; Tisi, Massimo. - p. 851-853 , 2023

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

11

Towards Generating Model-Driven Speech Interfaces for Digit..:

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

Jayaraman, Ramya ; Lehner, Daniel ; Klikovits, Stefan. - p. 459-464 , 2023

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

12

Web Engineering: 23rd International Conference, ICWE 2023, ..

Lecture Notes in Computer Science, 13893

Garrigós, Irene ; Murillo Rodríguez, Juan Manuel ; Wimmer, Manuel - 1st ed. 2023 . , 2023

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

13

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/..

14

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/..

15

Digital Transformation: Core Technologies and Emerging Topi..:

Vogel-Heuser, Birgit ; Wimmer, Manuel - 1st ed. 2023 . , 2023

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