Selected Publications

 

 
punto elenco

Modeling and Analysis of Complex Systems

Journals

  1. F. Flammini, S. Marrone, N. Mazzocca, V. Vittorini,  “A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance”, in  Reliability Engineering and System Safety, Volume 94, Issue 9, September 2009, 1422-1432.
  2. F. Flammini, N. Mazzocca, V. Vittorini,  New paradigms and tools for high-assurance systems modeling.  ERCIM NEWS,  pp.28- 30,  vol.75, 2008.

  3. Iacono M, Mazzocca N., Franceschinis G., Vittorini V.,  “The OsMoSys approach to multi-formalism modelling” of systems”,  in Journal of Software and System Modeling, Springer Verlag, 68-81, 2004.

  4. Basile F., Chiacchio P., Mazzocca N., Vittorini V., “Modeling and Control Specification of Flexible Manufactuting systems using behavioral traces and Petri ets Building Blocks”, in Journal of Intelligent Manufacturing, Ed. Kluwer , vol.15 n.3 , 351-371, 2004.

  5. Mazzocca N., Santone A., Vaglini G., Vittorini V., “Efficient Model checking of properties of a distributed application: a multimedia case study”, in Software Testing, Verification and Reliability, John Wiley & Sons, Ltd, vol.12, n.1, 3-21,  2002.

  6. Mazzeo A., Mazzocca N., Russo S, C. Savy, Vittorini V., “Formal Specification of Concurrent  Systems, in The Computer Journal vol.41, n.3, pp.145-162, Published by Oxford University Press on behalf of British Computer Society, UK, 1998.

  7. Mazzocca N., Russo S, Vittorini V., "Formal Methods Integration for the Specification of Dependable Distributed Systems"; in Journal of Systems Architecture, Special Issue on Dependable Parallel Computer Systems, vol. 43, pp.671-685.

  8. Mazzeo A., Mazzocca N., Russo S, Vittorini V., "A Systematic Approach to the Petri Net Based Specifications of Concurrent  Systems"; in Real Time Systems, Special Issue on Safety-Critical Systems, vol.13, n.3, pp.219-236.

  9. Mazzeo A., Mazzocca N., Russo S, Vittorini V., "A method for predictive performance of distributed programs”,  in Simulation Practice and Theory., vol.5, pp.65-82, Elsevier Science, Amsterdam, Printed in The Netherlands, 1997.

