Peter Schrammel

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
Compositional safety refutation techniques Automated Technology for Verification and Analysis	2022-08-12	Paper
Concurrent program verification with invariant-guided underapproximation Automated Technology for Verification and Analysis	2022-08-12	Paper
Lifting CDCL to template-based abstract domains for program verification Automated Technology for Verification and Analysis	2022-08-12	Paper
Lifting CDCL to template-based abstract domains for program verification Automated Technology for Verification and Analysis	2022-08-12	Paper
Sound Numerical Computations in Abstract Acceleration Numerical Software Verification	2022-07-01	Paper
scientific article; zbMATH DE number 7440191 (Why is no real title available?) (available as arXiv preprint)	2021-12-07	Paper
scientific article; zbMATH DE number 7440191 (Why is no real title available?)	2021-12-07	Paper
Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration Journal of Automated Reasoning	2021-06-09	Paper
Incremental bounded model checking for embedded software Formal Aspects of Computing	2017-11-29	Paper
From hybrid data-flow languages to hybrid automata: a complete translation Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control	2017-05-16	Paper
Extending abstract acceleration methods to data-flow programs with numerical inputs Electronic Notes in Theoretical Computer Science	2016-06-17	Paper
Necessary and Sufficient Preconditions via Eager Abstraction Programming Languages and Systems	2016-02-26	Paper
Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration Static Analysis	2015-10-02	Paper
Logico-numerical max-strategy iteration Lecture Notes in Computer Science	2014-11-03	Paper
Model and proof generation for heap-manipulating programs Programming Languages and Systems	2014-04-16	Paper
Abstract acceleration of general linear loops Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Applying abstract acceleration to (co-)reachability analysis of reactive programs Journal of Symbolic Computation	2012-07-13	Paper

Research outcomes over time

This page was built for person: Peter Schrammel