IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 129 (tempo di esecuzione: 0.038 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach 2.1 Contributo in volume (Capitolo o Saggio) 2006 Iacono, M.; Marrone, S.; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
Multisolution of complex performability models in the OsMoSys/DrawNET framework 4.1 Articoli in Atti di convegno 2005 Mazzocca, Nicola; Vittorini, Valeria; M., Gribaudo; Moscato, Francesco
Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example 2.1 Contributo in volume (Capitolo o Saggio) 2005 Mazzocca, Nicola; Vittorini, Valeria; G., DI LORENZO; M., Magaldi; P., Mosca; Moscato, Francesco
Repairable Fault Tree for the Automatic Evaluation of Repair Policies 4.1 Articoli in Atti di convegno 2004 Vittorini, Valeria; D., CODETTA RAITERI; G., Franceschinis; M., Iacono; Mazzocca, Nicola
A parallel graph-traversing procedure for multicomputer architectures 2.1 Contributo in volume (Capitolo o Saggio) 1992 Mazzeo, A.; Mazzocca, N.; Sforza, Antonio; Vittorini, V.
Building formal models of concurrent and distribited system: an experience in applicability with two different Petri nets approaches 1.1 Articolo in rivista 1999 Mazzocca, Nicola; Russo, S; Vittorini, V.
Efficient Model checking of properties of a distribuited application: a multimedia case study 1.1 Articolo in rivista 2002 Mazzocca, Nicola; Santone, A; Vaglini, G; Vittorini, V.
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 1.1 Articolo in rivista 1997 Mazzeo, A; Mazzocca, Nicola; Russo, S.; Vittorini, V.
Towards an Object based Multi-Formalism Multi-Solution Modeling Approach 4.1 Articoli in Atti di convegno 2002 Franceschinis, G; Gribaudo, M; Iacono, M; Mazzocca, Nicola; Vittorini, Valeria
A new modelling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 1.1 Articolo in rivista 2009 F., Flammini; S., Marrone; Mazzocca, Nicola; Vittorini, Valeria
Methods Integration for the Specification of Dependable Distributed Systems 1.1 Articolo in rivista 1997 Mazzocca, N.; Russo, S.; Vittorini, Valeria
A method for predictive performance evaluation of distributed programs 1.1 Articolo in rivista 1997 Mazzeo, A.; Mazzocca, Nicola; Russo, S.; Vittorini, V.
Modelling Flexible manufacturing systems: a Petri Net Modular Approach 4.1 Articoli in Atti di convegno 1999 Basile, F.; Chiacchio, P.; Mazzocca, N.; Vittorini, Valeria
SWN Client-server composition operators in the OsMoSys framework 4.1 Articoli in Atti di convegno 2003 Franceschinis, G; Marrone, S; Mazzocca, Nicola; Vittorini, Valeria
Formal Specification of Concurrent Systems: a Structured Approach 1.1 Articolo in rivista 1998 Mazzeo, A.; Mazzocca, Nicola; Russo, S.; Savy, C.; Vittorini, V.
Formal specification of concurrent systems: a structured approach 1.1 Articolo in rivista 1998 Mazzeo, A.; Mazzocca, .; Russo, Stefano; Savy, C.; Vittorini, V.
Integrating Trace Logic and Petri Nets Specifications 4.1 Articoli in Atti di convegno 1997 Mazzocca, N.; Russo, S.; Vittorini, Valeria
A Mapping Method for Distributed Heterogeneous Systems 2.1 Contributo in volume (Capitolo o Saggio) 1994 Mazzeo, Antonino; Mazzocca, Nicola; Russo, Stefano; Vittorini, Valeria
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks 1.1 Articolo in rivista 2004 Chiacchio, Pasquale; Vittorini, Valeria; Basile, F.; Mazzocca, N.
A Study on Multiformalism Modelling of Critical Infrastructures 4.1 Articoli in Atti di convegno 2009 Flammini, F.; Mazzocca, Nicola; Pragliola, C.; Vittorini, Valeria