Conferences

  1.  F. Flammini, V. Vittorini, N. Mazzocca, T. Pragliola, A Study on Multiformalism Modelling of Critical Infrastructures.  3rd International Workshop on Critical Information Infrastructures Security (CRITIS08), LNCS vol. 5508, 336-343,  2009.

  2. G. Franceschinis, M. Gribaudo, M. Iacono, S. Marrone, F. Moscato, V. Vittorini, "Interfaces and binding in component based development of formal models", Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools, ACM Digital Library, 2009.

  3. F. Moscato, F. Flammini, G. Di Lorenzo, V. Vittorini, S. Marrone, M. Iacono, “The software architecture of the OsMoSys Multisolution Framework”; Second International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'07), October 23-25, 2007, Nantes, France.

  4. F. Flammini, S. Marrone, N. Mazzocca, V. Vittorini, “Evaluating the Hazardous Failure Rate of majority voting computer architectures by means of Bayesian Network models”, Procs. of the  European Safety and Reliability Conference (ESREL 2007)  2007.

  5. F. Flammini, S. Marrone, N. Mazzocca, V. Vittorini: "Modelling System Reliability Aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks". Safety and Reliability for Managing Risk: ESREL 2006, pp. 2675-2683, 2006.

  6. Francesco Moscato, Marco Gribaudo, Nicola Mazzocca and Valeria Vittorini; “Multisolution of complex performability models in the OsMoSys/DrawNET framework”, Procs. of the 2nd. Int. Conf. on the Quantitative Evaluation of Systems (QEST05),  pp. 85-94, 2005.

  7. Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini: Repairable Fault Tree for the Automatic Evaluation of Repair Policies. Proc. of the International Conference on Dependable Systems and Networks 2004 (DSN 2004), pp. 659-668.

  8. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini: Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN 2004, pp. 177-196, 2004.

  9. Moscato F., Mazzocca N., Vittorini V., “Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems“, IEEE Procs. of the 12th Euromicro Conference on Parallel, Distributed and Network-based Processing, pp. 134-141, 2004.

  10. Mauro Iacono, Stefano Marrone, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, “Model Analysis of a Distributed Monitoring System Using a Multiformalism Approach”, In Proceedings of PARA'2004, Copenhague, Danemark, LNCS 3732, June 2004.

  11. Chianese R., Lazzaro A., Marmo P., Mazzocca N., Papa D., Vittorini V., “An Experience in Railway interlocking Systems Specification and Formal Verification” in Formal Methods for Railway Operation and Control Systems, G. Tarnai and E. Schnieder (Eds.), pp.149-157,  L'Harmattan Hongrie publisher, 2003.

  12. Gribaudo M, Iacono M, Mazzocca N., Vittorini V., “The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling”, in Proceedings 15th European Simulation Symposium and Exhibition (ESS2003), pp.165-174, 2003.

  13. Franceschinis G., Marrone S., Mazzocca N., V. Vittorini, “SWN Client-server composition operators in the OsMoSys framework”, in Proceedings 10th International Workshop on Petri Net and Performance Models, PNPM2003, pp. 52-61, 2003.

  14. Baravalle A., Franceschinis G., Gribaudo M., Lanfranchi V., Iacono M., Mazzocca M., Vittorini V., “DrawNET Xe!: GUI and Formalism Definition Language”, 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (Performance TOOLS2003), pp.9-12, 2003.

  15. Franceschinis G., .Gribaudo M, Iacono M, Mazzocca N., Vittorini V., “DrawNET++: model objects to support performance analysis and simulation of complex systems”, LNCS, vol. 2324, Computer Performance Evaluation – Modelling Techniques and Tools, pp.233-238, Springer-Verlag, ISBN 3-540-43539-5, Printed in Germany, 2002.

  16. Franceschinis G., .Gribaudo M., Iacono M., Vittorini V., Bertoncello C., “DrawNet++: a flexible framework for building dependability models”, Tools presentations, Proc. of the International Conference on Dependable Systems and Networks (DSN2002) , June 23 - 26, 2002, Washington DC, USA, pp.540, 2002.

  17. Franceschinis G., .Gribaudo M., Iacono M., Mazzocca N., Vittorini V., “Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach”, in Proc. of the Second Workshop on Modelling of Objects, Components, and Agents (MOCA02), pp.47-66, 2002.

  18. Mazzocca N., Russo S., Vittorini V., "The modelling process and Petri Nets: reasoning on different approaches" in Process Modelling, B. Scholz-Reiter,H.-D. Stahlmann, A. Nethe (Eds.), pp.37-56, Springer-Verlag, ISBN 3-540-65610-3, Printed in Germany, 1999.

 

punto elenco Security and Trust Management

Journals

  1. Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini, “A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures”, Journal of Computer Security, Volume 15, Number 2, 2007, pp. 197-229.

Conferences

  1. Amato F., Casola V., Mazzeo A., Vittorini V., REM Framework for Security Evaluation, Third International Conference on Availability, Reliability and Security (ARES 2008), 1097-1103, 2008.

  2. Valentina Casola, Nicola Mazzocca, Antonino Mazzeo and Valeria Vittorini, “Toward Automatic Policy Management in Distributed Security Infrastructure”, in “Applied Parallel and Distributed Computing”, Nova Science Publishers, Advances in Computation: Theory and Practice, Volume 16, Editors: Pan, Yi; Yang, Laurence Tianruo, 2004.

  3. Casola V, .Mazzeo A, Mazzocca N., Vittorini V., “Policy based interoperability in distributed security infrastructures”,  in Concurrent Engineering: Enhanced Interoperable Systems, R. Jardim-Goncalves, J. Cha, A. Steiger-Garcao (Eds.), pp.1027-1034, 2003.

  4. Casola V., Mazzeo A., Mazzocca N., Vittorini V., “Policy Formalization to combine separate systems into larger connected network of trust”  in Proc. of Int. Conf. on Network Control and Engineering for QoS, Security and Mobility (Net-Con'2002), Paris, France, 23-25 Oct. 2002, pp.425-430, 2002.

 

punto elenco Services Composition and Web Services

Journals

  1. G. Di Lorenzo, N.Mazzocca, F, Moscato, V.Vittorini, “Automatic generation of context-aware web services compositions”;  Journal of Software (JSW), accepted for publication.

Conferences

  1. G. Di Lorenzo, A. R. Fasolino, L. Melcarne, P. Tramontana, V. Vittorini, “Turning Web Applications into Web Services by Wrapping Techniques”; 14th Working Conference on Reverse Engineering, 29-31 October 2007, Vancouver, BC, Canada (WRCE 2007). Accepted for publication.

  2. Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini; “Automatic Analysis of Control Flow in Web Services Composition Processes”. Procs. of 15th  Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP 2007); pp. 299-306, 2007.

  3. Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, Giusy Di Lorenzo, Paola Mosca, Massimo Magaldi: Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. HPCC 2005, pp. 395-400, 2005.

 

Last Update: 25-06-10