Ina Schaefer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Flexible Correct-by-Construction Programming Logical Methods in Computer Science	2023-08-26	Paper
Information Flow Control-by-Construction for an Object-Oriented Language Software Engineering and Formal Methods	2023-08-04	Paper
A specification logic for programs in the probabilistic guarded command language Lecture Notes in Computer Science	2023-07-28	Paper
Skill-based verification of cyber-physical systems Fundamental Approaches to Software Engineering	2022-10-13	Paper
Traits: correctness-by-construction for free (available as arXiv preprint)	2022-08-19	Paper
An automata-based view on configurability and uncertainty	2018-11-23	Paper
Understanding parameters of deductive verification: an empirical investigation of KeY	2018-10-04	Paper
A core calculus for dynamic delta-oriented programming Acta Informatica	2018-06-26	Paper
Model mining and efficient verification of software product lines	2018-05-15	Paper
Verifying traits: an incremental proof system for fine-grained reuse Formal Aspects of Computing	2016-08-05	Paper
Abstract delta modelling Mathematical Structures in Computer Science	2016-07-27	Paper
Variability encoding: from compile-time to load-time variability Journal of Logical and Algebraic Methods in Programming	2015-12-18	Paper
Model-based testing Lecture Notes in Computer Science	2015-02-25	Paper
Compositional type checking of delta-oriented software product lines Acta Informatica	2013-06-26	Paper
Reuse in Software Verification by Abstract Method Calls Automated Deduction – CADE-24	2013-06-14	Paper
Using abstraction in modular verification of synchronous adaptive systems	2012-09-28	Paper
Incremental model-based testing of delta-oriented software product lines Tests and Proofs	2012-07-20	Paper
Verification of software product lines with delta-oriented slicing Formal Verification of Object-Oriented Software	2011-01-21	Paper
Security of multi-agent systems: a case study on comparison shopping Journal of Applied Logic	2007-07-25	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-09-13	Paper

Research outcomes over time

This page was built for person: Ina Schaefer