Dependable Computing Research Lab

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

Papers of Lollini, P.


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:
Lollini, P.


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:30

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2012

Books Contributions

S. Chiaradonna, F. Di Giandomenico, and P. Lollini. Case study on critical infrastructures: Assessment of electric power systems. In K. Wolter, A. Avritzer, M. Vieira, and A. van Moorsel, editors, Resilience Assessment and Evaluation of Computing Systems, pages 365-390. Springer Berlin Heidelberg, 2012.
[ ABSTRACT and BibTeX Entry ]

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 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

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

Books Contributions

A. Bondavalli, A. Ceccarelli, and P. Lollini. Architecting and validating dependable systems: Experiences and visions. In Architecting Dependable Systems VII, LNCS, Berlin Heidelberg, January 2010. Springer Berlin / Heidelberg.
[ ABSTRACT and BibTeX Entry ]

International Conferences

L. Vinerbi, A. Bondavalli, and P. Lollini. Emergence: a new source of failures in complex systems. In Third International Conference on Dependability (DEPEND 2010), 2010.
[ ABSTRACT and BibTeX Entry ]

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 ]

S. Chiaradonna, F. Di Giandomenico, and P. Lollini. Assessing the impact of interdependencies in electric power systems. International Journal of System of Systems Engineering (IJSSE), InderScience Publishers, 1(3):367-386, 2009.
[ ABSTRACT and BibTeX Entry ]

P. Lollini, A. Bondavalli, and F. Di Giandomenico. A decomposition-based modeling framework for complex systems. IEEE Trans. on Reliability, 58(1):20-33, 2009.
[ ABSTRACT and BibTeX Entry ]

International Conferences

M. Beccuti, G. Franceschinis, S. Donatelli, S. Chiaradonna, F. Di Giandomenico, P. Lollini, G. Dondossola, and F. Garrone. Quantification of dependencies in electrical and information infrastructures: the crutial approach. In 4th International Conference on Critical Infrastructures (CRIS 2009), Linkoping, Sweden, 2009. IEEE Computer Society Press.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, F. Di Giandomenico, and P. Lollini. Interdependency analysis in electric power systems. In R. Setola and S. Geretshuber, editors, Critical Information Infrastructure Security, CRITIS 2008, LNCS 5508, pages 60-71, Berlin Heidelberg, 2009. Springer Berlin / Heidelberg.
[ 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 ]

S. Chiaradonna, F. Di Giandomenico, and P. Lollini. Evaluation of critical infrastructures: Challenges and viable approaches. In R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira, editors, Architecting Dependable Systems V, volume 5135 of LNCS 5135, pages 52-77. Springer, Heidelberg, 2008.
[ At publisher ] [ ABSTRACT and BibTeX Entry ]

International Journals

M. Kaaniche, P. Lollini, A. Bondavalli, and K. Kanoun. Modeling the resilience of large and evolving systems. International Journal of Performability Engineering, 4(2):153-168, April 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 ]

M. Kovacs, P. Lollini, I. Majzik, and A. Bondavalli. An integrated framework for the dependability evaluation of distributed mobile applications. In RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008), pages 29-38, November 17-19 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Casimiro, P. Lollini, M. Dixit, A. Bondavalli, and P. Veríssimo. A framework for dependable qos adaptation in probabilistic environments. In SAC '08: Proceedings of the 2008 ACM symposium on Applied computing, pages 2192-2196, New York, NY, USA, 2008. ACM.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

2007

International Conferences

S. Chiaradonna, P. Lollini, and F. Di Giandomenico. On a modeling framework for the analysis of interdependencies in electric power systems. In IEEE/IFIP 37th Int. Conference on Dependable Systems and Networks (DSN 2007), pages 185-195, Edinburgh, UK, June 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

2006

International Conferences

