Dependable Computing Research Lab

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

Papers of Bernardeschi, C.


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:
Bernardeschi, C.


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

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

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 ]

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 ]

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 ]

C. Bernardeschi and A. Bondavalli. Semantics analysis of dataflow control systems. In MicroP94, pages 15-24, Budapest, Hungary, 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

1993

International Conferences

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 ]

1988

National Conferences

T. Belli, C. Bernardeschi, A. Bondavalli, and D. Latella. Costruzione gerarchica di tipi di dati astratti condivisi. In 27th Congresso annuale A.I.C.A., pages 165-180, Cagliari, Italy, September 28-30 1988.
[ ABSTRACT and BibTeX Entry ]