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

1

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

2

Development & Reliable Orchestration of Network Application..:

, In: 2024 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit),

Scivoletto, Gabriele ; Andolfi, Matteo ; Liotou, Eirini... - p. 1055-1060 , 2024

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

3

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

4

Ceramic materials as an alternative for conventional spark ..:

Harrer, Walter ; Gruber, Manuel ; Melcher, Verena...
International Journal of Applied Ceramic Technology. , 2024

Link: https://doi.org/10.1111/..

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

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

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

8

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

9

Long-term monitoring (1953–2019) of geomorphologically acti..:

Altmann, Moritz ; Pfeiffer, Madlene ; Haas, Florian...
Earth Surface Dynamics. 12 (2024) 1 - p. 399-431 , 2024

Link: https://doi.org/10.5194/..

10

Low-code development and model-driven engineering: Two side..:

Ruscio, Davide Di ; Kolovos, Dimitris ; Lara Jaramillo, Juan de...
Software and Systems Modeling. , 2024

Link: http://hdl.handle.net/10..

11

3rd International Workshop on Digital Twin Architecture (Tw..:

Ferko, Enxhi ; Berardinelli, Luca ; Bucaioni, Alessio..
vignette : https://epub.jku.at/titlepage/urn/urn:nbn:at:at-ubl:3-22637/128. , 2024

Link: https://resolver.obvsg.a..

12

Long-term monitoring (1953–2019) of geomorphologically acti..:

Altmann, Moritz ; Pfeiffer, Madlene ; Haas, Florian...
doi:10.5194/egusphere-2022-1512. , 2024

Link: https://doi.org/10.5194/..

13

Long-term monitoring (1953–2019) of geomorphologically acti..:

Altmann, Moritz ; Pfeiffer, Madlene ; Haas, Florian...
https://freidok.uni-freiburg.de/data/245863. , 2024

Link: https://freidok.uni-frei..

14

Long-term monitoring (1953–2019) of geomorphologically acti..:

Altmann, Moritz ; Pfeiffer, Madlene ; Haas, Florian...
Earth Surface Dynamics -- http://www.earth-surf-dynam.net/ -- http://www.bibliothek.uni-regensburg.de/ezeit/?2736054 -- 2196-632X. , 2024

Link: https://doi.org/10.5194/..

15

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

Khorram, Faezeh ; Bousse, Erwan ; Garmendia, Antonio...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jss.2024.111977. , 2024

Link: https://hal.science/hal-..