Search filters

List of works by Roberto Passerone

A Platform-Based Taxonomy for ESL Design

article by D. Densmore & Roberto Passerone published May 2006 in IEEE Design and Test of Computers

A formal approach to system level design: metamodels and unified design environments

scholarly article

Approximating Behaviors in Embedded System Design

Convertibility verification and converter synthesis

Deployment and evaluation of a wireless sensor network for methane leak detection

scientific article published in November 2013

Design and Characterization of a Low-Cost FPGA-Based TDC

Energy Neutral Wireless Sensing for Server Farms Monitoring

Interchange Format for Hybrid Systems: Abstract Semantics

Languages and Tools for Hybrid Systems Design

article by Luca P. Carloni et al published 2006 in Foundations and Trends in Electronic Design Automation

Metamodels in Europe: Languages, Tools, and Applications

Parametric analysis of distributed firm real-time systems: A case study

scientific article published in September 2010

Refinement preserving approximations for the design and verification of heterogeneous systems

Sharpening the Scythe of Technological Change: Socio-Technical Challenges of Autonomous and Adaptive Cyber-Physical Systems

scientific article published in 2018

System level design paradigms

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*

article by Alberto Sangiovanni-Vincentelli et al published January 2012 in European Journal of Control

metroII

Paulina is supported by:

About Paulina

Help