Peter Schrammel

Cited by

	All	Since 2018
Citations	838	520
h-index	18	13
i10-index	25	17

120

20122013201420152016201720182019202020212022202319 20 39 56 64 107 86 84 94 105 106 45

Public access

View all

12 articles

0 articles

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 OxfordVerified 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
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.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
Subodh SharmaIIT DelhiVerified email at cse.iitd.ac.in

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	80	2014
JBMC: A bounded model checking tool for verifying Java bytecode L Cordeiro, P Kesseli, D Kroening, P Schrammel, M Trtik Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018	73	2018
Safety Verification and Refutation by k-invariants and k-induction M Brain, S Joshi, D Kroening, P Schrammel Static Analysis, 145-161, 2015	71	2015
2LS for Program Analysis: (Competition Contribution) P Schrammel, D Kroening Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016	45	2016
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
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	36	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	36	2011
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	33	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	31	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	30	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	27	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	23*	2015
Chaining test cases for reactive system testing P Schrammel, T Melham, D Kroening Testing Software and Systems: 25th IFIP WG 6.1 International Conference …, 2013	20	2013
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	18	2017
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	14*	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