Peter Schrammel - Google Scholar Citations

Cited by

	All	Since 2014
Citations	418	372
h-index	14	13
i10-index	18	16

100

2012201320142015201620172018201918 22 32 52 62 92 71 62

Co-authors

Daniel KroeningProfessor of Computer Science, University of OxfordVerified 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
Björn WachterUniversity of OxfordVerified email at cs.ox.ac.uk
Cristina DavidUniversity of CambridgeVerified email at cam.ac.uk
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerified email at btc-es.de
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
Saurabh JoshiIIT HyderabadVerified email at iith.ac.in
Lucas CordeiroSenior Lecturer, School of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Laure GonnordUniversity of Lyon - LIPVerified email at ens-lyon.fr
Lihao LiangUniversity of OxfordVerified email at cs.ox.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
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

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	Cited by	Year
Abstract acceleration of general linear loops B Jeannet, P Schrammel, S Sankaranarayanan ACM SIGPLAN Notices 49 (1), 529-540, 2014	45	2014
Safety Verification and Refutation by k-invariants and k-induction M Brain, S Joshi, D Kroening, P Schrammel Static Analysis, 145-161, 2015	35	2015
2LS for program analysis P Schrammel, D Kroening International Conference on Tools and Algorithms for the Construction and …, 2016	28	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	26	2011
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	21	2012
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	20*	2015
Abstract acceleration in linear relation analysis L Gonnord, P Schrammel Science of Computer Programming 93, 125-153, 2014	19	2014
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	16*	2017
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	16	2015
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	16	2015
Applying abstract acceleration to (co-) reachability analysis of reactive programs P Schrammel, B Jeannet Journal of Symbolic Computation 47 (12), 1512-1532, 2012	16	2012
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	15	2015
Chaining test cases for reactive system testing P Schrammel, T Melham, D Kroening IFIP International Conference on Testing Software and Systems, 133-148, 2013	15	2013
Accelerated test execution using GPUs A Rajan, S Sharma, P Schrammel, D Kroening Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014	14	2014
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
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	13	2016
Logico-Numerical Verification Methods for Discrete and Hybrid Systems P Schrammel University of Grenoble, 2012	12	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	11	2018
Speeding up logico-numerical strategy iteration D Monniaux, P Schrammel International Static Analysis Symposium, 253-267, 2014	7	2014
Logico-numerical max-strategy iteration P Schrammel, P Subotic International Workshop on Verification, Model Checking, and Abstract …, 2013	7	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