Skip to content

Free University of Bozen - Bolzano

27 Lug 2016 15:30–16:30

Reasoning about module checking - A KRDB Seminar

Module checking has been introduced twenty years ago as a useful framework to verify the correctness of open systems, that are modules having continuous interaction with an external environment. 

Relatore Aniello Murano, Università degli Studi di Napoli Federico II

Data 27 Jul 2016 15:30 - 16:30

Più informazioni Marco Montali


As the correctness of open systems deeply relies on this interaction, classical approaches for closed-system verifications result to be inadequate. Early applications of module checking considered finite-state open systems in which the environments has perfect information about the module. Successively, the framework has been extended in several directions, including the infinite-state and the imperfect information settings.
In this talk we will first recall the basic concepts and the main results regarding finite-state model checking and module checking with respect to specifications given in CTL, CTL* and the like.
Then, we will move multi-agent systems and provide a comparison with ATL* model checking. Finally, I will briefly discuss about infinite-state open system verification.

Aniello Murano is an Associate Professor in Computer Science at the Department DIETI of the Università degli Studi di Napoli Federico II since November 2010. He joined the Federico II university in March 2005 as an Assistant Professor (Ricercatore).
He got the PhD in Computer Science in February 2003 at the Università degli Studi di Salerno, working under the supervision of Margherita Napoli, Salvatore La Torre, and Moshe Y. Vardi. In 2001 and 2002, under the PhD program, he has been a visiting researcher at the Rice University of Houston, working under the supervision of Moshe Y. Vardi.
From October 2002 until March 2005 he has been a Post-Doctoral Researcher, initially at the Università degli Studi di Salerno, and then at the Hebrew University of Jerusalem, working with Orna Kupferman.
He has been participating to several research projects since he started his PhD program, under national and international funding, being the principal investigator and coordinator for some of them. He collaborates with several research groups in Italy and abroad. He regularly visits researchers in Italy and abroad as well as he receives the visits of students and researchers. He regularly attends conferences and has helped to organize a few. He is the co-chair of the conference GandALF 2012 and the chair of the conference GAMES 2012, both held in Napoli, and the co-chair of the workshops SR 2013-15 held respectively in Rome, Grenoble, and Oxford. He is the author and co-author of more than 100 scientific publications, the majority of them appearing in top rated (A and A*) conferences and journals. He regularly get invited to give talks as well as participate in the Programme Committee board of top rated conferences in AI. Since 2013 he is in the Steering Committee of Highlights. Since 2015 he is in the Editorial Board of Information and Computation and AMAI.
Feedback / richiesta info