Dependable Computing Research Lab

[All | BibTeX Entries] [Papers] [Reports] [Authors]   Copyright Notice

Papers 2011


Papers:
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987

Technical Reports

Authors:


A total of people have accessed this page since 4 March 2003
For more information on these papers/reports please contact: 
notify-email-img

Last modified: 
26 Jan 2017 at 14:33:58

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

Books Contributions

A. Bondavalli, P. Lollini, and L. Montecchi. Graphical formalisms for modeling critical infrastructures. In Critical Infrastructure Security: Assessment, Prevention, Detection, Response. WIT Press Royal, 2011. In press.
[ ABSTRACT and BibTeX Entry ]

International Journals

S. Chiaradonna, F. Di Giandomenico, and P. Lollini. Definition, implementation and application of a model-based framework for the analysis of interdependencies in electric power systems. International Journal of Critical Infrastructure (IJCIP), Elsevier, 4(1):24-40, 2011.
[ At publisher ] [ ABSTRACT and BibTeX Entry ]

M. Dixit, A. Casimiro, P. Veríssimo, P. Lollini, and A. Bondavalli. Adaptare: Supporting automatic and dependable adaptation in dynamic environments. To appear in ACM Transactions on Autonomous and Adaptive Systems, 2011.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, O. Hamouda, M. Kaâniche, P. Lollini, I. Majzik, and H.-P. Schwefel. The hidenets holistic approach for the analysis of large critical mobile systems. To appear in IEEE Transactions on Mobile Computing, 2011.
[ ABSTRACT and BibTeX Entry ]

International Conferences

P. Ferrari, A. Flammini, S. Rinaldi, A. Bondavalli, and F. Brancati. Evaluation of timestamping uncertainty in a software-based ieee1588 implementation. In 2011 IEEE International Instrumentation and Measurement Technology Conference, May, in press 2011.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, F. Di Giandomenico, and N. Nostro. Modeling and analysis of the impact of failures in electric power systems organized in interconnected regions. pages 442-453, 2011. The 41th Annual IEEE/IFIP Int. Conference on Dependable Systems and Networks (DSN 2011) - The Performance and Dependability Symposium (PDS).
[ ABSTRACT and BibTeX Entry ]

A. Ceccarelli, M. Vieira, and A. Bondavalli. A service discovery approach for testing dynamic soas. In IEEE ISORCW-SORT 2011, March 2011. in press.
[ ABSTRACT and BibTeX Entry ]

A. Ceccarelli, L. Vinerbi, L. Falai, and A. Bondavalli. Racme: a framework to support v&v and certification. In IEEE LADC 2011), 2011. In Press.
[ ABSTRACT and BibTeX Entry ]

L. Montecchi, P. Lollini, and A. Bondavalli. Towards a mde transformation workflow for dependability analysis. In 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), 27-29 April 2011. In press.
[ ABSTRACT and BibTeX Entry ]

L. Montecchi, P. Lollini, and A. Bondavalli. Dependability concerns in model-driven engineering. In 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2011), 28-31 March 2011. In press.
[ ABSTRACT and BibTeX Entry ]