Selected publications : Peter Schrammel : �鶹ӳ��

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