Performability Modeling of Mobile Software Systems. - Paola Bracchi; Bojan Cukic; Vittorio Cortellessa (ISSRE, 2004)

A framework to model and analyze the performability of mobile software systems. - Paola Bracchi; Vittorio Cortellessa (WOSP, 2004)

Modeling the Performance of Border Inspections with Electronic Travel Documents. - Paola Bracchi; Bojan Cukic; Vittorio Cortellessa (ISSRE, 2006)