D. Stoffel
发表
W. Kunz,
D. Stoffel,
1997,
ICCAD 1997.
W. Kunz,
Michael Schwarz,
D. Stoffel,
2019
.
W. Kunz,
D. Stoffel,
Markus Wedler,
2022
.
W. Kunz,
D. Stoffel,
Stefan Gerber,
1995
.
W. Kunz,
W. Ecker,
D. Stoffel,
2022,
2022 IFIP/IEEE 30th International Conference on Very Large Scale Integration (VLSI-SoC).
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2015,
2015 Forum on Specification and Design Languages (FDL).
Dominik Stoffel,
D. Stoffel,
2006
.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2004,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Dominik Stoffel,
Görschwin Fey,
Klaus Winkelmann,
2004,
Proceedings Design, Automation and Test in Europe Conference and Exhibition.
W. Kunz,
D. Stoffel,
Markus Wedler,
2004,
ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2003,
2003 Design, Automation and Test in Europe Conference and Exhibition.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2003,
MBMV.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2002,
Proceedings IEEE Computer Society Annual Symposium on VLSI. New Paradigms for VLSI Systems Design. ISVLSI 2002.
Dominik Stoffel,
Wolfgang Kunz,
W. Kunz,
2001,
Informationstechnik Tech. Inform..
Dominik Stoffel,
D. Stoffel,
1999
.
W. Kunz,
D. Stoffel,
1997,
1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
W. Kunz,
D. Stoffel,
2016
.
Jason M. Fung,
S. Mitra,
W. Kunz,
2021,
IEEE Transactions on Computers.
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,
2013,
IPSJ Trans. Syst. LSI Des. Methodol..
W. Kunz,
D. Stoffel,
C. Bartsch,
2022,
2022 IFIP/IEEE 30th International Conference on Very Large Scale Integration (VLSI-SoC).
Dominik Stoffel,
Wolfgang Kunz,
Thomas Fehmel,
2020,
IEEE Transactions on Emerging Topics in Computing.
Dominik Stoffel,
Wolfgang Kunz,
Thomas Fehmel,
2020,
2020 23rd Euromicro Conference on Digital System Design (DSD).
Rolf Drechsler,
Alexander Jung,
Dominik Stoffel,
2019,
2019 Forum for Specification and Design Languages (FDL).
Dominik Stoffel,
Wolfgang Kunz,
Ulf Schlichtmann,
2019,
2019 56th ACM/IEEE Design Automation Conference (DAC).
Dominik Stoffel,
Wolfgang Kunz,
Michael Schwarz,
2017,
2017 IEEE 20th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).
W. Kunz,
D. Stoffel,
C. Bartsch,
2017,
J. Electron. Test..
Dominik Stoffel,
Wolfgang Kunz,
Carlos Villarraga,
2016,
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Dominik Stoffel,
Wolfgang Kunz,
Christian Bartsch,
2016,
2016 17th Latin-American Test Symposium (LATS).
Dominik Stoffel,
Wolfgang Kunz,
Binghao Bao,
2014,
Proceedings of the 2014 Forum on Specification and Design Languages (FDL).
Dominik Stoffel,
Wolfgang Kunz,
Binghao Bao,
2014,
2014 International Test Conference.
Dominik Stoffel,
Wolfgang Kunz,
Jörg Bormann,
2013,
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Norbert Wehn,
Markus Wedler,
Dominik Stoffel,
2012
.
W. Kunz,
D. Stoffel,
Daniel Kästner,
2021,
2021 IEEE International Test Conference (ITC).
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2014,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Dominik Stoffel,
Wolfgang Kunz,
Thomas Eisenbarth,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
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.
Dominik Stoffel,
Wolfgang Kunz,
Subhasish Mitra,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Dominik Stoffel,
Wolfgang Kunz,
Keerthikumara Devarajegowda,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Dominik Stoffel,
Wolfgang Kunz,
Keerthikumara Devarajegowda,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
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,
Joakim Urdahl,
2018,
2018 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,
Joakim Urdahl,
2014,
2014 27th IEEE International System-on-Chip Conference (SOCC).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2013,
2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2013,
2013 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2013,
2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2012,
Proceeding of the 2012 Forum on Specification and Design Languages.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2012,
DAC Design Automation Conference 2012.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2011,
2011 Design, Automation & Test in Europe.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2010,
Formal Methods in Computer Aided Design.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2010,
Design Automation Conference.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2009,
2009 Forum on Specification & Design Languages (FDL).
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2008,
2008 Forum on Specification, Verification and Design Languages.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2008,
CAV.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2005,
2005 6th International Conference on ASIC.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2005,
ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..
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,
Joakim Urdahl,
2017,
2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems (VLSID).
Dominik Stoffel,
Wolfgang Kunz,
Bernard Schmidt,
2014,
MBMV.
Dominik Stoffel,
Wolfgang Kunz,
Jörg Bormann,
2013,
MBMV.
W. Kunz,
D. Stoffel,
Markus Wedler,
2011
.
Norbert Wehn,
Markus Wedler,
Dominik Stoffel,
2010,
FDL.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2008,
FDL.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2007,
MBMV.
Dominik Stoffel,
Wolfgang Kunz,
Minh D. Nguyen,
2005,
GI Jahrestagung.
Dominik Stoffel,
Wolfgang Kunz,
Irina Kufareva,
2004
.
W. Kunz,
D. Stoffel,
Johannes Müller,
2023,
USENIX Security Symposium.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2009,
Algorithms and Applications for Next Generation SAT Solvers.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
T. Eisenbarth,
W. Kunz,
D. Stoffel,
2023,
2312.08156.
W. Kunz,
D. Stoffel,
Lucas Deutschmann,
2023,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Jason M. Fung,
W. Kunz,
D. Stoffel,
2023,
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD).
W. Kunz,
D. Stoffel,
Lucas Deutschmann,
2024,
2024 IEEE 25th Latin American Test Symposium (LATS).
W. Kunz,
D. Stoffel,
Lucas Deutschmann,
2022,
DAC.
Dominik Stoffel,
Wolfgang Kunz,
Joakim Urdahl,
2019,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Dominik Stoffel,
Wolfgang Kunz,
Christian Bartsch,
2017,
Journal of Electronic Testing.
Dominik Stoffel,
Wolfgang Kunz,
W. Kunz,
2004,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.