Dominik Stoffel
发表
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
Dominik Stoffel,
M. Ammar Ben Khadra,
Wolfgang Kunz,
2020,
ESEC/SIGSOFT FSE.
Dominik Stoffel,
Wolfgang Kunz,
M. Ammar Ben Khadra,
2016,
2016 International Conference on Compliers, Architectures, and Sythesis of Embedded Systems (CASES).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2014,
Fifteenth International Symposium on Quality Electronic Design.
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2014
.
Dominik Stoffel,
Görschwin Fey,
Klaus Winkelmann,
2003,
MBMV.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2004,
Proceedings Design, Automation and Test in Europe Conference and Exhibition.
Rolf Drechsler,
Alexander Jung,
Dominik Stoffel,
2019,
2019 Forum for Specification and Design Languages (FDL).
Dominik Stoffel,
Wolfgang Kunz,
Christian Bartsch,
2017,
Journal of Electronic Testing.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2004,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2012,
Proceeding of the 2012 Forum on Specification and Design Languages.
Dominik Stoffel,
Wolfgang Kunz,
1997,
1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Dominik Stoffel,
Wolfgang Kunz,
Jörg Bormann,
2013,
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Dominik Stoffel,
Wolfgang Kunz,
Stefan Gerber,
1997,
Proceedings of ASP-DAC '97: Asia and South Pacific Design Automation Conference.
Dominik Stoffel,
Wolfgang Kunz,
Keerthikumara Devarajegowda,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Dominik Stoffel,
Wolfgang Kunz,
Christian Bartsch,
2016,
2016 International Symposium on Integrated Circuits (ISIC).
Dominik Stoffel,
Wolfgang Kunz,
Jörg Bormann,
2013,
MBMV.
Dominik Stoffel,
Wolfgang Kunz,
Binghao Bao,
2014,
2014 International Test Conference.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2013,
2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Dominik Stoffel,
Wolfgang Kunz,
Minh D. Nguyen,
2005,
GI Jahrestagung.
Dominik Stoffel,
Wolfgang Kunz,
Subhasish Mitra,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Dominik Stoffel,
Wolfgang Kunz,
Binghao Bao,
2014,
FDL 2014.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2013,
2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2013,
MBMV.
Dominik Stoffel,
Wolfgang Kunz,
Keerthikumara Devarajegowda,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Dominik Stoffel,
Wolfgang Kunz,
Christian Bartsch,
2016,
LATS.
Dominik Stoffel,
Wolfgang Kunz,
M. Ammar Ben Khadra,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Dominik Stoffel,
Wolfgang Kunz,
1997
.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2008,
CAV.
Norbert Wehn,
Markus Wedler,
Dominik Stoffel,
2012
.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2008,
2008 Forum on Specification, Verification and Design Languages.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2002,
Proceedings IEEE Computer Society Annual Symposium on VLSI. New Paradigms for VLSI Systems Design. ISVLSI 2002.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2003,
MBMV.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2013,
IPSJ Trans. Syst. LSI Des. Methodol..
Dominik Stoffel,
Wolfgang Kunz,
Ingmar Neumann,
2001,
ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems (Cat. No.01CH37196).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2008,
FDL.
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2016,
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2003,
2003 Design, Automation and Test in Europe Conference and Exhibition.
Dominik Stoffel,
Wolfgang Kunz,
Bernard Schmidt,
2014,
MBMV.
Dominik Stoffel,
Wolfgang Kunz,
1997,
Frontiers in electronic testing.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2007,
MBMV.
Dominik Stoffel,
Wolfgang Kunz,
Thomas Fehmel,
2020,
IEEE Transactions on Emerging Topics in Computing.
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2014,
2014 27th IEEE International System-on-Chip Conference (SOCC).
Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking
Dominik Stoffel,
Wolfgang Kunz,
Subhasish Mitra,
2018,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Dominik Stoffel,
Wolfgang Kunz,
Michael Schwarz,
2017,
2017 IEEE 20th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).
Dominik Stoffel,
Wolfgang Kunz,
Kolja Sulimma,
1999,
FPL.
Dominik Stoffel,
Wolfgang Kunz,
W. Kunz,
2004,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2009,
2009 Forum on Specification & Design Languages (FDL).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2012,
DAC Design Automation Conference 2012.
Dominik Stoffel,
D. Stoffel,
1999
.
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2013,
2013 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS).
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2014,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Dominik Stoffel,
Wolfgang Kunz,
Thomas Fehmel,
2020,
2020 23rd Euromicro Conference on Digital System Design (DSD).
Dominik Stoffel,
Wolfgang Kunz,
Carlos Villarraga,
2018
.
Dominik Stoffel,
Görschwin Fey,
Klaus Winkelmann,
2004,
Proceedings Design, Automation and Test in Europe Conference and Exhibition.
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2019,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Dominik Stoffel,
2009,
2009 20th International Workshop on Database and Expert Systems Application.
Dominik Stoffel,
Wolfgang Kunz,
Thomas Dr. Belmont Rudlof,
2001
.
Dominik Stoffel,
Wolfgang Kunz,
W. Kunz,
2001,
Informationstechnik Tech. Inform..
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2009,
Algorithms and Applications for Next Generation SAT Solvers.
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2015,
2015 Forum on Specification and Design Languages (FDL).
Dominik Stoffel,
Wolfgang Kunz,
Carlos Villarraga,
2018,
J. Electron. Test..
Dominik Stoffel,
Wolfgang Kunz,
Ingmar Neumann,
1999,
1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2010,
Design Automation Conference.
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2017,
2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems (VLSID).
Dominik Stoffel,
D. Stoffel,
2006
.
Dominik Stoffel,
Wolfgang Kunz,
Carlos Villarraga,
2016,
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2005,
ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..
Premachandran R. Menon,
Dominik Stoffel,
Wolfgang Kunz,
1997,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2010,
Formal Methods in Computer Aided Design.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2005,
2005 6th International Conference on ASIC.
Dominik Stoffel,
Wolfgang Kunz,
Ingmar Neumann,
2004,
IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings..
Dominik Stoffel,
Wolfgang Kunz,
Binghao Bao,
2014,
Proceedings of the 2014 Forum on Specification and Design Languages (FDL).
Dominik Stoffel,
Wolfgang Kunz,
2001,
IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
Dominik Stoffel,
Wolfgang Kunz,
Ulf Schlichtmann,
2019,
2019 56th ACM/IEEE Design Automation Conference (DAC).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2011,
2011 Design, Automation & Test in Europe.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2009,
MBMV.
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Dominik Stoffel,
Wolfgang Kunz,
Irina Kufareva,
2004
.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2007,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Dominik Stoffel,
Wolfgang Kunz,
Christian Bartsch,
2016,
2016 17th Latin-American Test Symposium (LATS).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2004,
ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753).
Norbert Wehn,
Markus Wedler,
Dominik Stoffel,
2010,
FDL.
Dominik Stoffel,
Wolfgang Kunz,
Thomas Eisenbarth,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors
pdf
Sayak Ray,
Dominik Stoffel,
Wolfgang Kunz,
2021,
ArXiv.
Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection
pdf
Dominik Stoffel,
Wolfgang Kunz,
Florian Lonsing,
2021,
ArXiv.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2004
.