Ralf Wimmer
发表
Christoph Scholl,
Ralf Wimmer,
2018,
SAT.
Bernd Becker,
Ralf Wimmer,
B. Becker,
2010,
MMB/DFT.
Bernd Becker,
Matthew D. T. Lewis,
Ralf Wimmer,
2008,
2008 IEEE International Conference on Computer Design.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
MBMV.
Bernd Becker,
Erika Ábrahám,
Ralf Wimmer,
2013,
MBMV.
Bernd Becker,
Friedrich Eisenbrand,
Ralf Wimmer,
2005,
WEA.
Bernd Becker,
Christoph Scholl,
Ralf Wimmer,
2016,
ATVA.
Nils Jansen,
Joost-Pieter Katoen,
Erika Ábrahám,
2014,
ATVA.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
TACAS.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2014,
Sci. Comput. Program..
Bernd Becker,
Erika Ábrahám,
Tobias Schubert,
2009,
PDPTA.
Holger Hermanns,
Ralf Wimmer,
Salem Derisavi,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Bernd Becker,
Holger Hermanns,
Ralf Wimmer,
2012,
ArXiv.
Holger Hermanns,
Ralf Wimmer,
Salem Derisavi,
2010,
Perform. Evaluation.
Nils Jansen,
Ufuk Topcu,
Jie Fu,
2018,
2018 Annual American Control Conference (ACC).
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
FACS.
Bernd Becker,
Reza Pulungan,
Holger Hermanns,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2015,
FM.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2014,
SFM.
Bernd Becker,
Christoph Scholl,
Ralf Wimmer,
2015,
SAT.
Bernd Becker,
Christoph Scholl,
Ralf Wimmer,
2016,
SAT.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2013,
QEST 2013.
Bernd Becker,
Ralf Wimmer,
Marc Herbstritt,
2007,
GLSVLSI '07.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
MBMV.
Bernd Becker,
Ralf Wimmer,
Marc Herbstritt,
2007,
MBMV.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
ArXiv.
Daniel Kroening,
Bernhard Nebel,
Bernd Becker,
2004,
MBMV.
Symbolische Methoden für die probabilistische Verifikation: Zustandsraumreduktion und Gegenbeispiele
Ralf Wimmer,
2011,
Ausgezeichnete Informatikdissertationen.
Bernd Becker,
Christoph Scholl,
Ralf Wimmer,
2017,
SAT.
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2014,
QAPL.
Bernd Becker,
Ralf Wimmer,
Sven Reimer,
2017,
TACAS.
Holger Hermanns,
Ralf Wimmer,
Yuliya Butkova,
2018,
MMB.
Ralf Wimmer,
Marc Herbstritt,
Tobias Nopper,
2006
.
Bernd Becker,
Oliver E. Theel,
Holger Hermanns,
2009,
SSS.
Bernd Becker,
Ralf Wimmer,
Marc Herbstritt,
2006,
2006 IEEE Design and Diagnostics of Electronic Circuits and systems.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2011,
ATVA.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
ATVA.
Bernd Becker,
Reza Pulungan,
Holger Hermanns,
2009,
IEEE Transactions on Software Engineering.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
ArXiv.
Bernd Becker,
Matthias Sauer,
Christoph Scholl,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Bernd Becker,
Oliver E. Theel,
Holger Hermanns,
2011,
2011 Eleventh International Conference on Application of Concurrency to System Design.
Nils Jansen,
Bernd Becker,
Erika Ábrahám,
2011,
MBMV.
Kurt Landau,
Holger Luczak,
Ralf Wimmer,
2001
.
Bernd Becker,
Christoph Scholl,
Ralf Wimmer,
2018,
Advanced Logic Synthesis.
Bernd Becker,
Erika Ábrahám,
Tobias Schubert,
2010,
MBMV.
Bernd Becker,
Holger Hermanns,
Ralf Wimmer,
2011,
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Bernd Becker,
Ralf Wimmer,
Marc Herbstritt,
2008,
MBMV.
Bernd Becker,
Holger Hermanns,
Abhishek Dhama,
2010,
IEEE Photonics Technology Letters.
Bernd Becker,
Holger Hermanns,
Ralf Wimmer,
2015,
IEEE Transactions on Reliability.
Bernd Becker,
Holger Hermanns,
Ralf Wimmer,
2006,
ATVA.
Bernd Becker,
Matthias Sauer,
Christoph Scholl,
2015,
SyDe Summer School.
Bernd Becker,
Ralf Wimmer,
Marc Herbstritt,
2008,
2008 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2014,
QEST.
Sebastian Junges,
Ufuk Topcu,
Bernd Becker,
2017,
1708.04236.
Bernd Becker,
Matthias Sauer,
Christoph Scholl,
2013,
MBMV.
Holger Hermanns,
Ralf Wimmer,
Yuliya Butkova,
2017,
TACAS.
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2015,
VMCAI.
Nils Jansen,
Ufuk Topcu,
Bernd Becker,
2019,
IJCAI.
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2015,
Formal Aspects of Computing.
Nils Jansen,
Bernd Becker,
Erika Ábrahám,
2011,
FMOODS/FORTE.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
SNR.
Joost-Pieter Katoen,
Marco Bozzano,
Marco Roveri,
2010,
CAV.
Bernd Becker,
Ralf Wimmer,
Bettina Braitling,
2009,
VMCAI.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2014,
Theor. Comput. Sci..
Bernd Becker,
Matthias Sauer,
Christoph Scholl,
2013,
2013 IEEE 31st International Conference on Computer Design (ICCD).
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2015,
SETTA.
Bernd Becker,
Ralf Wimmer,
Karsten Scheibler,
2015,
MBMV.
Rolf Drechsler,
Ralf Wimmer,
Gerhard Angst,
2021,
ACM Great Lakes Symposium on VLSI.
Bernd Becker,
Ralf Wimmer,
2011
.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2013
.