Roberto Passerone

MaRDI QIDQ212523zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Taming Dr. Frankenstein: contract-based design for cyber-physical systems European Journal of Control	2013-02-28	Paper
A modal interface theory for component-based design Fundamenta Informaticae	2012-07-04	Paper
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem Hybrid Systems: Computation and Control	2009-04-30	Paper
Multiple Viewpoint Contract-Based Specification and Design Formal Methods for Components and Objects	2009-02-12	Paper
Languages and Tools for Hybrid Systems Design Foundations and Trends® in Electronic Design Automation	2008-09-01	Paper
Approximating Behaviors in Embedded System Design Concurrency, Graphs and Models	2008-06-19	Paper
Refinement preserving approximations for the design and verification of heterogeneous systems Formal Methods in System Design	2007-08-17	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-05-02	Paper
Languages and Tools for Hybrid Systems Design Foundations and Trends® in Electronic Design Automation	2007-03-05	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2005-11-11	Paper
scientific article; zbMATH DE number 2080769 (Why is no real title available?)	2004-08-04	Paper
A high speed VLSI architecture for handwriting recognition Journal of VLSI signal processing systems for signal, image and video technology	2001-10-16	Paper

Research outcomes over time

This page was built for person: Roberto Passerone