Ina Schaefer

Available identifiers

Publication	Date of Publication	Type
Flexible Correct-by-Construction Programming	2023-08-26	Paper
Information Flow Control-by-Construction for an Object-Oriented Language	2023-08-04	Paper
A specification logic for programs in the probabilistic guarded command language	2023-07-28	Paper
Skill-Based Verification of Cyber-Physical Systems	2022-10-13	Paper
Traits: correctness-by-construction for free	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	2018-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4639981	2018-05-15	Paper
Verifying traits: an incremental proof system for fine-grained reuse	2016-08-05	Paper
Abstract delta modelling	2016-07-27	Paper
Variability encoding: from compile-time to load-time variability	2015-12-18	Paper
Model-Based Testing	2015-02-25	Paper
Compositional type checking of delta-oriented software product lines	2013-06-26	Paper
Reuse in Software Verification by Abstract Method Calls	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	2012-07-20	Paper
Verification of Software Product Lines with Delta-Oriented Slicing	2011-01-21	Paper
Security of multi-agent systems: a case study on comparison shopping	2007-07-25	Paper
Programming Languages and Systems	2005-09-13	Paper

This page was built for person: Ina Schaefer