Peter SchrammelLecturer
Selected publications
Article
Chen, Hong-Yi, David, Cristina, Kroening, Daniel, Schrammel, Peter and Wachter, Bj枚rn (2017) ACM Transactions on Programming Languages and Systems, 40 (1). pp. 1-38. ISSN 0164-0925
Liang, Lihao, Melham, Tom, Kroening, Daniel, Schrammel, Peter and Tautschnig, Michael (2017) ACM Transactions on Embedded Computing Systems, 17 (2). a36 1-26. ISSN 1539-9087
Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino and Bienm眉ller, Tom (2017) Formal Aspects of Computing, 29 (5). pp. 911-931. ISSN 0934-5043
Schrammel, Peter (2016) Electronic Proceedings in Theoretical Computer Science, 219. pp. 29-32. ISSN 2075-2180
Schrammel, Peter, Melham, Tom and Kroening, Daniel (2016) International Journal on Software Tools for Technology Transfer, 18 (3). pp. 319-334. ISSN 1433-2779
Gonnord, Laure and Schrammel, Peter (2014) Science of Computer Programming, 93B. pp. 125-153. ISSN 0167-6423
Schrammel, Peter and Jeannet, Bertrand (2012) Journal of Symbolic Computation, 47 (12). pp. 1512-1532. ISSN 0747-7171
Schrammel, Peter and Jeannet, Bertrand (2010) 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) 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) 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) 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) In: 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, Dresden, Germany, pp. 1152-1155. ISBN 9783981537079
Chen, Hong-Yi, David, Cristina, Kroening, Daniel, Schrammel, Peter and Wachter, Bj枚rn (2016) In: Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on. IEEE, pp. 53-64. ISBN 9781509000258
Schrammel, Peter (2015) In: Proceedings of the 12th International Conference on Embedded Software. IEEE, Piscataway, NJ, pp. 51-54. ISBN 9781467380799
Cattaruzza, Dario, Abate, Alessandro, Schrammel, Peter and Kroening, Daniel (2015) 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) 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) 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.
Rajan, Ajitha, Sharma, Subodh, Schrammel, Peter and Kroening, Daniel (2014) 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) In: Shao, Zhong (ed.) Programming languages and systems ESOP 2014. Lecture Notes in Computer Science, 8410 . Springer, Heidelberg, pp. 432-452. ISBN 9783642548321
Seghir, Mohamed Nassim and Schrammel, Peter (2014) 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) In: Static Analysis. Lecture Notes in Computer Science, 8723 . Springer, pp. 253-267. ISBN 9783319109350
Schrammel, Peter, Melham, Tom and Kroening, Daniel (2013) In: Testing Software and Systems. Lecture Notes in Computer Science, 8254 . Springer, pp. 133-148. ISBN 9783642417078
Schrammel, Peter and Subotic, Pavle (2013) 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) 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) In: Static Analysis. Lecture Notes in Computer Science, 6887 . Springer, pp. 233-248.
Conference Proceedings
Malik, Viktor, Hruska, Martin, Schrammel, Peter and Vojnar, Tomas (2018) fmcad.18 Formal Methods in Computer-Aided Design 2018, University of Texas, Austin, Texas, Oct 31 - Nov 2, 2018. Published in: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018) Austin, Texas, USA, October 30 鈥 November 2, 2018. 103-112. Institute of Electrical and Electronics Engineers ISBN 9780983567882
Cordeiro, Lucas C, Kroening, Daniel and Schrammel, Peter (2018) The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Florida, USA, Monday 5 November 2018. Published in: Software Engineering Notes. 43 (4) 55-56. Association for Computing Machinery ISSN 0163-5948
Cordeiro, Lucas, Kesseli, Pascal, Kroening, Daniel, Schrammel, Peter and Trtik, Marek (2018) CAV 2018- 30th International Conference on Computer Aided Verification, Oxford, UK, July 14-17, 2018. Published in: CAV 2018 Computer Aided Verification. Springer, Cham. ISBN 9783319961446
Malik, Viktor, Marti膷ek, 艩tefan, Schrammel, Peter, Srivas, Mandayam, Vojnar, Tom谩拧 and Wahlang, Johanan (2018) 24th International Conference , TACAS 2018, Thessaloniki, Greece, April 14-20, 2018. Published in: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 10806 417-421. Springer ISBN 9783319899633
Nguyen, Truc L, Schrammel, Peter, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) The 32nd IEEE/ACM International Conference on Automated Software Engineering, University of Illinois, 30th October - 3rd November. Published in: Automated Software Engineering. 753-764. Association for Computing Machinery ISSN 0928-8910 ISBN 9781538626849
Mukherjee, Rajdeep, Schrammel, Peter, Haller, Leopold, Kroening, Daniel and Melham, Tom (2017) 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) 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) 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
Brain, Martin, Joshi, Saurabh, Kroening, Daniel and Schrammel, Peter (2015) Static Analysis Symposium, SAS 2015, Saint-Maol, France, 9-11 September 2015. Published in: Blazy, Sandrine and Jensen, Thomas, (eds.) Static Analysis. SAS 2015. 9291 145-161. Springer ISSN 0302-9743 ISBN 9783662482872
Jeannet, Bertrand, Schrammel, Peter and Sankaranarayanan, Sriram (2014) Principles of Programming Languages, POPL 2014, San Diego, California, USA, January 2014. Published in: POPL '14. 49 529-540. ACM, New York, NY, United States. ISBN 9781450325448