Concepedia

Alberto Ferrari

AF

Statistics

Publications

9

Citations

293

H-Index

9

Active since

1993

Affiliations

University of Trento(Current)

Sapienza University of Rome

Raytheon Technologies (Italy)

University of California, Berkeley

University of Verona

Alberto Ferrari is an author at University of Trento specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringFormal MethodsFormal VerificationSystems EngineeringComputer ScienceComputer EngineeringVerificationAutomated ReasoningDesignSoftware Design

Publications per year

1993–2017

9

Publications

9

Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>

Luca Benvenuti, Davide Bresolin, Pieter Collins et al. · International Journal of Robust and Nonlinear Control · 2012 · 52 citations

Engineering, Reachability Problem, Verification +18

Ariadne: a Framework for Reachability Analysis of Hybrid Automata

A. Balluchi, Alberto Casagrande, Pieter Collins et al. · Data Archiving and Networked Services (DANS) · 2006 · 48 citations

Ariadne Relies, Engineering, Reachability Problem +16

A contract-based formalism for the specification of heterogeneous systems

Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca et al. · 2008 · 42 citations

Engineering, Verification, Software Engineering +19

Reachability computation for hybrid systems with Ariadne

Luca Benvenuti, Davide Bresolin, Alberto Casagrande et al. · IFAC Proceedings Volumes · 2008 · 35 citations · Full text

Reachability Analysis, Engineering, Reachability Problem +7

Metamodels in Europe: Languages, Tools, and Applications

Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf et al. · IEEE Design & Test of Computers · 2009 · 34 citations

Automotive Engineering, Metamodeling-driven System Engineering, Engineering +18

1–5 of 9