Massimo Benerecetti

Associate Professor in Computer Science at the Università di Napoli "Federico II"

Section of Computer Science,
Room 9 (second floor, building 1, via Claudio),
Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (Department of Electrical Engineering and Information Technologies),
Università di Napoli "Federico II",
Via Claudio, 21, I-80125, Napoli, ITALY.
Phone: +39 081 679269
Fax: +39 081 676346
E-mail: massimo.benerecetti<at>unina.it (replace <at> with @)

Didattica (Teaching)

Algoritmi e Scrutture Dati I (A.A. 2010-2015) (Algorithms and Data Scructures I) NEW
Algoritmi e Scrutture Dati II (a.a. 2007/2008) (Algorithms and Data Scructures II)
Verifica di Sistemi (a.a. 2017/2018) (System Verification)

Programma del corso ASD I (9 CFU) (A.A. 2009/2010, 2010/2011, 2011/2012) (PDF format) NEW
Programma del corso ASD I (6CFU) (A.A. 2008/2009, 2009/2010, 2010/2011, 2010/2011) (PDF format) NEW
Dispensa: Introduzione alla correttezza degli algoritmi (PDF format)

Orario ricevimento studenti

Lunedì dalle ore 10:30 alle ore 12:30 presso lo studio 9, Edificio 1, via Claudio 21. NEW

Comunicati per gli studenti di Verifica di Sistemi (a.a. 2015/2016, II semestre):

Gli studenti interessati al corso sono pregati di contattare il docente via posta elettronica per informazioni sulle lezioni del corso per l'anno accademico 2015/2016 (II semestre).

Comunicati per gli studenti di Algoritmi e Strutture Dati:

Si comunica che le prenotazioni alle prove scritte di Algoritmi e Strutture Dati I devono obbligatoriamente essere effettuate esclusivamente tramite il sito SEGREPASS. Non verranno accettate prenotazioni di alcun altro tipo. Si ricorda, inoltre, che le prenotazioni su SEGREPASS saranno possibili fino a 5 giorni prima della prova scritta.

Esami di Algoritmi e Strutture Dati:

Si informano gli studenti interessati che l'esame dell'appello di settembre 2019, erroneamente indicato per le ore 21:00, si terrà alle ore 14:00 nell'aula T02 dell'Aulario (edificio 1) in via Claudio.

Comunicati per gli studenti di Laboratorio di Algoritmi e Strutture Dati (a.a 2016/2017, 2017/2018, 2018/2019):

Esami di Laboratorio di Algoritmi e Strutture Dati:

Discussione progetti di Laboratorio di Algoritmi e Strutture Dati:

Giovedì 30 maggio 2019 ore 16.00 via Claudio:

Luca Gravante N86001691
Angelo Faella N86001363
Di Vaio Salvatore N86001902
Cimmino Stefano N86001858

Elenco degli studenti che hanno superato la prova pratica tenutasi il giorno 26/06/2018

Coppola Luigi N86002217
De Fenza Gianluca N86002171
Caputo Alessandro N86001934
Grazioso Gianluigi N86001961
Falangone Stefano N86002437
Cimmino Stefano N86001858

Elenco degli studenti che hanno superato la prova pratica tenutasi il giorno 10/07/2018

Cipolletta Crescenzo N86001866
Aimone Vincenzo N86001590
Greco Massimiliano N86001563
Tommaso Furiosi N86001039
Del Giudice Marco N86001422
Deangelis Giulio N86002419

Elenco degli studenti che hanno superato la prova pratica tenutasi il giorno 12/09/2018

Stefano Carannante N86001330
Di Vaio Salvatore N86001902
Attanasio Vincenzo N8601629

Elenco degli studenti che hanno superato la prova pratica tenutasi il giorno 23/10/2018

Loris Branca N86001424
Marco Genovese N86001559
Esposito Alessio Antonio N86001716
Esposito Giuseppe N86002327

Elenco degli studenti che hanno superato la prova pratica tenutasi il giorno 23/01/2019

