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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alberto Ferrari