Software Engineering and Dependable Computing Laboratory (SEDC)

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


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]


1Bondavalli A., Chiaradonna S., Lollini P., Squittieri F. Integration of an MPS modeling approach into mobius. In: Third International Conference on the Quantitative Evaluation of Systems (QEST '06) (11-14 September 2006). Proceedings, pp. 139 - 140. IEEE Computer Society, 2006.  
2Daidone A., Di Giandomenico F., Bondavalli A., Chiaradonna S. Hidden markov models as a support for diagnosis: formalization of the problem and synthesis of the solution. In: 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006) (LEEDS, UK, October 2006). Proceedings, pp. 245 - 256. IEEE Computer Society, 2006.  
3Di Giandomenico F., Chiaradonna S., Galliano E., Mura I. Model-based dimensioning of CAUTION++. In: 15th IST Mobile and Wireless Summit (Myconos, Greece, 4-8 June 2006). Proceedings, ICCS-NTUA, 2006.  
4Dondossola G., Deconinck G., Di Giandomenico F., Donatelli S., Kaaniche M., Verissimo P. Critical utility infrastructural resilience. In: International Workshop on Complex Network and Infrastructure Protection. CNIP 2006 (Roma, 26-28 Marzo 2006). Proceedings, pp. 183 - 195. Claudio Balducelli e Sandro Bologna (eds.). ENEA, 2006.  
5Gönczy L., Chiaradonna S., Di Giandomenico F., Pataricza A., Bondavalli A., Bartha T. Dependability evaluation of Web service-based processes. In: Formal Methods and Stochastic Models for Performance Evaluation. Third European Performance Engineering Workshop, EPEW 2006 (Budapest, Hungary, June 21-22 2006). Proceedings, pp. 166 - 180. Andràs Horváth and Miklòs Telek (eds.). (Lecture Notes in Computer Science, vol. 4054). Springer Verlag, 2006.     


1Dondossola G., Deconinck G., Di Giandomenico F., Donatelli S., Kaaniche M., Verissimo P. Critical utility infrastructural resilience. In: crtes06 - Workshop on Research Directions for Security and Networking in Critical Real-Time and Embedded Systems - CRTES 2006 (San Jose, California, USA, 4 April 2006). Abstract, article n. 5. crtes06, 2006.     


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

Journal articles

1Balzerani L., De Angelis G., Di Ruscio D., Pierantonio A. Supporting Web applications development with a product line architecture. In: Journal of Web Engineering, vol. 5 (1) pp. 25 - 42. Rinton Press, 2006.  

Contribution to Book/Monograph

1Bertolino A., Frantzen L., Polini A., Tretmans J. Audition of Web services for testing conformance to open specified protocols. In: Architecting Systems with Trustworthy Components. International Seminar (Dagstuhl Castle, Germany, December 12-17, 2004). Revised Selected Papers. pp. 1 - 25. R.H. Reussner, J.A. Stafford, C.A. Szyperski (eds.). (Lecture notes in computer science, vol. 3938). Berlin: Springer-Verlag, 2006.  
2Bertolino A., Fantechi A., Gnesi S., Lami G. Product line use cases: scenario-based specification and testing of requirements. In: Software Product Lines : research issues in engineering and management. pp. 425 - 445. Timo Kakola et al. (eds.). Berlin: Springer-Verlag, 2006.  
3Frantzen L., Tretmans J., Willemse T. A symbolic framework for model-based testing. In: Formal Approaches to Software Testing and Runtime Verification. First Combined International Workshops. FATES 2006 and RV 2006 (Seattle, WA, USA, August 15-16, 2006). Revised Selected Papers. pp. 40 - 54. Klaus Havelund, Manuel Núñez, Grigore Rosu and Burkhart Wolff (eds.). (Lecture Notes in Computer Science, vol. 4262). Heidelberg: Springer, 2006.     


