The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Valeria Vittorini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
    Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:177-196 [Conf]
  2. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini
    DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2002, pp:233-238 [Conf]
  3. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello
    DrawNet++: A Flexible Framework for Building Dependability Models. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:540- [Conf]
  4. Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini
    Repairable Fault Tree for the Automatic Evaluation of Repair Policies. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:659-668 [Conf]
  5. Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini
    A Mapping Method for Distributed Hetergoneous Systems. [Citation Graph (0, 0)][DBLP]
    EUROSIM, 1994, pp:143-151 [Conf]
  6. Nicola Mazzocca, Stefano Russo, Valeria Vittorini
    Integrating Trace Logic and Petri Nets Specifications. [Citation Graph (0, 0)][DBLP]
    HICSS (1), 1997, pp:443-451 [Conf]
  7. Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, Giusy Di Lorenzo, Paola Mosca, Massimo Magaldi
    Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. [Citation Graph (0, 0)][DBLP]
    HPCC, 2005, pp:395-400 [Conf]
  8. Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini
    Policy formalization to combine separate systems into larger connected network of trust. [Citation Graph (0, 0)][DBLP]
    Net-Con, 2002, pp:425-430 [Conf]
  9. Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini
    A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. [Citation Graph (0, 0)][DBLP]
    PARA, 2004, pp:499-508 [Conf]
  10. Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
    Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. [Citation Graph (0, 0)][DBLP]
    PDP, 2004, pp:134-0 [Conf]
  11. Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
    Automatic Analysis of Control Flow inWeb Services Composition Processes. [Citation Graph (0, 0)][DBLP]
    PDP, 2007, pp:299-306 [Conf]
  12. Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca
    Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. [Citation Graph (0, 0)][DBLP]
    PDSE, 1999, pp:110-123 [Conf]
  13. Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
    Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:85-94 [Conf]
  14. Valentina Casola, Nicola Mazzocca, Antonino Mazzeo, Valeria Vittorini
    Policy based interoperability in distributed security infrastructures. [Citation Graph (0, 0)][DBLP]
    ISPE CE, 2003, pp:1027-1034 [Conf]
  15. Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini
    Formal Specification of Concurrent Systems: A Structured Approach. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1998, v:41, n:3, pp:145-162 [Journal]
  16. Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini
    A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2007, v:15, n:2, pp:197-229 [Journal]
  17. Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini
    A Systematic Approach to the Petri Net Based Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1997, v:13, n:3, pp:219-236 [Journal]
  18. Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini
    A method for predictive performance of distributed programs. [Citation Graph (0, 0)][DBLP]
    Simul. Pr. Theory, 1997, v:5, n:1, pp:65-82 [Journal]
  19. Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis
    The OsMoSys approach to multi-formalism modeling of systems. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2004, v:3, n:1, pp:68-81 [Journal]
  20. Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini
    Efficient model checking of properties of a distributed application: a multimedia case study. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:3-21 [Journal]

  21. The REM Framework for Security Evaluation. [Citation Graph (, )][DBLP]


  22. Turning Web Applications into Web Services by Wrapping Techniques. [Citation Graph (, )][DBLP]


  23. A Study on Multiformalism Modeling of Critical Infrastructures. [Citation Graph (, )][DBLP]


  24. The software architecture of the OsMoSys multisolution framework. [Citation Graph (, )][DBLP]


Search in 0.030secs, Finished in 0.032secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002