[XCDGP16]
J. Xiao, S. Chiaradonna, F. Di Giandomenico, and A. Pimentel. Improving voltage control in MV smart grids. In Seventh IEEE International Conference on Smart Grid Communications (SmartGridComm 2016), pages 382-387, Sydney, Australia, November 2016.
[ bib ]
[CDGM16a]
S. Chiaradonna, F. Di Giandomenico, and G. Masetti. Analyzing the impact of failures in the electric power distribution grid. In Seventh Latin-American Symposium on Dependable Computing (LADC 2016), pages 99-108, Cali, Colombia, October 2016.
[ bib ]
[CDGM16b]
S. Chiaradonna, F. Di Giandomenico, and G. Masetti. Efficient non-anonymous composition operator for modeling complex dependable systems. In G Tredan, editor, 12nd European Dependable Computing Conference (EDCC 2016), Fast Abstracts Proceedings, volume abs/1608.05874, Gothenburg, Sweden, September 2016.
[ bib ]
[CDGM16c]
S. Chiaradonna, F. Di Giandomenico, and G. Masetti. A stochastic modelling framework to analyze smart grids control strategies. In Fourth IEEE International Conference on Smart Energy Grid Engineering (SEGE 2016), pages 123-130, Oshawa, Canada, August 2016.
[ bib ]
[MCDG16]
G. Masetti, S. Chiaradonna, and F. Di Giandomenico. Exploring equations ordering influence on variants of the Newton-Raphson method. In Numerical Computations: Theory and Algorithms - (NUMTA 2016): 2nd International Conf. and Summer School, volume 1776, Pizzo Calabro, Italy, June 2016. AIP.
[ bib ]
[CDGX16]
S. Chiaradonna, F. Di Giandomenico, and J. Xiao. Quantification of the effectiveness of medium voltage control policies in smart grids. In 17th IEEE Int. Symp. on High Assur. Syst. Eng. (HASE 2016), pages 284-291, Orlando, FLorida, USA, 2016.
[ bib ]
[BCDGG16]
D. Basile, S. Chiaradonna, F. Di Giandomenico, and S. Gnesi. A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems. Journal of Rail Transport Planning & Management, Elsevier, 6(2):163-181, 2016.
[ bib ]
[BCDG+15]
D. Basile, S. Chiaradonna, F. Di Giandomenico, S. Gnesi, and F. Mazzanti. Stochastic model-based analysis of energy consumption in a rail road switch heating system. In International Workshop on Software Engineering for Resilient Systems (SERENE 2015), pages 82-98, Paris, France, September 2015.
[ bib ]
[CDGM15]
S. Chiaradonna, F. Di Giandomenico, and N. Murru. On enhancing effciency and accuracy of particle swarm optimization algorithms. International Journal of Innovative Computing, Information and Control (IJICIC), 11(4):1165-1190, 2015.
[ bib ]
[DSMDG+14]
C. Di Sarno, N. Murru, F. Di Giandomenico, S. Chiaradonna, A. Garofalo, and G. Cerullo. Power grid outlier treatment through Kalman filter. In Second IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2014), Naples, Italy, November 2014.
[ bib ]
[CDGM14]
S. Chiaradonna, F. Di Giandomenico, and N. Murru. On a modeling approach to analyze resilience of a smart grid infrastructure. In Tenth European Dependable Computing Conference (EDCC 2014), Under publication, pages 166-177, Newcastle upon Tyne, UK, May 2014.
[ bib ]
[CDGN13]
S. Chiaradonna, F. Di Giandomenico, and N. Nostro. Stochastic assessment of power systems in presence of heterogeneity. International Journal of Critical Computer-Based Systems, 4(4):326-348, 2013.
[ bib ]
[BCDG+13]
M. Beccuti, S. Chiaradonna, F. Di Giandomenico, S. Donatelli, G. Dondossola, and G. Franceschinis. Model-based evaluation of the impact of attacks to the telecommunication service of the electrical grid. In P. Theron and S. Bologna, editors, Critical Information Infrastructure Protection and Resilience in the ICT Sector, pages 220-241. IGI Global Publishing, 2013.
[ bib ]
[CDGN12b]
S. Chiaradonna, F. Di Giandomenico, and N. Nostro. Model-based assessment of multi-region electric power systems showing heterogeneous characteristics. In Safecomp 2012 Workshop: Dependable and Secure Computing for Large-Scale Complex Critical Infrastructures (DESEC4LCCI 2012), pages 328-339, Magdeburg, Germany, September 2012. Springer Verlag.
[ bib ]
[FICS12]
A. Ferrari, M. L. Itria, S. Chiaradonna, and G. O. Spagnolo. Model-based evaluation of the availability of a cbtc system. In SERENE 2012 - Software Engineering for Resilient Systems. 4th International Workshop, pages 165-179, Pisa, Italy, September 2012. Paris Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012.
[ bib ]
[CDGN12a]
S. Chiaradonna, F. Di Giandomenico, and N. Nostro. Analysis of electric power systems accounting for interdependencies in heterogeneous scenarios. In Ninth European Dependable Computing Conference (EDCC 2012), pages 84-93, Sibiu, Romania, May 2012.
[ bib ]
[BCDG+12]
M. Beccuti, S. Chiaradonna, F. Di Giandomenico, S. Donatelli, G. Dondossola, and G. Franceschinis. Quantification of dependencies between electrical and information infrastructures. Int. J. of Critical Infrastructure Protection (IJCIP), Elsevier, 5(1):14-27, 2012.
[ bib | http ]
[CDGL12]
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.
[ bib ]
[CVB11]
A. Ceccarelli, M. Vieira, and A. Bondavalli. A service discovery approach for testing dynamic soas. In IEEE ISORCW-SORT 2011, March 2011. in press.
[ bib ]
[FFR+11]
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.
[ bib ]
[CDGN11]
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).
[ bib ]
[CDGL11]
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.
[ bib | http ]
[CVFB11]
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.
[ bib ]
[MLB11c]
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.
[ bib ]
[MLB11a]
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.
[ bib ]
[BLM11]
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.
[ bib ]
[MLB11b]
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.
[ bib | .html ]
[DCV+11]
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.
[ bib ]
[BHK+11]
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.
[ bib ]
[GSCB10]
J. Gronbaek, H.P. Schwefel, A. Ceccarelli, and A. Bondavalli. Improving robustness of network fault diagnosis to uncertainty in observations. In Network Computing and Applications (NCA), 2010 9th IEEE International Symposium on, pages 229 -232, July 2010.
[ bib ]
[CGM+10]
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.
[ bib ]
[MCDG10]
P. Masci, S. Chiaradonna, and F. Di Giandomenico. Dependability analysis of diffusion protocols in wireless networks with heterogeneous node capabilities. In Eighth European Dependable Computing Conference (EDCC-2010), pages 145-154, Valencia, Spain, April 2010.
[ bib ]
[BB10]
F. Brancati and A. Bondavalli. Practical aspects in analyzing and sharing the results of experimental evaluation. In Reliable Distributed Systems, 2010 29th IEEE Symposium on, pages 328 -332, nov 2010.
[ bib ]
[FFR+10]
P. Ferrari, A. Flammini, S. Rinaldi, A. Bondavalli, and F. Brancati. Improving robustness of the synchronization quality of ieee1588 nodes. In Precision Clock Synchronization for Measurement Control and Communication (ISPCS), 2010 International IEEE Symposium on, pages 36 -41, oct 2010.
[ bib ]
[BBCV10]
A. Bondavalli, F. Brancati, A. Ceccarelli, and M. Vadursi. Experimental validation of a synchronization uncertainty-aware software clock. Reliable Distributed Systems, IEEE Symposium on, 0:245-254, 2010.
[ bib ]
[VBL10]
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.
[ bib ]
[BCL10]
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.
[ bib ]
[BCFV10]
A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. A new approach and a related tool for dependability measurements on distributed systems. volume 59, pages 820-831, 2010.
[ bib ]
[Cec09]
A. Ceccarelli. Towards techniques and methodologies for collecting trusted observation results. In Student Forum at DSN-2009 IEEE Int. Conference on Dependable Systems and Networks, Supplemental Volume, pages G34-G37, June 29-July 2 2009.
[ bib ]
[Áb09]
Hegedüs Ábel. A model transformation-based approach for the dependability analysis of uml-based system designs with maintenance. Technical Report rcl090601, University of Florence, Dip. Sistemi Informatica, RCL group, June 2009.
[ bib | .html ]
[BLM09]
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.
[ bib ]
[BBC09]
A. Bondavalli, F. Brancati, and A. Ceccarelli. Safe estimation of time uncertainty of local clocks. In Proc. of Int. IEEE Symp. on Precision Clock Synch. for Measur., Contr. and Comm., ISPCS 2009, pages 47-52, 2009.
[ bib ]
[BBCF09]
A. Bondavalli, F. Brancati, A. Ceccarelli, and L. Falai. An experimental framework for the analysis and validation of software clocks. In LNCS Software Technologies for Embedded and Ubiquitous Systems (SEUS), pages 69-81, 2009.
[ bib ]
[CBI09]
A. Ceccarelli, A. Bondavalli, and D. Iovino. Trustworthy evaluation of a safe driver machine interface through software-implemented fault injection. In IEEE 15th Pacific Rim International Symposium on Dependable Computing, pages 234-241, 2009.
[ bib ]
[BFD+09]
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.
[ bib ]
[CDGL09a]
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.
[ bib ]
[BCG+09]
A. Bondavalli, A. Ceccarelli, J. Gronbaek, D. Iovino, L. Karna, S. Klapka, T.K. Madsen, M. Magyar, I. Majzik, and A. Salzo. Design and evaluation of a safe driver machine interface. IJPE, 4(2):153-166, 2009.
[ bib ]
[CDGL09b]
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.
[ bib ]
[LBDG09]
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.
[ bib ]
[Dai08]
A. Daidone. Forever assessment: modelling details. Technical Report rcl080508, University of Florence, Dip. Sistemi Informatica, RCL group, December 2008.
[ bib | .html ]
[KLMB08]
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.
[ bib ]
[LMM+08a]
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.
[ bib ]
[CIB08]
A. Ceccarelli, D. Iovino, and A. Bondavalli. A fault injection tool for trustworthy, comparative measurements and analysis. In IEEE SRDS 2008 Workshop, October 5 2008.
[ bib ]
[MBK+08]
I. Majzik, A. Bondavalli, S. Klapka, T.K. Madsen, and D. Iovino. Formal methods in the evaluation of a safe driver-machine interface. In FORMS-FORMAT 2008, October 2008.
[ bib ]
[VNC+08]
P. Verissimo, N. Neves, M. Correia, A. Abou El Kalam, Y. Deswarte, A. Bondavalli, and A. Daidone. The crutial architecture for critical information infrastructures. In R. de Lemos et al., editor, Architecting Dependable Systems V, LNCS 5135, pages 1-27, Berlin Heidelberg, August 2008. Springer Berlin / Heidelberg.
[ bib ]
[BF08]
A. Bondavalli and L. Falai. RODS: General framework for rigorous observation of distributed systems. In Workshop on Resilience Assessment and Dependability Benchmarking (RADB08). DSN 2008-The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks., June 2008.
[ bib ]
[CMI+08]
A. Ceccarelli, I. Majzik, D. Iovino, F. Caneschi, G. Pinter, and A. Bondavalli. A resilient sil 2 driver machine interface for train control systems. In IEEE Third International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08), June 2008.
[ bib ]
[BCFV08]
A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Enhancing the nekostat tool with uncertainty, resolution and intrusiveness evaluation capabilities. In DSN 2008 Workshop on Resilience Assessment and Dependability Benchmarking, June 2008.
[ bib ]
[BCF08b]
A. Bondavalli, A. Ceccarelli, and L. Falai. Reliable and self-aware clock: complete description. Technical Report rcl080508, University of Florence, Dip. Sistemi Informatica, RCL group, May 2008.
[ bib | .html ]
[KLBK08]
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.
[ bib ]
[LMM+08b]
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.
[ bib | .html ]
[BCF08a]
A. Bondavalli, A. Ceccarelli, and L. Falai. Assuring resilient time synchronization. In SRDS 2008: Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems, Washington, DC, USA, 2008. IEEE Computer Society.
[ bib ]
[BLM08]
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.
[ bib ]
[DCBV08]
A. Daidone, S. Chiaradonna, A. Bondavalli, and P. Verissimo. Analysis of a redundant architecture for critical infrastructure protection. In R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira, editors, Architecting Dependable Systems V, volume 5135 of LNCS, pages 78-100. Springer, Heidelberg, 2008.
[ bib ]
[CDGL08]
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.
[ bib | http ]
[CLD+08]
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.
[ bib | http ]
[CLDG07a]
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.
[ bib | .html ]
[RCDGS07a]
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.
[ bib ]
[BCFV07a]
A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Foundations of measurement theory applied to the evaluation of dependability attributes. In DSN-2007 IEEE Int. Conference on Dependable Systems and Networks, June 25-28 2007.
[ bib ]
[Dai07]
A. Daidone. Diagnosis framework for complex critical systems/infrastructures. In DSN-2007 student forum, June 25-28 2007.
[ bib ]
[CLDG07b]
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.
[ bib ]
[BCFV07b]
A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Towards making nekostat a proper measurement tool for the validation of distributed systems. In Proceedings of The 8th International Symposium on Autonomous Decentralized Systems, March 2007.
[ bib ]
[LMB07]
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.
[ bib ]
[SBS07]
M. Serafini, A. Bondavalli, and N. Suri. Online diagnosis and recovery: On the choice and impact of tuning parameters. IEEE Trans. on Dependable and Secure Computing, 4(4):295-312, 2007.
[ bib ]
[BBR07]
A. Bondavalli, F. V. Brasileiro, and S. Rajsbaum, editors. Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, volume 4746 of Lecture Notes in Computer Science. Springer, 2007.
[ bib ]
[RCDGS07b]
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.
[ bib ]
[BCF07]
A. Bondavalli, A. Ceccarelli, and L. Falai. A self-aware clock for pervasive computing systems. In The Fifteen Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP 2007), Febraury 7-9 2007.
[ bib ]
[FB07]
L. Falai and A. Bondavalli. Extending the applicability of the neko framework for the validation and verification of distributed algorithms. In P. Pelliccione, editor, SOFTWARE ENGINEERING AND FAULT TOLERANCE. World Scientific Publishing Co. Pte. Ltd, 2007.
[ bib ]
[CLDG06]
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.
[ bib ]
[DDGBC06]
A. Daidone, F. Di Giandomenico, A. Bondavalli, and S. Chiaradonna. Hidden Markov models as a support for diagnosis: Formalization of the problem and synthesis of the solution. In 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), pages 245-256, Leeds, UK, October 2006.
[ bib ]
[BCLS06]
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.
[ bib ]
[DGCEM06]
F. Di Giandomenico, S. Chiaradonna, Galliano E., and I. Mura. Model-based dimensioning of CAUTION++. In 15th IST Mobile & Wireless Communication Summit, Myconos, Greece, June 2006.
[ bib ]
[LBDG06]
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.
[ bib ]
[ABHV06]
J. Arlat, A. Bondavalli, B. R. Haverkort, and P. Veríssimo. Guest editorial for the special issue on the 2005 ieee/ifip conference on dependable systems and networks, including the dependable computing and communications and performance and dependability symposia. IEEE Trans. on Dependable and Secure Computing, 3(3):169-171, 2006.
[ bib ]
[GCDG+06]
L. Gönczy, S. Chiaradonna, F. Di Giandomenico, A. Pataricza, A. Bondavalli, and T. Bartha. Dependability evaluation of web service-based processes. In A. Horváth and M. Telek, editors, 3rd European Performance Engineering Workshop (EPEW2006), Budapest, Hungary, June 21-22, 2006, volume 4054 of LNCS, pages 166-180. Springer Verlag, 2006.
[ bib | http ]
[LBDG05c]
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.
[ bib ]
[LBDG05b]
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.
[ bib ]
[LBDG05d]
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.
[ bib ]
[BCDG05]
A. Bondavalli, S. Chiaradonna, and F. Di Giandomenico. Model-based evaluation as a support to the design of dependable systems. In H. B. Diab and A. Y. Zomaya, editors, Dependable Computing Systems: Paradigms, Performance Issues, & Applications. John Wiley & Sons, 2005.
[ bib ]
[LBDG05a]
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.
[ bib ]
[FBDG05a]
L. Falai, A. Bondavalli, and F. Di Giandomenico. Nekostat extension for neko: Quantitative evaluation of distributed algorithms. In Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems (QEST '05), 2005.
[ bib ]
[FBDG05b]
L. Falai, A. Bondavalli, and F. Di Giandomenico. Quantitative evaluation of distributed algorithms using the neko framework: the nekostat extension. In LADC, 2005.
[ bib ]
[FB05]
L. Falai and A. Bondavalli. Experimental evalutation of the QoS of failure detectors on Wide Area Network. In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005), Yokohama, june 2005.
[ bib | http ]
[LBDGP04a]
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.
[ bib ]
[DGPV+04]
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.
[ bib ]
[LDGBP04]
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.
[ bib ]
[PDGLB04]
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.
[ bib ]
[LBDGP04b]
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.
[ bib ]
[PDGBL04]
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.
[ bib ]
[BDGP+04]
A. Bondavalli, E. De Giudici, S. Porcarelli, S. Sabina, and F. Zanini. A freshness detection mechanism for railway applications. In 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'04), pages 292-301, Papeete, Tahiti, French Polynesia, March 03 - 05 2004.
[ bib ]
[FBDG04]
L. Falai, A. Bondavalli, and F. Di Giandomenico. Quantitative Evaluation using neko tool: NekoStat Extensions. Technical report, University of Firenze, Dip. Sistemi e Informatica, Nov 2004.
[ bib ]
[BCCR04]
A. Bondavalli, S. Chiaradonna, D. Cotroneo, and L. Romano. Effective fault treatment for improving the dependability of COTS- and legacy-based applications. IEEE Transactions on Dependable and Secure Computing, 1(4):223-237, 2004.
[ bib ]
[SDGBC04]
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.
[ bib ]
[FB04]
R. Filippini and A. Bondavalli. Modeling and analysis of a scheduled maintenance system: a DSPN approach. The Computer Journal, BCS, 47(6):634-650, 2004.
[ bib ]
[PCDG+04]
S. Porcarelli, M. Castaldi, F. Di Giandomenico, A. Bondavalli, and P. Inverardi. A framework for reconfiguration-based fault-tolerance in distributed systems. In R. De Lemos, c. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems, LNCS. Springer-Verlag, 2004. To appear, also ICSE-WADS2003, Post-Proceeding of ICSE-WADS2003.
[ bib ]
[BCDGM04]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and I. Mura. Dependability modeling and evaluation of multiple-phased systems using DEEM. IEEE Transactions on Reliability, 53(4):509-522, 2004.
[ bib ]
[BCCR03]
A. Bondavalli, S. Chiaradonna, D. Cotroneo, and L. Romano. A fault-tolerant distributed legacy-based system and its evaluation. In LADC2003 - First Latin-American Symposium on Dependable Computing - LNCS 2847, pages 303-320, Sao Paulo, Brazil, October 21-24 2003. Springer-Verlag.
[ bib ]
[UB03]
S.J. Upadhyaya and A. Bondavalli, editors. Special issue on reliable distributed systems, volume 52 of IEEE Transactions on Computers. IEEE Computer Society, 2003.
[ bib ]
[DGPLB03]
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.
[ bib ]
[CB03]
A. Coccoli and A. Bondavalli. Analysis of safety related architectures. In WORDS 2003, 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems, Capri, Italy, 2003. IEEE Computer Society Press.
[ bib ]
[MPB03]
I. Majzik, A. Pataricza, and A. Bondavalli. Stochastic dependability analysis of system architecture based on uml models. In R. De Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems, LNCS 2677, Lecture Notes in Computer Science, pages 219-244. Springer-Verlag, Berlin, Heidelberg, New York, 2003.
[ bib ]
[PDGB+03]
S. Porcarelli, F. Di Giandomenico, A. Bondavalli, M. Barbera, and I. Mura. Service level availability estimation of gprs. IEEE Transactions on Mobile Computing, 2(3):233-247, 2003. IEEE Transactions on Mobile Computing submitted feb/2002.
[ bib ]
[RBCC02]
L. Romano, A. Bondavalli, S. Chiaradonna, and D. Cotroneo. Implementation of threshold-based diagnostic mechanisms for COTS-based applications. In 21st IEEE Symposium on Reliable Distributed Systems (SRDS'02), pages 296-303, Osaka University, Suita, Japan, October 13-16 2002.
[ bib ]
[BTF02]
A. Bondavalli and P. Thèvenod-Fosse, editors. Dependable Computing - EDCC-4 LNCS 2485. Lecture Notes in Computer Science. Springer Verlag, Berlin, Heidelberg, New York, 2002.
[ bib ]
[BCDG02]
A. Bondavalli, A. Coccoli, and F. Di Giandomenico. QoS analysis of group communication protocols in wireless environment. In P. Ezhilchelvan and A. Romanovsky, editors, Concurrency in Dependable Computing, pages 169-188. Kluwer Academic Publishers, 2002.
[ bib ]
[CUBS02]
A. Coccoli, P. Urban, A. Bondavalli, and A. Schiper. Performance analysis of a consensus algorithm combining stochastic activity networks and measurements. In IEEE DSN - International Conference on Dependable Systems and Networks (IPDS Track), pages 551-560, Washington DC, USA, 2002. IEEE Computer Society Press.
[ bib ]
[PDGB02]
S. Porcarelli, F. Di Giandomenico, and A. Bondavalli. Analyzing quality of service of GPRS network systems from a users perspective. In IEEE Symposium on Computers and Communications (ISCC02), pages 142-149, Taormina, Italy, 2002.
[ bib ]
[BCDGX02]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and J. Xu. An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment. JSA - Journal on Systems and Architectures, 47(9):763-781, 2002.
[ bib ]
[CDGPB01]
A. Chohra, F. Di Giandomenico, S. Porcarelli, and A. Bondavalli. Towards optimal database maintenance in wireless communication systems. In N. Callaos, N. I. Da Silva, and J. Molero, editors, The 5th World Multi-Conference on Systemics, Cybernetics and Informatics, ISAS-SCI 2001, Volume I: Information Systems Development, pages 571-576, Orlando, Florida, USA, July 22-25 2001. IIIS.
[ bib ]
[TPDG+01]
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.
[ bib ]
[TPDGB01]
F. Tataranni, S. Porcarelli, F. Di Giandomenico, and A. Bondavalli. Analysis of the effects of outages on the quality of service of GPRS network systems. In IEEE Int. Conference on Dependable Systems and Networks (DSN-2001), pages 235-244, Göteborg, Sweden, 2001.
[ bib ]
[PDGCB01]
S. Porcarelli, F. Di Giandomenico, A. Chohra, and A. Bondavalli. Tuning of database audits to improve scheduled maintenance in communication systems. In U. Voges, editor, SAFECOMP 2001, 20th Int. Conference on Computer Safety, Reliability and Security, pages 238-248, Budapest, Hungary, 2001. Springer-Verlag.
[ bib ]
[PAA+01]
D. Powell, A. Amendola, J. Arlat, B. Attermeyer, L. Beus-Dukic, A. Bondavalli, P. Coppola, C. Dambra, A. Fantechi, E. Jenn, C. Rabéjac, V. Thevenot, and A. Wellings. Introduction and overview. In D. Powell, editor, A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pages 2-26. Kluwer Academic Publishers, Boston, 2001. ISBN 0-7923-7295-6.
[ bib ]
[MB01a]
I. Mura and A. Bondavalli. Impact of outages on GPRS service availability. In Fast Abstract, 2001.
[ bib ]
[MB01b]
I. Mura and A. Bondavalli. Markov regenerative stochastic Petri nets to model and evaluate the dependability of phased missions. IEEE Transactions on Computers, 50(12):1337-1351, 2001.
[ bib ]
[GCDGB01]
F. Grandoni, S. Chiaradonna, F. Di Giandomenico, and A. Bondavalli. Evaluation of fault-tolerant multiprocessor systems for high assurance applications. Special Issue on High Assurance Systems of The Computer Journal, 44(6):544-556, 2001.
[ bib ]
[FB01]
R. Filippini and A. Bondavalli. Modeling and analysis of a scheduled maintenance system: a DSPN approach. Technical Report CNUCE-B4-2001-017, CNUCE-CNR, 2001.
[ bib ]
[CBDG01]
A. Coccoli, A. Bondavalli, and F. Di Giandomenico. Analysis and estimation of the quality of service of group communication protocols. In ISORC'01 - 4th IEEE Int. Symposium on Object-oriented Real-time distributed Computing, pages 209-216, Magdeburg, Germany, 2001.
[ bib ]
[BNSM01]
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.
[ bib ]
[BFLS01]
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.
[ bib ]
[BF01]
A. Bondavalli and R. Filippini. Modelling and analysis of a scheduled maintenance system: a dspn approach. In DSN2001 IEEE Int. Conference on Dependable Systems and Networks (Fast Abstract Track), goteborg Sweden, 2001.
[ bib ]
[BDCL+01]
A. Bondavalli, M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia. Dependability analysis in the early phases of UML based system design. Journal of Computer Systems Science and Engineering, 16(5):265-275, 2001.
[ bib ]
[BCDG+01]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, F. Grandoni, D. Powell, and C. Rabéjac. Error processing and fault treatment. In D. Powell, editor, A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pages 71-86. ISBN 0-7923-7295-6, Kluwer Academic Publishers, Boston, January 2001.
[ bib ]
[ABDG+01]
J. Arlat, A. Bondavalli, F. Di Giandomenico, M. T. Jarboui, E. Jenn, K. Kanoun, I. Mura, and D. Powell. Dependability evaluation. In D. Powell, editor, A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pages 157-191. Kluwer Academic Publishers, Boston, 2001. ISBN 0-7923-7295-6.
[ bib ]
[TPDGB00]
F. Tataranni, S. Porcarelli, F. Di Giandomenico, and A. Bondavalli. Modeling and evaluation of the effects of outages on the quality of service of GPRS network systems. Technical Report B4-2000-028, CNUCE-CNR, December 2000.
[ bib ]
[BFLS00]
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.
[ bib ]
[DGCBG00]
F. Di Giandomenico, S. Chiaradonna, A. Bondavalli, and F. Grandoni. Evaluation of integrated error processing and fault diagnosis in multiprocessor systems. In IEEE Int. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), pages 1145-1151, Monte Carlo Resort, Las Vegas, Nevada, USA, June 26-29 2000.
[ bib ]
[BMC+00]
A. Bondavalli, I. Mura, S. Chiaradonna, R. Filippini, S. Poli, and F. Sandrini. DEEM: a tool for the dependability modeling and evaluation of multiple phased systems. In DSN-2000 IEEE Int. Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8), pages 231-236, June 25-28 2000.
[ bib ]
[CBS00]
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.
[ bib ]
[MCCB00]
M. Minichino, E. Ciancamerla, S. Chiaradonna, and A. Bondavalli. An experience of dependability assessment of a typical industrial safety critical programmable logic controller. In 4t Int. Symposium Programmable Electronic Systems in Safety Related Applications, Köln, Cologne, Germany, May 3-4 2000.
[ bib ]
[SDGBN00]
F. Sandrini, F. Di Giandomenico, A. Bondavalli, and E. Nett. Scheduling solutions for the integrated tolerance to value and timing faults. In ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing., pages 122-129, Newport Beach, CA, USA, March 15-17 2000.
[ bib ]
[BDG00]
A. Bondavalli and F. Di Giandomenico. A position on design, methods, and tools for object-oriented real-time computing. In ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing, pages 306-308, Newport Beach, CA, USA, March 15-17 2000.
[ bib ]
[CSDG+00]
A. Coccoli, S. Schemmer, F. Di Giandomenico, M. Mock, and A. Bondavalli. Analysis of group communication protocols to assess quality of service properties. In HASE00 - 5th IEEE High Assurance System Engineering Symposium, pages 247-256, Albuquerque, NM, USA, 2000.
[ bib ]
[CBDG00]
A. Coccoli, A. Bondavalli, and F. Di Giandomenico. Dependability and performance analysis of a protocol for efficient real-time group communication. In EWDC-12 European Workshop on Dependable Computing, Budapest, Hungary, 2000.
[ bib ]
[BPB+00]
A. Burns, D. Prasad, A. Bondavalli, F. Di Giandomenico, K. Ramamritham, J. Stankovic, and L. Strigini. The meaning and role of value in scheduling flexible real-time systems. Journal of System Architecture (JSA), Special Issue on Real-Time Systems, 46:305-325, 2000.
[ bib ]
[BCDGG00]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Threshold-based mechanisms to discriminate transient from intermittent faults. IEEE Transactions on Computers, 49(3):230-245, 2000.
[ bib ]
[BDCLP99]
A. Bondavalli, M. Dal Cin, D. Latella, and A. Pataricza. High-level integrated design environment for dependability (HIDE). In WORDS'99F Fifth Int. Workshop on Object-oriented Real-time Dependable Systems, pages 87-92, Monterey, CA, USA, November 18-20 1999.
[ bib ]
[BFLS99b]
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.
[ bib ]
[BMT99]
A. Bondavalli, I. Mura, and K. S. Trivedi. Dependability modelling and sensitivity analysis of scheduled maintenance systems. In EDCC-3 European Dependable Computing Conference (also LNCS N. 1667), pages 7-23, Prague, Czech Republic, September 1999. Springer Verlag.
[ bib ]
[MB99b]
I. Mura and A. Bondavalli. Markov regenerative stochastic petri nets to model and evaluate the dependability of phased missions. Technical Report B4-1999-009, CNUCE-CNR, August 1999.
[ bib ]
[BFLS99a]
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.
[ bib ]
[DGGBM99]
F. Di Giandomenico, F. Grandoni, A. Bondavalli, and I. Mura. Scheduling solutions for a unified approach to the tolerance of value and timing faults. In 29th IEEE FTCS - Int. Symposium on Fault-Tolerant Computing - Fast Abstract Track, Madison, Wisconsin USA, June 15-18 1999.
[ bib ]
[BMM99a]
A. Bondavalli, I. Majzik, and I. Mura. Automated dependability analysis of UML designs. In 2nd IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC'99), pages 139-144, Saint Malo, France, May 2-5 1999.
[ bib ]
[VBC99a]
D. Viva, A. Bondavalli, and S. Chiaradonna. Sperimentazione di diverse metodologie e strumenti per la modellizzazione. Technical Note PDCC-TN-0002 B, PDCC-ENEA, March 23 1999.
[ bib ]
[VBC99b]
D. Viva, A. Bondavalli, and S. Chiaradonna. Sviluppo di un caso di studio. Technical Note PDCC-TN-0004 B, PDCC-ENEA, March 22 1999.
[ bib ]
[MBZT99]
I. Mura, A. Bondavalli, X. Zang, and K. S. Trivedi. Dependability modeling and evaluation of phased mission systems: a DSPN approach. In IEEE DCCA-7, IFIP Int. Conference on Dependable Computing for Critical Applications, pages 319-337, San Jose, CA, USA, January 6-8 1999.
[ bib ]
[PABD+99]
D. Powell, J. Arlat, L. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabéjac, and A. Wellings. GUARDS: a generic upgradable architecture for real-time dependable systems. IEEE Transactions on Parallel and Distributed Systems, Special Issue on Dependable Real-Time Systems, 10(6):580-599, 1999.
[ bib ]
[MB99a]
I. Mura and A. Bondavalli. Hierarchical modelling and evaluation of phased-mission systems. IEEE Transactions on Reliability, 48(4):360-368, 1999.
[ bib ]
[CSB99]
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.
[ bib ]
[BMM99b]
A. Bondavalli, I. Majzik, and I. Mura. Automatic dependability analysis for supporting design decisions in UML. In 4th IEEE High Assurance System Engineering Symposium (HASE99), pages 64-71, Washington D.C., USA, 1999.
[ bib ]
[BM99]
A. Bondavalli and I. Mura. High-level petri net modelling of phased mission systems. In 10th European Workshop on Dependable Computing (EWDC-10), pages 91-95, Vienna, Austria, 1999.
[ bib ]
[BDGM99]
A. Bondavalli, F. Di Giandomenico, and I. Mura. An optimal value-based admission policy and its reflective use in real-time dependable systems. Real-Time Systems Journal, Kluwer Academic Publishers, 16(1):5-30, 1999.
[ bib ]
[BCDGS99]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. A contribution to the evaluation of the reliability of iterative-execution software. STVR - Software Testing, Verification and Reliability, John Wiley and Sons, 9(3):145-166, 1999.
[ bib ]
[BCM98]
A. Bondavalli, S. Chiaradonna, and I. Mura. Integrazione di tecniche di fault-forecasting. Technical Note PDCC-TN-0003 A, PDCC-ENEA, December 15 1998.
[ bib ]
[MB98a]
I. Majzik and A. Bondavalli. Automatic dependability modelling of systems described in UML. In 9th IEEE Int. Symposium on Software Reliability Engineering (ISSRE) - Fast Abstract Track, pages 29-30, Paderborn, Germany, November 4-7 1998.
[ bib ]
[MCB98]
I. Mura, S. Chiaradonna, and A. Bondavalli. Modelli teorici e pratici per la rappresentazione del processo di guasto. Technical Note PDCC-TN-0001 B, PDCC-ENEA, July 1998.
[ bib ]
[BCDGG98]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Threshold-based mechanisms to discriminate transient from intermittent faults. Technical Report B4-17-06-98, IEI-CNR, June 17 1998.
[ bib ]
[BDGG+98]
A. Bondavalli, F. Di Giandomenico, F. Grandoni, D. Powell, and C. Rabéjac. State restoration in a COTS-based N-modular architecture. In 1st IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC '98), pages 174-183, Kyoto, Japan, April 20 - 22 1998.
[ bib ]
[MB98c]
I. Majzik and A. Bondavalli. On high level dependability modeling in HIDE. Technical note Project Reference HIDE/T1.2/PDCC/4/v1, 1998.
[ bib ]
[PSBDG98c]
M. Pizza, L. Strigini, A. Bondavalli, and F. Di Giandomenico. Optimal discrimination between transient and permanent faults - mathematical details. Csr technical report, 1998.
[ bib ]
[BM98b]
A. Bondavalli and I. Mura. Users guide for tool-supported modelling of phased-mission systems. GUARDS Project - PDCC Activity Output Report GUARDS/I3A4/AO/6016 version a, 11 June 1998.
[ bib ]
[PRB98]
D. Powell, C. Rabéjac, and A. Bondavalli. Alpha-count mechanism and inter-channel diagnosis. GUARDS Project - PDCC Technical Note Report GUARDS/I1SA1/TN/5009 version E, 1998.
[ bib ]
[BM98a]
A. Bondavalli and I. Mura. Brief overview of some tools to support the modelling and evaluation of phased mission systems. GUARDS Project, PDCC Technical Note Report GUARDS/I3A4/AO/6015 version a, 11 June 1998.
[ bib ]
[MB98b]
I. Majzik and A. Bondavalli. Dependability analysis in the HIDE framework. Technical note Project Reference HIDE/T1.2/PDCC/1/v1, 1998.
[ bib ]
[PABD+98]
D. Powell, J. Arlat, L. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabéjac, and A. Wellings. GUARDS: a generic upgradable architecture for real-time dependable systems. GUARDS Project Report GUARDS/MD2A4/TN/5011 version A, 1998.
[ bib ]
[PSBDG98a]
M. Pizza, L. Strigini, A. Bondavalli, and F. Di Giandomenico. Bayesian diagnosis of transient vs permanent faults. Csr technical note, January 1998.
[ bib ]
[BMZT98]
A. Bondavalli, I. Mura, X. Zang, and K. S. Trivedi. Dependability modeling and evaluation of phased mission systems: a DSPN approach. PDCC Technical Note Report GUARDS/I1-SA4/TN/6010 version a, 20 January 1998.
[ bib ]
[BDG98]
A. Bondavalli and F. Di Giandomenico. The GUARDS approach to safety-critical real-time systems. Ercim News 32, January 1998.
[ bib ]
[PSBDG98b]
M. Pizza, L. Strigini, A. Bondavalli, and F. Di Giandomenico. Optimal discrimination between transient and permanent faults. In 3rd IEEE High Assurance System Engineering Symposium, pages 214-223, Bethesda, MD, USA, 1998.
[ bib ]
[GCB98]
F. Grandoni, S. Chiaradonna, and A. Bondavalli. A new heuristic to discriminate transient from intermittent faults. In 3rd IEEE High Assurance System Engineering Symposium (HASE'98), pages 224-231, Bethesda, MD, USA, 1998.
[ bib ]
[BBC+98]
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.
[ bib ]
[Coc97]
A. Coccoli. On approaching running state restoration algorithms in Ada95. GUARDS Project - PDCC Techincal Note Report GUARDS/I1-SA4/TN/6008 version a, November 20 1997.
[ bib ]
[BM97]
A. Bondavalli and I. Mura. Hierarchical modelling and evaluation of phased-mission systems. GUARDS Project - PDCC Activity Output Report GUARDS/I3A4/AO/6007 version a, November 19 1997.
[ bib ]
[BCDGG97b]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Inter-channel state restoration. Activity Output, ESPRIT Project 20716 GUARDS Report I1-SA4/6006/B, GUARDS Project - PDCC, November 14 1997.
[ bib ]
[BBDG97]
P. Bizzarri, A. Bondavalli, and F. Di Giandomenico. A scheduling algorithm for aperiodic groups of tasks in distributed real-time systems and its holistic analysis. In 6th IEEE Workshop on Future Trend in Distributed Computing Systems - FTDCS'97, pages 296-301, Tunis, Tunisia, October 29-31 1997.
[ bib ]
[BMN97a]
A. Bondavalli, I. Mura, and M. Nelli. Analytical modelling and evaluation of phased-mission systems for space applications. In IEEE HASE'97, High Assurance System Engineering Workshop, pages 85-91, Washington, DC, USA, August 11-12 1997.
[ bib ]
[BCDGG97a]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Discriminating fault rate and persistency to improve fault treatment. In 27th IEEE Int. Symposium on Fault-Tolerant Computing (FTCS-27), pages 354-362, Seattle, Washington, USA, June 25-27 1997.
[ bib ]
[DGBXC97]
F. Di Giandomenico, A. Bondavalli, J. Xu, and S. Chiaradonna. Hardware and software fault tolerance: Definition and evaluation of adaptive architectures in a distributed computing environment. In Int. Conference on Safety and Reliability (ESREL'97), pages 341-348, Lisbon, Portugal, June 17-20 1997. Pergamon Press.
[ bib ]
[PABD+97]
D. Powell, J. Arlat, L. Beus-Dukic, A. Wellings, A. Bondavalli, and F. Di Giandomenico. Ultra-dependable and real-time systems: The GUARDS approach. In 3rd CABERNET Plenary Workshop, IRISA, Campus de Beaulieu, Rennes, France, April 16-18 1997.
[ bib ]
[BMN97b]
A. Bondavalli, I. Mura, and M. Nelli. Analytical modelling and evaluation of the GUARDS instances: example for space applications. GUARDS Project - PDCC Activity Output Report GUARDS/D3A4/AO/6001 C, March 18 1997.
[ bib ]
[CDGB97]
S. Chiaradonna, F. Di Giandomenico, and A. Bondavalli. Analytical modelling of GUARDS mechanisms and components: Example of the error filtering mechanism. ESPRIT Project 20716 GUARDS Report D3A4/AO/6002C (also GUARDS First Year Deliverable), PDCC, March 18 1997.
[ bib ]
[BDGM97b]
A. Bondavalli, F. Di Giandomenico, and I. Mura. Value-driven resource assignment in object-oriented real-time dependable systems. In Third IEEE Int. Workshop on Object-oriented Real-time Dependable Systems (WORDS 97), pages 92-99, Newport Beach, California, USA, February 6-7 1997.
[ bib ]
[BCDGG97c]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Intra-channel error processing mechanisms. ESPRIT Project 20716 GUARDS Report D1A2/A0/6005B, PDCC, February 1997.
[ bib ]
[PBM97]
A. Parigi, A. Bondavalli, and E. Martinelli. Progetto e realizzazione di un server internet come ausilio alla organizzazione della didattica. In Didamatica'97, pages 371-374, Siena, Italy, 8-10 Maggio 1997.
[ bib ]
[BNSM97]
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.
[ bib ]
[BDGM97a]
A. Bondavalli, F. Di Giandomenico, and I. Mura. A value-based approach to flexible decision making in real-time dependable systems. In 2nd Int. Workshop on Mechatronical Computer Systems, pages 155-163, Pisa, Italy, 1997.
[ bib ]
[BCDGLT97]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and S. La Torre. Modelling the effects of input correlation in iterative software. Reliability Engineering and System Safety Journal (RESS), Elsevier, 57(3):189-202, 1997.
[ bib ]
[BCDGG96c]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. A mechanism for discriminating transient from intermittent/permanent faults. ESPRIT Project 20716 GUARDS Report D1A2/A0/6003A, GUARDS Project - PDCC, December 1996.
[ bib ]
[BCDGG96b]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Fault tolerance structures & mechanisms for the GUARDS architecture. Technical Report C96-26 (also ESPRIT Project 20716 GUARDS Report D1A2/A0/6000A), CNUCE/CNR, October 1996.
[ bib ]
[BBDGT96]
P. Bizzarri, A. Bondavalli, F. Di Giandomenico, and F. Tarini. Planning the execution of task groups in real-time systems. In 8th IEEE Euromicro Workshop on Real-Time Systems, pages 169-174, L'Aquila, Italy, June 12-14 1996.
[ bib ]
[NSB+96]
E. Nett, H. Streich, P. Bizzarri, A. Bondavalli, and F. Tarini. Adaptive software fault tolerance policies with dynamic real-time guarantees. In WORDS 96, IEEE Second Int. Workshop on Object-oriented Real-time Dependable Systems, pages 78-85, Laguna Beach, California, U.S.A., February 1-2 1996.
[ bib ]
[BCDGG96a]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Discriminating fault rate and persistency to improve fault treatment. Internal Report B4-33, IEI/CNR, Pisa, Italy, 1996.
[ bib ]
[MDGB96]
I. Mura, F. Di Giandomenico, and A. Bondavalli. Real-time multiprocessor systems: Performability evaluation. Internal Report B4-07-02-96, IEI-CNR, Pisa, Italy, 1996.
[ bib ]
[NBS96b]
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.
[ bib ]
[NBS96a]
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.
[ bib ]
[Bon96]
A. Bondavalli. Design of fault tolerant software. In EDCC-2 Companion Workshop on Dependable Computing, pages 41-51, Gliwice, Poland, 1996. AMK-Press. ISBN 83-906582-0-8.
[ bib ]
[ABC+96]
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.
[ bib ]
[BCDGS95a]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. A contribution to dependability evaluation of fault-tolerant, iterative-execution software. Technical Report C95-41, CNUCE/CNR, December 1995.
[ bib ]
[BCC+95]
A. Bondavalli, S. Chiaradonna, M. Cipollone, F. Di Giandomenico, and F. Grandoni. Integrated error processing and fault diagnosis in multiprocessor systems. Technical Report C95-42, CNUCE/CNR, December 1995.
[ bib ]
[BCDGLT95]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and S. La Torre. Dependability of iterative software: a model for evaluating the effects of input correlation. In 14th Int. Conference on Computer Safety, Reliability and Security (SAFECOMP'95), pages 489-503, Belgirate, Italy, October 11-13 1995. Springer-Verlag.
[ bib ]
[DGBX95a]
F. Di Giandomenico, A. Bondavalli, and J. Xu. Hardware and software fault tolerance: Adaptive architectures in distributed computing environments. Esprit BRA 6362 PDCS2 Technical Report 173, June 1995.
[ bib ]
[LTCDGB95]
S. La Torre, S. Chiaradonna, F. Di Giandomenico, and A. Bondavalli. The effects of input correlation on the dependability of iterative software. Technical Report B4-24, IEI/CNR, May 1995.
[ bib ]
[DGBX95b]
F. Di Giandomenico, A. Bondavalli, and J. Xu. Hardware and software fault tolerance: Adaptive architectures in distributed computing environments. Internal Report B4-15, IEI CNR, Pisa, Italy, April 1995.
[ bib ]
[XBDG95]
J. Xu, A. Bondavalli, and F. Di Giandomenico. Dynamic adjustment of dependability and efficiency in fault-tolerant software. In B. Randell, J.C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictably Dependable Computing Systems, pages 155-172. Springer-Verlag, 1995.
[ bib ]
[BSS95]
A. Bondavalli, J. A. Stankovic, and L. Strigini. Adaptable fault tolerance for real-time systems. In D. Fussell and M. Malek, editors, Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, pages 187-208. Kluwer Academic Publishers, Boston, 1995.
[ bib ]
[BDGBT95]
P. Bizzarri, F. Di Giandomenico, A. Bondavalli, and F. Tarini. Un protocollo per la schedulazione distribuita hard real-time. In Congresso annuale A.I.C.A. '95, pages 202-208, Cagliari, Italy, 1995.
[ bib ]
[BCDGS95d]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. Rational design of multiple-redundant systems: Adjudication and fault treatment. In B. Randell, J.C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictably Dependable Computing Systems, pages 141-154. Springer-Verlag, 1995.
[ bib ]
[BCDGS95c]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. Dependability models for iterative software considering correlation among successive inputs. In IEEE Int. Computer Performance and Dependability Symposium (IPDS'95), pages 13-21, Erlangen, Germany, 1995.
[ bib ]
[BCDGS95b]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. Dependability analysis of iterative fault tolerant software considering correlation. In B. Randell, J.C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictably Dependable Computing Systems, pages 459-472. Springer-Verlag, 1995.
[ bib ]
[BBT95]
A. Bondavalli, A. Buzzi, and F. Tarini. Uno strumento grafico per la strutturazione di applicazioni tolleranti i guasti. In Congresso annuale A.I.C.A. '95, pages 979-986, Cagliari, Italy, 1995.
[ bib ]
[BBS95]
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.
[ bib ]
[BBB+95]
M. Bizzarri, P. Bizzarri, A. Bondavalli, F. Di Giandomenico, and F. Tarini. Design of flexible and dependable real-time applications. In Pergamon Press, editor, 20th IFAC-IFIP WRTP'95, Ft. Lauderdale, Florida, USA, 1995.
[ bib ]
[BCDG94]
A. Bondavalli, S. Chiaradonna, and F. Di Giandomenico. Efficient fault tolerance: an approach to deal with transient faults in multiprocessor architectures. In IEEE Int. Conference on Parallel and Distributed Systems (ICPADS'94), pages 354-359, Hsinchu, Taiwan, ROC, December 1994.
[ bib ]
[BCDGS94]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. Modelling correlation among successive inputs in software dependability analyses. Technical Report C94-20, CNUCE/CNR, October 1994.
[ bib ]
[CBS94b]
S. Chiaradonna, A. Bondavalli, and L. Strigini. On performability modeling and evaluation of software fault tolerance structures. 2nd year deliverables, ESPRIT BRA 6362 PDCS2, September 1994.
[ bib ]
[CBDG94]
S. Chiaradonna, A. Bondavalli, and F. Di Giandomenico. A fault treatment approach to support dynamic redundancy in multiprocessor architectures. 2nd year deliverables, Esprit BRA 6362 PDCS2, September 1994.
[ bib ]
[BS94]
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.
[ bib ]
[CBS94c]
S. Chiaradonna, A. Bondavalli, and L. Strigini. On performability modeling and evaluation of software fault tolerance structures. In 1st European Dependable Computing Conference (EDCC-1), pages 97-114, Berlin, Germany, 1994. Springer-Verlag.
[ bib ]
[CBS94a]
S. Chiaradonna, A. Bondavalli, and L. Strigini. Comparative performability evaluation of RB, NVP and SCOP. Technical Report C94-02, CNUCE/CNR, January 1994.
[ bib ]
[CBBS94]
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.
[ bib ]
[BBS94a]
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.
[ bib ]
[BBS94b]
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.
[ bib ]
[BB94]
C. Bernardeschi and A. Bondavalli. Semantics analysis of dataflow control systems. In MicroP94, pages 15-24, Budapest, Hungary, 1994.
[ bib ]
[BBS93a]
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.
[ bib ]
[CB93]
S. Chiaradonna and A. Bondavalli. Uno schema efficiente per la tolleranza a guasti operazionali in architetture multiprocessore. In Congresso annuale A.I.C.A. '93, pages 1289-1303, Lecce, Italy, September 22-24 1993.
[ bib ]
[BBS93b]
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.
[ bib ]
[BS93]
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.
[ bib ]
[BDGX93]
A. Bondavalli, F. Di Giandomenico, and J. Xu. A cost-effective and flexible scheme for software fault tolerance. Journal of Computer Systems Science and Engineering, 8(4):234-244, 1993. CRL Publishing.
[ bib ]
[BSS92b]
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.
[ bib ]
[BS92]
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.
[ bib ]
[DGGGS92]
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.
[ bib ]
[BSS92a]
A. Bondavalli, L. Strigini, and M. Sereno. Destination stripping dual ring: a new protocol for MANs. Computer Networks and ISDN Systems, 24(1):15-32, 1992. also CNUCE / CNR report, No. C90-07, 1990.
[ bib ]
[BMN+91c]
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.
[ bib ]
[BS91]
A. Bondavalli and L. Strigini. DSDR: A fair and efficient access protocol for ring-topology MANs. In IEEE INFOCOM'91, pages 1022-1030, Miami, Florida, April 9-11 1991.
[ bib ]
[BMN+91b]
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.
[ bib ]
[DGS91a]
F. Di Giandomenico and L. Strigini. Flexible schemes for application-level fault-tolerance. In 10th Symposium on Reliable Distributed Systems, pages 86-95, Pisa, Italy, 1991.
[ bib ]
[DGS91b]
F. Di Giandomenico and L. Strigini. Implementations and extensions of the conversation concept. In 5th International Conference Fault-Tolerant Computing Systems Test, Diagnosis, Fault Treatment, pages 42-53, Nurnberg FRG, 1991.
[ bib ]
[SBS91]
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.
[ bib ]
[BN91]
A. Bondavalli and L. Nardone. Supporto a tempo di esecuzione ed ambiente per un linguaggio dataflow esteso. In 30th Congresso annuale A.I.C.A., pages 1061-1075, Siena, Italy, 1991.
[ bib ]
[BMN+91a]
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.
[ bib ]
[BS90]
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.
[ bib ]
[BCG+90]
A. Bondavalli, M. Conti, E. Gregori, L. Lenzini, and L. Strigini. MAC protocols for high-speed, MANs: Performance comparisons for a family of fasnet-based protocols. Computer Networks and ISDN Systems, 18(2):97-113, February 1990.
[ bib ]
[DGS90]
F. Di Giandomenico and L. Strigini. Adjudicators for diverse-redundant components. In 9th Symposium on Reliable Distributed Systems, pages 114-123, Huntsville, Alabama, 1990.
[ bib ]
[BDFLV89a]
A. Bondavalli, N. De Francesco, D. Latella, and G. Vaglini. Shared abstract data types: an algebraic methodology for their specification. In 2nd Symposium on Mathematical Fundamentals of Database Systems-MFDBS'89, LNCS 364, volume 364 of Lecture Notes in Computer Science, pages 53-67. Springer-Verlag, Visegrad, Hungary, June 26-30 1989.
[ bib ]
[BGL89]
A. Bondavalli, E. Gregori, and L. Lenzini. Proposals for improving the FASNET performances. In 13th. Information Technologies Conference SARAJEVO JAHORINA 1989'', pages 112-1-112-9, Sarajevo, Yugoslavia, March 20-24 1989.
[ bib ]
[BDFLV89b]
A. Bondavalli, N. De Francesco, D. Latella, and G. Vaglini. Using algebraic specifications for data types shared among concurrent transactions. In 13th. Information Technologies Conference SARAJEVO JAHORINA 1989'', pages 130-1-130-10, Sarajevo, Yugoslavia, March 20-24 1989.
[ bib ]
[BS89]
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.
[ bib ]
[BBBL88]
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.
[ bib ]
[BS88]
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.
[ bib ]
[BG88a]
A. Bondavalli and E. Gregori. Concurrency control in OSI transactional environments. In IFIP TC6/TC8 Open Symposium on Network Information Processing Systems, pages 69-77, Sofia, Bulgaria, May 1988. North Holland.
[ bib ]
[BG88b]
A. Bondavalli and E. Gregori. OSIRIDE and transactions. In 2nd IEEE Int. Zurich Seminar on Digital Communications, pages 261-266, Zurich, Switzerland, March 8-10 1988.
[ bib ]
[BS87b]
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.
[ bib ]
[BS87a]
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).
[ bib ]

This file has been generated by bibtex2html 1.80