Alexander Kittelmann

According to our database, Alexander Kittelmann authored at least 20 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems / Alexander Kittelmann ; Ina Schaefer, Reiner Hähnle, Einar Broch Johnsen.

Alexander Kittelmann

PhD thesis, 2022

Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers.

Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer

CoRR, 2022

Verification Strategies for Feature-Oriented Software Product Lines.

Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer

Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022

Information Flow Control-by-Construction for an Object-Oriented Language.

Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Runtime Verification of Correct-by-Construction Driving Maneuvers.

Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY.

Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Skill-Based Verification of Cyber-Physical Systems.

Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer

Proceedings of the Software Engineering 2021, 2021

GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers.

Alexander Knüppel, Thomas Thüm, Ina Schaefer

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

How much Specification is Enough? Mutation Analysis for Software Contracts.

Alexander Knüppel, Leon Schaer, Ina Schaefer

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

2020

Using Abstract Contracts for Verifying Evolving Features and Their Interactions.

Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Variational correctness-by-construction.

Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink.

Alexander Schlie, Alexander Knüppel, Christoph Seidl, Ina Schaefer

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Scaling Correctness-by-Construction.

Alexander Knüppel, Tobias Runge, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Lattice-Based Information Flow Control-by-Construction for Security-by-Design.

Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019

Feature-oriented contract composition.

Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer

J. Syst. Softw., 2019

Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.

Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer

Proceedings of the Software Engineering and Software Management, 2019

2018

Experience Report on Formally Verifying Parts of OpenJDK's API with KeY.

Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Is There a Mismatch between Real-World Feature Models and Product-Line Research?

Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer

Proceedings of the Software Engineering und Software Management 2018, 2018

Towards Confidentiality-by-Construction.

Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Scalability of Deductive Verification Depends on Method Call Treatment.

Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018