E-LIB Suche - Ergebnisse für: Steffen, Bernhard - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

Enhancing Performance Through Control-Flow Unmerging and Lo..:

, In: 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO),

Murtovi, Alnis ; Georgakoudis, Giorgis ; Parasyris, Konstantinos... - p. 106-118 , 2024

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

2

Bridging the Gap Between AI and Reality: First Internationa..

Lecture Notes in Computer Science, 14380

Steffen, Bernhard - 1st ed. 2024 . , 2024

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

3

Rance Cleaveland: a life for formal methods:

Steffen, Bernhard
International Journal on Software Tools for Technology Transfer. , 2024

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

4

Cinco de Bio: A Low-Code Platform for Domain-Specific Workf..:

Brandon, Colm ; Boßelmann, Steve ; Singh, Amandeep...
BioMedInformatics. 4 (2024) 3 - p. 1865-1883 , 2024

Link: https://doi.org/10.3390/..

5

Evolution of ecosystems for Language-Driven Engineering:

Boßelmann, Steve , 2023

Link: https://nbn-resolving.de..

6

Simplicity-oriented lifelong learning of web applications:

Bainczyk, Julius Alexander , 2023

Link: https://nbn-resolving.de..

7

Model-based quality assurance of intrumented context-free s..:

Frohme, Markus , 2023

Link: https://nbn-resolving.de..

8

Forest GUMP: a tool for verification and explanation:

Murtovi, Alnis ; Bainczyk, Alexander ; Nolte, Gerrit..
International Journal on Software Tools for Technology Transfer. 25 (2023) 3 - p. 287-299 , 2023

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

9

Towards rigorous understanding of neural networks via seman..:

Schlüter, Maximilian ; Nolte, Gerrit ; Murtovi, Alnis.
International Journal on Software Tools for Technology Transfer. 25 (2023) 3 - p. 301-327 , 2023

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

10

ChatGPT in the Loop: A Natural Language Extension for Domai..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,

Busch, Daniel ; Nolte, Gerrit ; Bainczyk, Alexander. - p. 375-390 , 2023

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

11

The power of typed affine decision structures: a case study:

Nolte, Gerrit ; Schlüter, Maximilian ; Murtovi, Alnis.
International Journal on Software Tools for Technology Transfer. 25 (2023) 3 - p. 355-374 , 2023

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

12

Explanation Paradigms Leveraging Analytic Intuition (ExPLAI..:

Jansen, Nils ; Nolte, Gerrit ; Steffen, Bernhard
International Journal on Software Tools for Technology Transfer. 25 (2023) 3 - p. 241-247 , 2023

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

13

Towards LLM-Based System Migration in Language-Driven Engin..:

, In: Engineering of Computer-Based Systems; Lecture Notes in Computer Science,

Busch, Daniel ; Bainczyk, Alexander ; Steffen, Bernhard - p. 191-200 , 2023

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

14

Leveraging Applications of Formal Methods, Verification and..

Lecture Notes in Computer Science, 13702

Margaria, Tiziana ; Steffen, Bernhard - 1st ed. 2022 . , 2022

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

15

Executable Documentation: From Documentation Languages to P..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,

Tegeler, Tim ; Boßelmann, Steve ; Schürmann, Jonas... - p. 174-192 , 2022

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

1-15