Old Web
English
Sign In
Acemap
>
authorDetail
>
Michael Giardino
Michael Giardino
ETH Zurich
Computer science
Embedded system
Modeling language
Automation
Firmware
3
Papers
2
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Enzian: an open, general, CPU/FPGA platform for systems software research
2022
ASPLOS | Architectural Support for Programming Languages and Operating Systems
David Cock
Abishek Ramdas
Daniel Schwyn
Michael Giardino
Adam Turowski
Zhenhao He
Nora Hossle
Dario Korolija
Melissa Licciardello
Kristina Martsenko
Reto Achermann
Gustavo Alonso
Timothy Roscoe
Show All
Source
Cite
Save
Citations (0)
Declarative Power Sequencing
2021
ACM Transactions in Embedded Computing Systems
Jasmin Schult
Daniel David Schwyn
Michael Giardino
David Cock
Reto Achermann
Timothy Roscoe
Show All
Source
Cite
Save
Citations (1)
A Model-Checked I 2 C Specification.
2021
Lukas Humbel
Daniel David Schwyn
Nora Hossle
Roni Haecki
Melissa Licciardello
Jan Schaer
David Cock
Michael Giardino
Timothy Roscoe
Show All
Source
Cite
Save
Citations (1)
1