MAZZOCCA, NICOLA
MAZZOCCA, NICOLA
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling
2003 Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, Valeria
A hierarchical approach for designing dependable system
2003 Bobbio, A; Franceschinis, G; Mazzocca, Nicola; SONZA REORDA, M; Violante, M.
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems
1997 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Vittorini, V.
Gestione remota di una cella robotizzata: realizzazione e sperimentazione
2002 F., Basile; P., Chiacchio; Mazzocca, Nicola; Pescape', Antonio
A framework for the Design of Distributed Reconfigurable Embedded Systems
2007 Cilardo, Alessandro; Coppolino, L; Mazzocca, Nicola
The Osmosys approach to multiformalism modelling of system
2003 Franceschinis, G; Iacono, M; Mazzocca, Nicola; Vittorini, V.
PREVISIONE E CONTROLLO DELLA RADIOCOPERTURA IN AREE URBANE: UN MODELLO COMPUTAZIONALE PARALLELO
2008 Franceschetti, Giorgio; Guida, Raffaella; Imperatore, Pasquale; Iodice, Antonio; Mazzocca, Nicola; Moscato, Francesco; Riccio, Daniele; Ruello, Giuseppe
Building formal models of concurrent and distribited system: an experience in applicability with two different Petri nets approaches
1999 Mazzocca, Nicola; Russo, S; Vittorini, V.
Efficient Model checking of properties of a distribuited application: a multimedia case study
2002 Mazzocca, Nicola; Santone, A; Vaglini, G; Vittorini, V.
EPOCA: present and prospects
1996 S., Donatelli; Mazzocca, Nicola; Russo, Stefano
Un Algoritmo Branch-and-Bound Parallelo per Sistemi Multicomputer
1994 Mazzeo, A.; Mazzocca, N.; Russo, Stefano; Sforza, A.
An Hybrid approach to Performance Prediction through Integration of Static Analysis and Simulation
1998 Aversa, R.; DI MARTINO, B.; Mazzeo, Antonino; Mazzocca, N.; Villano, U.
The Transition from a PVM Program Simulator to a Hetetogeneous System Simulator: the HeSSE Project
2000 Mazzocca, Nicola; Rak, M; Villano, U.
Strumento su Piattaforma GRID per la Predizione del Campo Elettromagnetico in Aree Urbane
2008 Imperatore, Pasquale; Moscato, Francesco; Guida, Raffaella; Ruello, Giuseppe; Iodice, Antonio; Riccio, Daniele; Mazzocca, Nicola; Franceschetti, Giorgio
Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach
2002 Franceschinis, G.; Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, Valeria
Interaction Patterns Detection in Message Passing Programs to Support Parallel Program Simulation
1997 DI MARTINO, B.; Mazzeo, Antonino; Mazzocca, N.; Villano, U.; Zima, H.
The OsMoSys/DrawNET Xe: Languages System: A novel infrastructure for MultiFormalism Object-Oriented Modelling
2003 Gibaudo, M; Iacono, M; Mazzocca, Nicola; Vittorini, V.
An Experience in Railway interlocking Systems Specification and Formal Verification
2003 Chianese, R.; Lazzaro, A.; Marmo, P.; Mazzocca, N.; Papa, D.; Vittorini, Valeria
Paradigms for the parallelization of Branch-and-Bound algorithms
1996 DI MARTINO, B.; Mazzocca, Nicola; Russo, Stefano
Reconfigurable Systems Self-Healing using Mobile Hardware Agents
2005 Benso, A; Cilardo, Alessandro; Mazzocca, Nicola; Miclea, L; Prinetto, P; Szilard, E.
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling | 4.1 Articoli in Atti di convegno | 2003 | Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, Valeria | |
A hierarchical approach for designing dependable system | 4.1 Articoli in Atti di convegno | 2003 | Bobbio, A; Franceschinis, G; Mazzocca, Nicola; SONZA REORDA, M; Violante, M. | |
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. | |
Gestione remota di una cella robotizzata: realizzazione e sperimentazione | 4.1 Articoli in Atti di convegno | 2002 | F., Basile; P., Chiacchio; Mazzocca, Nicola; Pescape', Antonio | |
A framework for the Design of Distributed Reconfigurable Embedded Systems | 4.1 Articoli in Atti di convegno | 2007 | Cilardo, Alessandro; Coppolino, L; Mazzocca, Nicola | |
The Osmosys approach to multiformalism modelling of system | 1.1 Articolo in rivista | 2003 | Franceschinis, G; Iacono, M; Mazzocca, Nicola; Vittorini, V. | |
PREVISIONE E CONTROLLO DELLA RADIOCOPERTURA IN AREE URBANE: UN MODELLO COMPUTAZIONALE PARALLELO | 4.1 Articoli in Atti di convegno | 2008 | Franceschetti, Giorgio; Guida, Raffaella; Imperatore, Pasquale; Iodice, Antonio; Mazzocca, Nicola; Moscato, Francesco; Riccio, Daniele; Ruello, Giuseppe | |
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. | |
EPOCA: present and prospects | 2.1 Contributo in volume (Capitolo o Saggio) | 1996 | S., Donatelli; Mazzocca, Nicola; Russo, Stefano | |
Un Algoritmo Branch-and-Bound Parallelo per Sistemi Multicomputer | 1.1 Articolo in rivista | 1994 | Mazzeo, A.; Mazzocca, N.; Russo, Stefano; Sforza, A. | |
An Hybrid approach to Performance Prediction through Integration of Static Analysis and Simulation | 4.1 Articoli in Atti di convegno | 1998 | Aversa, R.; DI MARTINO, B.; Mazzeo, Antonino; Mazzocca, N.; Villano, U. | |
The Transition from a PVM Program Simulator to a Hetetogeneous System Simulator: the HeSSE Project | 2.1 Contributo in volume (Capitolo o Saggio) | 2000 | Mazzocca, Nicola; Rak, M; Villano, U. | |
Strumento su Piattaforma GRID per la Predizione del Campo Elettromagnetico in Aree Urbane | 4.1 Articoli in Atti di convegno | 2008 | Imperatore, Pasquale; Moscato, Francesco; Guida, Raffaella; Ruello, Giuseppe; Iodice, Antonio; Riccio, Daniele; Mazzocca, Nicola; Franceschetti, Giorgio | |
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 | |
Interaction Patterns Detection in Message Passing Programs to Support Parallel Program Simulation | 5.14 Altro ministeriale | 1997 | DI MARTINO, B.; Mazzeo, Antonino; Mazzocca, N.; Villano, U.; Zima, H. | |
The OsMoSys/DrawNET Xe: Languages System: A novel infrastructure for MultiFormalism Object-Oriented Modelling | 4.1 Articoli in Atti di convegno | 2003 | Gibaudo, M; Iacono, M; Mazzocca, Nicola; Vittorini, V. | |
An Experience in Railway interlocking Systems Specification and Formal Verification | 2.1 Contributo in volume (Capitolo o Saggio) | 2003 | Chianese, R.; Lazzaro, A.; Marmo, P.; Mazzocca, N.; Papa, D.; Vittorini, Valeria | |
Paradigms for the parallelization of Branch-and-Bound algorithms | 2.1 Contributo in volume (Capitolo o Saggio) | 1996 | DI MARTINO, B.; Mazzocca, Nicola; Russo, Stefano | |
Reconfigurable Systems Self-Healing using Mobile Hardware Agents | 4.1 Articoli in Atti di convegno | 2005 | Benso, A; Cilardo, Alessandro; Mazzocca, Nicola; Miclea, L; Prinetto, P; Szilard, E. |