A. Bondavalli, S. Chiaradonna, P. Lollini, and F. Squittieri. Integration of an MPS modeling approach into Möbius. In 3rd IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2006) - Tool Session, pages 139-140, University of California, Riverside, CA, USA, September 2006.
[ ABSTRACT and BibTeX Entry ]

2005

Books Contributions

P. Lollini, A. Bondavalli, and F. Di Giandomenico. Evaluation of the impact of congestion on service availability in GPRS infrastructures. In ISAS 2005/Service Availability, Lecture Notes in Computer Science 3694, Volume Editor(s): M. Malek, N. Suri, E. Nett, 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

International Journals

P. Lollini, A. Bondavalli, and F. Di Giandomenico. A modeling methodology for hierarchical control system and its aplication. In Journal of the Brazilian Computer Society (JBCS), June 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

P. Lollini, A. Bondavalli, and F. Di Giandomenico. Qos analysis of a umts cell with different service classes. In CSN-2005 The Fourth IASTED International Conference on Communication Systems and Networks, September 12-14 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

2004

International Conferences

F. Di Giandomenico, S. Porcarelli, D. Viva, A. Bondavalli, and P. Lollini. Model-based evaluation for dependability assessment of caution++ instances. In Venue '04 (informal proceedings), Athens, Greece, May 27-28 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

P. Lollini, F. Di Giandomenico, A. Bondavalli, and S. Porcarelli. Congestion analysis in a general gprs network. In Mobile Venue '04 (informal proceedings), Athens, Greece, May 27-28 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

P. Lollini, A. Bondavalli, F. Di Giandomenico, and S. Porcarelli. Congestion analysis during outage, congestion treatment and outage recovery for simple gprs networks. In The Ninth IEEE Symposium On Computers And Communications (ISCC'2004), Alexandria, Egypt, June 28 - July 1 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

S. Porcarelli, F. Di Giandomenico, A. Bondavalli, and P. Lollini. Model-based evaluation of a radio resource management system for wireless networks. In CF'04 Computing Frontiers, pages 51-59, Ischia, Italy, April 14-16 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

S. Porcarelli, F. Di Giandomenico, P. Lollini, and A. Bondavalli. A modular approach for model-based dependability evaluation of a class of systems. In International Service Availability Symposium 2004 (ISAS 2004), Munich, Germany, May 13-14 2004. Springer-Verlag.
[ ABSTRACT and BibTeX Entry | PDF ]

2003

International Conferences

F. Di Giandomenico, S. Porcarelli, P. Lollini, and A. Bondavalli. Dependability issues in radio resource management of wireless systems. In WMPC03 - 6th International Symposium on Wireless Personal Multimedia Communications, volume 2, pages 146-150, 2003.
[ 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

S. Chiaradonna, P. Lollini, and F. Di Giandomenico. Modelling framework of an instance of the electric power system: functional description and implementation. Technical Report RCL071202, University of Florence, Dip. Sistemi Informatica, RCL group, December 2007.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

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 ]

2006

S. Chiaradonna, P. Lollini, and F. Di Giandomenico. On the modeling of an instance of the electric power system. Technical report rcl061201, university of firenze, dip. sistemi e informatica, December 2006.
[ ABSTRACT and BibTeX Entry | PDF ]

P. Lollini, A. Bondavalli, and F. Di Giandomenico. A general modeling approach and its application to a umts network with soft-handover mechanism. Technical report rcl060501, university of firenze, dip. sistemi e informatica, May 2006.
[ ABSTRACT and BibTeX Entry | PDF ]

2005

P. Lollini, A. Bondavalli, and F. Di Giandomenico. Qos evaluation in a umts cell. Technical report rcl050601, university of firenze, dip. sistemi e informatica, June 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

2004

P. Lollini, A. Bondavalli, F. Di Giandomenico, and S. Porcarelli. Model-based congestion analysis during outage and system reconfiguration in GPRS networks. Technical report rcl040501, university of firenze, dip. sistemi e informatica, May 2004.
[ ABSTRACT and BibTeX Entry | PDF ]