Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. About Us
  3. People
  4. Research
  5. Peter Schrammel
  6. Publications

Peter Schrammel : Publications

Click here to download all publications in a single bibtex file

@inproceedings{nkckst2016,
  title = "Assisted Coverage Closure ",
  author = "Nellis, Adam and Kesseli, Pascal and Conmy, Philippa Ryan and Kroening, Daniel and Schrammel, Peter and Tautschnig, Michael",
  year = "2016",
  booktitle = "NASA Formal Methods Symposium, {NFM} 2016 ",
  note = "To appear. ",
  publisher = "Springer ",
  series = "LNCS ",
}
@inproceedings{DBLP:conf/date/MukherjeeSKM16,
  title = "Unbounded Safety Verification for Hardware Using Software Analyzers ",
  author = "Mukherjee, Rajdeep and Schrammel, Peter and Kroening, Daniel and Melham, Tom",
  year = "2016",
  booktitle = "Design, Automation and Test in Europe, {DATE} 2016 ",
  note = "To appear. ",
}
@inproceedings{DBLP:conf/tacas/SchrammelK16,
  title = "2LS for Program Analysis - (Competition Contribution)",
  author = "Peter Schrammel and Daniel Kroening",
  year = "2016",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems, {TACAS} 2016",
  pages = "905--907",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-662-49674-9_56",
  volume = "9636",
}
@inproceedings{DBLP:conf/emsoft/Schrammel15,
  title = "Unbounded-time reachability analysis of hybrid systems by abstract acceleration",
  author = "Peter Schrammel",
  year = "2015",
  booktitle = "Embedded Software, {EMSOFT} 2015",
  pages = "51--54",
  publisher = "{IEEE}",
  url = "http://dx.doi.org/10.1109/EMSOFT.2015.7318259",
}
@inproceedings{DBLP:conf/sas/ChenDKSW15,
  title = "Synthesising Interprocedural Bit-Precise Termination Proofs",
  author = "Hong-Yi Chen and Cristina David and Daniel Kroening and Peter Schrammel and Bj\"orn Wachter",
  year = "2015",
  booktitle = "Automated Software Engineering, {ASE} 2015",
  pages = "53--64",
  publisher = "IEEE",
  url = "http://dx.doi.org/10.1109/ASE.2015.10",
}
@inproceedings{DBLP:conf/sas/Cattaruzza15,
  title = "{Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration}",
  author = "Dario Cattaruzza and Alessandro Abate and Peter Schrammel and Daniel Kroening",
  year = "2015",
  booktitle = "Static Analysis Symposium, {SAS} 2015",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "to appear",
}
@inproceedings{DBLP:conf/sas/BrainJKS15,
  title = "{Safety Verification and Refutation by k-Invariants and k-Induction}",
  author = "Martin Brain and Saurabh Joshi and Daniel Kroening and Peter Schrammel",
  year = "2015",
  booktitle = "Static Analysis Symposium, {SAS} 2015",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "to appear",
}
@inproceedings{DBLP:conf/fmics/SchrammelKBMTB15,
  title = "Successful Use of Incremental {BMC} in the Automotive Industry",
  author = "Peter Schrammel and Daniel Kroening and Martin Brain and Ruben Martins and Tino Teige and Tom Bienm{\"{u}}ller",
  year = "2015",
  booktitle = "Formal Methods for Industrial Critical Systems, {FMICS} 2015",
  pages = "62--77",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "9128",
}
@inproceedings{DBLP:conf/date/KroeningLMST15,
  title = "Effective verification of low-level software with nested interrupts",
  author = "Daniel Kroening and Lihao Liang and Tom Melham and Peter Schrammel and Michael Tautschnig",
  year = "2015",
  booktitle = "Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2015",
  pages = "229--234",
  publisher = "{ACM}",
}
@article{DBLP:journals/sttt/SchrammelMK14,
  title = "Generating test case chains for reactive systems",
  author = "Schrammel, Peter and Melham, Tom and Kroening, Daniel",
  year = "2014",
  journal = "International Journal on Software Tools for Technology Transfer",
  pages = "1-16",
  publisher = "Springer",
}
@article{DBLP:journals/scp/GonnordS14,
  title = "Abstract Acceleration in Linear Relation Analysis",
  author = "Laure Gonnord and Peter Schrammel",
  year = "2014",
  journal = "Science of Computer Programming",
  pages = "125--153",
  volume = "93",
}
@inproceedings{DBLP:conf/aplas/SeghirS14,
  title = "Necessary and Sufficient Preconditions via Eager Abstraction",
  author = "Mohamed Nassim Seghir and Peter Schrammel",
  year = "2014",
  booktitle = "Programming Languages and Systems, {APLAS} 2014",
  pages = "236--254",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8858",
}
@inproceedings{DBLP:conf/kbse/RajanSSK14,
  title = "{Accelerated test execution using GPUs}",
  author = "Ajitha Rajan and Subodh Sharma and Peter Schrammel and Daniel Kroening",
  year = "2014",
  booktitle = "Automated Software Engineering, {ASE} '14",
  pages = "97--102",
  publisher = "{ACM}",
}
@inproceedings{DBLP:conf/sas/MonniauxS14,
  title = "Speeding Up Logico-Numerical Strategy Iteration",
  author = "David Monniaux and Peter Schrammel",
  year = "2014",
  booktitle = "Static Analysis Symposium, SAS'14",
  pages = "253--267",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8723",
}
@inproceedings{DBLP:conf/esop/BrainDKS14,
  title = "Model and Proof Generation for Heap-Manipulating Programs",
  author = "Martin Brain and Cristina David and Daniel Kroening and Peter Schrammel",
  year = "2014",
  booktitle = "European Symposium on Programming, ESOP'14",
  pages = "432-452",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8410",
}
@inproceedings{DBLP:conf/vmcai/JeannetSS14,
  title = "Abstract Acceleration of General Linear Loops",
  author = "Bertrand Jeannet and Peter Schrammel and Sriram Sankaranarayanan",
  year = "2014",
  booktitle = "Principles of Programming Languages, POPL'14",
  pages = "529-540",
  volume = "to appear",
}
@inproceedings{DBLP:conf/ictss/SchrammelMK13,
  title = "Chaining Test Cases for Reactive System Testing",
  author = "Peter Schrammel and Tom Melham and Daniel Kroening",
  year = "2013",
  booktitle = "International Conference on Testing Software and Systems, ICTSS'13",
  pages = "133-148",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8254",
}
@inproceedings{DBLP:conf/vmcai/SchrammelS13,
  title = "Logico-Numerical Max-Strategy-Iteration",
  author = "Peter Schrammel and Pavle Subotic",
  year = "2013",
  booktitle = "Verification, Model Checking and Abstract Interpretation, VMCAI'13",
  pages = "414-433",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7737",
}
@article{DBLP:journals/jsc/SchrammelJ12,
  title = "Applying abstract acceleration to (co-)reachability analysis of reactive programs",
  author = "Peter Schrammel and Bertrand Jeannet",
  year = "2012",
  journal = "J. Symb. Comput.",
  number = "12",
  pages = "1512-1532",
  volume = "47",
}
@inproceedings{DBLP:conf/hybrid/SchrammelJ12,
  title = "From hybrid data-flow languages to hybrid automata: a complete translation",
  author = "Peter Schrammel and Bertrand Jeannet",
  year = "2012",
  booktitle = "Hybrid Systems: Computation and Control, HSCC'12",
  pages = "167-176",
  publisher = "ACM",
}
@inproceedings{DBLP:conf/sas/SchrammelJ11,
  title = "Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs",
  author = "Peter Schrammel and Bertrand Jeannet",
  year = "2011",
  booktitle = "Static Analysis Symposium, SAS'11",
  pages = "233-248",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6887",
}
@article{DBLP:journals/entcs/SchrammelJ10,
  title = "Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs",
  author = "Peter Schrammel and Bertrand Jeannet",
  year = "2010",
  journal = "Electr. Notes Theor. Comput. Sci.",
  number = "1",
  pages = "101-114",
  volume = "267",
}

About Us

Back to Top