Authors: Cabodi, G Camurati, P Quer, S

Citation: G. Cabodi et al., Reachability analysis of large circuits using disjunctive partitioning andpartial iterative squaring, J SYST ARCH, 47(2), 2001, pp. 163-179

Authors: Cabodi, G Camurati, P Quer, S

Citation: G. Cabodi et al., Symbolic forward/backward traversals of large finite state machines, J SYST ARCH, 46(12), 2000, pp. 1137-1158

Authors: Cabodi, G Camurati, P Passerone, C Quer, S

Citation: G. Cabodi et al., Exploiting timed transition relations in sequential cycle-based simulationof embedded systems, IEE P-COM D, 147(5), 2000, pp. 305-312

Authors: Cabodi, G Camurati, P Quer, S

Citation: G. Cabodi et al., Improving symbolic reachability analysis by means of activity profiles, IEEE COMP A, 19(9), 2000, pp. 1065-1075

Authors: Cabodi, G Camurati, P Quer, S

Citation: G. Cabodi et al., Improving the efficiency of BDD-based operators by means of partitioning, IEEE COMP A, 18(5), 1999, pp. 545-556

Authors: Cabodi, G Camurati, P Quer, S

Citation: G. Cabodi et al., Implicit manipulation of equivalence classes for large finite state machines, IEE P-COM D, 145(6), 1998, pp. 395-402