IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 134 (tempo di esecuzione: 0.039 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Automatic generation of context-aware web services compositions 1.1 Articolo in rivista 2007 G., DI LORENZO; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
Formal Specification of Concurrent Systems: a Structured Approach 1.1 Articolo in rivista 1998 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Savy, C.; Vittorini, V.
Policy Formalization to combine separate systems into larger connected network of trust 4.1 Articoli in Atti di convegno 2002 Casola, Valentina; Mazzeo, Antonino; Mazzocca, Nicola; Vittorini, Valeria
Modelling Flexible Manufacturing System: a Petri NEt Modular Approach 4.1 Articoli in Atti di convegno 1999 Basile, P; Chiacchio, N; Mazzocca, Nicola; Vittorini, V.
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.
DrawNET Xe!: GUI and Formalism Definition Language 4.1 Articoli in Atti di convegno 2003 Baravalle, A.; Franceschinis, G.; Gribaudo, M.; Lanfranchi, V.; Iacono, M.; Mazzocca, M.; Vittorini, Valeria
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
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 2.1 Contributo in volume (Capitolo o Saggio) 2012 S., Marrone; Mazzocca, Nicola; Nardone, Roberto; R., Presta; Romano, SIMON PIETRO; Vittorini, Valeria
A robust approach for on-line and off-line threat detection based on event tree similarity analysis 4.1 Articoli in Atti di convegno 2011 F., Flammini; C., Pragliola; Pappalardo, Alfio; Vittorini, Valeria
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 1.1 Articolo in rivista 2013 S., Bernardi; F., Flammini; S., Marrone; Mazzocca, Nicola; J., Merseguer; Nardone, Roberto; Vittorini, Valeria
Nets building Blocks 4.1 Articoli in Atti di convegno 1999 Basile, F; Chiacchio, P; Mazzocca, Nicola; Vittorini, V.
Information Fusion e sorveglianza 1.1 Articolo in rivista 2013 F., Flammini; Pappalardo, Alfio; Vittorini, Valeria
Petri net modelling of physical vulnerability 2.1 Contributo in volume (Capitolo o Saggio) 2013 F., Flammini; S., Marrone; Mazzocca, Nicola; Vittorini, Valeria
A multiformalism modular approach to ertms/etcs failure modeling 1.1 Articolo in rivista 2014 Flammini, Francesco; S., Marrone; M., Iacono; Mazzocca, Nicola; Vittorini, Valeria
Multiformalism techniques for critical infrastructure modelling 1.1 Articolo in rivista 2010 F., Flammini; Mazzocca, Nicola; Moscato, Francesco; Pappalardo, Alfio; C., Pragliola; Vittorini, Valeria
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.
Methodologies, architecture and tools for automated service composition in SOA 8.10 Tesi di Dottorato 2008 Vittorini, Valeria
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, N.; Vittorini, Valeria
Efficient Model Checking of Properties of a Multimedia Application 4.1 Articoli in Atti di convegno 1999 DE FRANCESCO, A; Mazzocca, Nicola; Vaglini, G; Vittorini, V.
The Osmosys approach to multiformalism modelling of system 1.1 Articolo in rivista 2003 Franceschinis, G; Iacono, M; Mazzocca, Nicola; Vittorini, V.