Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nicola Mazzocca
@article{DBLP:journals/eswa/MartinoLMTS24,
author = {Sergio Di Martino and
Enrico Landolfi and
Nicola Mazzocca and
Franca Rocco di Torrepadula and
Luigi Libero Lucio Starace},
title = {A visual-based toolkit to support mobility data analytics},
journal = {Expert Syst. Appl.},
volume = {238},
number = {Part {C}},
pages = {121949},
year = {2024},
url = {https://doi.org/10.1016/j.eswa.2023.121949},
doi = {10.1016/J.ESWA.2023.121949},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eswa/MartinoLMTS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iot/VitaleVMB23,
author = {Francesco Vitale and
Fabrizio De Vita and
Nicola Mazzocca and
Dario Bruneo},
title = {A Process Mining-based unsupervised Anomaly Detection technique for
the Industrial Internet of Things},
journal = {Internet Things},
volume = {24},
pages = {100993},
year = {2023},
url = {https://doi.org/10.1016/j.iot.2023.100993},
doi = {10.1016/J.IOT.2023.100993},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iot/VitaleVMB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/CinqueSMOV23,
author = {Marcello Cinque and
Luigi De Simone and
Nicola Mazzocca and
Daniele Ottaviano and
Francesco Vitale},
title = {Evaluating virtualization for fog monitoring of real-time applications
in mixed-criticality systems},
journal = {Real Time Syst.},
volume = {59},
number = {4},
pages = {534--567},
year = {2023},
url = {https://doi.org/10.1007/s11241-023-09410-4},
doi = {10.1007/S11241-023-09410-4},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/CinqueSMOV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tetc/BarbareschiBMM23,
author = {Mario Barbareschi and
Salvatore Barone and
Nicola Mazzocca and
Alberto Moriconi},
title = {A Catalog-Based AIG-Rewriting Approach to the Design of Approximate
Components},
journal = {{IEEE} Trans. Emerg. Top. Comput.},
volume = {11},
number = {1},
pages = {70--81},
year = {2023},
url = {https://doi.org/10.1109/TETC.2022.3170502},
doi = {10.1109/TETC.2022.3170502},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tetc/BarbareschiBMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/BenedictisFMSV23,
author = {Alessandra De Benedictis and
Francesco Flammini and
Nicola Mazzocca and
Alessandra Somma and
Francesco Vitale},
title = {Digital Twins for Anomaly Detection in the Industrial Internet of
Things: Conceptual Architecture and Proof-of-Concept},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {19},
number = {12},
pages = {11553--11563},
year = {2023},
url = {https://doi.org/10.1109/TII.2023.3246983},
doi = {10.1109/TII.2023.3246983},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tii/BenedictisFMSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/BenedictisMSS23,
author = {Alessandra De Benedictis and
Nicola Mazzocca and
Alessandra Somma and
Carmine Strigaro},
title = {Digital Twins in Healthcare: An Architectural Proposal and Its Application
in a Social Distancing Case Study},
journal = {{IEEE} J. Biomed. Health Informatics},
volume = {27},
number = {10},
pages = {5143--5154},
year = {2023},
url = {https://doi.org/10.1109/JBHI.2022.3205506},
doi = {10.1109/JBHI.2022.3205506},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/titb/BenedictisMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egovis/AmatoFFMMMN23,
author = {Flora Amato and
Simona Fioretto and
Eugenio Forgillo and
Elio Masciari and
Nicola Mazzocca and
Sabrina Merola and
Enea Vincenzo Napolitano},
editor = {Andrea K{\"{o}} and
Enrico Francesconi and
Adeleh Asemi and
Gabriele Kotsis and
A Min Tjoa and
Ismail Khalil},
title = {Evolving Justice Sector: An Innovative Proposal for Introducing AI-Based
Techniques in Court Offices},
booktitle = {Electronic Government and the Information Systems Perspective - 12th
International Conference, {EGOVIS} 2023, Penang, Malaysia, August
28-30, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14149},
pages = {75--88},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-39841-4\_6},
doi = {10.1007/978-3-031-39841-4\_6},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/egovis/AmatoFFMMMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/AmatoFFMMMN23,
author = {Flora Amato and
Simona Fioretto and
Eugenio Forgillo and
Elio Masciari and
Nicola Mazzocca and
Sabrina Merola and
Enea Vincenzo Napolitano},
editor = {Diego Calvanese and
Claudia Diamantini and
Guglielmo Faggioli and
Nicola Ferro and
Stefano Marchesin and
Gianmaria Silvello and
Letizia Tanca},
title = {Introducing AI-Based Techniques in the Justice Sector: {A} Proposal
for Digital Transformation of Court Offices},
booktitle = {Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano
Terme, Italy, July 2nd to 5th, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3478},
pages = {497--504},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3478/paper42.pdf},
timestamp = {Wed, 13 Sep 2023 16:08:43 +0200},
biburl = {https://dblp.org/rec/conf/sebd/AmatoFFMMMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sumob/TorrepadulaRMMS23,
author = {Franca Rocco di Torrepadula and
Debora Russo and
Sergio Di Martino and
Nicola Mazzocca and
Paolo Sannino},
title = {Using {SUMO} towards Proactive Public Mobility: Some Lessons Learned},
booktitle = {Proceedings of the 1st {ACM} {SIGSPATIAL} International Workshop on
Sustainable Mobility, SuMob 2023, Hamburg, Germany, 13 November 2023},
pages = {51--58},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615899.3627932},
doi = {10.1145/3615899.3627932},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sumob/TorrepadulaRMMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w2gis/MartinoMTS23,
author = {Sergio Di Martino and
Nicola Mazzocca and
Franca Rocco di Torrepadula and
Luigi Libero Lucio Starace},
editor = {Mir Abolfazl Mostafavi and
G{\'{e}}raldine Del Mondo},
title = {Mobility Data Analytics with {KNOT:} The KNime mObility Toolkit},
booktitle = {Web and Wireless Geographical Information Systems - 20th International
Symposium, {W2GIS} 2023, Quebec City, QC, Canada, June 12-13, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13912},
pages = {95--104},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-34612-5\_6},
doi = {10.1007/978-3-031-34612-5\_6},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/w2gis/MartinoMTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CilardoCSM22,
author = {Alessandro Cilardo and
Marcello Cinque and
Luigi De Simone and
Nicola Mazzocca},
title = {Virtualization Over Multiprocessor Systems-on-Chip: An Enabling Paradigm
for the Industrial Internet of Things},
journal = {Computer},
volume = {55},
number = {10},
pages = {35--47},
year = {2022},
url = {https://doi.org/10.1109/MC.2022.3140896},
doi = {10.1109/MC.2022.3140896},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CilardoCSM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/CilardoMMT22,
author = {Alessandro Cilardo and
Vincenzo Maisto and
Nicola Mazzocca and
Franca Rocco di Torrepadula},
editor = {Antonio Vallecillo and
Joost Visser and
Ricardo P{\'{e}}rez{-}Castillo},
title = {A Proposal for FPGA-Accelerated Deep Learning Ensembles in MPSoC Platforms
Applied to Malware Detection},
booktitle = {Quality of Information and Communications Technology - 15th International
Conference, {QUATIC} 2022, Talavera de la Reina, Spain, September
12-14, 2022, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1621},
pages = {239--249},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14179-9\_16},
doi = {10.1007/978-3-031-14179-9\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/quatic/CilardoMMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w2gis/AmatoMMNTS22,
author = {Flora Amato and
Sergio Di Martino and
Nicola Mazzocca and
Davide Nardone and
Franca Rocco di Torrepadula and
Paolo Sannino},
editor = {Farid Karimipour and
Sabine Storandt},
title = {Bus Passenger Load Prediction: Challenges from an Industrial Experience},
booktitle = {Web and Wireless Geographical Information Systems - 19th International
Symposium, {W2GIS} 2022, Constance, Germany, April 28-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13238},
pages = {93--107},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06245-2\_9},
doi = {10.1007/978-3-031-06245-2\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/w2gis/AmatoMMNTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/BiondiCCBBPLBSB21,
author = {Alessandro Biondi and
Daniel Casini and
Giorgiomaria Cicero and
Niccol{\`{o}} Borgioli and
Giorgio C. Buttazzo and
Gaetano Patti and
Luca Leonardi and
Lucia Lo Bello and
Marco Solieri and
Paolo Burgio and
Ignacio Sanudo Olmedo and
Angelo Ruocco and
Luca Palazzi and
Marko Bertogna and
Alessandro Cilardo and
Nicola Mazzocca and
Antonino Mazzeo},
title = {{SPHERE:} {A} Multi-SoC Architecture for Next-Generation Cyber-Physical
Systems Based on Heterogeneous Platforms},
journal = {{IEEE} Access},
volume = {9},
pages = {75446--75459},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3080842},
doi = {10.1109/ACCESS.2021.3080842},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/BiondiCCBBPLBSB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/CasolaBMMS21,
author = {Valentina Casola and
Alessandra De Benedictis and
Sergio Di Martino and
Nicola Mazzocca and
Luigi Libero Lucio Starace},
title = {Security-Aware Deployment Optimization of Cloud-Edge Systems in Industrial
IoT},
journal = {{IEEE} Internet Things J.},
volume = {8},
number = {16},
pages = {12724--12733},
year = {2021},
url = {https://doi.org/10.1109/JIOT.2020.3004732},
doi = {10.1109/JIOT.2020.3004732},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/CasolaBMMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/BarbareschiBM21,
author = {Mario Barbareschi and
Salvatore Barone and
Nicola Mazzocca},
title = {Advancing synthesis of decision tree-based multiple classifier systems:
an approximate computing case study},
journal = {Knowl. Inf. Syst.},
volume = {63},
number = {6},
pages = {1577--1596},
year = {2021},
url = {https://doi.org/10.1007/s10115-021-01565-5},
doi = {10.1007/S10115-021-01565-5},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kais/BarbareschiBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/BellavistaEFGMM21,
author = {Paolo Bellavista and
Christian Esposito and
Luca Foschini and
Carlo Giannelli and
Nicola Mazzocca and
Rebecca Montanari},
title = {Interoperable Blockchains for Highly-Integrated Supply Chains in Collaborative
Manufacturing},
journal = {Sensors},
volume = {21},
number = {15},
pages = {4955},
year = {2021},
url = {https://doi.org/10.3390/s21154955},
doi = {10.3390/S21154955},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/BellavistaEFGMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/BarbareschiCBMM21,
author = {Mario Barbareschi and
Valentina Casola and
Alessandra De Benedictis and
Erasmo La Montagna and
Nicola Mazzocca},
title = {On the Adoption of Physically Unclonable Functions to Secure IIoT
Devices},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {17},
number = {11},
pages = {7781--7790},
year = {2021},
url = {https://doi.org/10.1109/TII.2021.3059656},
doi = {10.1109/TII.2021.3059656},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/BarbareschiCBMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomccap/AmatoCCBM021,
author = {Flora Amato and
Valentina Casola and
Giovanni Cozzolino and
Alessandra De Benedictis and
Nicola Mazzocca and
Francesco Moscato},
title = {A Security and Privacy Validation Methodology for e-Health Systems},
journal = {{ACM} Trans. Multim. Comput. Commun. Appl.},
volume = {17},
number = {2s},
pages = {67:1--67:22},
year = {2021},
url = {https://doi.org/10.1145/3412373},
doi = {10.1145/3412373},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tomccap/AmatoCCBM021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-15404,
author = {Alessandro Cilardo and
Marcello Cinque and
Luigi De Simone and
Nicola Mazzocca},
title = {Virtualization over Multiprocessor System-on-Chip: an Enabling Paradigm
for Industrial IoT},
journal = {CoRR},
volume = {abs/2112.15404},
year = {2021},
url = {https://arxiv.org/abs/2112.15404},
eprinttype = {arXiv},
eprint = {2112.15404},
timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-15404.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/AmatoCDMMS20,
author = {Flora Amato and
Luigi Coppolino and
Salvatore D'Antonio and
Nicola Mazzocca and
Francesco Moscato and
Luigi Sgaglione},
title = {An abstract reasoning architecture for privacy policies monitoring},
journal = {Future Gener. Comput. Syst.},
volume = {106},
pages = {393--400},
year = {2020},
url = {https://doi.org/10.1016/j.future.2020.01.019},
doi = {10.1016/J.FUTURE.2020.01.019},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/AmatoCDMMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/NardoneMGABBGMM20,
author = {Roberto Nardone and
Stefano Marrone and
Ugo Gentile and
Aniello Amato and
Gregorio Barberio and
Massimo Benerecetti and
Renato De Guglielmo and
Beniamino Di Martino and
Nicola Mazzocca and
Adriano Peron and
Gaetano Pisani and
Luigi Velardi and
Valeria Vittorini},
title = {An OSLC-based environment for system-level functional testing of {ERTMS/ETCS}
controllers},
journal = {J. Syst. Softw.},
volume = {161},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2019.110478},
doi = {10.1016/J.JSS.2019.110478},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/NardoneMGABBGMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CampanileIMMM20,
author = {Lelio Campanile and
Mauro Iacono and
Fiammetta Marulli and
Michele Mastroianni and
Nicola Mazzocca},
title = {Toward a Fuzzy-based Approach for Computational Load Offloading of
IoT Devices},
journal = {J. Univers. Comput. Sci.},
volume = {26},
number = {11},
pages = {1455--1474},
year = {2020},
url = {http://www.jucs.org/jucs\_26\_11/toward\_a\_fuzzy\_based},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/CampanileIMMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BarbareschiBMMM19,
author = {Mario Barbareschi and
Alessandra De Benedictis and
Erasmo La Montagna and
Antonino Mazzeo and
Nicola Mazzocca},
title = {A PUF-based mutual authentication scheme for Cloud-Edges IoT systems},
journal = {Future Gener. Comput. Syst.},
volume = {101},
pages = {246--261},
year = {2019},
url = {https://doi.org/10.1016/j.future.2019.06.012},
doi = {10.1016/J.FUTURE.2019.06.012},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/BarbareschiBMMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DragoMMNTV19,
author = {Annarita Drago and
Stefano Marrone and
Nicola Mazzocca and
Roberto Nardone and
Annarita Tedesco and
Valeria Vittorini},
title = {A model-driven approach for vulnerability evaluation of modern physical
protection systems},
journal = {Softw. Syst. Model.},
volume = {18},
number = {1},
pages = {523--556},
year = {2019},
url = {https://doi.org/10.1007/s10270-016-0572-7},
doi = {10.1007/S10270-016-0572-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/DragoMMNTV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/BarbareschiBMM19,
author = {Mario Barbareschi and
Salvatore Barone and
Antonino Mazzeo and
Nicola Mazzocca},
title = {Efficient Reed-Muller Implementation for Fuzzy Extractor Schemes},
booktitle = {14th International Conference on Design {\&} Technology of Integrated
Systems In Nanoscale Era, {DTIS} 2019, Mykonos, Greece, April 16-18,
2019},
pages = {1--2},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DTIS.2019.8735029},
doi = {10.1109/DTIS.2019.8735029},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dtis/BarbareschiBMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/BarbareschiBMMM19,
author = {Mario Barbareschi and
Alessandra De Benedictis and
Erasmo La Montagna and
Antonino Mazzeo and
Nicola Mazzocca},
editor = {Sumitra Reddy},
title = {PUF-Enabled Authentication-as-a-Service in Fog-IoT Systems},
booktitle = {28th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2019, Naples, Italy, June
12-14, 2019},
pages = {58--63},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/WETICE.2019.00020},
doi = {10.1109/WETICE.2019.00020},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wetice/BarbareschiBMMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijes/CilardoMP18,
author = {Alessandro Cilardo and
Nicola Mazzocca and
Paolo Prinetto},
title = {An abstraction layer enabling pervasive hardware-reconfigurable systems},
journal = {Int. J. Embed. Syst.},
volume = {10},
number = {5},
pages = {366--377},
year = {2018},
url = {https://doi.org/10.1504/IJES.2018.10015749},
doi = {10.1504/IJES.2018.10015749},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijes/CilardoMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnca/AmatoMM18,
author = {Flora Amato and
Nicola Mazzocca and
Francesco Moscato},
title = {Model driven design and evaluation of security level in orchestrated
cloud services},
journal = {J. Netw. Comput. Appl.},
volume = {106},
pages = {78--89},
year = {2018},
url = {https://doi.org/10.1016/j.jnca.2017.12.006},
doi = {10.1016/J.JNCA.2017.12.006},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jnca/AmatoMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BarbareschiBM18,
author = {Mario Barbareschi and
Alessandra De Benedictis and
Nicola Mazzocca},
title = {A PUF-based hardware mutual authentication protocol},
journal = {J. Parallel Distributed Comput.},
volume = {119},
pages = {107--120},
year = {2018},
url = {https://doi.org/10.1016/j.jpdc.2018.04.007},
doi = {10.1016/J.JPDC.2018.04.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/BarbareschiBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/NardoneTM0V18,
author = {Roberto Nardone and
Gianmaria De Tommasi and
Nicola Mazzocca and
Alfredo Pironti and
Valeria Vittorini},
title = {Automatic generation of formal models for diagnosability of {DES}},
booktitle = {23rd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2018, Torino, Italy, September 4-7, 2018},
pages = {43--48},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ETFA.2018.8502565},
doi = {10.1109/ETFA.2018.8502565},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/NardoneTM0V18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/BenedictisMNV18,
author = {Alessandra De Benedictis and
Nicola Mazzocca and
Roberto Nardone and
Salvatore Venticinque},
title = {A Model-Based Evaluation Methodology for Smart Energy Systems},
booktitle = {2018 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
2018, Taormina, Sicily, Italy, June 18-20, 2018},
pages = {187--194},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SMARTCOMP.2018.00090},
doi = {10.1109/SMARTCOMP.2018.00090},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smartcomp/BenedictisMNV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BenerecettiGGMM17,
author = {Massimo Benerecetti and
Renato De Guglielmo and
Ugo Gentile and
Stefano Marrone and
Nicola Mazzocca and
Roberto Nardone and
Adriano Peron and
Luigi Velardi and
Valeria Vittorini},
title = {Dynamic state machines for modelling railway control systems},
journal = {Sci. Comput. Program.},
volume = {133},
pages = {116--153},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2016.09.002},
doi = {10.1016/J.SCICO.2016.09.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BenerecettiGGMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/AmatoCMM17,
author = {Flora Amato and
Giovanni Cozzolino and
Antonino Mazzeo and
Nicola Mazzocca},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Hui{-}Huang Hsu and
Chi{-}Yi Lin},
title = {Correlation of Digital Evidences in Forensic Investigation through
Semantic Technologies},
booktitle = {31st International Conference on Advanced Information Networking and
Applications Workshops, {AINA} 2017 Workshops, Taipei, Taiwan, March
27-29, 2017},
pages = {668--673},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/WAINA.2017.4},
doi = {10.1109/WAINA.2017.4},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/AmatoCMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/AmatoMMV17,
author = {Flora Amato and
Nicola Mazzocca and
Francesco Moscato and
Emilio Vivenzio},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Hui{-}Huang Hsu and
Chi{-}Yi Lin},
title = {Multilayer Perceptron: An Intelligent Model for Classification and
Intrusion Detection},
booktitle = {31st International Conference on Advanced Information Networking and
Applications Workshops, {AINA} 2017 Workshops, Taipei, Taiwan, March
27-29, 2017},
pages = {686--691},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/WAINA.2017.134},
doi = {10.1109/WAINA.2017.134},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/AmatoMMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eidwt/AmatoM0X17,
author = {Flora Amato and
Nicola Mazzocca and
Francesco Moscato and
Fatos Xhafa},
editor = {Leonard Barolli and
Mingwu Zhang and
Xu An Wang},
title = {A Model Profile for Pattern-Based Definition and Verification of Composite
Cloud Services},
booktitle = {Advances in Internetworking, Data {\&} Web Technologies, The 5th
International Conference on Emerging Internetworking, Data {\&}
Web Technologies, EIDWT-2017, Wuhan, China, June 10-11, 2017},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {6},
pages = {645--656},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59463-7\_65},
doi = {10.1007/978-3-319-59463-7\_65},
timestamp = {Mon, 03 Apr 2023 12:49:11 +0200},
biburl = {https://dblp.org/rec/conf/eidwt/AmatoM0X17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/incos/AmatoM0X17,
author = {Flora Amato and
Nicola Mazzocca and
Francesco Moscato and
Fatos Xhafa},
editor = {Leonard Barolli and
Isaac Woungang and
Omar Khadeer Hussain},
title = {Multi-agent Collaborative Planning in Smart Environments},
booktitle = {Advances in Intelligent Networking and Collaborative Systems, The
9th International Conference on Intelligent Networking and Collaborative
Systems, INCoS-2017, Ryerson University, Toronto, ON, Canada, August
24-26, 2017},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {8},
pages = {250--261},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65636-6\_22},
doi = {10.1007/978-3-319-65636-6\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/incos/AmatoM0X17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/AmatoCM0M17,
author = {Flora Amato and
Aniello Castiglione and
Nicola Mazzocca and
Francesco Moscato and
Vincenzo Moscato},
title = {{OFL:} {A} Language for Cloud Orchestration},
booktitle = {2017 {IEEE} International Symposium on Parallel and Distributed Processing
with Applications and 2017 {IEEE} International Conference on Ubiquitous
Computing and Communications (ISPA/IUCC), Guangzhou, China, December
12-15, 2017},
pages = {1404--1409},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISPA/IUCC.2017.00213},
doi = {10.1109/ISPA/IUCC.2017.00213},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispa/AmatoCM0M17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijguc/GentileMMN16,
author = {Ugo Gentile and
Stefano Marrone and
Nicola Mazzocca and
Roberto Nardone},
title = {Cost-energy modelling and profiling of smart domestic grids},
journal = {Int. J. Grid Util. Comput.},
volume = {7},
number = {4},
pages = {257--271},
year = {2016},
url = {https://doi.org/10.1504/IJGUC.2016.10001950},
doi = {10.1504/IJGUC.2016.10001950},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijguc/GentileMMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/AmatoMM16,
author = {Flora Amato and
Nicola Mazzocca and
Francesco Moscato},
editor = {Fatos Xhafa and
Leonard Barolli and
Flora Amato},
title = {Self Planning in Critical Multi-Agent Systems},
booktitle = {Advances on P2P, Parallel, Grid, Cloud and Internet Computing, Proceedings
of the 11th International Conference on P2P, Parallel, Grid, Cloud
and Internet Computing, 3PGCIC 2016, Soonchunhyang University, Asan,
South Korea, November 5-7, 2016},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {1},
pages = {315--324},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49109-7\_30},
doi = {10.1007/978-3-319-49109-7\_30},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/3pgcic/AmatoMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/AmatoCM16,
author = {Flora Amato and
Giovanni Cozzolino and
Nicola Mazzocca},
editor = {Fatos Xhafa and
Leonard Barolli and
Flora Amato},
title = {Semantic Integration and Correlation of Digital Evidences in Forensic
Investigations},
booktitle = {Advances on P2P, Parallel, Grid, Cloud and Internet Computing, Proceedings
of the 11th International Conference on P2P, Parallel, Grid, Cloud
and Internet Computing, 3PGCIC 2016, Soonchunhyang University, Asan,
South Korea, November 5-7, 2016},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {1},
pages = {415--424},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49109-7\_39},
doi = {10.1007/978-3-319-49109-7\_39},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/3pgcic/AmatoCM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euspn/AmatoMMM16,
author = {Flora Amato and
Antonino Mazzeo and
Nicola Mazzocca and
Francesco Moscato},
editor = {Elhadi M. Shakshuki},
title = {A Formal Model for Autonomous Planning in High Performance Systems},
booktitle = {The 7th International Conference on Emerging Ubiquitous Systems and
Pervasive Networks {(EUSPN} 2016)/The 6th International Conference
on Current and Future Trends of Information and Communication Technologies
in Healthcare (ICTH-2016)/Affiliated Workshops, September 19-22, 2016,
London, United Kingdom},
series = {Procedia Computer Science},
volume = {98},
pages = {503--508},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.procs.2016.09.085},
doi = {10.1016/J.PROCS.2016.09.085},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/euspn/AmatoMMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/FlamminiMMV16,
author = {Francesco Flammini and
Stefano Marrone and
Nicola Mazzocca and
Valeria Vittorini},
editor = {Rami S. Abielmona and
Rafael Falcon and
Nur Zincir{-}Heywood and
Hussein A. Abbass},
title = {Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security
Monitoring},
booktitle = {Recent Advances in Computational Intelligence in Defense and Security},
series = {Studies in Computational Intelligence},
volume = {621},
pages = {71--100},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-26450-9\_4},
doi = {10.1007/978-3-319-26450-9\_4},
timestamp = {Fri, 08 Dec 2023 07:53:07 +0100},
biburl = {https://dblp.org/rec/series/sci/FlamminiMMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcse/AmatoMMR15,
author = {Flora Amato and
Antonino Mazzeo and
Nicola Mazzocca and
Sara Romano},
title = {Semantically driven documents composition in CloSe cloud system},
journal = {Int. J. Comput. Sci. Eng.},
volume = {11},
number = {1},
pages = {68--77},
year = {2015},
url = {https://doi.org/10.1504/IJCSE.2015.071363},
doi = {10.1504/IJCSE.2015.071363},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcse/AmatoMMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/AmatoPEM15,
author = {Flora Amato and
Giuseppe De Pietro and
Massimo Esposito and
Nicola Mazzocca},
title = {An integrated framework for securing semi-structured health records},
journal = {Knowl. Based Syst.},
volume = {79},
pages = {99--117},
year = {2015},
url = {https://doi.org/10.1016/j.knosys.2015.02.004},
doi = {10.1016/J.KNOSYS.2015.02.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/AmatoPEM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/GentileMPNMG15,
author = {Ugo Gentile and
Stefano Marrone and
Francesco M. De Paola and
Roberto Nardone and
Nicola Mazzocca and
Maurizio Giugni},
editor = {Fatos Xhafa and
Leonard Barolli and
Fabrizio Messina and
Marek R. Ogiela},
title = {Model-Based Water Quality Assurance in Ground and Surface Provisioning
Systems},
booktitle = {10th International Conference on P2P, Parallel, Grid, Cloud and Internet
Computing, 3PGCIC 2015, Krakow, Poland, November 4-6, 2015},
pages = {527--532},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/3PGCIC.2015.97},
doi = {10.1109/3PGCIC.2015.97},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/3pgcic/GentileMPNMG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/BarbareschiBMM15,
author = {Mario Barbareschi and
Ermanno Battista and
Antonino Mazzeo and
Nicola Mazzocca},
title = {Testing 90 nm microcontroller {SRAM} {PUF} quality},
booktitle = {10th International Conference on Design {\&} Technology of Integrated
Systems in Nanoscale Era, {DTIS} 2015, Napoli, Italy, April 21-23,
2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/DTIS.2015.7127360},
doi = {10.1109/DTIS.2015.7127360},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dtis/BarbareschiBMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NardoneGBPVMM15,
author = {Roberto Nardone and
Ugo Gentile and
Massimo Benerecetti and
Adriano Peron and
Valeria Vittorini and
Stefano Marrone and
Nicola Mazzocca},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Modeling Railway Control Systems in Promela},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {121--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_7},
doi = {10.1007/978-3-319-29510-7\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/NardoneGBPVMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/AmatoPDGMM15,
author = {Flora Amato and
Francesco M. De Paola and
Crescenzo Diomaiuta and
Maurizio Giugni and
Nicola Mazzocca and
Francesco Moscato},
editor = {Slawomir Koziel and
Leifur {\TH}. Leifsson and
Michael Lees and
Valeria V. Krzhizhanovskaya and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {A Model Driven Approach to Water Resource Analysis based on Formal
Methods and Model Transformation},
booktitle = {Proceedings of the International Conference on Computational Science,
{ICCS} 2015, Computational Science at the Gates of Nature, Reykjav{\'{\i}}k,
Iceland, 1-3 June, 2015, 2014},
series = {Procedia Computer Science},
volume = {51},
pages = {562--571},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.procs.2015.05.323},
doi = {10.1016/J.PROCS.2015.05.323},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/AmatoPDGMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/CilardoFGMM14,
author = {Alessandro Cilardo and
Edoardo Fusella and
Luca Gallo and
Antonino Mazzeo and
Nicola Mazzocca},
title = {Automated design space exploration for FPGA-based heterogeneous interconnects},
journal = {Des. Autom. Embed. Syst.},
volume = {18},
number = {3-4},
pages = {157--170},
year = {2014},
url = {https://doi.org/10.1007/s10617-014-9134-9},
doi = {10.1007/S10617-014-9134-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/CilardoFGMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/CilardoSM14,
author = {Alessandro Cilardo and
Dario Socci and
Nicola Mazzocca},
title = {ASP-based optimized mapping in a simulink-to-MPSoC design flow},
journal = {J. Syst. Archit.},
volume = {60},
number = {1},
pages = {108--118},
year = {2014},
url = {https://doi.org/10.1016/j.sysarc.2013.10.004},
doi = {10.1016/J.SYSARC.2013.10.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/CilardoSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/RakFBCM14,
author = {Massimiliano Rak and
Massimo Ficco and
Ermanno Battista and
Valentina Casola and
Nicola Mazzocca},
title = {Developing Secure Cloud Applications},
journal = {Scalable Comput. Pract. Exp.},
volume = {15},
number = {1},
year = {2014},
url = {https://doi.org/10.12694/scpe.v15i1.965},
doi = {10.12694/SCPE.V15I1.965},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scpe/RakFBCM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MarroneFMNV14,
author = {Stefano Marrone and
Francesco Flammini and
Nicola Mazzocca and
Roberto Nardone and
Valeria Vittorini},
title = {Towards Model-Driven V{\&}V assessment of railway control systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {669--683},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0320-7},
doi = {10.1007/S10009-014-0320-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MarroneFMNV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/CilardoCPCMNS14,
author = {Alessandro Cilardo and
Davide De Caro and
Nicola Petra and
Francesco Caserta and
Nicola Mazzocca and
Ettore Napoli and
Antonio Giuseppe Maria Strollo},
title = {High Speed Speculative Multipliers Based on Speculative Carry-Save
Tree},
journal = {{IEEE} Trans. Circuits Syst. {I} Regul. Pap.},
volume = {61-I},
number = {12},
pages = {3426--3435},
year = {2014},
url = {https://doi.org/10.1109/TCSI.2014.2337231},
doi = {10.1109/TCSI.2014.2337231},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcas/CilardoCPCMNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/GentileMMN14,
author = {Ugo Gentile and
Stefano Marrone and
Nicola Mazzocca and
Roberto Nardone},
title = {A Cost-Energy Trade-Off Model in Smart Energy Grids},
booktitle = {2014 Ninth International Conference on P2P, Parallel, Grid, Cloud
and Internet Computing, Guangdong, China, November 8-10, 2014},
pages = {394--399},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/3PGCIC.2014.83},
doi = {10.1109/3PGCIC.2014.83},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/3pgcic/GentileMMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/VenticinqueMV14,
author = {Alessio Venticinque and
Nicola Mazzocca and
Salvatore Venticinque},
title = {A Semantic Support for Testing Activities of Safety-Critical Embedded
Systems},
booktitle = {Eighth International Conference on Complex, Intelligent and Software
Intensive Systems, {CISIS} 2014, Birmingham, UK, July 2-4, 2014},
pages = {576--581},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CISIS.2014.83},
doi = {10.1109/CISIS.2014.83},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cisis/VenticinqueMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NardoneGPBVMGMV14,
author = {Roberto Nardone and
Ugo Gentile and
Adriano Peron and
Massimo Benerecetti and
Valeria Vittorini and
Stefano Marrone and
Renato De Guglielmo and
Nicola Mazzocca and
Luigi Velardi},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Dynamic State Machines for Formalizing Railway Control System Specifications},
booktitle = {Formal Techniques for Safety-Critical Systems - Third International
Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {476},
pages = {93--109},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17581-2\_7},
doi = {10.1007/978-3-319-17581-2\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/NardoneGPBVMGMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/BarbareschiBMV14a,
author = {Mario Barbareschi and
Ermanno Battista and
Nicola Mazzocca and
Sridhar Venkatesan},
editor = {James Joshi and
Elisa Bertino and
Bhavani Thuraisingham and
Ling Liu},
title = {A hardware accelerator for data classification within the sensing
infrastructure},
booktitle = {Proceedings of the 15th {IEEE} International Conference on Information
Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15,
2014},
pages = {400--405},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IRI.2014.7051917},
doi = {10.1109/IRI.2014.7051917},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/BarbareschiBMV14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/BernardoMMM14,
author = {Mario di Bernardo and
Elisa Maini and
Antonio Manzalini and
Nicola Mazzocca},
title = {Traffic dynamics and vulnerability in hypercube communication networks},
booktitle = {{IEEE} International Symposium on Circuits and Systemss, {ISCAS} 2014,
Melbourne, Victoria, Australia, June 1-5, 2014},
pages = {2221--2224},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ISCAS.2014.6865611},
doi = {10.1109/ISCAS.2014.6865611},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/BernardoMMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nof/MainiM14,
author = {Elisa Maini and
Nicola Mazzocca},
title = {A compositional modelling approach for live migration in Software
Defined Networks},
booktitle = {2014 International Conference and Workshop on the Network of the Future,
{NOF} 2014, Paris, France, December 3-5, 2014},
pages = {1--6},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/NOF.2014.7119790},
doi = {10.1109/NOF.2014.7119790},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nof/MainiM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/ClaymanMGMM14,
author = {Stuart Clayman and
Elisa Maini and
Alex Galis and
Antonio Manzalini and
Nicola Mazzocca},
title = {The dynamic placement of virtual network functions},
booktitle = {2014 {IEEE} Network Operations and Management Symposium, {NOMS} 2014,
Krakow, Poland, May 5-9, 2014},
pages = {1--9},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/NOMS.2014.6838412},
doi = {10.1109/NOMS.2014.6838412},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/noms/ClaymanMGMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BarberioMMVAGGMNPV14,
author = {Gregorio Barberio and
Beniamino Di Martino and
Nicola Mazzocca and
Luigi Velardi and
Aniello Amato and
Renato De Guglielmo and
Ugo Gentile and
Stefano Marrone and
Roberto Nardone and
Adriano Peron and
Valeria Vittorini},
editor = {Andrea Bondavalli and
Andrea Ceccarelli and
Frank Ortmeier},
title = {An Interoperable Testing Environment for {ERTMS/ETCS} Control Systems},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2014 Workshops:
ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, {SASSUR.} Florence, Italy,
September 8-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8696},
pages = {147--156},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10557-4\_18},
doi = {10.1007/978-3-319-10557-4\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BarberioMMVAGGMNPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VenticinqueMVF14,
author = {Alessio Venticinque and
Nicola Mazzocca and
Salvatore Venticinque and
Massimo Ficco},
title = {Semantic Support for Log Analysis of Safety-Critical Embedded Systems},
journal = {CoRR},
volume = {abs/1405.2986},
year = {2014},
url = {http://arxiv.org/abs/1405.2986},
eprinttype = {arXiv},
eprint = {1405.2986},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/VenticinqueMVF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AmatoCMR13,
author = {Flora Amato and
Valentina Casola and
Nicola Mazzocca and
Sara Romano},
title = {A semantic approach for fine-grain access control of e-health documents},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {692--701},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs027},
doi = {10.1093/JIGPAL/JZS027},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/AmatoCMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/BattistaCMM13,
author = {Ermanno Battista and
Valentina Casola and
Antonino Mazzeo and
Nicola Mazzocca},
title = {{SIREN:} a feasible moving target defence framework for securing resource-constrained
embedded nodes},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {4},
number = {4},
pages = {374--392},
year = {2013},
url = {https://doi.org/10.1504/IJCCBS.2013.059053},
doi = {10.1504/IJCCBS.2013.059053},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/BattistaCMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcip/MarroneNTDVSCM13,
author = {Stefano Marrone and
Roberto Nardone and
Annarita Tedesco and
Pasquale D'Amore and
Valeria Vittorini and
Roberto Setola and
Francesca De Cillis and
Nicola Mazzocca},
title = {Vulnerability modeling and analysis for critical infrastructure protection
applications},
journal = {Int. J. Crit. Infrastructure Prot.},
volume = {6},
number = {3-4},
pages = {217--227},
year = {2013},
url = {https://doi.org/10.1016/j.ijcip.2013.10.001},
doi = {10.1016/J.IJCIP.2013.10.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcip/MarroneNTDVSCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsose/CasolaBDM13,
author = {Valentina Casola and
Alessandra De Benedictis and
Annarita Drago and
Nicola Mazzocca},
title = {SeNsiM-SEC: secure sensor networks integration to monitor rail freight
transport},
journal = {Int. J. Syst. Syst. Eng.},
volume = {4},
number = {3/4},
pages = {291--316},
year = {2013},
url = {https://doi.org/10.1504/IJSSE.2013.057653},
doi = {10.1504/IJSSE.2013.057653},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsose/CasolaBDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsose/AmatoCEMM13,
author = {Flora Amato and
Valentina Casola and
Mariana Esposito and
Antonino Mazzeo and
Nicola Mazzocca},
title = {A smart decision support systems based on a fast classifier and a
semantic post reasoner},
journal = {Int. J. Syst. Syst. Eng.},
volume = {4},
number = {3/4},
pages = {317--336},
year = {2013},
url = {https://doi.org/10.1504/IJSSE.2013.057654},
doi = {10.1504/IJSSE.2013.057654},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsose/AmatoCEMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/CilardoGM13,
author = {Alessandro Cilardo and
Luca Gallo and
Nicola Mazzocca},
title = {Design space exploration for high-level synthesis of multi-threaded
applications},
journal = {J. Syst. Archit.},
volume = {59},
number = {10-D},
pages = {1171--1183},
year = {2013},
url = {https://doi.org/10.1016/j.sysarc.2013.08.005},
doi = {10.1016/J.SYSARC.2013.08.005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/CilardoGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BernardiFMMMNV13,
author = {Simona Bernardi and
Francesco Flammini and
Stefano Marrone and
Nicola Mazzocca and
Jos{\'{e}} Merseguer and
Roberto Nardone and
Valeria Vittorini},
title = {Enabling the usage of {UML} in the verification of railway systems:
The DAM-rail approach},
journal = {Reliab. Eng. Syst. Saf.},
volume = {120},
pages = {112--126},
year = {2013},
url = {https://doi.org/10.1016/j.ress.2013.06.032},
doi = {10.1016/J.RESS.2013.06.032},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/BernardiFMMMNV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tifs/CilardoM13,
author = {Alessandro Cilardo and
Nicola Mazzocca},
title = {Exploiting Vulnerabilities in Cryptographic Hash Functions Based on
Reconfigurable Hardware},
journal = {{IEEE} Trans. Inf. Forensics Secur.},
volume = {8},
number = {5},
pages = {810--820},
year = {2013},
url = {https://doi.org/10.1109/TIFS.2013.2256898},
doi = {10.1109/TIFS.2013.2256898},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tifs/CilardoM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/BattistaCMNM13,
author = {Ermanno Battista and
Valentina Casola and
Nicola Mazzocca and
Roberto Nardone and
Stefano Marrone},
editor = {Fatos Xhafa and
Leonard Barolli and
Dritan Nace and
Salvatore Venticinque and
Alain Bui},
title = {A Compositional Modelling Approach for Large Sensor Networks Design},
booktitle = {Eighth International Conference on P2P, Parallel, Grid, Cloud and
Internet Computing, 3PGCIC 2013, Compiegne, France, October 28-30,
2013},
pages = {422--429},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/3PGCIC.2013.71},
doi = {10.1109/3PGCIC.2013.71},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/3pgcic/BattistaCMNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/BarbareschiBCMM13,
author = {Mario Barbareschi and
Ermanno Battista and
Valentina Casola and
Antonino Mazzeo and
Nicola Mazzocca},
editor = {Fatos Xhafa and
Leonard Barolli and
Dritan Nace and
Salvatore Venticinque and
Alain Bui},
title = {On the Adoption of {FPGA} for Protecting Cyber Physical Infrastructures},
booktitle = {Eighth International Conference on P2P, Parallel, Grid, Cloud and
Internet Computing, 3PGCIC 2013, Compiegne, France, October 28-30,
2013},
pages = {430--435},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/3PGCIC.2013.72},
doi = {10.1109/3PGCIC.2013.72},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/3pgcic/BarbareschiBCMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/AmatoMPE13,
author = {Flora Amato and
Nicola Mazzocca and
Giuseppe De Pietro and
Massimo Esposito},
editor = {Fatos Xhafa and
Leonard Barolli and
Dritan Nace and
Salvatore Venticinque and
Alain Bui},
title = {A System for Semantic-Based Access Control},
booktitle = {Eighth International Conference on P2P, Parallel, Grid, Cloud and
Internet Computing, 3PGCIC 2013, Compiegne, France, October 28-30,
2013},
pages = {442--446},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/3PGCIC.2013.74},
doi = {10.1109/3PGCIC.2013.74},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/3pgcic/AmatoMPE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/FlamminiMMPPV13,
author = {Francesco Flammini and
Stefano Marrone and
Nicola Mazzocca and
Alfio Pappalardo and
Concetta Pragliola and
Valeria Vittorini},
editor = {Alfredo Cuzzocrea and
Christian Kittl and
Dimitris E. Simos and
Edgar R. Weippl and
Lida Xu},
title = {Trustworthiness Evaluation of Multi-sensor Situation Recognition in
Transit Surveillance Scenarios},
booktitle = {Security Engineering and Intelligence Informatics - {CD-ARES} 2013
Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8128},
pages = {442--456},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40588-4\_31},
doi = {10.1007/978-3-642-40588-4\_31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/FlamminiMMPPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acivs/CasolaEFMP13,
author = {Valentina Casola and
Mariana Esposito and
Francesco Flammini and
Nicola Mazzocca and
Concetta Pragliola},
editor = {Jacques Blanc{-}Talon and
Andrzej J. Kasinski and
Wilfried Philips and
Dan C. Popescu and
Paul Scheunders},
title = {Performance Evaluation of Video Analytics for Surveillance On-Board
Trains},
booktitle = {Advanced Concepts for Intelligent Vision Systems - 15th International
Conference, {ACIVS} 2013, Pozna{\'{n}}, Poland, October 28-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8192},
pages = {414--425},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02895-8\_37},
doi = {10.1007/978-3-319-02895-8\_37},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acivs/CasolaEFMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CilardoGMM13,
author = {Alessandro Cilardo and
Luca Gallo and
Antonino Mazzeo and
Nicola Mazzocca},
editor = {Enrico Macii},
title = {Efficient and scalable OpenMP-based system-level design},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {988--991},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.206},
doi = {10.7873/DATE.2013.206},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/CilardoGMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciap/BuemiEFMPS13,
author = {Francesco Buemi and
Mariana Esposito and
Francesco Flammini and
Nicola Mazzocca and
Concetta Pragliola and
Marcella Spirito},
editor = {Alfredo Petrosino},
title = {Empty Vehicle Detection with Video Analytics},
booktitle = {Image Analysis and Processing - {ICIAP} 2013 - 17th International
Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8157},
pages = {731--739},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41184-7\_74},
doi = {10.1007/978-3-642-41184-7\_74},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iciap/BuemiEFMPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icin/ManzaliniMKCCCCDTTCVCVMCMMM13,
author = {Antonio Manzalini and
Roberto Minerva and
Ernest Kaempfer and
Franco Callegari and
Aldo Campi and
Walter Cerroni and
No{\"{e}}l Crespi and
Eliezer Dekel and
Y. Tock and
Wouter Tavernier and
Koen Casier and
Sofie Verbrugge and
Didier Colle and
Ricard Vilalta and
Raul Mu{\~{n}}oz and
Ramon Casellas and
Ricardo Mart{\'{\i}}nez and
Nicola Mazzocca and
Elisa Maini},
title = {Manifesto of edge {ICT} fabric},
booktitle = {17th International Conference on Intelligence in Next Generation Networks,
{ICIN} 2013, Venice, Italy, October 15-16, 2013},
pages = {9--15},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICIN.2013.6670888},
doi = {10.1109/ICIN.2013.6670888},
timestamp = {Mon, 08 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icin/ManzaliniMKCCCCDTTCVCVMCMMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmn/BattistaCMMNV13,
author = {Ermanno Battista and
Valentina Casola and
Stefano Marrone and
Nicola Mazzocca and
Roberto Nardone and
Valeria Vittorini},
title = {An integrated lifetime and network quality model of large WSNs},
booktitle = {2nd {IEEE} International Workshop on Measurements {\&} Networking,
M{\&}N 2013, Naples, Italy, October 7-8, 2013},
pages = {132--137},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IWMN.2013.6663791},
doi = {10.1109/IWMN.2013.6663791},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmn/BattistaCMMNV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/BattistaCMFR13,
author = {Ermanno Battista and
Valentina Casola and
Nicola Mazzocca and
Massimo Ficco and
Massimiliano Rak},
editor = {Nikolaj S. Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Developing Secure Cloud Applications: {A} Case Study},
booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
23-26, 2013},
pages = {432--439},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SYNASC.2013.63},
doi = {10.1109/SYNASC.2013.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/BattistaCMFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/CilardoMP13,
author = {Alessandro Cilardo and
Nicola Mazzocca and
Paolo Prinetto},
title = {Exploring a New Dimension in Code Mobility for Ubiquitous Embedded
Systems},
booktitle = {2013 {IEEE} 10th International Conference on Ubiquitous Intelligence
and Computing and 2013 {IEEE} 10th International Conference on Autonomic
and Trusted Computing, {UIC/ATC} 2013, Vietri sul Mare, Sorrento Peninsula,
Italy, December 18-21, 2013},
pages = {56--63},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/UIC-ATC.2013.40},
doi = {10.1109/UIC-ATC.2013.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/CilardoMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/DragoMMTV13,
author = {Annarita Drago and
Stefano Marrone and
Nicola Mazzocca and
Annarita Tedesco and
Valeria Vittorini},
title = {Model-Driven Estimation of Distributed Vulnerability in Complex Railway
Networks},
booktitle = {2013 {IEEE} 10th International Conference on Ubiquitous Intelligence
and Computing and 2013 {IEEE} 10th International Conference on Autonomic
and Trusted Computing, {UIC/ATC} 2013, Vietri sul Mare, Sorrento Peninsula,
Italy, December 18-21, 2013},
pages = {380--387},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/UIC-ATC.2013.78},
doi = {10.1109/UIC-ATC.2013.78},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/DragoMMTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/CilardoMC13,
author = {Alessandro Cilardo and
Nicola Mazzocca and
Luigi Coppolino},
title = {TrustedSIM: Towards Unified Mobile Security},
booktitle = {2013 {IEEE} 10th International Conference on Ubiquitous Intelligence
and Computing and 2013 {IEEE} 10th International Conference on Autonomic
and Trusted Computing, {UIC/ATC} 2013, Vietri sul Mare, Sorrento Peninsula,
Italy, December 18-21, 2013},
pages = {563--568},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/UIC-ATC.2013.74},
doi = {10.1109/UIC-ATC.2013.74},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/CilardoMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-2966,
author = {Francesco Flammini and
Nicola Mazzocca and
Antonio Orazzo},
title = {Automatic instantiation of abstract tests on specific configurations
for large critical control systems},
journal = {CoRR},
volume = {abs/1303.2966},
year = {2013},
url = {http://arxiv.org/abs/1303.2966},
eprinttype = {arXiv},
eprint = {1303.2966},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-2966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-6656,
author = {Francesco Flammini and
Stefano Marrone and
Nicola Mazzocca and
Valeria Vittorini},
title = {A new modeling approach to the safety evaluation of N-modular redundant
computer systems in presence of imperfect maintenance},
journal = {CoRR},
volume = {abs/1304.6656},
year = {2013},
url = {http://arxiv.org/abs/1304.6656},
eprinttype = {arXiv},
eprint = {1304.6656},
timestamp = {Fri, 08 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-6656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaras/Serna-OlveraCRLMM12,
author = {Jetzabel Serna{-}Olvera and
Valentina Casola and
Massimiliano Rak and
Jesus Luna and
Manel Medina and
Nicola Mazzocca},
title = {Performance Analysis of an OCSP-Based Authentication Protocol for
VANETs},
journal = {Int. J. Adapt. Resilient Auton. Syst.},
volume = {3},
number = {1},
pages = {19--45},
year = {2012},
url = {https://doi.org/10.4018/jaras.2012010102},
doi = {10.4018/JARAS.2012010102},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaras/Serna-OlveraCRLMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/MoscatoVAMM12,
author = {Francesco Moscato and
Valeria Vittorini and
Flora Amato and
Antonino Mazzeo and
Nicola Mazzocca},
title = {Solution Workflows for Model-Based Analysis of Complex Systems},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {9},
number = {1},
pages = {83--95},
year = {2012},
url = {https://doi.org/10.1109/TASE.2011.2161981},
doi = {10.1109/TASE.2011.2161981},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/MoscatoVAMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MarroneMNPRV12,
author = {Stefano Marrone and
Nicola Mazzocca and
Roberto Nardone and
Roberta Presta and
Simon Pietro Romano and
Valeria Vittorini},
title = {A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant
Conferencing Framework},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {6},
pages = {308--333},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35179-2\_13},
doi = {10.1007/978-3-642-35179-2\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/MarroneMNPRV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/AmatoMMR12,
author = {Flora Amato and
Antonino Mazzeo and
Nicola Mazzocca and
Sara Romano},
editor = {Leonard Barolli and
Fatos Xhafa and
Salvatore Vitabile and
Minoru Uehara},
title = {CloSe: {A} Cloud SaaS for Semantic Document Composition},
booktitle = {Sixth International Conference on Complex, Intelligent, and Software
Intensive Systems, {CISIS} 2012, Palermo, Italy, July 4-6, 2012},
pages = {781--786},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CISIS.2012.171},
doi = {10.1109/CISIS.2012.171},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cisis/AmatoMMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imis/CasolaEMF12,
author = {Valentina Casola and
Mariana Esposito and
Nicola Mazzocca and
Francesco Flammini},
editor = {Ilsun You and
Leonard Barolli and
Antonio Gentile and
Hae{-}Duck Joshua Jeong and
Marek R. Ogiela and
Fatos Xhafa},
title = {Freight Train monitoring: {A} Case-Study for the pSHIELD Project},
booktitle = {Sixth International Conference on Innovative Mobile and Internet Services
in Ubiquitous Computing, {IMIS} 2012, Palermo, Italy, July 4-6, 2012},
pages = {597--602},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/IMIS.2012.51},
doi = {10.1109/IMIS.2012.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imis/CasolaEMF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FlamminiMMNV12,
author = {Francesco Flammini and
Stefano Marrone and
Nicola Mazzocca and
Roberto Nardone and
Valeria Vittorini},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model-Driven V{\&}V Processes for Computer Based Control Systems:
{A} Unifying Perspective},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Applications and Case Studies - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7610},
pages = {190--204},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34032-1\_20},
doi = {10.1007/978-3-642-34032-1\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/FlamminiMMNV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/FlamminiMPPV11,
author = {Francesco Flammini and
Nicola Mazzocca and
Alfio Pappalardo and
Concetta Pragliola and
Valeria Vittorini},
editor = {A Min Tjoa and
Gerald Quirchmayr and
Ilsun You and
Lida Xu},
title = {Augmenting Surveillance System Capabilities by Exploiting Event Correlation
and Distributed Attack Detection},
booktitle = {Availability, Reliability and Security for Business, Enterprise and
Health Information Systems - {IFIP} {WG} 8.4/8.9 International Cross
Domain Conference and Workshop, {ARES} 2011, Vienna, Austria, August
22-26, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6908},
pages = {191--204},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23300-5\_15},
doi = {10.1007/978-3-642-23300-5\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/FlamminiMPPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/AmatoCMR11,
author = {Flora Amato and
Valentina Casola and
Nicola Mazzocca and
Sara Romano},
title = {A Semantic-based Document Processing Framework: {A} Security Perspective},
booktitle = {International Conference on Complex, Intelligent and Software Intensive
Systems, {CISIS} 2011, June 30 - July 2, 2011, Korean Bible University,
Seoul, Korea},
pages = {197--202},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CISIS.2011.37},
doi = {10.1109/CISIS.2011.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cisis/AmatoCMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/FlamminiMMV11,
author = {Francesco Flammini and
Stefano Marrone and
Nicola Mazzocca and
Valeria Vittorini},
editor = {Sandro Bologna and
Bernhard M. H{\"{a}}mmerli and
Dimitris Gritzalis and
Stephen D. Wolthusen},
title = {Petri Net Modelling of Physical Vulnerability},
booktitle = {Critical Information Infrastructure Security - 6th International Workshop,
{CRITIS} 2011, Lucerne, Switzerland, September 8-9, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6983},
pages = {128--139},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-41476-3\_11},
doi = {10.1007/978-3-642-41476-3\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/critis/FlamminiMMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ets/CilardoLMM11,
author = {Alessandro Cilardo and
Carmelo Lofiego and
Antonino Mazzeo and
Nicola Mazzocca},
title = {Revisiting Application-Dependent Test for {FPGA} Devices},
booktitle = {16th European Test Symposium, {ETS} 2011, Trondheim, Norway, May 23-27,
2011},
pages = {213},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ETS.2011.54},
doi = {10.1109/ETS.2011.54},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ets/CilardoLMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/QuagliettaDPNM11,
author = {Egidio Quaglietta and
Luca D'Acierno and
Vincenzo Punzo and
Roberto Nardone and
Nicola Mazzocca},
title = {A simulation framework for supporting design and real-time decisional
phases in railway systems},
booktitle = {14th International {IEEE} Conference on Intelligent Transportation
Systems, {ITSC} 2011, Washington, DC, USA, October 5-7, 2011},
pages = {846--851},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ITSC.2011.6082913},
doi = {10.1109/ITSC.2011.6082913},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/QuagliettaDPNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MazzeoMNDMPQLM11,
author = {Antonino Mazzeo and
Nicola Mazzocca and
Roberto Nardone and
Luca D'Acierno and
Bruno Montella and
Vincenzo Punzo and
Egidio Quaglietta and
Immacolata Lamberti and
Pietro Marmo},
editor = {Francesco Flammini and
Sandro Bologna and
Valeria Vittorini},
title = {An Integrated Approach for Availability and QoS Evaluation in Railway
Systems},
booktitle = {Computer Safety, Reliability, and Security - 30th International Conference,
{SAFECOMP} 2011, Naples, Italy, September 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6894},
pages = {171--184},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24270-0\_13},
doi = {10.1007/978-3-642-24270-0\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MazzeoMNDMPQLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/CasolaBDM11,
author = {Valentina Casola and
Alessandra De Benedictis and
Annarita Drago and
Nicola Mazzocca},
title = {Analysis and Comparison of Security Protocols in Wireless Sensor Networks},
booktitle = {30th {IEEE} Symposium on Reliable Distributed Systems Workshops, {SRDS}
Workshops 2011, Madrid, Spain, October 4-7, 2011},
pages = {52--56},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SRDSW.2011.27},
doi = {10.1109/SRDSW.2011.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/CasolaBDM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsose/FlamminiMMPPV10,
author = {Francesco Flammini and
Nicola Mazzocca and
Francesco Moscato and
Alfio Pappalardo and
Concetta Pragliola and
Valeria Vittorini},
title = {Multiformalism techniques for critical infrastructure modelling},
journal = {Int. J. Syst. Syst. Eng.},
volume = {2},
number = {1},
pages = {19--37},
year = {2010},
url = {https://doi.org/10.1504/IJSSE.2010.035379},
doi = {10.1504/IJSSE.2010.035379},
timestamp = {Sun, 10 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsose/FlamminiMMPPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEias/BenedictisGM10,
author = {Alessandra De Benedictis and
Andrea Gaglione and
Nicola Mazzocca},
title = {Securing a tiered re-taskable sensing system},
booktitle = {Sixth International Conference on Information Assurance and Security,
{IAS} 2010, Atlanta, GA, USA, August 23-25, 2010},
pages = {260--264},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ISIAS.2010.5604075},
doi = {10.1109/ISIAS.2010.5604075},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEias/BenedictisGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/FlamminiMMV09,
author = {Francesco Flammini and
Stefano Marrone and
Nicola Mazzocca and
Valeria Vittorini},
title = {A new modeling approach to the safety evaluation of N-modular redundant
computer systems in presence of imperfect maintenance},
journal = {Reliab. Eng. Syst. Saf.},
volume = {94},
number = {9},
pages = {1422--1432},
year = {2009},
url = {https://doi.org/10.1016/j.ress.2009.02.014},
doi = {10.1016/J.RESS.2009.02.014},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/FlamminiMMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FlamminiMO09,
author = {Francesco Flammini and
Nicola Mazzocca and
Antonio Orazzo},
title = {Automatic instantiation of abstract tests on specific configurations
for large critical control systems},
journal = {Softw. Test. Verification Reliab.},
volume = {19},
number = {2},
pages = {91--110},
year = {2009},
url = {https://doi.org/10.1002/stvr.389},
doi = {10.1002/STVR.389},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/FlamminiMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/CasolaFMT09,
author = {Valentina Casola and
Anna Rita Fasolino and
Nicola Mazzocca and
Porfirio Tramontana},
title = {An AHP-Based Framework for Quality and Security Evaluation},
booktitle = {Proceedings of the 12th {IEEE} International Conference on Computational
Science and Engineering, {CSE} 2009, Vancouver, BC, Canada, August
29-31, 2009},
pages = {405--411},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSE.2009.391},
doi = {10.1109/CSE.2009.391},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/CasolaFMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/CasolaMMRV08,
author = {Valentina Casola and
Emilio Pasquale Mancini and
Nicola Mazzocca and
Massimiliano Rak and
Umberto Villano},
title = {Self-optimization of secure web services},
journal = {Comput. Commun.},
volume = {31},
number = {18},
pages = {4312--4323},
year = {2008},
url = {https://doi.org/10.1016/j.comcom.2008.05.045},
doi = {10.1016/J.COMCOM.2008.05.045},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comcom/CasolaMMRV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmm/AversaMMV08,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Salvatore Venticinque},
title = {An Agents Based Middleware for Personalization of Multimedia Service
Delivery in SOAs},
journal = {J. Mobile Multimedia},
volume = {4},
number = {1},
pages = {2--18},
year = {2008},
url = {http://www.rintonpress.com/journals/jmm/abstractsJmm4-1.html},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmm/AversaMMV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmm/AversaMMV08a,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Salvatore Venticinque},
title = {Proxy Agents for Adaptive Delivery of Multimedia},
journal = {J. Mobile Multimedia},
volume = {4},
number = {3{\&}4},
pages = {227--240},
year = {2008},
url = {http://www.rintonpress.com/journals/jmm/abstractsJmm4-34.html},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmm/AversaMMV08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/DoniniMMOPV08,
author = {Renato Donini and
Stefano Marrone and
Nicola Mazzocca and
Antonio Orazzo and
Domenico Papa and
Salvatore Venticinque},
editor = {Fatos Xhafa and
Leonard Barolli},
title = {Testing Complex Safety-Critical Systems in {SOA} Context},
booktitle = {Second International Conference on Complex, Intelligent and Software
Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University
of Catalonia, Barcelona, Spain},
pages = {87--93},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CISIS.2008.78},
doi = {10.1109/CISIS.2008.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cisis/DoniniMMOPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis-spain/FlamminiGMMP08,
author = {Francesco Flammini and
Andrea Gaglione and
Nicola Mazzocca and
Vincenzo Moscato and
Concetta Pragliola},
editor = {Emilio Corchado and
Rodolfo Zunino and
Paolo Gastaldo and
{\'{A}}lvaro Herrero},
title = {Wireless Sensor Data Fusion for Critical Infrastructure Security},
booktitle = {Proceedings of the International Workshop on Computational Intelligence
in Security for Information Systems, CISIS'08, Genova, Italy, October
23-24, 2008},
series = {Advances in Soft Computing},
volume = {53},
pages = {92--99},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88181-0\_12},
doi = {10.1007/978-3-540-88181-0\_12},
timestamp = {Fri, 12 Aug 2022 13:44:54 +0200},
biburl = {https://dblp.org/rec/conf/cisis-spain/FlamminiGMMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/FlamminiGMP08,
author = {Francesco Flammini and
Andrea Gaglione and
Nicola Mazzocca and
Concetta Pragliola},
editor = {Roberto Setola and
Stefan Geretshuber},
title = {Quantitative Security Risk Assessment and Management for Railway Transportation
Infrastructures},
booktitle = {Critical Information Infrastructure Security, Third International
Workshop, {CRITIS} 2008, Rome, Italy, October 13-15, 2008. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {5508},
pages = {180--189},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03552-4\_16},
doi = {10.1007/978-3-642-03552-4\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/critis/FlamminiGMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/FlamminiVMP08,
author = {Francesco Flammini and
Valeria Vittorini and
Nicola Mazzocca and
Concetta Pragliola},
editor = {Roberto Setola and
Stefan Geretshuber},
title = {A Study on Multiformalism Modeling of Critical Infrastructures},
booktitle = {Critical Information Infrastructure Security, Third International
Workshop, {CRITIS} 2008, Rome, Italy, October 13-15, 2008. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {5508},
pages = {336--343},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03552-4\_32},
doi = {10.1007/978-3-642-03552-4\_32},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/critis/FlamminiVMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/CilardoMC08,
author = {Alessandro Cilardo and
Nicola Mazzocca and
Luigi Coppolino},
editor = {Luca Fanucci},
title = {Virtual Scan Chains for Online Testing of FPGA-based Embedded Systems},
booktitle = {11th Euromicro Conference on Digital System Design: Architectures,
Methods and Tools, {DSD} 2008, Parma, Italy, September 3-5, 2008},
pages = {360--366},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/DSD.2008.102},
doi = {10.1109/DSD.2008.102},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/CilardoMC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi/CilardoM08,
author = {Alessandro Cilardo and
Nicola Mazzocca},
editor = {Christian Piguet and
Ricardo Reis and
Dimitrios Soudris},
title = {Time Efficient Dual-Field Unit for Cryptography-Related Processing},
booktitle = {VLSI-SoC: Design Methodologies for SoC and SiP - 16th {IFIP} {WG}
10.5/IEEE International Conference on Very Large Scale Integration,
VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised
Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {313},
pages = {191--210},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-12267-5\_11},
doi = {10.1007/978-3-642-12267-5\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsi/CilardoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/MicilloVMA08,
author = {Rosa Anna Micillo and
Salvatore Venticinque and
Nicola Mazzocca and
Rocco Aversa},
title = {An Agent-Based Approach for Distributed Execution of Composite Web
Services},
booktitle = {17th {IEEE} International Workshops on Enabling Technologies: Infrastructures
for Collaborative Enterprises, {WETICE} 2008, Rome, Italy, June 23-25,
2008, Proceedings},
pages = {18--23},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/WETICE.2008.20},
doi = {10.1109/WETICE.2008.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/MicilloVMA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/FlamminiMV08,
author = {Francesco Flammini and
Nicola Mazzocca and
Valeria Vittorini},
title = {New Paradigms and Tools for High-Assurance Systems Modelling},
journal = {{ERCIM} News},
volume = {2008},
number = {75},
year = {2008},
url = {http://ercim-news.ercim.eu/new-paradigms-and-tools-for-high-assurance-systems-modelling},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/FlamminiMV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/CasolaMMV07,
author = {Valentina Casola and
Antonino Mazzeo and
Nicola Mazzocca and
Valeria Vittorini},
title = {A policy-based methodology for security evaluation: {A} Security Metric
for Public Key Infrastructures},
journal = {J. Comput. Secur.},
volume = {15},
number = {2},
pages = {197--229},
year = {2007},
url = {https://doi.org/10.3233/jcs-2007-15201},
doi = {10.3233/JCS-2007-15201},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/CasolaMMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/LorenzoMMV07,
author = {Giusy Di Lorenzo and
Nicola Mazzocca and
Francesco Moscato and
Valeria Vittorini},
title = {Towards Semantics Driven Generation of Executable Web Services Compositions},
journal = {J. Softw.},
volume = {2},
number = {5},
pages = {1--15},
year = {2007},
url = {https://doi.org/10.4304/jsw.2.5.1-15},
doi = {10.4304/JSW.2.5.1-15},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/LorenzoMMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/AversaMVM07,
author = {Rocco Aversa and
Beniamino Di Martino and
Salvatore Venticinque and
Nicola Mazzocca},
title = {A Mobile Agents based Infrastructure to deliver value added services
in SOAs},
journal = {Scalable Comput. Pract. Exp.},
volume = {8},
number = {3},
year = {2007},
url = {http://www.scpe.org/index.php/scpe/article/view/423},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/AversaMVM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/CasolaMLMM07,
author = {Valentina Casola and
Nicola Mazzocca and
Jesus Luna and
Oscar Manso and
Manel Medina},
title = {Static evaluation of Certificate Policies for {GRID} PKIs interoperability},
booktitle = {Proceedings of the The Second International Conference on Availability,
Reliability and Security, {ARES} 2007, The International Dependability
Conference - Bridging Theory and Practice, April 10-13 2007, Vienna,
Austria},
pages = {391--399},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ARES.2007.143},
doi = {10.1109/ARES.2007.143},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/CasolaMLMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atc/CasolaMMRV07,
author = {Valentina Casola and
Emilio Pasquale Mancini and
Nicola Mazzocca and
Massimiliano Rak and
Umberto Villano},
editor = {Bin Xiao and
Laurence Tianruo Yang and
Jianhua Ma and
Christian M{\"{u}}ller{-}Schloer and
Yu Hua},
title = {Building Autonomic and Secure Service Oriented Architectures with
MAWeS},
booktitle = {Autonomic and Trusted Computing, 4th International Conference, {ATC}
2007, Hong Kong, China, July 11-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4610},
pages = {82--93},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73547-2\_11},
doi = {10.1007/978-3-540-73547-2\_11},
timestamp = {Thu, 01 Feb 2024 20:40:31 +0100},
biburl = {https://dblp.org/rec/conf/atc/CasolaMMRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awic/MazzoccaMV07,
author = {Nicola Mazzocca and
Rosa Anna Micillo and
Salvatore Venticinque},
editor = {Katarzyna Wegrzyn{-}Wolska and
Piotr S. Szczepaniak},
title = {Automatic and Dynamic Composition of Web Services Using Ontologies},
booktitle = {Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic
Web Intelligence Conference - {AWIC} 2007, Fontainebleau, France,
June 25 - 27, 2007},
series = {Advances in Soft Computing},
volume = {43},
pages = {230--235},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72575-6\_37},
doi = {10.1007/978-3-540-72575-6\_37},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/awic/MazzoccaMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpc/CasolaLMMMR07,
author = {Valentina Casola and
Jesus Luna and
Oscar Manso and
Nicola Mazzocca and
Manel Medina and
Massimiliano Rak},
editor = {Christophe C{\'{e}}rin and
Kuan{-}Ching Li},
title = {Interoperable Grid PKIs Among Untrusted Domains: An Architectural
Proposal},
booktitle = {Advances in Grid and Pervasive Computing, Second International Conference,
{GPC} 2007, Paris, France, May 2-4, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4459},
pages = {39--51},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72360-8\_4},
doi = {10.1007/978-3-540-72360-8\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpc/CasolaLMMMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/CasolaFMT07,
author = {Valentina Casola and
Anna Rita Fasolino and
Nicola Mazzocca and
Porfirio Tramontana},
title = {A policy-based evaluation framework for Quality and Security in Service
Oriented Architectures},
booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007),
July 9-13, 2007, Salt Lake City, Utah, {USA}},
pages = {1181--1190},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICWS.2007.11},
doi = {10.1109/ICWS.2007.11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/CasolaFMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/LorenzoMMV07,
author = {Giusy Di Lorenzo and
Francesco Moscato and
Nicola Mazzocca and
Valeria Vittorini},
title = {Automatic Analysis of Control Flow inWeb Services Composition Processes},
booktitle = {15th Euromicro International Conference on Parallel, Distributed and
Network-Based Processing {(PDP} 2007), 7-9 February 2007, Naples,
Italy},
pages = {299--306},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PDP.2007.27},
doi = {10.1109/PDP.2007.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/LorenzoMMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/CoppolinoRMS07,
author = {Luigi Coppolino and
Luigi Romano and
Nicola Mazzocca and
Sergio Salvi},
title = {Web Services workflow reliability estimation through reliability patterns},
booktitle = {Third International Conference on Security and Privacy in Communication
Networks and the Workshops, SecureComm 2007, Nice, France, 17-21 September,
2007},
pages = {107--115},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/SECCOM.2007.4550316},
doi = {10.1109/SECCOM.2007.4550316},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/securecomm/CoppolinoRMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/RakCMMV07,
author = {Massimiliano Rak and
Valentina Casola and
Nicola Mazzocca and
Emilio Pasquale Mancini and
Umberto Villano},
title = {Optimizing secure Web Services with MAWeS: {A} case study},
booktitle = {Third International Conference on Security and Privacy in Communication
Networks and the Workshops, SecureComm 2007, Nice, France, 17-21 September,
2007},
pages = {144--153},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/SECCOM.2007.4550321},
doi = {10.1109/SECCOM.2007.4550321},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/securecomm/RakCMMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grid/AversaMMV06,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Salvatore Venticinque},
title = {{MAGDA:} {A} Mobile Agent based Grid Architecture},
journal = {J. Grid Comput.},
volume = {4},
number = {4},
pages = {395--412},
year = {2006},
url = {https://doi.org/10.1007/s10723-006-9049-1},
doi = {10.1007/S10723-006-9049-1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/grid/AversaMMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/CilardoCMR06,
author = {Alessandro Cilardo and
Luigi Coppolino and
Nicola Mazzocca and
Luigi Romano},
title = {Elliptic Curve Cryptography Engineering},
journal = {Proc. {IEEE}},
volume = {94},
number = {2},
pages = {395--406},
year = {2006},
url = {https://doi.org/10.1109/JPROC.2005.862438},
doi = {10.1109/JPROC.2005.862438},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/CilardoCMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/AbbaneoLMF06,
author = {Chiara Abbaneo and
Francesco Flammini and
Armando Lazzaro and
Pietro Marmo and
Nicola Mazzocca and
Angela Sanseviero},
title = {{UML} Based Reverse Engineering for the Verification of Railway Control
Logics},
booktitle = {2006 International Conference on Dependability of Computer Systems
(DepCoS-RELCOMEX 2006), 24-28 May 2006, Szklarska Poreba, Poland},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DEPCOS-RELCOMEX.2006.55},
doi = {10.1109/DEPCOS-RELCOMEX.2006.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/depcos/AbbaneoLMF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/AversaMMV06,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Salvatore Venticinque},
title = {Web Services Composition and Delivery Using a Mobile Agents Based
Infrastructure},
booktitle = {5th International Symposium on Parallel and Distributed Computing
{(ISPDC} 2006), 6-9 July 2006, Timisoara, Romania},
pages = {337--344},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISPDC.2006.56},
doi = {10.1109/ISPDC.2006.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispdc/AversaMMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secperu/CasolaCMMR06,
author = {Valentina Casola and
Luigi Coppolino and
Antonino Mazzeo and
Nicola Mazzocca and
Massimiliano Rak},
title = {Design and implementation of TruMan, a Trust Manager Component for
Distributed Systems},
booktitle = {Second International Workshop on Security, Privacy and Trust in Pervasive
and Ubiquitous Computing (SecPerU 2006), 29 June 2006, Lyon, France},
pages = {34--40},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SECPERU.2006.7},
doi = {10.1109/SECPERU.2006.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secperu/CasolaCMMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ais/CasolaMMR06,
author = {Valentina Casola and
Antonino Mazzeo and
Nicola Mazzocca and
Massimiliano Rak},
editor = {Dieter Gollmann and
Fabio Massacci and
Artsiom Yautsiukhin},
title = {A {SLA} evaluation methodology in Service Oriented Architectures},
booktitle = {Quality of Protection - Security Measurements and Metrics},
series = {Advances in Information Security},
volume = {23},
pages = {119--130},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-36584-8\_10},
doi = {10.1007/978-0-387-36584-8\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/ais/CasolaMMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/AversaMMV05,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Salvatore Venticinque},
title = {A hierarchical distributed-shared memory parallel Branch {\&}
Bound application with {PVM} and OpenMP for multiprocessor clusters},
journal = {Parallel Comput.},
volume = {31},
number = {10-12},
pages = {1034--1047},
year = {2005},
url = {https://doi.org/10.1016/j.parco.2005.03.010},
doi = {10.1016/J.PARCO.2005.03.010},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pc/AversaMMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CilardoMMR05,
author = {Alessandro Cilardo and
Antonino Mazzeo and
Nicola Mazzocca and
Luigi Romano},
title = {A Novel Unified Architecture for Public-Key Cryptography},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
pages = {52--57},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DATE.2005.28},
doi = {10.1109/DATE.2005.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CilardoMMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europki/CasolaMMR05,
author = {Valentina Casola and
Antonino Mazzeo and
Nicola Mazzocca and
Massimiliano Rak},
editor = {David W. Chadwick and
Gansen Zhao},
title = {An Innovative Policy-Based Cross Certification Methodology for Public
Key Infrastructures},
booktitle = {Public Key Infrastructure, Second European {PKI} Workshop: Research
and Applications, EuroPKI 2005, Canterbury, UK, June 30 - July 1,
2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3545},
pages = {100--117},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11533733\_7},
doi = {10.1007/11533733\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europki/CasolaMMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/FlamminiMIM05,
author = {Francesco Flammini and
Nicola Mazzocca and
Mauro Iacono and
Stefano Marrone},
title = {Using Repairable Fault Trees for the Evaluation of Design Choices
for Critical Repairable Systems},
booktitle = {Ninth {IEEE} International Symposium on High Assurance Systems Engineering
{(HASE} 2005), 12-14 October 2005, Heidelberg, Germany},
pages = {163--172},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HASE.2005.26},
doi = {10.1109/HASE.2005.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/FlamminiMIM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/MoscatoMVLMM05,
author = {Francesco Moscato and
Nicola Mazzocca and
Valeria Vittorini and
Giusy Di Lorenzo and
Paola Mosca and
Massimo Magaldi},
editor = {Laurence Tianruo Yang and
Omer F. Rana and
Beniamino Di Martino and
Jack J. Dongarra},
title = {Workflow Pattern Analysis in Web Services Orchestration: The {BPEL4WS}
Example},
booktitle = {High Performance Computing and Communications, First International
Conference, {HPCC} 2005, Sorrento, Italy, September 21-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3726},
pages = {395--400},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11557654\_48},
doi = {10.1007/11557654\_48},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/MoscatoMVLMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/BensoCMMPE05,
author = {Alfredo Benso and
Alessandro Cilardo and
Nicola Mazzocca and
Liviu Miclea and
Paolo Prinetto and
Szil{\'{a}}rd Enyedi},
title = {Reconfigurable systems self-healing using mobile hardware agents},
booktitle = {Proceedings 2005 {IEEE} International Test Conference, {ITC} 2005,
Austin, TX, USA, November 8-10, 2005},
pages = {9},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/TEST.2005.1584007},
doi = {10.1109/TEST.2005.1584007},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/BensoCMMPE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itcc/CasolaRMM05,
author = {Valentina Casola and
Massimiliano Rak and
Antonino Mazzeo and
Nicola Mazzocca},
title = {Security Design and Evaluation in a VoIP Secure Infrastracture: {A}
Policy Based Approach},
booktitle = {International Symposium on Information Technology: Coding and Computing
{(ITCC} 2005), Volume 1, 4-6 April 2005, Las Vegas, Nevada, {USA}},
pages = {727--732},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ITCC.2005.254},
doi = {10.1109/ITCC.2005.254},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itcc/CasolaRMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/ManciniVMRT05,
author = {Emilio Mancini and
Umberto Villano and
Nicola Mazzocca and
Massimiliano Rak and
Roberto Torella},
title = {Performance-Driven Development of a Web Services Application using
MetaPL/HeSSE},
booktitle = {13th Euromicro Workshop on Parallel, Distributed and Network-Based
Processing {(PDP} 2005), 6-11 February 2005, Lugano, Switzerland},
pages = {12--19},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/EMPDP.2005.31},
doi = {10.1109/EMPDP.2005.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/ManciniVMRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GribaudoMMV05,
author = {Marco Gribaudo and
Francesco Moscato and
Nicola Mazzocca and
Valeria Vittorini},
title = {Multisolution of Complex Performability Models in the OsMoSys/DrawNET
Framework},
booktitle = {Second International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2005), 19-22 September 2005, Torino, Italy},
pages = {85--94},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/QEST.2005.22},
doi = {10.1109/QEST.2005.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/GribaudoMMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/BasileCVM04,
author = {Francesco Basile and
Pasquale Chiacchio and
Valeria Vittorini and
Nicola Mazzocca},
title = {Modeling and logic controller specification of flexible manufacturing
systems using behavioral traces and Petri net building blocks},
journal = {J. Intell. Manuf.},
volume = {15},
number = {3},
pages = {351--371},
year = {2004},
url = {https://doi.org/10.1023/B\%3AJIMS.0000026573.94990.d5},
doi = {10.1023/B\%3AJIMS.0000026573.94990.D5},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jim/BasileCVM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/SaggeseRMM04,
author = {Giacinto Paolo Saggese and
Luigi Romano and
Nicola Mazzocca and
Antonino Mazzeo},
title = {A tamper resistant hardware accelerator for {RSA} cryptographic applications},
journal = {J. Syst. Archit.},
volume = {50},
number = {12},
pages = {711--727},
year = {2004},
url = {https://doi.org/10.1016/j.sysarc.2004.04.002},
doi = {10.1016/J.SYSARC.2004.04.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/SaggeseRMM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/VittoriniIMF04,
author = {Valeria Vittorini and
Mauro Iacono and
Nicola Mazzocca and
Giuliana Franceschinis},
title = {The OsMoSys approach to multi-formalism modeling of systems},
journal = {Softw. Syst. Model.},
volume = {3},
number = {1},
pages = {68--81},
year = {2004},
url = {https://doi.org/10.1007/s10270-003-0039-5},
doi = {10.1007/S10270-003-0039-5},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/VittoriniIMF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FranceschinisGIMMV04,
author = {Giuliana Franceschinis and
Marco Gribaudo and
Mauro Iacono and
Stefano Marrone and
Nicola Mazzocca and
Valeria Vittorini},
editor = {Jordi Cortadella and
Wolfgang Reisig},
title = {Compositional Modeling of Complex Systems: Contact Center Scenarios
in OsMoSys},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
{ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3099},
pages = {177--196},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27793-4\_11},
doi = {10.1007/978-3-540-27793-4\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/FranceschinisGIMMV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/CasolaCMRM04,
author = {Valentina Casola and
Raffaele Chianese and
Nicola Mazzocca and
Massimiliano Rak and
Antonino Mazzeo},
editor = {Jo{\~{a}}o Ascenso and
Carlos Belo and
Luminita Vasiu and
M{\'{o}}nica Saramago and
Helder Coelhas},
title = {A Policy-Based Design Methodology and Performance Evaluation Framework
for a Secure VoIP Infrastructure},
booktitle = {{ICETE} 2004, 1st International Conference on E-Business and Telecommunication
Networks, Set{\'{u}}bal, Portugal, August 24-28, 2004, Proceedings},
pages = {209--215},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Mon, 25 Oct 2004 15:24:15 +0200},
biburl = {https://dblp.org/rec/conf/icete/CasolaCMRM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/para/CasolaMMV04,
author = {Valentina Casola and
Antonino Mazzeo and
Nicola Mazzocca and
Salvatore Venticinque},
editor = {Jack J. Dongarra and
Kaj Madsen and
Jerzy Wasniewski},
title = {Design of Policy-Based Security Mechanisms in a Distributed Web Services
Architecture},
booktitle = {Applied Parallel Computing, State of the Art in Scientific Computing,
7th International Workshop, {PARA} 2004, Lyngby, Denmark, June 20-23,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3732},
pages = {454--463},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11558958\_54},
doi = {10.1007/11558958\_54},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/para/CasolaMMV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/para/IaconoMMMV04,
author = {Mauro Iacono and
Stefano Marrone and
Nicola Mazzocca and
Francesco Moscato and
Valeria Vittorini},
editor = {Jack J. Dongarra and
Kaj Madsen and
Jerzy Wasniewski},
title = {A Model Analysis of a Distributed Monitoring System Using a Multi-formalism
Approach},
booktitle = {Applied Parallel Computing, State of the Art in Scientific Computing,
7th International Workshop, {PARA} 2004, Lyngby, Denmark, June 20-23,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3732},
pages = {499--508},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11558958\_59},
doi = {10.1007/11558958\_59},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/para/IaconoMMMV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AversaMMV04,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Salvatore Venticinque},
title = {Terminal-Aware Grid Resource and Service Discovery and Access Based
on Mobile Agents Technology},
booktitle = {12th Euromicro Workshop on Parallel, Distributed and Network-Based
Processing {(PDP} 2004), 11-13 February 2004, {A} Coruna, Spain},
pages = {40},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/EMPDP.2004.1271425},
doi = {10.1109/EMPDP.2004.1271425},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/AversaMMV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/MoscatoMV04,
author = {Francesco Moscato and
Nicola Mazzocca and
Valeria Vittorini},
title = {Workflow Principles Applied to Multi-Solution Analysis of Dependable
Distributed Systems},
booktitle = {12th Euromicro Workshop on Parallel, Distributed and Network-Based
Processing {(PDP} 2004), 11-13 February 2004, {A} Coruna, Spain},
pages = {134},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/EMPDP.2004.1271438},
doi = {10.1109/EMPDP.2004.1271438},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/MoscatoMV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wompat/AversaMMV04,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Salvatore Venticinque},
editor = {Barbara M. Chapman},
title = {Performance Analysis of Hybrid OpenMP/MPI N-Body Application},
booktitle = {Shared Memory Parallel Programming with OpenMP, 5th International
Workshopon OpenMP Applications and Tools, {WOMPAT} 2004, Houston,
TX, USA, May 17-18, 2004,Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3349},
pages = {12--18},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31832-3\_2},
doi = {10.1007/978-3-540-31832-3\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wompat/AversaMMV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/AversaMV03,
author = {Rocco Aversa and
Nicola Mazzocca and
Umberto Villano},
title = {A Case Study of Application Analytical Modeling in Heterogeneous Computing
Environments: Cholesky Factorization in a {NOW}},
journal = {J. Supercomput.},
volume = {24},
number = {1},
pages = {5--24},
year = {2003},
url = {https://doi.org/10.1023/A:1020968009122},
doi = {10.1023/A:1020968009122},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/AversaMV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MazzeoRSM03,
author = {Antonino Mazzeo and
Luigi Romano and
Giacinto Paolo Saggese and
Nicola Mazzocca},
title = {FPGA-Based Implementation of a Serial {RSA} Processor},
booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2003), 3-7 March 2003, Munich, Germany},
pages = {10582--10589},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10188},
doi = {10.1109/DATE.2003.10188},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/MazzeoRSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/SaggeseMMS03,
author = {Giacinto Paolo Saggese and
Antonino Mazzeo and
Nicola Mazzocca and
Antonio G. M. Strollo},
editor = {Peter Y. K. Cheung and
George A. Constantinides and
Jos{\'{e}} T. de Sousa},
title = {An FPGA-Based Performance Analysis of the Unrolling, Tiling, and Pipelining
of the {AES} Algorithm},
booktitle = {Field Programmable Logic and Application, 13th International Conference,
{FPL} 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2778},
pages = {292--302},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45234-8\_29},
doi = {10.1007/978-3-540-45234-8\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpl/SaggeseMMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/AversaMMV03,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Salvatore Venticinque},
editor = {Ricardo Jardim{-}Gon{\c{c}}alves and
Jianzhong Cha and
Adolfo Steiger{-}Gar{\c{c}}{\~{a}}o},
title = {A resource discovery service for a mobile agents based grid infrastructure},
booktitle = {Enhanced Interoperable Systems. Proceedings of the 10th {ISPE} International
Conference on Concurrent Engineering {(ISPE} {CE} 2003), July 26-30,
2003, Madeira, Portugal},
pages = {1011--1017},
publisher = {A. A. Balkema Publishers},
year = {2003},
timestamp = {Thu, 21 Sep 2023 11:30:06 +0200},
biburl = {https://dblp.org/rec/conf/ispe/AversaMMV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/CasolaMMV03,
author = {Valentina Casola and
Nicola Mazzocca and
Antonino Mazzeo and
Valeria Vittorini},
editor = {Ricardo Jardim{-}Gon{\c{c}}alves and
Jianzhong Cha and
Adolfo Steiger{-}Gar{\c{c}}{\~{a}}o},
title = {Policy based interoperability in distributed security infrastructures},
booktitle = {Enhanced Interoperable Systems. Proceedings of the 10th {ISPE} International
Conference on Concurrent Engineering {(ISPE} {CE} 2003), July 26-30,
2003, Madeira, Portugal},
pages = {1027--1034},
publisher = {A. A. Balkema Publishers},
year = {2003},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispe/CasolaMMV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/MartinoMSM03,
author = {Beniamino Di Martino and
Nicola Mazzocca and
Angela Squeglia and
Antonino Mazzeo},
editor = {Ricardo Jardim{-}Gon{\c{c}}alves and
Jianzhong Cha and
Adolfo Steiger{-}Gar{\c{c}}{\~{a}}o},
title = {An automatic classification technique and tool for information retrieval
of web documents},
booktitle = {Enhanced Interoperable Systems. Proceedings of the 10th {ISPE} International
Conference on Concurrent Engineering {(ISPE} {CE} 2003), July 26-30,
2003, Madeira, Portugal},
pages = {1043--1050},
publisher = {A. A. Balkema Publishers},
year = {2003},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispe/MartinoMSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/FahringerMRPVM03,
author = {Thomas Fahringer and
Nicola Mazzocca and
Massimiliano Rak and
Sabri Pllana and
Umberto Villano and
Georg Madsen},
title = {Performance Modeling of Scientific Applications: Scalability Analysis
of {LAPW0}},
booktitle = {11th Euromicro Workshop on Parallel, Distributed and Network-Based
Processing {(PDP} 2003), 5-7 February 2003, Genova, Italy},
pages = {5--12},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/EMPDP.2003.1183559},
doi = {10.1109/EMPDP.2003.1183559},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/FahringerMRPVM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AversaMMV03,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Salvatore Venticinque},
title = {{MAGDA:} a software environment for Mobile AGent based Distributed
Applications},
booktitle = {11th Euromicro Workshop on Parallel, Distributed and Network-Based
Processing {(PDP} 2003), 5-7 February 2003, Genova, Italy},
pages = {332},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/EMPDP.2003.1183607},
doi = {10.1109/EMPDP.2003.1183607},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/AversaMMV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/FranceschinisVM03,
author = {Giuliana Franceschinis and
Valeria Vittorini and
Stefano Marrone and
Nicola Mazzocca},
title = {{SWN} client-server composition operators in the OsMoSys framework},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {52--61},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231542},
doi = {10.1109/PNPM.2003.1231542},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/FranceschinisVM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/MazzoccaMRV03,
author = {Nicola Mazzocca and
Emilio Mancini and
Massimiliano Rak and
Umberto Villano},
editor = {Ban Al{-}Ani and
Hamid R. Arabnia and
Youngsong Mun},
title = {Integrated Tools for Performance-Oriented Distributed Software Development},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} '03, June 23 - 26, 2003, Las Vegas,
Nevada, USA, Volume 1},
pages = {88--94},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Mon, 20 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serp/MazzoccaMRV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/CotroneoMRR02,
author = {Domenico Cotroneo and
Nicola Mazzocca and
Luigi Romano and
Stefano Russo},
title = {A fault tolerant access to legacy database systems using {CORBA} technology},
journal = {Comput. Syst. Sci. Eng.},
volume = {17},
number = {6},
pages = {335--342},
year = {2002},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csse/CotroneoMRR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/CotroneoMRR02,
author = {Domenico Cotroneo and
Nicola Mazzocca and
Luigi Romano and
Stefano Russo},
title = {Building a dependable system from a legacy application with {CORBA}},
journal = {J. Syst. Archit.},
volume = {48},
number = {1-3},
pages = {81--98},
year = {2002},
url = {https://doi.org/10.1016/S1383-7621(02)00093-0},
doi = {10.1016/S1383-7621(02)00093-0},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/CotroneoMRR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MazzoccaSVV02,
author = {Nicola Mazzocca and
Antonella Santone and
Gigliola Vaglini and
Valeria Vittorini},
title = {Efficient model checking of properties of a distributed application:
a multimedia case study},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {1},
pages = {3--21},
year = {2002},
url = {https://doi.org/10.1002/stvr.222},
doi = {10.1002/STVR.222},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MazzoccaSVV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpe/FranceschinisGIMV02,
author = {Giuliana Franceschinis and
Marco Gribaudo and
Mauro Iacono and
Nicola Mazzocca and
Valeria Vittorini},
editor = {Tony Field and
Peter G. Harrison and
Jeremy T. Bradley and
Uli Harder},
title = {DrawNET++: Model Objects to Support Performance Analysis and Simulation
of Systems},
booktitle = {Computer Performance Evaluation, Modelling Techniques and Tools 12th
International Conference, {TOOLS} 2002, London, UK, April 14-17, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2324},
pages = {233--238},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46029-2\_18},
doi = {10.1007/3-540-46029-2\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpe/FranceschinisGIMV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/MartinoMSS02,
author = {Beniamino Di Martino and
Nicola Mazzocca and
Giacinto Paolo Saggese and
Antonio G. M. Strollo},
editor = {Manfred Glesner and
Peter Zipf and
Michel Renovell},
title = {A Technique for {FPGA} Synthesis Driven by Automatic Source Code Analysis
and Transformations},
booktitle = {Field-Programmable Logic and Applications, Reconfigurable Computing
Is Going Mainstream, 12th International Conference, {FPL} 2002, Montpellier,
France, September 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2438},
pages = {47--58},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46117-5\_7},
doi = {10.1007/3-540-46117-5\_7},
timestamp = {Sat, 30 Sep 2023 09:41:27 +0200},
biburl = {https://dblp.org/rec/conf/fpl/MartinoMSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/ReordaVMVBF02,
author = {Matteo Sonza Reorda and
Massimo Violante and
Nicola Mazzocca and
Salvatore Venticinque and
Andrea Bobbio and
Giuliana Franceschinis},
title = {A hierarchical approach for designing dependable systems},
booktitle = {Seventh {IEEE} International High-Level Design Validation and Test
Workshop 2002, Cannes, France, October 27-29, 2002},
pages = {63--68},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/HLDVT.2002.1224430},
doi = {10.1109/HLDVT.2002.1224430},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/ReordaVMVBF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/SaggeseSMC02,
author = {Giacinto Paolo Saggese and
Antonio G. M. Strollo and
Nicola Mazzocca and
Davide De Caro},
title = {Shuffled serial adder: an area-latency effective serial adder},
booktitle = {Proceedings of the 2002 9th {IEEE} International Conference on Electronics,
Circuits and Systems, {ICECS} 2002, Dubrovnik, Croatia, September
15-18, 2002},
pages = {607--610},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ICECS.2002.1046242},
doi = {10.1109/ICECS.2002.1046242},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/SaggeseSMC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip6-2/CasolaMMV02,
author = {Valentina Casola and
Antonino Mazzeo and
Nicola Mazzocca and
Valeria Vittorini},
editor = {Dominique Ga{\"{\i}}ti and
Nadia Boukhatem},
title = {Policy formalization to combine separate systems into larger connected
network of trust},
booktitle = {Network Control and Engineering for QoS, Security and Mobility, {IFIP}
{TC6} / {WG6.2} {\&} {WG6.7} Conference on Network Control and
Engineering for QoS (net-Con 2002), October 23-25, 2002, Paris, France},
series = {{IFIP} Conference Proceedings},
volume = {235},
pages = {425--430},
publisher = {Kluwer},
year = {2002},
timestamp = {Mon, 25 Oct 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip6-2/CasolaMMV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecpar/AversaMMV02,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Salvatore Venticinque},
editor = {Jos{\'{e}} M. Laginha M. Palma and
Jack J. Dongarra and
Vicente Hern{\'{a}}ndez and
Ant{\'{o}}nio Augusto de Sousa},
title = {Mobile Agent Programming for Clusterswith Parallel Skeletons},
booktitle = {High Performance Computing for Computational Science - {VECPAR} 2002,
5th International Conference, Porto, Portugal, June 26-28, 2002, Selected
Papers and Invited Talks},
series = {Lecture Notes in Computer Science},
volume = {2565},
pages = {622--634},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36569-9\_42},
doi = {10.1007/3-540-36569-9\_42},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecpar/AversaMMV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/MazzoccaRV02,
author = {Nicola Mazzocca and
Massimiliano Rak and
Umberto Villano},
title = {The metaPL approach to the performance analysis of distributed software
systems},
booktitle = {Third International Workshop on Software and Performance, WOSP@ISSTA
2002, July 24-26, 2002, Rome, Italy},
pages = {142--149},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/584369.584391},
doi = {10.1145/584369.584391},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/MazzoccaRV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MartinoMMV01,
author = {Beniamino Di Martino and
Antonino Mazzeo and
Nicola Mazzocca and
Umberto Villano},
title = {Parallel program analysis and restructuring by detection of point-to-point
interaction patterns and their transformation into collective communication
constructs},
journal = {Sci. Comput. Program.},
volume = {40},
number = {2-3},
pages = {235--263},
year = {2001},
url = {https://doi.org/10.1016/S0167-6423(01)00017-X},
doi = {10.1016/S0167-6423(01)00017-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MartinoMMV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/AversaMMV01,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Salvatore Venticinque},
editor = {Louis O. Hertzberger and
Alfons G. Hoekstra and
Roy Williams},
title = {Mobile Agents for Distributed and Dynamically Balanced Optimization
Applications},
booktitle = {High-Performance Computing and Networking, 9th International Conference,
{HPCN} Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2110},
pages = {161--172},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48228-8\_17},
doi = {10.1007/3-540-48228-8\_17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcn/AversaMMV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/CaroMNSS01,
author = {Davide De Caro and
Nicola Mazzocca and
Ettore Napoli and
Giacinto Paolo Saggese and
Antonio G. M. Strollo},
title = {Test pattern generator for hybrid testing of combinational circuits},
booktitle = {Proceedings of the 2001 8th {IEEE} International Conference on Electronics,
Circuits and Systems, {ICECS} 2001, Malta, September 2-5, 2001},
pages = {745--748},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ICECS.2001.957582},
doi = {10.1109/ICECS.2001.957582},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/CaroMNSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/MazzoccaRV01,
author = {Nicola Mazzocca and
Massimiliano Rak and
Umberto Villano},
editor = {Victor E. Malyshkin},
title = {MetaPL: {A} Notation System for Parallel Program Description and Performance
Analysis},
booktitle = {Parallel Computing Technologies, 6th International Conference, PaCT
2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2127},
pages = {80--93},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44743-1\_8},
doi = {10.1007/3-540-44743-1\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pact/MazzoccaRV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/BaroneMMMR01,
author = {Giovanni Battista Barone and
N. Margarita and
Antonino Mazzeo and
Nicola Mazzocca and
Luigi Romano},
title = {Secure Access to Personalized Web Services},
booktitle = {8th Pacific Rim International Symposium on Dependable Computing {(PRDC}
2001), 17-19 December 2001, Seoul, Korea},
pages = {266--272},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/PRDC.2001.992707},
doi = {10.1109/PRDC.2001.992707},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/BaroneMMMR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/AversaMMV00,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Umberto Villano},
title = {Reducing Parallel Program Simulation Complexity by Static Analysis},
journal = {J. Supercomput.},
volume = {17},
number = {3},
pages = {299--310},
year = {2000},
url = {https://doi.org/10.1023/A:1026571525145},
doi = {10.1023/A:1026571525145},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/AversaMMV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/para/AversaMM00,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca},
editor = {Tor S{\o}revik and
Fredrik Manne and
Randi Moe and
Assefaw Hadish Gebremedhin},
title = {Restructuring Irregular Computations for Distributed Systems Using
Mobile Agents},
booktitle = {Applied Parallel Computing, New Paradigms for {HPC} in Industry and
Academia, 5th International Workshop, {PARA} 2000 Bergen, Norway,
June 18-20, 2000 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1947},
pages = {223--232},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-70734-4\_27},
doi = {10.1007/3-540-70734-4\_27},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/para/AversaMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AversaMMV00,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca and
Umberto Villano},
title = {A performance simulation technique for distributed programs: application
to an {SOR} iterative solver},
booktitle = {Eight Euromicro Workshop on Parallel and Distributed Processing, {PDP}
2000, 19-12 January 2000, Rhodos, Greece},
pages = {368--375},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EMPDP.2000.823432},
doi = {10.1109/EMPDP.2000.823432},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/AversaMMV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/FranceschettiMR00,
author = {Massimo Franceschetti and
Nicola Mazzocca and
G. Rotondi},
editor = {Hamid R. Arabnia},
title = {High Load on Highly Available Systems},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2000, June 24-29,
2000, Las Vegas, Nevada, {USA}},
publisher = {{CSREA} Press},
year = {2000},
timestamp = {Wed, 06 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/FranceschettiMR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/RomanoMCP00,
author = {Luigi Romano and
Nicola Mazzocca and
Antonio Coronato and
Giuseppe De Pietro},
editor = {Hamid R. Arabnia},
title = {Experimental Evaluation of the Recovery Strategies of a Distributed
VoD Application},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2000, June 24-29,
2000, Las Vegas, Nevada, {USA}},
publisher = {{CSREA} Press},
year = {2000},
timestamp = {Fri, 05 Dec 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/RomanoMCP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdse/CotroneoRRM00,
author = {Domenico Cotroneo and
Luigi Romano and
Stefano Russo and
Nicola Mazzocca},
title = {A CORBA-Based Architecture for Adding Dependability to Legacy Servers},
booktitle = {International Symposium on Software Engineering for Parallel and Distributed
Systems, {PDSE} 2000, Limerick, Ireland, June 10-11, 2000},
pages = {76--82},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/PDSE.2000.847852},
doi = {10.1109/PDSE.2000.847852},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdse/CotroneoRRM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/RomanoMCP00,
author = {Luigi Romano and
Nicola Mazzocca and
Antonio Coronato and
Giuseppe De Pietro},
title = {Dependability analysis of transmission techniques for {MPEG-2} streams},
booktitle = {2000 Pacific Rim International Symposium on Dependable Computing {(PRDC}
2000), 18-20 December 2000, Los Angeles, CA, {USA}},
pages = {120--127},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/PRDC.2000.897294},
doi = {10.1109/PRDC.2000.897294},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/RomanoMCP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pvm/MazzoccaRV00,
author = {Nicola Mazzocca and
Massimiliano Rak and
Umberto Villano},
editor = {Jack J. Dongarra and
P{\'{e}}ter Kacsuk and
Norbert Podhorszki},
title = {The Transition from a {PVM} Program Simulator to a Heterogeneous System
Simulator: The HeSSE Project},
booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface,
7th European {PVM/MPI} Users' Group Meeting, Balatonf{\"{u}}red,
Hungary, September 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1908},
pages = {266--273},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45255-9\_37},
doi = {10.1007/3-540-45255-9\_37},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pvm/MazzoccaRV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cqre/RomanoMM99,
author = {Luigi Romano and
Antonino Mazzeo and
Nicola Mazzocca},
editor = {Rainer Baumgart},
title = {{SECURE:} {A} Simulation Tool for {PKI} Design},
booktitle = {Secure Networking - {CQRE} (Secure) '99, International Exhibition
and Congress D{\"{u}}sseldorf, Germany, November 30 - December
2, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1740},
pages = {17--29},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46701-7\_2},
doi = {10.1007/3-540-46701-7\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cqre/RomanoMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/RomanoCMM99,
author = {Luigi Romano and
Antonio Coronato and
Antonino Mazzeo and
Nicola Mazzocca},
title = {A Design Tool for Dependable Video on Demand Applications},
booktitle = {25th {EUROMICRO} '99 Conference, Informatics: Theory and Practice
for the New Millenium, 8-10 September 1999, Milan, Italy},
pages = {2150},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/EURMIC.1999.794775},
doi = {10.1109/EURMIC.1999.794775},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/RomanoCMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/MartinoMMV99,
author = {Beniamino Di Martino and
Antonino Mazzeo and
Nicola Mazzocca and
Umberto Villano},
title = {Restructuring Parallel Programs by Transformation of Point-To-Point
Interactions into Collective Communication},
booktitle = {7th International Workshop on Program Comprehension {(IWPC} '99),
May 5-7, 1999 - Pittsburgh, PA, {USA}},
pages = {84--91},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/WPC.1999.777747},
doi = {10.1109/WPC.1999.777747},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/MartinoMMV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/AversaMV99,
author = {Rocco Aversa and
Nicola Mazzocca and
Umberto Villano},
editor = {Victor E. Malyshkin},
title = {Analytical Modelling of Parallel Application in Heterogeneous Computing
Environments: {A} Study of Cholesky Factorization},
booktitle = {Parallel Computing Technologies, 5th International Conference, PaCT-99,
St. Petersburg, Russia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1662},
pages = {1--12},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48387-X\_1},
doi = {10.1007/3-540-48387-X\_1},
timestamp = {Mon, 26 Jun 2023 20:46:47 +0200},
biburl = {https://dblp.org/rec/conf/pact/AversaMV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/AversaMM99,
author = {Rocco Aversa and
Beniamino Di Martino and
Nicola Mazzocca},
editor = {Hamid R. Arabnia},
title = {Reducing Parallel Program Simulation Complexity by Static Analysis},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly
1, 1999, Las Vegas, Nevada, {USA}},
pages = {627--633},
publisher = {{CSREA} Press},
year = {1999},
timestamp = {Tue, 20 Apr 2004 14:47:51 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/AversaMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdse/BasileCVM99,
author = {Francesco Basile and
Pasquale Chiacchio and
Valeria Vittorini and
Nicola Mazzocca},
title = {Specification and Modeling of Flexible Manufacturing Systems Using
Behaviors and Petri Nets Building Blocks},
booktitle = {International Symposium on Software Engineering for Parallel and Distributed
Systems, {PDSE} 1999, Los Angeles, California, USA, May 17-18, 1999},
pages = {110--123},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PDSE.1999.779743},
doi = {10.1109/PDSE.1999.779743},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdse/BasileCVM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/RomanoCMM99,
author = {Luigi Romano and
G. Capuozzo and
Antonino Mazzeo and
Nicola Mazzocca},
title = {A Simulated Fault Injection Tool for Dependable VoD Application Design},
booktitle = {1999 Pacific Rim International Symposium on Dependable Computing {(PRDC}
1999), 16-17 December 1999, Hong Kong},
pages = {170--177},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PRDC.1999.816226},
doi = {10.1109/PRDC.1999.816226},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/RomanoCMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/MazzeoMRSV98,
author = {Antonino Mazzeo and
Nicola Mazzocca and
Stefano Russo and
Carlo Savy and
Valeria Vittorini},
title = {Formal Specification of Concurrent Systems: {A} Structured Approach},
journal = {Comput. J.},
volume = {41},
number = {3},
pages = {145--162},
year = {1998},
url = {https://doi.org/10.1093/comjnl/41.3.145},
doi = {10.1093/COMJNL/41.3.145},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/MazzeoMRSV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/MazzeoMV98,
author = {Antonino Mazzeo and
Nicola Mazzocca and
Umberto Villano},
title = {Efficiency measurements in heterogeneous distributed computing systems:
from theory to practice},
journal = {Concurr. Pract. Exp.},
volume = {10},
number = {4},
pages = {285--313},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1096-9128(19980410)10:4\&\#60;285::AID-CPE315\&\#62;3.0.CO;2-P},
doi = {10.1002/(SICI)1096-9128(19980410)10:4\&\#60;285::AID-CPE315\&\#62;3.0.CO;2-P},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/MazzeoMV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/AversaMMV98,
author = {Rocco Aversa and
Antonino Mazzeo and
Nicola Mazzocca and
Umberto Villano},
title = {Heterogeneous system performance prediction and analysis using {PS}},
journal = {{IEEE} Concurr.},
volume = {6},
number = {3},
pages = {20--29},
year = {1998},
url = {https://doi.org/10.1109/4434.708252},
doi = {10.1109/4434.708252},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeecc/AversaMMV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/AversaMMV98,
author = {Rocco Aversa and
Antonino Mazzeo and
Nicola Mazzocca and
Umberto Villano},
title = {Developing Applications for Heterogeneous Computing Environments Using
Simulation: {A} Case Study},
journal = {Parallel Comput.},
volume = {24},
number = {5-6},
pages = {741--761},
year = {1998},
url = {https://doi.org/10.1016/S0167-8191(98)00031-3},
doi = {10.1016/S0167-8191(98)00031-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pc/AversaMMV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/MartinoMMV98,
author = {Beniamino Di Martino and
Antonino Mazzeo and
Nicola Mazzocca and
Umberto Villano},
title = {Automatic Detection of Interaction Patterns for Parallel Program Analysis
and Development},
booktitle = {6th International Workshop on Program Comprehension {(IWPC} '98),
June 24-26, 1998, Ischia, Italy},
pages = {206--213},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/WPC.1998.693361},
doi = {10.1109/WPC.1998.693361},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/MartinoMMV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/MazzoccaRV97,
author = {Nicola Mazzocca and
Stefano Russo and
Valeria Vittorini},
title = {Formal methods integration for the specification of dependable distributed
systems},
journal = {J. Syst. Archit.},
volume = {43},
number = {10},
pages = {671--685},
year = {1997},
url = {https://doi.org/10.1016/S1383-7621(97)00028-3},
doi = {10.1016/S1383-7621(97)00028-3},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/MazzoccaRV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/MazzeoMRV97,
author = {Antonino Mazzeo and
Nicola Mazzocca and
Stefano Russo and
Valeria Vittorini},
title = {A Systematic Approach to the Petri Net Based Specification of Concurrent
Systems},
journal = {Real Time Syst.},
volume = {13},
number = {3},
pages = {219--236},
year = {1997},
url = {https://doi.org/10.1023/A:1007907309442},
doi = {10.1023/A:1007907309442},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/MazzeoMRV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/MazzeoMRV97,
author = {Antonino Mazzeo and
Nicola Mazzocca and
Stefano Russo and
Valeria Vittorini},
title = {A method for predictive performance of distributed programs},
journal = {Simul. Pract. Theory},
volume = {5},
number = {1},
pages = {65--82},
year = {1997},
url = {https://doi.org/10.1016/S0928-4869(97)80778-1},
doi = {10.1016/S0928-4869(97)80778-1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/simpra/MazzeoMRV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/MazzoccaRV97,
author = {Nicola Mazzocca and
Stefano Russo and
Valeria Vittorini},
title = {Integrating Trace Logic and Petri Nets Specifications},
booktitle = {30th Annual Hawaii International Conference on System Sciences (HICSS-30),
7-10 January 1997, Maui, Hawaii, {USA}},
pages = {443--451},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/HICSS.1997.667298},
doi = {10.1109/HICSS.1997.667298},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/MazzoccaRV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/MartinoMMR97,
author = {Beniamino Di Martino and
Antonino Mazzeo and
Nicola Mazzocca and
Stefano Russo},
editor = {Louis O. Hertzberger and
Peter M. A. Sloot},
title = {Distributed Coordination in Optimization Algorithms},
booktitle = {High-Performance Computing and Networking, International Conference
and Exhibition, {HPCN} Europe 1997, Vienna, Austria, April 28-30,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1225},
pages = {1024--1025},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0031692},
doi = {10.1007/BFB0031692},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpcn/MartinoMMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/MazzeoMV97,
author = {Antonino Mazzeo and
Nicola Mazzocca and
Umberto Villano},
title = {On the evaluation of efficiency in heterogeneous distributed systems},
booktitle = {Fifth Euromicro Workshop on Parallel and Distributed Processing {(PDP}
'97), January 22-24, 1997, University of Westminster, London, {UK}},
pages = {54--59},
publisher = {{IEEE} Computer Society},
year = {1997},
timestamp = {Fri, 05 Oct 2007 12:53:47 +0200},
biburl = {https://dblp.org/rec/conf/pdp/MazzeoMV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pvm/MartinoMMV97,
author = {Beniamino Di Martino and
Antonino Mazzeo and
Nicola Mazzocca and
Umberto Villano},
editor = {Marian Bubak and
Jack J. Dongarra and
Jerzy Wasniewski},
title = {Interaction Patterns Detection in {PVM} Programs to Support Simulation},
booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface,
4th European {PVM/MPI} Users' Group Meeting, Cracow, Poland, November
3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1332},
pages = {250--256},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63697-8\_92},
doi = {10.1007/3-540-63697-8\_92},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pvm/MartinoMMV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pvm/AversaIM97,
author = {Rocco Aversa and
Giulio Iannello and
Nicola Mazzocca},
editor = {Marian Bubak and
Jack J. Dongarra and
Jerzy Wasniewski},
title = {An {MPI} Driven Parallelization Strategy for Different Computing Platforms:
{A} Case Study},
booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface,
4th European {PVM/MPI} Users' Group Meeting, Cracow, Poland, November
3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1332},
pages = {401--408},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63697-8\_110},
doi = {10.1007/3-540-63697-8\_110},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pvm/AversaIM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dse/DonatelliMR96,
author = {Susanna Donatelli and
Nicola Mazzocca and
Stefano Russo},
title = {Client - server programs analysis in the {EPOCA} environment},
journal = {Distributed Syst. Eng.},
volume = {3},
number = {3},
pages = {149--161},
year = {1996},
url = {https://doi.org/10.1088/0967-1846/3/3/001},
doi = {10.1088/0967-1846/3/3/001},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dse/DonatelliMR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/AversaMV96,
author = {Rocco Aversa and
Nicola Mazzocca and
Umberto Villano},
title = {Design of a simulator of heterogeneous computing environments},
journal = {Simul. Pract. Theory},
volume = {4},
number = {2-3},
pages = {97--117},
year = {1996},
url = {https://doi.org/10.1016/0928-4869(95)00019-4},
doi = {10.1016/0928-4869(95)00019-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simpra/AversaMV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pds/DonatelliMR96,
author = {Susanna Donatelli and
Nicola Mazzocca and
Stefano Russo},
editor = {Innes Jelly and
Ian Gorton and
Peter R. Croll},
title = {{EPOCA:} status and prospects},
booktitle = {Software Engineering for Parallel and Distributed Systems, Proceedings
of the First {IFIP} {TC10} International Workshop on Parallel and
Distributed Software Engineering, March 1996},
series = {{IFIP} Conference Proceedings},
volume = {50},
pages = {265--270},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pds/DonatelliMR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pds/AversaMMV96,
author = {Rocco Aversa and
Antonino Mazzeo and
Nicola Mazzocca and
Umberto Villano},
editor = {Innes Jelly and
Ian Gorton and
Peter R. Croll},
title = {The {PS} project: development of a simulator of {PVM} applications
for heterogeneous and network computing},
booktitle = {Software Engineering for Parallel and Distributed Systems, Proceedings
of the First {IFIP} {TC10} International Workshop on Parallel and
Distributed Software Engineering, March 1996},
series = {{IFIP} Conference Proceedings},
volume = {50},
pages = {310--315},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Wed, 13 Mar 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pds/AversaMMV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/IannelloMM95,
author = {Giulio Iannello and
Antonino Mazzeo and
Nicola Mazzocca},
title = {Performance analysis of distributed memory computers with parallel
node architecture},
journal = {J. Syst. Softw.},
volume = {29},
number = {2},
pages = {107--120},
year = {1995},
url = {https://doi.org/10.1016/0164-1212(94)00069-Y},
doi = {10.1016/0164-1212(94)00069-Y},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/IannelloMM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/para/MartinoMR95,
author = {Beniamino Di Martino and
Nicola Mazzocca and
Stefano Russo},
editor = {Jack J. Dongarra and
Kaj Madsen and
Jerzy Wasniewski},
title = {Paradigms for the Parallelization of Branch and Bound Algorithms},
booktitle = {Applied Parallel Computing, Computations in Physics, Chemistry and
Engineering Science, Second International Workshop, {PARA} '95, Lyngby,
Denmark, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1041},
pages = {141--150},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60902-4\_17},
doi = {10.1007/3-540-60902-4\_17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/para/MartinoMR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/AversaMMV95,
author = {Rocco Aversa and
Antonino Mazzeo and
Nicola Mazzocca and
Umberto Villano},
editor = {Hamid R. Arabnia},
title = {The Use of Simulation for Software Development in Heterogeneous Computing
Environments},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1995, November 3-4,
1995, Georgia, {USA}},
pages = {581--590},
publisher = {{CSREA} Press},
year = {1995},
timestamp = {Mon, 09 Nov 2009 13:57:16 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/AversaMMV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/IannelloM94,
author = {Giulio Iannello and
Nicola Mazzocca},
title = {Communication Workload Analysis for Symmetric Concurrent Systems},
journal = {J. Parallel Distributed Comput.},
volume = {20},
number = {2},
pages = {224--235},
year = {1994},
url = {https://doi.org/10.1006/jpdc.1994.1021},
doi = {10.1006/JPDC.1994.1021},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/IannelloM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/BalboDFMR94,
author = {Gianfranco Balbo and
Susanna Donatelli and
Giuliana Franceschinis and
Antonino Mazzeo and
Nicola Mazzocca and
Marina Ribaudo},
title = {On the Computation of Performance Characteristics of Concurrent Programs
Using GSPNs},
journal = {Perform. Evaluation},
volume = {19},
number = {2-3},
pages = {195--222},
year = {1994},
url = {https://doi.org/10.1016/0166-5316(94)90039-6},
doi = {10.1016/0166-5316(94)90039-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/BalboDFMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpe/DonatelliFMR94,
author = {Susanna Donatelli and
Giuliana Franceschinis and
Nicola Mazzocca and
Stefano Russo},
editor = {G{\"{u}}nter Haring and
Gabriele Kotsis},
title = {Software Architecture of the {EPOCA} Integrated Environment},
booktitle = {Computer Performance Evaluation, Modeling Techniques and Tools, 7th
International Conference, Vienna, Austria, May 3-6, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {794},
pages = {335--352},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58021-2\_19},
doi = {10.1007/3-540-58021-2\_19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpe/DonatelliFMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosim/MazzeoMRV94,
author = {Antonino Mazzeo and
Nicola Mazzocca and
Stefano Russo and
Valeria Vittorini},
editor = {Len Dekker and
Wim Smit and
Jan C. Zuidervaart},
title = {A Mapping Method for Distributed Hetergoneous Systems},
booktitle = {Massively Parallel Processing Applications and Develompent, Proceedings
of the 1994 {EUROSIM} Conference on Massively Parallel Processing
Applications and Develompent, 21-23 June 1994, Delft, The Netherlands},
pages = {143--151},
publisher = {Elsevier},
year = {1994},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosim/MazzeoMRV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosim/AversaMV94,
author = {Rocco Aversa and
Nicola Mazzocca and
Umberto Villano},
editor = {Len Dekker and
Wim Smit and
Jan C. Zuidervaart},
title = {{PS:} a Simulator for Heterogeneous Computing Environments},
booktitle = {Massively Parallel Processing Applications and Develompent, Proceedings
of the 1994 {EUROSIM} Conference on Massively Parallel Processing
Applications and Develompent, 21-23 June 1994, Delft, The Netherlands},
pages = {335--343},
publisher = {Elsevier},
year = {1994},
timestamp = {Tue, 25 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosim/AversaMV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosim/MazzeoMT92,
author = {Antonino Mazzeo and
Nicola Mazzocca and
M. Tammaro},
editor = {Franco Maceri and
Giuseppe Iazeolla},
title = {Gate-Level Distributed Logic Simulation on Multicomputer Architecture},
booktitle = {Eurosim 1992, Simulation Congress, Proceedings of the 1992 {EUROSIM}
Conference, Capri, Italy, September 28 - October 4, 1992},
pages = {293--298},
publisher = {Elsevier},
year = {1992},
timestamp = {Thu, 01 Jun 2023 13:15:48 +0200},
biburl = {https://dblp.org/rec/conf/eurosim/MazzeoMT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-12 02:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
