Peter Schrammel

Cited by

	All	Since 2018
Citations	872	555
h-index	18	14
i10-index	27	18

120

20122013201420152016201720182019202020212022202321 21 38 58 61 105 87 84 93 105 101 84

Public access

View all

12 articles

1 article

available

not available

Based on funding mandates

Co-authors

Daniel KroeningAmazonVerified email at amazon.com
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Martin BrainCity, University of LondonVerified email at city.ac.uk
Lucas CordeiroReader, Dept of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
Viktor MalikPhD. student, Brno University of TechnlogyVerified email at fit.vutbr.cz
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Pascal KesseliDiffblue Ltd.Verified email at diffblue.com
Saurabh JoshiSupraOraclesVerified email at cse.iith.ac.in
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerified email at btc-es.de
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
Laure GonnordUniversity of Lyon - LIPVerified email at ens-lyon.fr
Gennaro ParlatoAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it
Bernd FischerComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Salvatore La TorreUniversità degli Studi di SalernoVerified email at unisa.it
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
Subodh SharmaIIT DelhiVerified email at cse.iitd.ac.in

Peter Schrammel

Diffblue Ltd & Lecturer in Computer Science, University of Sussex

Verified email at diffblue.com - Homepage

software verification program analysis hybrid systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Abstract acceleration of general linear loops B Jeannet, P Schrammel, S Sankaranarayanan Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014	86	2014
JBMC: A bounded model checking tool for verifying Java bytecode L Cordeiro, P Kesseli, D Kroening, P Schrammel, M Trtik International Conference on Computer Aided Verification, 183-190, 2018	82	2018
Safety Verification and Refutation by k-invariants and k-induction M Brain, S Joshi, D Kroening, P Schrammel Static Analysis, 145-161, 2015	75	2015
2LS for Program Analysis: (Competition Contribution) P Schrammel, D Kroening Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016	47	2016
Synthesising interprocedural bit-precise termination proofs (T) HY Chen, C David, D Kroening, P Schrammel, B Wachter 2015 30th IEEE/ACM International Conference on Automated Software …, 2015	39	2015
Logico-numerical abstract acceleration and application to the verification of data-flow programs P Schrammel, B Jeannet Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011	37	2011
Incremental bounded model checking for embedded software P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller Formal Aspects of Computing 29, 911-931, 2017	36	2017
Effective verification of low-level software with nested interrupts D Kroening, L Liang, T Melham, P Schrammel, M Tautschnig 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 229-234, 2015	32	2015
Sound static deadlock analysis for C/Pthreads D Kroening, D Poetzl, P Schrammel, B Wachter Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016	30	2016
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution) LC Cordeiro, D Kroening, P Schrammel Tools and Algorithms for the Construction and Analysis of Systems - 25 Years …, 2019	29	2019
Abstract acceleration in linear relation analysis L Gonnord, P Schrammel Science of Computer Programming 93, 125-153, 2014	29	2014
Successful use of incremental BMC in the automotive industry P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015	28	2015
From hybrid data-flow languages to hybrid automata: A complete translation P Schrammel, B Jeannet Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012	25	2012
Accelerated test execution using gpus A Rajan, S Sharma, P Schrammel, D Kroening Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014	24	2014
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration D Cattaruzza, A Abate, P Schrammel, D Kroening Static Analysis, 312-331, 2015	22*	2015
Parallel bug-finding in concurrent programs via reduced interleaving instances TL Nguyen, P Schrammel, B Fischer, S La Torre, G Parlato 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017	20	2017
Chaining test cases for reactive system testing P Schrammel, T Melham, D Kroening IFIP International Conference on Testing Software and Systems, 133-148, 2013	20	2013
Applying abstract acceleration to (co-) reachability analysis of reactive programs P Schrammel, B Jeannet Journal of Symbolic Computation 47 (12), 1512-1532, 2012	18	2012
Bit-precise procedure-modular termination analysis HY Chen, C David, D Kroening, P Schrammel, B Wachter ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (1), 1-38, 2017	16*	2017
Logico-Numerical Verification Methods for Discrete and Hybrid Systems P Schrammel University of Grenoble, 2012	14	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors