journal : IEEE Transactions on Software Engineering

8 articles
page_white_acrobat Integrating Software Models and Platform Models for Performance Analysis (2007) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
page_white_acrobat Simulation-verification: biting at the state explosion problem (2001) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
page_white_acrobat Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (1999) — Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
page_white_acrobat Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (1998) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
page_white_acrobat Understanding Code Mobility (1998) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
page_white_acrobat Specification and Analysis of System Architecture Using Rapide (1995) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann