Stefano Di Gennaro (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

5		Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Diagnosability of hybrid automata with measurement uncertainty. CDC 2008: 1042-1047
4		Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Diagnosability Verification for Hybrid Automata. HSCC 2007: 684-687
3		Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro: Observability of Hybrid Automata by Abstraction. HSCC 2006: 169-183
2		Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli: Optimal Control Using Bisimulations: Implementation. HSCC 2001: 175-188
1		Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro: Theory of Optimal Control Using Bisimulations. HSCC 2000: 89-102

Selection of 5 from 5 records - Stefano Di Gennaro has 4 coauthors