Massimo Benerecetti

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

Section of Computer Science,
Room 6 (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)

AVVISO PER GLI STUDENTI DEI CORSI DI ASD I, APSD E LCS:

Si avvisano gli studenti interessati che, a causa della riassegnazione delle aule ai corsi del secondo semestre, le prove scritte, originariamente previste per il 2 marzo, sono posticipate a data da destinarsi. Gli studenti regolarmente iscritti agli appelli entro la scadenza attualmente prevista verranno informati della nuova data non appena disponibile.

Algoritmi e Scrutture Dati I (Algorithms and Data Scructures I) NEW
Algoritmi e Scrutture Dati II (Algorithm Design)
Verifica Automatica di Sistemi Software (Automated Software Verification)

Programma del corso ASD I (9 CFU) (PDF format) NEW
Dispensa: Introduzione alla correttezza degli algoritmi (PDF format)

Orario ricevimento studenti

Previa prenotazione tramite messaggio di posta elettronica al docente: Mercoledì alle ore 14:30 in presenza presso lo studio del docente. NEW

Si avvisano gli studenti interessati che il ricevimento del giorno Giovedì 19 dicembre 2024 è sospeso a causa di un Consiglio di Dipartimento concomitante.

Comunicati per gli studenti di Logic for Computer Science (Logica per Informatica)

La prova scritta dell'appello di febbraio 2026 si terrà il giorno 9 alle ore 10 in aula I2 (aulario di via Claudio).

Studenti ammessi alla prova orale di Logic for Computer Science dell'appello tenutosi il giorno 9 febbraio 2026:

N97000534 BORRIELLO GIULIO 23
N97000541 CUCURACHI LEO 18
Le prove orali si terranno il giorno Lunedì 16 febbraio alle ore 10.00.

Comunicati per gli studenti di Automated Software Verification

Esami di Automated Software Verification
Gli studenti interessati a sostenere l'esame sono pregati di contattare il docente per concordare la data dell'esame.

Comunicati per gli studenti di Algoritmi e Strutture Dati I

Elenco degli studenti cha hanno superato la prova scritta di Algoritmi e Strutture Dati I del giorno 9 febbraio 2026.

N86004968 AIELLO VINCENZO 18
N86004799 ALTERIO EMANUELE 20
N86004815 AMENDOLA ROBERTO 22
N86005160 ASCIONE SIMONE 18
N86004273 BENEDUCE ROBERTA 22
N86004676 CARANDENTE GIARRUSSO BENEDETTA 21
N86004258 CINQUEGRANA FRANCESCO 19
N86003774 COPPOLA FRANCESCO 18
N86004688 DE ROSA LUCA LORENZO 24
N86004655 DI COSTANZO SIMONE 18
N86004965 DI FIORE SALVATORE 18
N86005357 DI MAIO ALESSANDRO 19
N86005049 DI SOMMA SAMUEL 20
N86003694 ESPOSITO FRANCESCO 19
N86004715 FERRARA LUIGI EDOARDO 20
N86005372 FILOSA WALTER 18
N86004986 GAGLIONE FRANCESCO 24
N86004143 GATTA DAVIDE 18
N86003812 GAUDIOSI EDUARDO 18
Le verbalizzazioni dell'esame si terranno il giorno Venerdì 20 febbraio alle ore 15.00 presso lo studio del docente.

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 data prevista per la prova scritta.

La prova scritta dell'appello di febbraio 2026 si terrà il giorno 9 alle ore 10 in aula I2 (aulario di via Claudio).

Comunicati per gli studenti di Analisi e Progettazione di Strutture Dati:
I risultati delle valutazioni dei progetti 2025 sono stati pubblicati e disponibili nel gruppo Teams del corso.

Elenco degli studenti cha hanno superato l'esame (progetto + scritto) di Analisi e Progettazione di Strutture Dati nell'appello di febbraio 2026.

N86005418 ARLISTICO CARLO 19
N86005781 BONETTI MICHELE 25
N86005564 CAUTIERO GIUSEPPE 21
N86005637 CROCCHIOLO IGNAZIO 24
N86005442 D'ANNA SIMONA 24
N86005726 DELLINI FEDERICO 20
N86005510 DE PIETRO MARCO 20
N86005455 FRANZESE LORENZO 23
N86005579 GUERRERA DOMENICO 25
Le verbalizzazioni dell'esame si terranno il giorno Lunedì 16 febbraio alle ore 12.00 presso lo studio del docente.

Si comunica che le prenotazioni alle prove scritte di Analisi e Progettazione di Strutture Dati 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 data prevista per la prova scritta.

La prova scritta dell'appello di febbraio 2026 si terrà il giorno 9 alle ore 10 in aula I2 (aulario di via Claudio).

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.