Istituto di Scienza e Tecnologie
dell’Informazione “A. Faedo”

Software Engineering and Dependable Computing Laboratory (SEDC)

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

Publications

 
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]

Proceedings
2006
1	Bondavalli 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.
2	Daidone 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.
3	Di 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.
4	Dondossola 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.
5	Gö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.
Abstracts
2006
1	Dondossola 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
2006
1	Balzerani 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
2006
1	Bertolino 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.
2	Bertolino 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.
3	Frantzen 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.
Proceedings
2006
1	Bartolini 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.
2	Bertolino 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.
3	Bertolino 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.
4	Bertolino 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.
5	Lonetti 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
2006
1	Bertolino 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.
2	Bertolino A. TELCERT - Final recommendations on advanced testing technologies. Technology Enhanced Learning: Conformance - European Requirements & Testing. Deliverable D14, 2006.
3	Bertolino A. TELCERT - Future recommendations on advanced testing technologies. Technology Enhanced Learning: Conformance - European Requirements & Testing. Deliverable D25 V1.0, 2006.
4	Marchetti E., Mulas D., Ribolini A. Cow-Suite User Manual Ver 1.0. Technical report, 2006.
Dissertations
2006
1	Annalisa B. EXaM: un tool per l'esecuzione e il monitoring di applicazioni a componenti distribuiti. Università di Pisa. Thesis, 2006.
2	Martelli F. Packet scheduling algorithms for interconnected single-hop multichannel systems. Dipartimento di Informatica. Università degli Studi di Pisa. Ph.D. Dissertation, 2006.
3	Paradisi 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.
4	Parchi 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.
5	Pratesi F. Analisi e sviluppo di servizi Web utili al controllo della correttezza delle invocazioni. Università di Pisa. Thesis, 2006.
Abstracts
2006
1	Frantzen 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).