|
Search the dblp DataBase
Valeria Vittorini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
The REM Framework for Security Evaluation. [Citation Graph (, )][DBLP]
Turning Web Applications into Web Services by Wrapping Techniques. [Citation Graph (, )][DBLP]
A Study on Multiformalism Modeling of Critical Infrastructures. [Citation Graph (, )][DBLP]
The software architecture of the OsMoSys multisolution framework. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.303secs
|