IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 129 (tempo di esecuzione: 0.041 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
Workflow Pattern Analysisin Web Services Orcherstration: The BPEL4WS Example 4.1 Articoli in Atti di convegno 2005 Moscato, F.; Mazzocca, Nicola; Vittorini, Valeria; DI LORENZO, G.; Mosca, P.; Magaldi, M.
Formal Specification of Concurrent Systems: a Structured Approach 1.1 Articolo in rivista 1998 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Savy, C.; Vittorini, V.
The Osmosys approach to multi-formalism modelling of systems 1.1 Articolo in rivista 2004 Iacono, M.; Mazzocca, Nicola; Franceschinis, G.; Vittorini, Valeria
Modeling and control specification of flexible manufacturing system using behavioral traces and petri ets building blocks 1.1 Articolo in rivista 2004 Basile, C; Chiacchio, N; Mazzocca, Nicola; Vittorini, Valeria
Workflow principles applied to Multi-Solution Analysis of dependable distribuited system 4.1 Articoli in Atti di convegno 2004 Moscato, F; Mazzocca, Nicola; Vittorini, Valeria
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.
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 1.1 Articolo in rivista 1997 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Vittorini, V.
Efficient Model checking of properties of a distributed application: a multimedia case study 1.1 Articolo in rivista 2002 Mazzocca, Nicola; Santone, A.; Vaglini, G.; 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 method for predictive performance evaluation of distributed programs 1.1 Articolo in rivista 1997 Mazzeo, A.; Mazzocca, Nicola; Russo, S.; Vittorini, V.
Formal methods integration for the specification of dependable distributed system 1.1 Articolo in rivista 1997 Mazzocca, Nicola; Russo, S.; Vittorini, V.
Formal Specification of Concurrent Systems: a Structured Approach 1.1 Articolo in rivista 1998 Mazzeo, A.; Mazzocca, Nicola; Russo, S.; Savy, C.; Vittorini, V.
The Osmosys approach to multiformalism modelling of system 1.1 Articolo in rivista 2003 Franceschinis, G; Iacono, M; Mazzocca, Nicola; Vittorini, V.
A method for predictive performance evaluation of distributed programs 1.1 Articolo in rivista 1997 Mazzeo, A.; Mazzocca, N.; Russo, Stefano; Vittorini, V.
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 1.1 Articolo in rivista 1997 Mazzeo, A.; Mazzocca, N.; Russo, S.; Vittorini, Valeria
A systematic approach to the Petri net based specification of concurrent systems 1.1 Articolo in rivista 1997 Mazzeo, A.; Mazzocca, N.; Russo, Stefano; Vittorini, V.
The modelling process and Petri Nets: reasoning on different approaches 2.1 Contributo in volume (Capitolo o Saggio) 1999 Mazzocca, Nicola; Russo, Stefano; Vittorini, Valeria
Automatic generation of context-aware web services compositions 1.1 Articolo in rivista 2007 G., DI LORENZO; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria