Dependable Computing Research Lab

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

Papers of Simoncini, 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:
Simoncini, 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:33:45

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2007

International Conferences

F. Romani, S. Chiaradonna, F. Di Giandomenico, and L. Simoncini. Simulation models and implementation of a simulator for the performability analysis of electric power systems considering interdependencies. In 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), pages 305-312, Dallas, Texas, USA, November 2007.
[ ABSTRACT and BibTeX Entry ]

2004

International Conferences

L. Simoncini, F. Di Giandomenico, A. Bondavalli, and S. Chiaradonna. Architectural challenges for a dependable information society. In Fault Tolerance for Trustworthy and Dependable Information Infrastructures, Topical Days Track, WCC 18th IFIP World Computer Congress, Toulouse, France, August, 22-27 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

2001

International Journals

A. Bondavalli, M. Nelli, L. Simoncini, and G. Mongardi. Hierarchical modelling of complex control systems: Dependability analysis of a railway interlocking. Journal of Computer Systems Science and Engineering, CRL Publishing, 16(4):249-261, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. Design validation of embedded dependable systems. IEEE MICRO (special issue on embedded fault tolerant systems), 21(5):52-62, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

F. Tataranni, S. Porcarelli, F. Di Giandomenico, A. Bondavalli, and L. Simoncini. Modeling and analysis of the behavior of GPRS systems. In WORDS 2001 6th Int. Workshop on Object-oriented Real-time Dependable Systems, pages 51-58, Rome, Italy, January 2001 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

2000

International Conferences

A. Coccoli, A. Bondavalli, and L. Simoncini. Consensus in asynchronous distributed systems. In IDPT '2000 5th, Int. Conference on Integrated Design and Process Technology, Dallas, TX, USA, June 4-8 2000.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. An integrated and compositional approach to design validation of embedded dependable systems. In IEEE Int. Workshop On Embedded Fault-Tolerant Systems (EFTS00), Washington DC, September 21-22 2000.
[ ABSTRACT and BibTeX Entry ]

1999

International Conferences

