Peter Schrammel - Google Scholar

Cited by

	All	Since 2015
Citations	527	441
h-index	16	12
i10-index	18	14

100

20122013201420152016201720182019202019 22 38 53 63 98 71 92 62

Co-authors

Daniel KroeningAmazonVerified email at cs.ox.ac.uk
Martin BrainUniversity of OxfordVerified email at cs.ox.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Cristina DavidUniversity of CambridgeVerified email at cam.ac.uk
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Alessandro AbateProfessor of Verification and Control, University of OxfordVerified email at cs.ox.ac.uk
Lucas CordeiroSenior Lecturer (Associate Professor), Department of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Saurabh JoshiIIT HyderabadVerified email at 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
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
Viktor MalikPhD. student, Brno University of TechnlogyVerified email at fit.vutbr.cz
Laure GonnordUniversity of Lyon - LIPVerified email at ens-lyon.fr
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Pascal KesseliDiffblue Ltd.Verified email at diffblue.com
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
Subodh SharmaIIT DelhiVerified email at cse.iitd.ac.in
Ajitha RajanUniversity of EdinburghVerified email at staffmail.ed.ac.uk
RAJDEEP MUKHERJEEAmazonVerified email at amazon.com
Pavle SuboticAmazonVerified email at ucl.ac.uk

Peter Schrammel

Diffblue Ltd & Lecturer in Computer Science, University of Sussex

Verified email at sussex.ac.uk - 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	57	2014
Safety Verification and Refutation by k-invariants and k-induction M Brain, S Joshi, D Kroening, P Schrammel Static Analysis, 145-161, 2015	44	2015
2LS for program analysis P Schrammel, D Kroening International Conference on Tools and Algorithms for the Construction and …, 2016	36	2016
Logico-numerical abstract acceleration and application to the verification of data-flow programs P Schrammel, B Jeannet International Static Analysis Symposium, 233-248, 2011	30	2011
Abstract acceleration in linear relation analysis L Gonnord, P Schrammel Science of Computer Programming 93, 125-153, 2014	25	2014
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	23	2015
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
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	22	2012
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	20	2018
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 (5), 911-931, 2017	19	2017
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	19	2015
Successful use of incremental BMC in the automotive industry P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller International Workshop on Formal Methods for Industrial Critical Systems, 62-77, 2015	19	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	18	2016
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
Accelerated test execution using GPUs A Rajan, S Sharma, P Schrammel, D Kroening Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014	17	2014
Chaining test cases for reactive system testing P Schrammel, T Melham, D Kroening IFIP International Conference on Testing Software and Systems, 133-148, 2013	17	2013
Logico-Numerical Verification Methods for Discrete and Hybrid Systems P Schrammel University of Grenoble, 2012	14	2012
Extending abstract acceleration methods to data-flow programs with numerical inputs P Schrammel, B Jeannet Electronic Notes in Theoretical Computer Science 267 (1), 101-114, 2010	14	2010
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	9	2017
Logico-numerical max-strategy iteration P Schrammel, P Subotic International Workshop on Verification, Model Checking, and Abstract …, 2013	9	2013

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

Upload PDF

Follow this author

Cited by

Co-authors