Alberto Ferrari
From MaRDI portal
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 |
|---|---|---|
| Assume-guarantee verification of nonlinear hybrid systems with ARIADNE International Journal of Robust and Nonlinear Control | 2014-04-08 | Paper |
| Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis Lecture Notes in Computer Science | 2013-01-07 | Paper |
| Multiple Viewpoint Contract-Based Specification and Design Formal Methods for Components and Objects | 2009-02-12 | Paper |
| Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
| Hybrid systems in automotive electronics design International Journal of Control | 2007-05-18 | Paper |
| scientific article; zbMATH DE number 1941120 (Why is no real title available?) | 2003-06-29 | Paper |
| A complete system for NN classification based on a VLSI array processor Pattern Recognition | 2003-02-20 | Paper |
Research outcomes over time
This page was built for person: Alberto Ferrari
