Get started
Author

Massimiliano Chiodo

Observed names: CHIODO M., M. Chiodo, Massimiliano CHIODO, Massimiliano L. Chiodo
OpenAlex ID: A5113696305
Hardware-Software Co-Design of Embedded Systems
1997 · Felice Balarin, Massimiliano Chiodo, et al. · Springer eBooks · 593
Hardware-software co-design of embedded systems: the POLIS approach
1997 · Felice Balarin, Massimiliano Chiodo, et al. · PORTO Publications Open Repository TOrino (Politecnico di Torino) · 538
Hardware-software codesign of embedded systems
1994 · M. Chiodo, P. Giusto, et al. · IEEE Micro · 273
Synthesis of software programs for embedded control applications
1999 · F. Balarin, M. Chiodo, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 84
Synthesis of Software Programs for Embedded Control Applications
1995 · Massimiliano Chiodo, Paolo Guisto, et al. · ACM/IEEE Design Automation Conference (DAC) · 70
A Formal Specification Model for Hardware/Software Codesign
1993 · Massimiliano Chiodo, Paolo Giusto, et al. · 62
A case study in computer-aided co-design of embedded controllers
1996 · Massimiliano Chiodo, Daniel Engels, et al. · Design Automation for Embedded Systems · 46
Fast Hardware/software Co-simulation For Virtual Prototyping And Trade-off Analysis
1997 · C. Passerone, L. Lavagno, et al. · ACM/IEEE Design Automation Conference (DAC) · 36
Software synthesis for complex reactive embedded systems
2003 · F. Balarin, M. Chiodo · IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD) · 19
Trade-off evaluation in embedded system design via co-simulation
2002 · C. Passerone, L. Lavagno, et al. · Asia and South Pacific Design Automation Conference (ASP-DAC) · 17
Rapid-prototyping of embedded systems via reprogrammable devices
2002 · S. Cardelli, M. Chiodo, et al. · International Workshop on Rapid System Prototyping (RSP) · 14
A case study in computer-aided codesign of embedded controllers
1994 · Luciano Lavagno, Massimiliano Chiodo, et al. · 11
Computer-Aided Generation of Assurance Cases
2023 · Timothy E. Wang, Chanwook Oh, et al. · Lecture notes in computer science · 9
Automatic compositional minimization in CTL model checking
1992 · Massimiliano Chiodo, Thomas R. Shiple, et al. · 9
Automatic Generation of a Real-Time Operating System for Embedded Systems
1997 · Felice Balarin, Massimiliano Chiodo, et al. · 8
Automatic reduction in CTL compositional model checking
1993 · Thomas R. Shiple, Massimiliano Chiodo, et al. · Lecture notes in computer science · 8
PDF
Evaluation of trade-offs in the design of embedded systems via co-simulation
2007 · Claudio Passerone, Massimiliano Chiodo, et al. · 6
A case study in computer-aided codesign of embedded controllers
2002 · L. Lavagno, M. Chiodo, et al. · International Symposium on Hardware/Software Codesign (CODES) · 5
Automotive Electronics
1996 · Massimiliano Chiodo · Springer eBooks · 5
AACE: Automated Assurance Case Environment for Aerospace Certification
2023 · Zamira Daw, Chanwook Oh, et al. · IEEE/AIAA Digital Avionics Systems Conference (DASC) · 4
A Cyber Secure Communication Architecture for Multi-Site Hardware_in_the_Loop Co_Simulation of DER Control
2018 · Sri Nikhil Gupta Gourisetti, Jacob Hansen, et al. · Resilience Week (RWS) · 4
Hardware-Software Codesign of Embedded Systems
2002 · Massimiliano Chiodo, Paolo Giusto, et al. · Elsevier eBooks · 3
Rapid-Prototyping of Embedded Systems via Reprogrammable Devices
1998 · Stefano Cardelli, Massimiliano Chiodo, et al. · Design Automation for Embedded Systems · 3
Optimization and synthesis for complex reactive embedded systems by incremental collapsing
2002 · Massimiliano Chiodo · International Symposium on Hardware/Software Codesign (CODES) · 2
Introduction
1997 · Felice Balarin, Massimiliano Chiodo, et al. · Springer eBooks · 2
Works count: 45
Citation count: 1,845
H-index: 11
I10-index: 13
Year
Topic
Type