Items for Schrammel, Peter

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

Article

Liang, Lihao, Melham, Tom, Kroening, Daniel, Schrammel, Peter and Tautschnig, Michael (2017) Effective verification for low-level software with competing interrupts. ACM Transactions on Embedded Computing Systems. ISSN 1539-9087 (Accepted)

Chen, Hong-Yi, David, Cristina, Kroening, Daniel, Schrammel, Peter and Wachter, Björn (2017) Bit-precise procedure-modular termination analysis. ACM Transactions on Programming Languages and Systems. ISSN 0164-0925 (Accepted)

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, 29 (5). pp. 911-931. 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.

Conference Proceedings

Mukherjee, Rajdeep, Schrammel, Peter, Haller, Leopold, Kroening, Daniel and Melham, Tom (2017) Lifting CDCL to template-based abstract domains for program verification. International Symposium on Automated Technology for Verification and Analysis, Pune, India, 3-6 October 2017. Published in: Automated Technology for Verification and Analysis. 307-326. Springer ISBN 9783319681665

Kumar, Madhukar, Schrammel, Peter and Mandayam, Srivas (2017) Compositional safety refutation techniques. 15th International Symposium on Automated Technology for Verification and Analysis, Pune, India, 3-6 October 2017. Published in: Automated Technology for Verification and Analysis. 164-183. Springer ISBN 9783319681665

Prabhu, Sumanth, Schrammel, Peter, Mandayam, Srivas, Tautschnig, Michael and Anand, Yeolekar (2017) Concurrent program verification with invariant-guided underapproximation. Fifteenth International Symposium on Automated Technology for Verification and Analysis, Pune, India, 3-6 October 2017. Published in: Automated Technology for Verification and Analysis. 241-248. Springer ISBN 9783319681665

Nguyen, Truc L, Schrammel, Peter, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) Parallel bug-finding in concurrent programs via reduced interleaving instances. The 32nd IEEE/ACM International Conference on Automated Software Engineering, University of Illinois, 30th October - 3rd November. Published in: Automated Software Engineering. ACM ISSN 0928-8910 (Accepted)

This list was generated on Mon Dec 11 23:00:40 2017 GMT.