1Bartolini C., Bertolino A., De Angelis G., Lipari G. A UML profile and a methodology for real-time systems design. In: Euromicro 2006 - Conference on Software Engineering and Advanced Applications (Cavtat, Dubrovnik, Croatia, 29 August - 1 September 2006). Proceedings, pp. 108 - 115. Bob Werner (ed.). IEEE Computer Society, 2006.     
2Bertolino A., Bonivento A., De Angelis G., Sangiovanni Vincentelli A. Modeling and early performance estimation for network processor applications. In: International Conference on Model Driven Engineering Languages and Systems (Genova, Italy, October 1-6, 2006). Proceedings, vol. LNCS 4199 pp. 753 - 767. Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio (eds.). (Lecture Notes in Computer Science, vol. 4199). Springer, 2006.  
3Bertolino A., Emmerich W., Inverardi P., Issarny V. Softure: adaptable, reliable and performing software for the future. In: 1st FRCSS'06 Future Reserach Challanges for Software and Services (Vienna, March 26th - April 2nd 2006). Proceedings, vol. 12 pp. 21 - 34. J. Padberg (ed.). European Association of Software Science and Technology, 2006.  
4Bertolino A., Gao J., Marchetti E. XML every-flavor testing. In: WEBIST 2006 - Second International Conference on Web Information Systems and Technologies (Setùbal, Portugal, 11-13 April 2006). Proceedings, vol. 978-972-8865-46-7 pp. 268 - 273. J.Cordeiro, V. Perdosa, B. Encarnacao, J. Filipe (eds.). INSTICC Press, 2006.  
5Lonetti F., Martelli F. A new motion activity measure in temporal video transcoding. In: 13th International Conference on Systems, Signals and Image Processings and Semantic Multimodal Analysis of Digital Media. IWSSIP 2006 and COST 292 (Budapest, Hungary, 21-23 September 2006). Proceedings, pp. 451 - 455. B. Enyedi, A. Reichardt. IEEE, 2006.  

Technical reports

1Bertolino A., De Angelis G., Polini A. Automatic Generation of Test-beds for Pre-Deployment QoS Evaluation of Web Services. The document has been submitted to Conference: Wosp 2007, Technical report, 2006.  
2Bertolino A. TELCERT - Final recommendations on advanced testing technologies. Technology Enhanced Learning: Conformance - European Requirements & Testing. Deliverable D14, 2006.  
3Bertolino A. TELCERT - Future recommendations on advanced testing technologies. Technology Enhanced Learning: Conformance - European Requirements & Testing. Deliverable D25 V1.0, 2006.  
4Marchetti E., Mulas D., Ribolini A. Cow-Suite User Manual Ver 1.0. Technical report, 2006.  


1Annalisa B. EXaM: un tool per l'esecuzione e il monitoring di applicazioni a componenti distribuiti. Università di Pisa. Thesis, 2006.  
2Martelli F. Packet scheduling algorithms for interconnected single-hop multichannel systems. Dipartimento di Informatica. Università degli Studi di Pisa. Ph.D. Dissertation, 2006.     
3Paradisi R., Santoni M. Una Strategia di test per la derivazione selettiva di istanze a partire da XML schema. Dipartimento di Informatica. Università degli studi di Pisa. Thesis, 2006.  
4Parchi M. Progetto E.S.A.P.T. (Ericsson Statistical Analysis & Planning Tool)Un tool basato su tecniche di analisi statistica per la pianificazione della fase di test. Univesità degli studi di Pisa - Facoltà di Scienze Matematiche Fisiche e Naturali - Dipartimento di Informatica. Thesis, 2006.  
5Pratesi F. Analisi e sviluppo di servizi Web utili al controllo della correttezza delle invocazioni. Università di Pisa. Thesis, 2006.  


1Frantzen L., Tretmans J., De Vries R. Towards model-based testing of Web services. In: 1st International Workshop on Web Services - Modeling and Testing. WS-MaTe2006 (Palermo, June 9th 2006).