BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Sweden
1 × Turkey
1 × USA
2 × Italy
3 × France
Collaborated with:
D.Kröning B.Jeannet D.Kroening T.Melham M.Brain D.Monniaux P.Subotic C.David B.Wachter S.Sankaranarayanan S.Joshi D.Cattaruzza A.Abate A.Rajan S.Sharma D.Poetzl L.Liang M.Tautschnig H.Chen T.L.Nguyen B.F.0002 S.L.Torre G.Parlato L.C.Cordeiro P.Kesseli M.Trtík
Talks about:
acceler (4) abstract (3) program (3) logico (3) verif (3) numer (3) test (3) strategi (2) analysi (2) system (2)

Person: Peter Schrammel

DBLP DBLP: Schrammel:Peter

Contributed to:

DATE 20152015
SAS 20152015
ASE 20142014
ESOP 20142014
POPL 20142014
SAS 20142014
ICTSS 20132013
VMCAI 20132013
SAS 20112011
ASE 20152015
ASE 20162016
ASE 20172017
CAV (1) 20182018

Wrote 14 papers:

DATE-2015-KroeningLMST #bytecode #effectiveness #low level #verification
Effective verification of low-level software with nested interrupts (DK, LL, TM, PS, MT), pp. 229–234.
SAS-2015-Brain0KS #invariant #safety #verification
Safety Verification and Refutation by k-Invariants and k-Induction (MB, SJ, DK, PS), pp. 145–161.
SAS-2015-CattaruzzaASK #analysis #bound
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (DC, AA, PS, DK), pp. 312–331.
ASE-2014-RajanSSK #execution #using
Accelerated test execution using GPUs (AR, SS, PS, DK), pp. 97–102.
ESOP-2014-BrainDKS #generative #proving #source code
Model and Proof Generation for Heap-Manipulating Programs (MB, CD, DK, PS), pp. 432–452.
POPL-2014-JeannetSS #linear
Abstract acceleration of general linear loops (BJ, PS, SS), pp. 529–540.
Speeding Up Logico-Numerical Strategy Iteration (DM, PS), pp. 253–267.
ICTSS-2013-SchrammelMK #testing
Chaining Test Cases for Reactive System Testing (PS, TM, DK), pp. 133–148.
Logico-Numerical Max-Strategy Iteration (PS, PS), pp. 414–433.
SAS-2011-SchrammelJ #data flow #source code #verification
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs (PS, BJ), pp. 233–248.
ASE-2015-ChenDKSW #interprocedural #proving #termination
Synthesising Interprocedural Bit-Precise Termination Proofs (T) (HYC, CD, DK, PS, BW), pp. 53–64.
ASE-2016-KroeningPSW #analysis #concurrent #thread
Sound static deadlock analysis for C/Pthreads (DK, DP, PS, BW), pp. 379–390.
ASE-2017-NguyenS0TP #concurrent #parallel #source code
Parallel bug-finding in concurrent programs via reduced interleaving instances (TLN, PS, BF0, SLT, GP), pp. 753–764.
CAV-2018-CordeiroKKST #bound #bytecode #java #model checking #named #verification
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode (LCC, PK, DK, PS, MT), pp. 183–190.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.