dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Valeria Vittorini (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini: Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP 2011: 15-28
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Marrone, Camilla Papa, Valeria Vittorini: Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. IFM 2010: 215-228
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini: Interfaces and binding in component based development of formal models. VALUETOOLS 2009: 44
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini: A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance. Rel. Eng. & Sys. Safety 94(9): 1422-1432 (2009)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Moscato, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone, Mauro Iacono: The software architecture of the OsMoSys multisolution framework. VALUETOOLS 2007: 51
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini: Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN 2004: 177-196
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini: A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. PARA 2004: 499-508

Selection of 7 from 34 records - Valeria Vittorini has 30 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page