Software Engineering and Dependable Computing Laboratory (SEDC)

home | people | topics | projects | publications | software | news


Publications

2002  2003  2004  2005  2006  2007  2008  2009  2010  2011  2012  2013  2014  2015  2016  2017 

 
PUMA, and MetaPub allow for more selective retrieval from the collections of the CNR Institutes; in particular from the CSCE, CNUCE, IEI, and ISTI collections.

 

A - Dependable Computing Laboratory (DC) [Past Unit]


Journal articles

   2002
1Bondavalli A., Chiaradonna S., Di Giandomenico F., Xu J. An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment. In: Journal of Systems Architecture, vol. 47 pp. 763 - 781. Elsevier Science Inc, 2002.  

Contribution to Book/Monograph

   2002
1Bondavalli A., Coccoli A., Di Giandomenico F. QoS analysis of group communication protocols in wireless environment. In: Concurrency in Dependable Computing. vol. Chapter 9 pp. 169 - 188. P. Ezhilchelvan and A. Romanovsky (eds.). Boston: Kluwer, 2002.  

Proceedings

   2002
1Coccoli A., Bondavalli A., Urban P., Schiper A. Performance analysis of a consensus algorithm combining stochastic activity networks and measurements. In: International Performance and Dependability Symposium (Washington DC, 23-26 June 2002). Proceedings, 2002.  
2Porcarelli S., Di Giandomenico F., Bondavalli A. Analyzing quality of service of GPRS network systems from a user's perspective. In: ISCC'02 - Seventh International Symposium on Computers and Communications (Taormina, Italy, July 2002). Proceedings, pp. 142 - 149. IEEE, 2002.  
3Porcarelli S., Di Giandomenico F. On the effects of outages on the QoS of GPRS networks under different user characterizations. In: 4th European Dependable Computing Conference (Toulouse, France, October 23-25 200). Proceedings, pp. 2 - 18. Andrea Bondavalli, Pascale Thevenod-Fosse (eds.). (Lecture Notes in Computer Science, vol. 2485). Springer, 2002.  
4Romano L., Bondavalli A., Chiaradonna S., Cotroneo D. Implementation of threshold-based diagnostic mechanisms for COTS-based applications. In: IEEE SRDS2002. Reliable Distributed Systems (Japan, October 2002). Proceedings, pp. 296 - 303. IEEE, 2002.  

Technical reports

   2002
1Bondavalli A., Chiaradonna S., Di Giandomenico F., Mura I. Dependability modeling and evaluation of multiple phased systems using DEEM. Technical report, 2002.  
2Porcarelli S., Di Giandomenico F., Bondavalli A., Barbera M., Mura I. Accurate availability estimation of GPRS. Technical report, 2002.  

Abstracts

   2002
1Bondavalli A., Di Giandomenico F., Porcarelli S. Model-based dynamic reconfiguration in complex critical systems. In: 4th European Dependable Computing Conference. EDCC-4 (Toulouse, France, Ocotber 2002).   

 

B - Software Engineering Laboratory (SE) [Past Unit]


Journal articles

   2002
1Bertolino A., Marchetti E., Mirandola R., Lombardi G., Peciola E. Experience of applying statistical control techniques to the function test phase of a large telecommunications system. In: IEE Proceedings - Software, vol. 149 (4) pp. 93 - 101. IEE, 2002.  
2Forgács I., Bertolino A. Preventing untestedness in data-flow based testing. In: Software Testing Verification & Reliability, vol. 12 (1) p. 29-58. Wiley, 2002.  

Proceedings

   2002
1Basanieri F., Bertolino A., Marchetti E., Mirandola R. Automating the management of teams and tasks in software multiprojects using UML and queueing networks. In: 3rd ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. SNPD02 (Madrid, Spain, 26-27 June 2002). Proceedings, pp. 217 - 224. 2002.  
2Basanieri F., Bertolino A., Marchetti E. The cow_suite approach to planning and deriving test suites in UML projects. In: The Unified Modeling Language. 5th International Conference. UML 2002 (Dresden, Germany, 30 September - 4 October 2002). Proceedings, pp. 383 - 397. Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook (eds.). (Lecture Notes in Computer Science, vol. 2460). Springer, 2002.  
3Bertolino A. ISSTA 2002 Panel: is ISSTA research relevant to industrial users?. In: SSTA 2002 - ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis (Roma, Italy, 2-24 July 2002). Proceedings, pp. 144 - 153. Phyllis G. Frankl (ed.). ACM, 2002.  
4Bertolino A., Polini A. Re-thinking the development process of component-based software. In: 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems. Workshop on Component-based Software Engineering. Composing Systems from Components (Lund University, Lund, Sweden, 8-11 April 2002). Proceedings, pp. 7 - 10. Ivica Crnkovic, Stig Larsson and Judith Stafford (eds.). 2002.  
5Bertolino A., Marchetti E., Mirandola R. Real-time UML-based performance engineering to aid manager's decisions in multi-project planning. In: WOSP2002 - Third International Workshop on Software and Performance (Rome, Italy, 2-26 July 2002). Proceedings, pp. 251 - 261. ACM, 2002.  
6Bertolino A., Lombardi G., Marchetti E., Mirandola R. Software performance measures to assist decision makers within the rational unified process. In: 12th International Workshop on Software Measurement. IWSM 2002 (Magdeburg, Germany, 7-9 October 2002). Proceedings, pp. 228 - 245. Shaker Verlag, 2002.  
7Bertolino A., Fantechi A., Gnesi S., Lami G., Maccari A. Use case description of requirements for product lines. In: International Workshop on Requirements Engineering for Product Lines. REPL'02 (Essen, Germany, 9 September 2002). Proceedings, pp. 12 - 18. Birgit geppert, Klaus Schmid (eds.). (Lecture Notes in Computer Science, vol. 2485). 2002.  
8Bertolino A., Polini A. WCT: a wrapper for component testing. In: FIDJI'2002 - International Workshop on ScientiFic Engineering of Distributed Java Applications (Luxembourg, 28-29 November 2002). Proceedings, pp. 197 - 206. (Lecture Notes in Computer Science, vol. 2604). Springer, 2002.  

Technical reports

   2002
1Harrold M. J., Bertolino A. Guest Editors' Introduction: 2000 International Sysmposium on Software Testing and Analysis. In 'IEEE Transactions on Software Engineering, vol. 28 n. 2 (2002), 113-114. IEEE, 2002. Document n. ISTI-B5-05, 2002.