Philipp Rümmer

发表

Temesghen Kahsai, Philipp Rümmer, Martin Schäf, 2019, TACAS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Philipp Rümmer, 2015, CAV.
Viktor Kuncak, Philipp Rümmer, Hossein Hojjat, 2015, Formal Methods Syst. Des..
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Philipp Rümmer, 2017, PLDI.
Daniel Kroening, Philipp Rümmer, Alastair F. Donaldson, 2011, Formal Methods Syst. Des..
Bernhard Beckert, Vladimir Klebanov, Peter H. Schmitt, 2007, CADE.
Viktor Kuncak, Philipp Rümmer, Radu Iosif, 2012, ATVA.
Philipp Rümmer, Pavle Subotic, 2013, 2013 Formal Methods in Computer-Aided Design.
André Platzer, Philipp Rümmer, Jan-David Quesel, 2009, CADE.
Jun Sun, Philipp Rümmer, Anthony Widjaja Lin, 2016, VMCAI.
Wang Yi, Philipp Rümmer, 2016, Theory and Practice of Formal Methods.
Philipp Rümmer, Peter Backeman, 2015, TABLEAUX.
Reiner Hähnle, Jing Pan, Philipp Rümmer, 2006, TGC.
Philipp Rümmer, Florian Zuleger, Yulia Demyanova, 2017, NFM.
Muhammad Ali Shah, Philipp Rümmer, Philipp Rümmer, 2007, TAP.
Reiner Hähnle, Jing Pan, Philipp Rümmer, 2006, Theor. Comput. Sci..
Ruzica Piskac, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.
Daniel Kroening, Philipp Rümmer, Thomas Wahl, 2010, Journal of Automated Reasoning.
Philipp Rümmer, Peter Backeman, 2015, CADE.
Philipp Rümmer, Anthony Widjaja Lin, Zhilin Wu, 2020, ArXiv.
Philipp Rümmer, Hossein Hojjat, Hossein Hojjat, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).
Nikolaj Bjørner, Tancrède Lepoint, Philipp Rümmer, 2017, LPAR.
Daniel Kroening, Philipp Rümmer, Alastair F. Donaldson, 2011, SAS.
Cesare Tinelli, Philipp Rümmer, Thomas Wahl, 2015, 2015 IEEE 22nd Symposium on Computer Arithmetic.
Philipp Rümmer, 2007, The KeY Approach.
Vladimir Klebanov, Peter H. Schmitt, Philipp Rümmer, 2005, CPA.
Vladimir Klebanov, Philipp Rümmer, Christoph Gladisch, 2008, TAP.
Philipp Rümmer, Peter Backeman, Aleksandar Zeljic, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).
Daniel Kroening, Philipp Rümmer, Alastair F. Donaldson, 2010, TACAS.
Philipp Rümmer, Lukás Holík, Anthony Widjaja Lin, 2017, Proc. ACM Program. Lang..
Viktor Kuncak, Philipp Rümmer, Hossein Hojjat, 2013, ArXiv.
Rupak Majumdar, Philipp Rümmer, Anthony Widjaja Lin, 2017, TACAS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Philipp Rümmer, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).
Daniel Kroening, Philipp Rümmer, Thomas Wahl, 2011, VMCAI.
Philipp Rümmer, 2020, VPT/HCVS@ETAPS.
Philipp Rümmer, Richard Bubel, Andreas Roth, 2008, Electron. Notes Theor. Comput. Sci..
Philipp Rümmer, Martin Schäf, Timothy McCarthy, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Philipp Rümmer, Christoph M. Wintersteiger, Peter Backeman, 2018, IJCAR.
Philipp Rümmer, Christoph M. Wintersteiger, Aleksandar Zeljic, 2016, Journal of Automated Reasoning.
Philipp Rümmer, Christoph M. Wintersteiger, Aleksandar Zeljic, 2016, SAT.
Philipp Rümmer, Anthony Widjaja Lin, Philipp Rümmer, 2016, CAV.
Viktor Kuncak, Philipp Rümmer, Hossein Hojjat, 2013, VSTTE.
Daniel Kroening, Philipp Rümmer, Alastair F. Donaldson, 2011, PPoPP '11.
Philipp Rümmer, Anthony Widjaja Lin, Taolue Chen, 2018, Proc. ACM Program. Lang..
Vladimir Klebanov, Mattias Ulbrich, Philipp Rümmer, 2018, Formal Methods Syst. Des..
Daniel Kroening, Philipp Rümmer, Byron Cook, 2010, TACAS.
Thomas Wies, Philipp Rümmer, Martin Schäf, 2015, NFM.
Daniel Kroening, Philipp Rümmer, Thomas Wahl, 2010, VERIFY@IJCAR.
Vladimir Klebanov, Mattias Ulbrich, Philipp Rümmer, 2014, Software Engineering & Management.
Philipp Rümmer, Jérôme Leroux, Pavle Subotic, 2015, Acta Informatica.
Philipp Rümmer, Martin Schäf, Stephan Arlt, 2013, SOAP '13.
Philipp Rümmer, Helga Velroyen, Philipp Rümmer, 2008, TAP.
Temesghen Kahsai, Philipp Rümmer, Martin Schäf, 2016, CAV.
Mattias Ulbrich, Philipp Rümmer, 2016, Deductive Software Verification.
Viktor Kuncak, Philipp Rümmer, Hossein Hojjat, 2013, CAV.
Viktor Kuncak, Philipp Rümmer, Radu Iosif, 2012, FM.
Philipp Rümmer, Zhilin Wu, Matthew Hague, 2020, IJCAR.
Rupak Majumdar, Philipp Rümmer, Anthony Widjaja Lin, 2020, ArXiv.
Daniel Kroening, Philipp Rümmer, Thomas Wahl, 2010, IJCAR.
Wang Yi, Philipp Rümmer, Hossein Hojjat, 2014, HCVS.
Cesare Tinelli, Philipp Rümmer, Renate A. Schmidt, 2019, Dagstuhl Reports.
Philipp Rümmer, Christoph M. Wintersteiger, Aleksandar Zeljic, 2014, IJCAR.
Daniel Kroening, Philipp Rümmer, Jérôme Leroux, 2010, LPAR.
Daniel Kroening, Philipp Rümmer, Byron Cook, 2010, Formal Methods Syst. Des..
Philipp Rümmer, Martin Schäf, Stephan Arlt, 2013, ATVA.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Philipp Rümmer, 2014, CAV.
Philipp Rümmer, Hossein Hojjat, Hossein Hojjat, 2017, 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Philipp Rümmer, Dilian Gurov, Christian Lidström, 2020, 20 Years of KeY.
Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle, 2006, FMCO.
Jun Sun, Philipp Rümmer, Anthony Widjaja Lin, 2015, ArXiv.
Philipp Rümmer, Philipp Rümmer, 2012, LPAR.
Alberto Griggio, Philipp Rümmer, 2017, Formal Methods Syst. Des..
Philipp Rümmer, Philipp Rümmer, 2006 .
Daniel Kroening, Philipp Rümmer, Nannan He, 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Temesghen Kahsai, Philipp Rümmer, Martin Schäf, 2017, LPAR.
Daniel Kroening, Philipp Rümmer, Kung-Kiu Lau, 2012 .
Philipp Rümmer, Anthony Widjaja Lin, 2020, ArXiv.
Rupak Majumdar, Philipp Rümmer, Anthony Widjaja Lin, 2017, ArXiv.
Thomas Wies, Philipp Rümmer, Martin Schäf, 2015 .
Philipp Rümmer, Jan-David Quesel, Philipp Rümmer, 2009 .
Viktor Kuncak, Philipp Rümmer, Hossein Hojjat, 2013, ArXiv.
Bernhard Beckert, Martin Giese, Philipp Rümmer, 2010, KI - Künstliche Intelligenz.
Pavol Cerný, Philipp Rümmer, Nate Foster, 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).
K. Rustan M. Leino, Philipp Rümmer, K. Leino, 2010, TACAS.
Philipp Rümmer, Peter Backeman, 2015, FroCos.
Natarajan Shankar, Philipp Rümmer, Martin Schäf, 2014, NASA Formal Methods.
Daniel Kroening, Philipp Rümmer, Nannan He, 2009, FMCO.
Philipp Rümmer, Hossein Hojjat, Ali Shamakhi, 2019, APLAS.
Philipp Rümmer, Hossein Hojjat, Ali Shamakhi, 2021, TACAS.
Philipp Rümmer, Anthony Widjaja Lin, Zhilin Wu, 2022, Proceedings of the ACM on Programming Languages.
Philipp Rümmer, Peter Backeman, Aleksandar Zeljić, 2021, Formal Methods Syst. Des..
Philipp Rümmer, Anthony Widjaja Lin, Shuanglong Kan, 2021, CPP.
Philipp Rümmer, Grigory Fedyukovich, 2021, Electronic Proceedings in Theoretical Computer Science.
Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, 2004 .
Daniel Kroening, Philipp Rümmer, Georg Weissenbacher, 2009 .
Ashish Tiwari, Thomas Wies, Philipp Rümmer, 2015 .
Daniel Kroening, Philipp Rümmer, Alastair F. Donaldson, 2011 .