E-LIB Suche - Ergebnisse für: Runge, Tobias

1

Partial Proofs to Optimize Deductive Verification of Featur..:

, In: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems,

Kodetzki, Maximilian ; Bordis, Tabea ; Runge, Tobias. - p. 17-26 , 2024

2

Immutability and Encapsulation for Sound OO Information Flo..:

Runge, Tobias ; Servetto, Marco ; Potanin, Alex.
ACM Transactions on Programming Languages and Systems. 45 (2023) 1 - p. 1-35 , 2023

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

3

Correctness-by-Construction: An Overview of the CorC Ecosys..:

Bordis, Tabea ; Runge, Tobias ; Kittelmann, Alexander.
ACM SIGAda Ada Letters. 42 (2023) 2 - p. 75-78 , 2023

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

4

VarCorC: Developing Object-Oriented Software Product Lines ..:

, In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science,

Bordis, Tabea ; Kodetzki, Maximilian ; Runge, Tobias. - p. 156-163 , 2023

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

5

Flexible Correct-by-Construction Programming:

Runge, Tobias ; Bordis, Tabea ; Potanin, Alex..
Logical Methods in Computer Science. 19, Issue 2 (2023) - p. , 2023

Link: https://doi.org/10.46298..

6

Runtime Verification of Correct-by-Construction Driving Man..:

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

Kittelmann, Alexander ; Runge, Tobias ; Bordis, Tabea. - p. 242-263 , 2022

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

7

Information Flow Control-by-Construction for an Object-Orie..:

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

Runge, Tobias ; Kittelmann, Alexander ; Servetto, Marco.. - p. 209-226 , 2022

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

8

Family-Based and Product-Based Development of Correct-by-Co..:

Bordis, Tabea ; Runge, Tobias ; Schultz, David.
Journal of Computer Languages. 70 (2022) - p. 101119 , 2022

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

9

Model-Based Fault Classification for Automotive Software:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Becker, Mike ; Meyer, Roland ; Runge, Tobias... - p. 110-131 , 2022

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

10

Verification Strategies for Feature-Oriented Software Produ..:

, In: Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems,

Kuiter, Elias ; Knüppel, Alexander ; Bordis, Tabea.. - p. 1-9 , 2022

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

11

Traits: Correctness-by-Construction for Free:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Runge, Tobias ; Potanin, Alex ; Thüm, Thomas. - p. 131-150 , 2022

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

12

Re-CorC-ing KeY: Correct-by-Construction Software Developme..:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,

Bordis, Tabea ; Cleophas, Loek ; Kittelmann, Alexander... - p. 80-104 , 2022

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

13

Teaching Correctness-by-Construction and Post-hoc Verificat..:

, In: Formal Methods Teaching; Lecture Notes in Computer Science,

Runge, Tobias ; Bordis, Tabea ; Thüm, Thomas. - p. 101-116 , 2021

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

14

Stability of Product-Line Samplingin Continuous Integration:

, In: 15th International Working Conference on Variability Modelling of Software-Intensive Systems,

Pett, Tobias ; Krieter, Sebastian ; Runge, Tobias... - p. 1-9 , 2021

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

15

Tutorial: The Correctness-by-Construction Approach to Progr..:

, In: 2021 IEEE Secure Development Conference (SecDev),

Schaefer, Ina ; Runge, Tobias ; Cleophas, Loek. - p. 1-2 , 2021

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