E-LIB Suche - Ergebnisse für: Hähnle, Reiner

1

Active Object Languages: Current Research Trends

Lecture Notes in Computer Science, 14360

de Boer, Frank ; Damiani, Ferruccio ; Hähnle, Reiner.. - 1st ed. 2024 . , 2024

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

2

Schematic Program Proofs with Abstract Execution: Theory an..:

Steinhöfel, Dominic ; Hähnle, Reiner
Journal of Automated Reasoning. 68 (2024) 2 - p. , 2024

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

3

Locally Abstract, Globally Concrete Semantics of Concurrent..:

Din, Crystal Chang ; Hähnle, Reiner ; Henrio, Ludovic...
ACM Transactions on Programming Languages and Systems. 46 (2024) 1 - p. 1-58 , 2024

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

4

Context-Aware Trace Contracts:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,

Hähnle, Reiner ; Kamburjan, Eduard ; Scaletta, Marco - p. 289-322 , 2024

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

5

Context, Composition, Automation, and Communication - The C..:

Uhrmacher, Adelinde M ; Frazier, Peter ; Hähnle, Reiner...
ACM Transactions on Modeling and Computer Simulation. , 2024

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

6

Simplicity-oriented lifelong learning of web applications:

Bainczyk, Julius Alexander , 2023

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

7

Variability modules:

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard..
Journal of Systems and Software. 195 (2023) - p. 111510 , 2023

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

8

Herding CATs:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Hähnle, Reiner ; Scaletta, Marco ; Kamburjan, Eduard - p. 3-8 , 2023

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

9

Automatic loop invariant generation for data dependence ana..:

, In: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering,

Tabar, Asmae Heydari ; Bubel, Richard ; Hähnle, Reiner - p. 34-45 , 2022

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

10

Towards a Usable and Sustainable Deductive Verification Too:

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

Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner. - p. 281-300 , 2022

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

11

Automatic Loop Invariant Generation for Data Dependence Ana..:

, In: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE),

Tabar, Asmae Heydari ; Bubel, Richard ; Hahnle, Reiner - p. 34-45 , 2022

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

12

Finding Semantic Bugs Fast:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Grätz, Lukas ; Hähnle, Reiner ; Bubel, Richard - p. 145-154 , 2022

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

13

Automating Software Re-engineering: Introduction to the ISo..:

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

Demeyer, Serge ; Hähnle, Reiner ; Mantel, Heiko - p. 195-200 , 2022

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

14

Werkzeug zur Formalisierung von betrieblich-technischen Reg..:

Schön, Sebastian , 2021

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

15

Certified Abstract Cost Analysis:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Albert, Elvira ; Hähnle, Reiner ; Merayo, Alicia. - p. 24-45 , 2021

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