Items for Schrammel, Peter

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 25.

Article

Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino and Bienmüller, Tom (2017) Incremental bounded model checking for embedded software. Formal Aspects of Computing. ISSN 0934-5043

Schrammel, Peter (2016) Challenges in decomposing encodings of verification problems. Electronic Proceedings in Theoretical Computer Science, 219. pp. 29-32. ISSN 2075-2180

Schrammel, Peter, Melham, Tom and Kroening, Daniel (2016) Generating test case chains for reactive systems. International Journal on Software Tools for Technology Transfer, 18 (3). pp. 319-334. ISSN 1433-2779

Gonnord, Laure and Schrammel, Peter (2014) Abstract acceleration in linear relation analysis. Science of Computer Programming, 93B. pp. 125-153. ISSN 0167-6423

Schrammel, Peter and Jeannet, Bertrand (2012) Applying abstract acceleration to (co-)reachability analysis of reactive programs. Journal of Symbolic Computation, 47 (12). pp. 1512-1532. ISSN 0747-7171

Schrammel, Peter and Jeannet, Bertrand (2010) Extending abstract acceleration methods to data-flow programs with numerical inputs. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 101-114. ISSN 1571-0661

Book Section

Kroening, Daniel, Poetzl, Daniel, Schrammel, Peter and Wachter, Björn (2016) Sound static deadlock analysis for C/Pthreads. In: 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016). ACM, New York, USA, pp. 379-390. ISBN 978145033845

Nellis, Adam, Kesseli, Pascal, Conmy, Philippa Ryan, Kroening, Daniel, Schrammel, Peter and Tautschnig, Michael (2016) Assisted coverage closure. In: NASA formal methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, proceedings. Lecture Notes in Computer Science, 9690 . Springer International Publishing, pp. 49-64. ISBN 9783319406473

Schrammel, Peter and Kroening, Daniel (2016) 2LS for program analysis. In: Tools and algorithms for the construction and analysis of systems. Lecture Notes in Computer Science, 9636 . Springer Berlin Heidelberg, Berlin, pp. 905-907. ISBN 9783662496732

Mukherjee, Rajdeep, Schrammel, Peter, Kroening, Daniel and Melham, Tom (2016) Unbounded safety verification for hardware using software analyzers. In: 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE (Institute of Electrical and Electronics Engineers), Dresden, Germany, pp. 1152-1155. ISBN 9783981537079

Brain, Martin, Joshi, Saurabh, Kroening, Daniel and Schrammel, Peter (2015) Safety verification and refutation by k-invariants and k-induction. In: Blazy, Sandrine and Jensen, Thomas (eds.) Static analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. Lecture notes in computer science (9291). Springer, pp. 145-161. ISBN 9783662482872

Cattaruzza, Dario, Abate, Alessandro, Schrammel, Peter and Kroening, Daniel (2015) Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration. In: Blazy, Sandrine and Jensen, Thomas (eds.) Static analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. Lecture notes in computer science (9291). Springer, pp. 312-331.

Kroening, Daniel, Liang, Lihao, Melham, Tom, Schrammel, Peter and Tautschnig, Michael (2015) Effective verification of low-level software with nested interrupts. In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition. ACM, pp. 229-234. ISBN 9783981537048

Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino and Bienmüller, Tom (2015) Successful use of incremental BMC in the automotive industry. In: Núñez, Manuel and Güdemann, Matthias (eds.) Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. Lecture notes in computer science (9128). Springer, pp. 62-77.

Chen, Hong-Yi, David, Cristina, Kroening, Daniel, Schrammel, Peter and Wachter, Björn (2015) Synthesising interprocedural bit-precise termination proofs. In: Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on. IEEE, pp. 53-64. ISBN 9781509000258

Schrammel, Peter (2015) Unbounded-time reachability analysis of hybrid systems by abstract acceleration. In: Proceedings of the 12th International Conference on Embedded Software. IEEE, pp. 51-54. ISBN 9781467380799

Jeannet, Bertrand, Schrammel, Peter and Sankaranarayanan, Sriram (2014) Abstract acceleration of general linear loops. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York, NY, pp. 529-540. ISBN 978-1-4503-2544-8

Rajan, Ajitha, Sharma, Subodh, Schrammel, Peter and Kroening, Daniel (2014) Accelerated test execution using GPUs. In: ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering. ACM, New York, NY, pp. 97-102. ISBN 9781450330138

Brain, Martin, David, Cristina, Kroening, Daniel and Schrammel, Peter (2014) Model and proof generation for heap-manipulating prrograms. In: Shao, Zhong (ed.) Programming Languages and Systems. Lecture Notes in Computer Science, 8410 . Springer, pp. 432-452. ISBN 9783642548321

Seghir, Mohamed Nassim and Schrammel, Peter (2014) Necessary and sufficient preconditions via eager abstraction. In: Garrigue, Jacques (ed.) Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings. Lecture notes in computer science (8858). Springer, pp. 236-254. ISBN 9783319127354

Monniaux, David and Schrammel, Peter (2014) Speeding Up logico-numerical strategy iteration. In: Static Analysis. Lecture Notes in Computer Science, 8723 . Springer, pp. 253-267. ISBN 9783319109350

Schrammel, Peter, Melham, Tom and Kroening, Daniel (2013) Chaining test cases for reactive dystem testing. In: Testing Software and Systems. Lecture Notes in Computer Science, 8254 . Springer, pp. 133-148. ISBN 9783642417078

Schrammel, Peter and Subotic, Pavle (2013) Logico-numerical max-strategy iteration. In: Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science, 7737 . Springer, pp. 414-433. ISBN 9783642358739

Schrammel, Peter and Jeannet, Bertrand (2012) From hybrid data-flow languages to hybrid automata. In: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12. ACM, New York, NY, pp. 167-176. ISBN 978-1-4503-1220-2

Schrammel, Peter and Jeannet, Bertrand (2011) Logico-numerical abstract acceleration and application to the verification of data-flow programs. In: Static Analysis. Lecture Notes in Computer Science, 6887 . Springer, pp. 233-248.

This list was generated on Sat Jun 24 09:50:14 2017 BST.