Authors: Aquilani, F Balsamo, S Inverardi, P

Citation: F. Aquilani et al., Performance analysis at the software architectural design level, PERF EVAL, 45(2-3), 2001, pp. 147-178

Authors: De Francesco, N Fantechi, A Gnesi, S Inverardi, P

Citation: N. De Francesco et al., Finite approximations for model checking non-finite-state processes, COMPUTER J, 44(2), 2001, pp. 109-123

Authors: Inverardi, P Wolf, AL Yankelevich, D

Citation: P. Inverardi et al., Static checking of system behaviors using derived component assumptions, ACM T SOFTW, 9(3), 2000, pp. 239-272

Authors: Compare, D Inverardi, P Wolf, AL

Citation: D. Compare et al., Uncovering architectural mismatch in component behavior, SCI COMP PR, 33(2), 1999, pp. 101-131