Bifulco Giuseppe N86001604
Cerqua Antonio N861049
Cifarelli Giuseppe N86001309
Faella Angelo N86001363
Gravante Luca N86001691
Fiorillo Marco N86001022

Elenco degli studenti che hanno superato la prova pratica tenutasi il giorno 26/02/2019

Abbatangelo Diego N86000410
Colella Giovanni N86002333
Diamante Francesco N86001937
Donnarumma Catello N86001977

Elenco degli studenti che hanno superato la prova pratica tenutasi il giorno 28/03/2019

Gianluca Di Maio N86001041
Lorenzo Gumari N86001967

Materiale didattico del corso di Laboratorio di Algoritmi e Strutture Dati. NEW

Lucidi, contenenti i progetti intercorso e il progetto finale

Materiale ausiliario per la realizzazione del progetto di fine corso:

Qui sono disponibili due esempi di utilizzo della libreria ncurses, tra cui un esempio di animazione di personaggi e gestione di input da tastiera. La libreria "curses.h" è disponibile per Linux (sotto il nome di libreria ncurses), per Windows (sotto il nome di libreria PDCurses) e Mac OS.

A questo link si trovano le istruzioni per installare MinGW (Minimalist GNU for Windows, comprensivo del compilatore gcc) per Windows .

Al seguente link si trova la Documentazione Libreria Ncurses.

Attività di ricerca (Research)

Aree di interesse (Areas of Interest)

Software Analysis and Software Model Checking
Analysis and Verification of Security Protocols
Formal Validation and Verification of Multi-Agent Systems
Context-based Reasoning
Distributed Intelligence

Elenco delle Pubblicazioni (List of Personal Publications)

Progetti di ricerca (Current Research Projects)

PRIN National Research Project on Integrating automated reasoning in model checking: towards push-button formal verification of large-scale and infinite-state systems. (20079E5KM8) funded by the Italian Ministry of Scientific and Technological Research in the context of the PRIN'07 programme. Duration: 24 months from September 20, 2008.
PRIN National Research Project: Synthesis of deduction-based decision procedures with applications to the automatic formal analysis of software, funded by Ministero dell'Istruzione, dell'Università e della Ricerca (MIUR), together with Maria Paola Bonacina and Alessandro Armando, 2003 - 2005.
FIRB National Research Project: Automatic Verification of Internet Security Protocols, funded by Ministero dell'Istruzione, dell'Università e della Ricerca (MIUR), together withAlessandro Armando and Fabio Massacci, 2003 - 2005.
Attività organizzativa e di coordinamento (Coordination and Organizing Activities)

Steering Committee Member of the 5th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'05) to be held in Paris, 2005.
Program Committee Member of the First International Workshop on Model Checking Multi-Agent Systems (MCMAS-04), to be held in colocation with AAMAS-04.
Organizing Committee Member of the Second Workshop on Model-Checking and Artificial Intelligence (MoChArt-03), August 2003, Acapulco, Mexico (co-located with the 18th International Joint Conference on Artificial Intelligence (IJCAI'03).
Steering Committee Member of the 4th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03).
Organizing Committee Member of the First Workshop on Model-Checking and Artificial Intelligence (MoChArt-02), 22-23 July 2002, Lyon, France (co-located with the 15th European Conference on Artificial Intelligence (ECAI-2002).
Program Committee Member of the Second Workshop on Computational Logic in Multi-Agent Systems (CLIMA'01) December 1st 2001, Coral Beach Hotel and Resort, Paphos, Cyprus. Co-located with the Seventeenth International Conference on Logic Programming (ICLP'01).
Workshop Chair of the 3rd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'01).
Program Committee Member of the Workshop on Semantic Approximation, Ganularity, and Vagueness, 7th International Conference on Principles of Knowledge Representation and Reasoning (KR2000), April 11th 2000, Breckenridge, Colorado, USA.
Publicity Chair of the 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'99).
European Coordinator of the Virtual Worldwide Seminar Project.