Peter Schrammel

Available identifiers

Publication	Date of Publication	Type
Concurrent Program Verification with Invariant-Guided Underapproximation	2022-08-12	Paper
Lifting CDCL to Template-Based Abstract Domains for Program Verification	2022-08-12	Paper
Compositional Safety Refutation Techniques	2022-08-12	Paper
Sound Numerical Computations in Abstract Acceleration	2022-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q5015368	2021-12-07	Paper
Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration	2021-06-09	Paper
Incremental bounded model checking for embedded software	2017-11-29	Paper
From hybrid data-flow languages to hybrid automata	2017-05-16	Paper
Extending abstract acceleration methods to data-flow programs with numerical inputs	2016-06-17	Paper
Necessary and Sufficient Preconditions via Eager Abstraction	2016-02-26	Paper
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration	2015-10-02	Paper
Logico-Numerical Max-Strategy Iteration	2014-11-03	Paper
Model and Proof Generation for Heap-Manipulating Programs	2014-04-16	Paper
Abstract acceleration of general linear loops	2014-04-10	Paper
Applying abstract acceleration to (co-)reachability analysis of reactive programs	2012-07-13	Paper

This page was built for person: Peter Schrammel