Dependable Computing Research Lab

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

Papers of Montecchi, L.


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:
Montecchi, L.


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:32:51

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2011

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 Conferences

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 ]

2010

International Conferences

A. Ceccarelli, J. Gronbaek, L. Montecchi, H.-P. Schwefel, and A. Bondavalli. Towards a framework for self-adaptive reliable network services in highly-uncertain environments. In Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on, pages 184 -193, May 2010.
[ ABSTRACT and BibTeX Entry | PDF ]

2009

International Journals

A. Bondavalli, P. Lollini, and L. Montecchi. Qos perceived by users of ubiquitous umts: Compositional models and thorough analysis. Journal of Software, 4(7):675-685, 2009.
[ ABSTRACT and BibTeX Entry ]

2008

Books Contributions

A. Bondavalli, P. Lollini, and L. Montecchi. Analysis of user perceived qos in ubiquitous umts environments subject to faults. In 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008), volume 0 of LNCS, pages 0-0. Springer Verlag, 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

P. Lollini, L. Montecchi, M. Magyar, I. Majzik, and A. Bondavalli. Analysis of the impact of communication protocols on service quality in ertms automatic train control systems. In Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), pages 0-0, October 9-10 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

Reports

2011

L. Montecchi, P. Lollini, and A. Bondavalli. An intermediate dependability model for state-based dependability analysis. Technical Report rcl101115 v2.1, University of Florence, Dip. Sistemi Informatica, RCL group, January 2011.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

2008

P. Lollini, L. Montecchi, M. Magyar, I. Majzik, and A. Bondavalli. Assessing the impact of cyclic/acyclic evc-dmi interactions in automatic train control systems. Technical Report rcl080401, University of Florence, Dip. Sistemi Informatica, RCL group, April 2008.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

2007

P. Lollini, L. Montecchi, and A. Bondavalli. On the evaluation of hidenets use-cases having phased behavior. Technical Report RCL-071201, Universita' degli Studi di Firenze, Dipartimento di Sistemi e Informatica, 12 2007.
[ ABSTRACT and BibTeX Entry | PDF ]