Heinz Riener
发表
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2018,
2018 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH).
Robert K. Brayton,
Giovanni De Micheli,
Alan Mishchenko,
2020,
ArXiv.
Görschwin Fey,
Heinz Riener,
Michael Kirkedal Thomsen,
2015,
MBMV.
Görschwin Fey,
Heinz Riener,
2012,
SPIN.
Görschwin Fey,
Heinz Riener,
2013,
MBMV.
Mathias Soeken,
Alan Mishchenko,
Heinz Riener,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Görschwin Fey,
Rüdiger Ehlers,
Heinz Riener,
2017,
MBMV.
Görschwin Fey,
Roderick Bloem,
Heinz Riener,
2016,
ARCH@CPSWeek.
Görschwin Fey,
Jan Malburg,
Heinz Riener,
2017
.
Stefan Frehse,
Görschwin Fey,
Heinz Riener,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Giovanni De Micheli,
Rüdiger Ehlers,
Bruno Schmitt,
2019,
RC.
Görschwin Fey,
Jaan Raik,
Heinz Riener,
2018,
2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC).
Stefan Frehse,
Görschwin Fey,
Heinz Riener,
2012
.
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2018,
ArXiv.
Görschwin Fey,
Roderick Bloem,
Heinz Riener,
2011,
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.
Görschwin Fey,
Heinz Riener,
2016,
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Görschwin Fey,
Heinz Riener,
Niels Thole,
2015,
2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems.
Görschwin Fey,
Heinz Riener,
Niels Thole,
2016,
2016 Forum on Specification and Design Languages (FDL).
Jaan Raik,
Hans G. Kerkhoff,
Sergei Devadze,
2018
.
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Görschwin Fey,
Heinz Riener,
Niklas Krafczyk,
2016,
2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC).
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2019,
2019 56th ACM/IEEE Design Automation Conference (DAC).
Görschwin Fey,
Rüdiger Ehlers,
Heinz Riener,
2017,
2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).
Mathias Soeken,
Giovanni De Micheli,
Fereshte Mozafari,
2019,
Philosophical Transactions of the Royal Society A.
Rolf Drechsler,
Mathias Soeken,
Görschwin Fey,
2014,
Proceedings of the 2014 Forum on Specification and Design Languages (FDL).
Görschwin Fey,
Heinz Riener,
2016,
2016 1st IEEE International Verification and Security Workshop (IVSW).
Stefan Frehse,
Rolf Drechsler,
Mathias Soeken,
2016,
International Journal on Software Tools for Technology Transfer.
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Yong Zhao,
Görschwin Fey,
Jaan Raik,
2016,
2016 Forum on Specification and Design Languages (FDL).
Görschwin Fey,
Rüdiger Ehlers,
Heinz Riener,
2015,
FESCA.
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2021,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Dana Fisman,
Hana Chockler,
Heinz Riener,
2020,
ArXiv.
Görschwin Fey,
Jan Malburg,
Heinz Riener,
2018,
2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL).
Görschwin Fey,
Heinz Riener,
Gianluca Martino,
2020,
2020 23rd Euromicro Conference on Digital System Design (DSD).
Rolf Drechsler,
Görschwin Fey,
Oliver Keszöcze,
2014,
MBMV.
Heinz Riener,
2019,
2019 Forum for Specification and Design Languages (FDL).
Görschwin Fey,
Roderick Bloem,
Heinz Riener,
2019,
Formal Methods Syst. Des..
Giovanni De Micheli,
Rüdiger Ehlers,
Bruno Schmitt,
2018,
Advanced Boolean Techniques.
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2019,
MBMV.
Heinz Riener,
2017
.
Giovanni De Micheli,
Mathias Soeken,
Fereshte Mozafari,
2020,
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL).
Heinz Riener,
Jie-Hong R. Jiang,
Victor N. Kravets,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Giovanni De Micheli,
Francesca Stradolini,
Heinz Riener,
2018,
2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
Görschwin Fey,
Heinz Riener,
2012,
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012).
Giovanni De Micheli,
Fereshte Mozafari,
Bruno Schmitt,
2021,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Giovanni De Micheli,
Heinz Riener,
Siang-Yun Lee,
2021,
2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).
Robert K. Brayton,
Alan Mishchenko,
Giovanni De Micheli,
2021,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Giovanni De Micheli,
Eleonora Testa,
Heinz Riener,
2021,
2021 26th Asia and South Pacific Design Automation Conference (ASP-DAC).
Giovanni De Micheli,
Heinz Riener,
Siang-Yun Lee,
2021,
ArXiv.
Giovanni De Micheli,
Heinz Riener,
Dewmini Sudara Marakkalage,
2021,
2021 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH).
Giovanni De Micheli,
Heinz Riener,
Akash Kumar,
2021,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Roderick Bloem,
Heinz Riener,
Robert Könighofer,
2016
.