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: Schrammel:Peter
Contributed to:
2015
2015
2014
2014
20142014
2013
20132011201520162017
2018Wrote 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.
- SAS-2014-MonniauxS
- 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.
- VMCAI-2013-SchrammelS
- 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.