Alexander Kittelmann

Orcid: 0000-0002-8804-7051

Affiliations:
  • Karlsruhe Institute of Technology (KIT), Germany
  • Technische Universität Braunschweig, Germany (former)


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

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

Verification Strategies for Feature-Oriented Software Product Lines.
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.
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Runtime Verification of Correct-by-Construction Driving Maneuvers.
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.
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021
Skill-Based Verification of Cyber-Physical Systems.
Proceedings of the Software Engineering 2021, 2021

GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers.
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.
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.
Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Variational correctness-by-construction.
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.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Scaling Correctness-by-Construction.
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.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019
Feature-oriented contract composition.
J. Syst. Softw., 2019

Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.
Proceedings of the Software Engineering and Software Management, 2019

2018
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY.
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?
Proceedings of the Software Engineering und Software Management 2018, 2018

Towards Confidentiality-by-Construction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Scalability of Deductive Verification Depends on Method Call Treatment.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018


  Loading...