Peter Schrammel

Cited by

	All	Since 2016
Citations	599	455
h-index	16	13
i10-index	20	14

120

201220132014201520162017201820192020202119 21 38 53 63 103 77 84 94 31

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Daniel KroeningAmazonVerified email at amazon.com
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), Dept of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Saurabh JoshiIIT HyderabadVerified 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
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
Laure GonnordUniversity of Lyon - LIPVerified email at ens-lyon.fr
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
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
Gennaro ParlatoAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it

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	61	2014
Safety Verification and Refutation by k-invariants and k-induction M Brain, S Joshi, D Kroening, P Schrammel Static Analysis, 145-161, 2015	51	2015
2LS for program analysis P Schrammel, D Kroening International Conference on Tools and Algorithms for the Construction and …, 2016	39	2016
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	32	2018
Logico-numerical abstract acceleration and application to the verification of data-flow programs P Schrammel, B Jeannet International Static Analysis Symposium, 233-248, 2011	31	2011
Abstract acceleration in linear relation analysis L Gonnord, P Schrammel Science of Computer Programming 93, 125-153, 2014	27	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	26	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	24	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	23	2012
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	22	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	22	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
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	21	2015
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	13	2017
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	10*	2019

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