Alberto Ferrari

Available identifiers

zbMath Open ferrari.albertoMaRDI QIDQ1860098

List of research outcomes

Publication	Date of Publication	Type
Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>	2014-04-08	Paper
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis	2013-01-07	Paper
Multiple Viewpoint Contract-Based Specification and Design	2009-02-12	Paper
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System	2008-09-02	Paper
Hybrid systems in automotive electronics design	2007-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4408177	2003-06-29	Paper
A complete system for NN classification based on a VLSI array processor	2003-02-20	Paper

Research outcomes over time

This page was built for person: Alberto Ferrari