Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
English
What's New
Wiki Index
Eng
Ita
Search
Publications
Clouds
journal : IEEE Transactions on Software Engineering
journal : IEEE Transactions on Software Engineering
8 articles
Verifying the Evolution of Probability Distributions Governed by a DTMC
(2011) —
YoungMin Kwon, Gul Agha
Integrating Software Models and Platform Models for Performance Analysis
(2007) —
Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
(2006) —
Christine Julien, Gruia-Catalin Roman
Simulation-verification: biting at the state explosion problem
(2001) —
Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
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
Modeling and evaluating design alternatives for an on-line instrumentation system: a case study
(1998) —
Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
Understanding Code Mobility
(1998) —
Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
Specification and Analysis of System Architecture Using Rapide
(1995) —
David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
[
journal cloud
/ publications ]