Concepedia

Peter Schrammel

PS

Statistics

Publications

15

Citations

319

H-Index

13

Active since

2010

Affiliations

University of Oxford(Current)

Institut national de recherche en sciences et technologies du numérique

University of Sussex

Centre Inria de l'Université Grenoble Alpes

Queen Mary University of London

Peter Schrammel is an author at University of Oxford specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationComputer EngineeringVerificationSoftware TestingSoftware Engineering

Publications per year

2010–2017

15

Publications

15

Abstract acceleration of general linear loops

Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan · 2014 · 56 citations · Full text

Mathematical Programming, Loop Invariants, Engineering +10

Synthesising Interprocedural Bit-Precise Termination Proofs (T)

Hongyi Chen, Cristina David, Daniel Kroening et al. · 2015 · 28 citations · Full text

Program Checking, Engineering, Verification +20

Abstract acceleration in linear relation analysis

Laure Gonnord, Peter Schrammel · Science of Computer Programming · 2013 · 28 citations · Full text

Mathematical Programming, Engineering, Automated Reasoning +4

Sound static deadlock analysis for C/Pthreads

Daniel Kroening, Daniel Poetzl, Peter Schrammel et al. · 2016 · 25 citations

Engineering, Computer Architecture, Pthreads Specification +17

Incremental bounded model checking for embedded software

Peter Schrammel, Daniel Kroening, Martin Brain et al. · Formal Aspects of Computing · 2017 · 24 citations · Full text

Program Checking, Engineering, Verification +18

1–5 of 15