A. Coccoli, L. Simoncini, and A. Bondavalli. Analysis and validation of protocols for the realisation of distributed dependable applications in wireless networks. In First Int. Workshop on Networked Group Communication, NGC '99, Pisa, Italy, 1999.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. Integrated validation of dependable systems. In IDPT '99 4th, Int. Conference on Integrated Design and Process Technology, Kusadasi, Turkey, June 27 - July 2 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. Towards a discipline of system engineering: Validation of dependable systems. In IEEE - From Needs to Solutions: Computer Security, Dependability, and Assurance (NATO CSDA'98), pages 144-165. Williamsburg, VA, USA, November 11-13 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

1998

International Journals

C. Bernardeschi, A. Bondavalli, Gy. Csertán, I. Majzik, and L. Simoncini. Temporal analysis of data flow control systems. IFAC Automatica, 34(2):169-182, 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

1997

International Conferences

A. Bondavalli, M. Nelli, L. Simoncini, and G. Mongardi. Application of analytical model-based evaluations to the railway aplications: a case study. In WCRR - World Congress on Railway Research, Firenze, Italia, 16-19 Novembre 1997.
[ ABSTRACT and BibTeX Entry | PDF ]

1996

International Conferences

M. Nelli, A. Bondavalli, and L. Simoncini. Dependability modelling and analysis of complex control systems: an application to railway interlocking. In EDCC-2 European Dependable Computing Conference, pages 93-110, Taormina, Italy, 1996.
[ ABSTRACT and BibTeX Entry | PDF ]

B. Antal, A. Bondavalli, Gy. Csertán, I. Majzik, and L. Simoncini. Reachability and timing analysis in data flow networks: a case study. In Euromicro 96, 22nd IEEE Euromicro Conference, pages 193-200, Prague, Czech Republic, September 2-5, 1996, 1996. ISBN 0-8186-7487-3.
[ ABSTRACT and BibTeX Entry | PDF ]

1995

International Journals

C. Bernardeschi, A. Bondavalli, and L. Simoncini. Using process algebras for the semantic analysis of data flow networks. IEICE Trans. on Information and Systems, E78-D(8):959-968, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

1994

Books Contributions

A. Bondavalli, C. Bernardeschi, and L. Simoncini. The design of distributed, dependable real-time systems using a functional paradigm. In W.A. Halang and A.D. Stoyenko, editors, Real Time Computing, NATO ASI Series F, pages 527-529. Springer Verlag, Saint Martin, Dutch Antilles, 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

Gy. Csertán, C. Bernardeschi, A. Bondavalli, and L. Simoncini. Analysis of temporal properties of dataflow networks. In 12th IFAC workshop DCCS 94, pages 153-158, Toledo, Spain, 1994. Elsevier Science.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli and L. Simoncini. Dependable dataflow control systems. In MicroP94, 8th Symposium on Microcomputer and Microprocessor Applications, pages 5-14, Budapest, Hungary, March 30 - April 1 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

C. Bernardeschi, A. Bondavalli, and L. Simoncini. Data-flow networks in the design of safety-critical systems. In ESREL 94, pages 876-881, Le Baule, France, 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

1993

International Conferences

A. Bondavalli and L. Simoncini. Functional paradigm for designing dependable large-scale parallel computing systems. In IEEE Int. Symposium on Autonomous Decentralized Systems (ISADS '93), pages 108-114, Kawasaki, japan, March 30 - April 1 1993.
[ ABSTRACT and BibTeX Entry | PDF ]

C. Bernardeschi, A. Bondavalli, and L. Simoncini. Data flow control systems: an example of safety validation. In SAFECOMP '93, pages 9-20, Poznan, Poland, October 27-29 1993. Springer Verlag.
[ ABSTRACT and BibTeX Entry | PDF ]

C. Bernardeschi, A. Bondavalli, and L. Simoncini. From data flow networks to process algebras. In PARLE 93 - LNCS 694, volume 694 of Lecture Notes in Computer Science, pages 740-743. Springer Verlag, Munchen, Germany, June 14-18 1993.
[ ABSTRACT and BibTeX Entry | PDF ]

1992

Books Contributions

F. Di Giandomenico, M. L. Guidotti, F. Grandoni, and L. Simoncini. Evaluating the efficiency of byzantine agreement algorithms. In D. R. Avresky, editor, Hardware and Software Fault Tolerance in Parallel Computing Systems, pages 227-242. Ellis Horwood Workshops, 1992.
[ ABSTRACT and BibTeX Entry ]

International Conferences

A. Bondavalli, L. Strigini, and L. Simoncini. Data-flow like languages for real-time systems: Issues of computational models and notation. In 11th IEEE Symposium on Reliable Distributed Systems (SRDS-11), pages 214-221, Houston, Texas, USA, October 5-7 1992. also Esprit PDCS (Predictably Dependable Computing Systems) report No. D10, 1992.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli and L. Simoncini. Structured sofware fault-tolerance with BSM. In 3rd. IEEE Workshop on Future Trends in Distributed Computing Systems, pages 278-286, Taipei, Taiwan, April 14-16 1992. also Esprit PDCS (Predictably Dependable Computing Systems) report 2nd Year Deliverables, 1991.
[ ABSTRACT and BibTeX Entry ]

1991

International Conferences

L. Strigini, A. Bondavalli, and L. Simoncini. Data-flow like languages for designing dependable real-time control systems. In 10th IFAC Workshop on Distributed Computer Control Systems, pages 131-136, Vienna, Austria, 1991. Pergamon Press.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, M. Mannocci, L. Nardone, L. Simoncini, F. Tarini, and P. Zini. A performable BSM architecture. In 5th Int. Conference on Fault-Tolerant Computing Systems, pages 332-347, Nurnberg, Germany, September 1991. Springer-Verlag.
[ ABSTRACT and BibTeX Entry ]

International Workshops with no Proceedings

A. Bondavalli, M. Mannocci, L. Nardone, L. Simoncini, F. Tarini, and P. Zini. PACS: Performability-achieving computing systems. In EWDC-3 European Workshop on Dependable Computing, Munich, Germany, April 3-5 1991.
[ ABSTRACT and BibTeX Entry ]

National Conferences

A. Bondavalli, M. Mannocci, L. Nardone, L. Simoncini, F. Tarini, and P. Zini. Pacs: Performability-achieving computing systems. In 30th Congresso annuale A.I.C.A., pages 1025-1028, Siena, Italy, 1991.
[ ABSTRACT and BibTeX Entry ]

1990

International Conferences

A. Bondavalli and L. Simoncini. Failures classification with respect to detection. In 2nd. IEEE Workshop on Future Trends in Distributed Computing Systems, pages 47-53, Cairo, Egypt, September 30 - October 2 1990. also Esprit PDCS (Predictably Dependable Computing Systems) report 1st Year Deliverables, 1990.
[ ABSTRACT and BibTeX Entry ]

1989

International Journals

A. Bondavalli and L. Simoncini. Data-flow-like model for robust computations. Journal of Computer Systems Science and Engineering, 4(3):176-184, 1989. Butterworths, July.
[ ABSTRACT and BibTeX Entry ]

1988

International Conferences

A. Bondavalli and L. Simoncini. Modelling robust computations in a Data-Flow-like style. In 1st IEEE Workshop on Future Trends of Distributed Computing Systems, pages 252-261, Hong Kong, September 14-16 1988.
[ ABSTRACT and BibTeX Entry ]

1987

International Workshops with no Proceedings

A. Bondavalli and L. Simoncini. Modelling robust computations in a Data-Flow-like style. In Workshop on Fault Tolerance in Parallel and Distributed Computing (without Proceedings), San Diego, California, 1987. also Workshop on Fault Tolerance in Parallel and Distributed Computing, San Diego, California, Dec. 7-8,1987 and EWDC-1 1st European Workshop on Dependable Computing, Toulouse, Francia, March 1988. (Workshps without Proceedings).
[ ABSTRACT and BibTeX Entry ]

National Conferences

A. Bondavalli and L. Simoncini. Un modello per la descrizione di computazioni robuste data-flow-like. In 26th Congresso annuale A.I.C.A., pages 163-182, Trento, Italy, September 30 - October 2 1987.
[ ABSTRACT and BibTeX Entry ]

Reports

2007

F. Romani, S. Chiaradonna, F. Di Giandomenico, and L. Simoncini. Simulation models and implementation of a simulator for the performability analysis of electric power systems considering interdependencies. Technical Report 2007-TR-012, ISTI-CNR, Italy, 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

1996

M. Nelli, A. Bondavalli, and L. Simoncini. Hierarchical modelling of HW/SW control systems: an application to dependability analysis of railway interlocking. Internal Report C96-09, CNUCE-CNR, Pisa, Italy, 1996.
[ ABSTRACT and BibTeX Entry ]