Aniello Murano, Publications

Most of the papers available from this document appear in print, and the corresponding copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited.
Books and Proceedings Editor, Journals, Journals in E-health and E-Teaching, Conferences, Technical Reports, Theses.

Here there is a personal ResearchID link where it is possible to find a partial list of the publications listed below.

Publications in DBLP, Scholar, Google Profile, SCOPUS Researchgate.


  • Recent papers(2022-23):

    Book editor


    Journals

    1. Natural Strategic Ability.
      Journal of Artificial Intelligence (AIJ 2019).
      Volume 277, pages 1-33
      (with Wojtek Jamroga and Vadim Malvone )

    2. Model-Checking Graded Computation-Tree Logic with Finite Path Semantics.
      Theoretical Computer Science (TCS)
      Status: Available online since 20 September 2019.
      (with Mimmo Parente, Sasha Rubin, and Loredana Sorrentino)

    3. On CTL* with Graded Path Modalities.
      Information and Computation (I&C 2018).
      Vol. 262, Part 1, pages 1-21.
      (With Benjamin Aminof and Sasha Rubin)

    4. Cycle Detection in Computation Tree Logic.
      Special Issue of GandALF 2016.
      Information and Computation (I&C 2018).
      Vol. 262, Part 2, pages 265-279.
      (with Gaelle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, and Loredana Sorrentino)

    5. Extended Graded Modalities in Strategy Logic.
      Special Issue of AAMAS 2016 and SR 2016.
      Information and Computation (I&C 2018).
      Vol. 261, Part 4, pages 634-649.
      (with Benjamin Aminof, Vadim Malvone, and Sasha Rubin)

    6. Practical Verification of Multi-Agent Systems against SLK Specifications.
      Extended version of CAV 2015 and Special issue of SR 2015
      Information and Computation (I&C 2018).
      Vol. 261, Part 3, pages 588-614.
      (with Petr Čermák, Alessio Lomuscio and Fabio Mogavero)

    7. Reasoning about Graded Strategy Quantifiers.
      Special Issue of TIME 2015.
      Information and Computaion (I&C 2018).
      Vol. 259, Part 3
      , pages 390-411.
      (with Vadim Malvone, Fabio Mogavero, and Loredana Sorrentino)

    8. Additional Winning Strategies in Finite Games.
      Special Issue of CILC 2015.
      Fundamenta Informaticae (FI 2018).
      Vol. 159, pages 175-195.
      (with Vadim Malvone and Loredana Sorrentino)

    9. Reasoning about Strategies: On the Satisfiability problem
      (Extended Version of CONCUR 2012)
      Logical Methods in Computer Science (LMCS 2017).
      Vol 13(1:9), pages 1 - 27.
      (with Fabio Mogavero, Giuseppe Perelli, and Moshe Y. Vardi)

    10. Ordered Multi-Stack Visibly Pushdown Automata
      (Extended Version of DLT 2007)
      Journal of Theoretical Computer Science (TCS 2016).
      Volume 656, Part A, Pages 1-26
      (with Dario Carotenuto and Adriano Peron)

    11. Checking Interval Properties of Computations
      (Extended Version of TIME 2014)
      ACTA Informatica (ACTA 2016).
      Vol. 53, Issue 6, pages 587-619
      (with Alberto Molinari, Angelo Montanari, Giuseppe Perelli, and Adriano Peron)

    12. Relentful Strategic Reasoning in Alternating-Time Temporal Logic (preprint)
      (Extended Version of LPAR 2010)
      Journal of Logic and Computation (JLC 2016).
      Vol. 26, Issue 5, pages 1663-1695.
      (with F. Mogavero and M.Y. Vardi)

    13. Dynamic Network Functional Comparison via Approximate Bisimulation
      Control & Cybernetics (C&C 2015).
      Vol. 44, N. 1, pages 99-128.
      (with F. Donnarumma, R. Prevete)

    14. On Promptness in Parity Games. (preprint)
      (Extended Version of LPAR 2013)
      Fundamenta Informaticae (FI 2015).
      Vol. 139, N. 3, pages 277-305.
      (with F. Mogavero, L. Sorrentino)

    15. Reasoning About Substructures and Games
      (Full version of LICS 2013b)
      Transactions on Computational Logic, ACM. (TOCL 2015).
      Vol.16, N.3, Article 25.
      (with M. Benerecetti and F. Mogavero)

    16. Reasoning About Strategies: On the Model-Checking Problem (preprint version) (ArXiv version)
      (Extended Version of FSTTCS 2010)
      Transactions on Computational Logic, ACM. (TOCL 2014).
      Vol. 15, N. 4, pages 1-42.
      (with F. Mogavero, G. Perelli, and M.Y. Vardi)

    17. Synthesis of Hierarchical Systems, (preprint version)
      (Extended Version of FACS 2011)
      Science of Computer Programming (CSP 2014)
      Vol. 83, pages 56-79. http://dx.doi.org/10.1016/j.scico.2013.07.001.
      (with B. Aminof and F. Mogavero)

    18. Automata-theoretic Decision of Timed Games, ( revised version)
      (Extended Version of VMCAI 2002)
      Theoretical Computer Science (TCS 2014)
      Vol. 515, pages 46-63. Doi: 10.1016/j.tcs.2013.08.021.
      (with M. Faella and S. La Torre)

    19. Pushdown Module Checking with Imperfect Information, (preprint version)
      (Full version of CONCUR 2007 and IFIP TCS 2008)
      Information and Computaion (I&C 2013).
      Vol. 223, Issues 1
      , pages 1-17.
      (with B. Aminof, A. Legay, O. Serre, and M.Y. Vardi)

    20. Graded Computation Tree Logic
      (Full version of LICS 2009 and CSL 2010)
      International Journal of Transactions on Computational Logic, ACM. (TOCL 2012).
      Vol. 13, N. 3, Article 25, pages 1-53.
      (with A. Bianco and F. Mogavero)

    21. Improved Model Checking of Hierarchical Systems
      (Full version of VMCAI 2010)
      International Journal of Information and Computaion. (I&C 2012).
      Vol. 210, Issues 1, pages 68-86.
      (with B. Aminof and O. Kupferman)

    22. Quantitatively Fair Scheduling (preprint)
      (Full version of MFCS 2009 and QAPL 2010)
      International Journal of Theoretical Computer Science (TCS 2012)
      Vol. 413, Issues 1, pages 160-175.
      (with A. Bianco, M. Faella, and F. Mogavero)

    23. Exploring the Boundary of Half Positionality (preprint)
      (Full version of CLIMA-XI 2010)
      Journal of Annals of Mathematics and Artificial Intelligence (AMAI 2011).
      Vol. 62, Issue 1, pages 55 - 77.
      (A. Bianco, M. Faella, and F. Mogavero)

    24. Pushdown Module Checking (preprint)
      (Full version of LPAR'05)
      Formal Methods in System Design (FMSD 2010)
      Vol. 36, Issue 1, pages 65 - 95.
      (with L. Bozzelli and A. Peron)

    25. The Complexity of Enriched μ-Calculi (preprint)
      (Full version of ICALP'06)
      Logical Methods in Computer Science (LMCS 2008)
      Vol. 4 (3:11), pages 1 - 27.
      (with P.A. Bonatti, C. Lutz, and M.Y. Vardi )

    26. Enriched μ-Calculi Module Checking (preprint)
      (Full version of FOSSACS'07 and LPAR'07)
      Logical Methods in Computer Science (LMCS 2008)
      Vol. 4 (3:1), pages 1 - 21.
      (with F. Ferrante and M. Parente)

    27. Typeness for omega-Regular Automata
      (Full version of ATVA'04)
      International Journal of Foundations of Computer Science (IJFCS 2006)
      Vol. 17, No. 4, pages 869-883.
      (with O. Kupferman and G. Morgenstern)

    28. Weak Muller Acceptance Conditions for Tree Automata
      (Full version of VMCAI'02)
      International Journal of Theoretical Computer Science (TCS 2005)
      Vol. 332, Issues 1-3, pages 233-250.
      (with S. La Torre and M. Napoli)

    29. Model-checking the Secure Release of a Time-locked Secret over a Network.
      Electronic Notes in Theoretical Computer Science (ENTCS 2004)
      Vol.99, pages 229-243.
      (with S. La Torre and M. Parente)


    Journals in IoT, E-Health, and E-Teaching

    1. Walter Balzano, Aniello Murano, and Fabio Vitale.
      SNOT-WiFi: Sensor network-optimized training for wireless fingerprinting
      Journal of High Speed Networks 24(1): 79-87 (2018)

    2. Walter Balzano, Aniello Murano, and Silvia Stranieri.
      Logic-based clustering approach for management and improvement of VANETs
      Journal of High Speed Networks 23(3): 225-236 (2017)

    3. Walter Balzano, Aniello Murano, and Fabio Vitale.
      V2V-EN - Vehicle-2-Vehicle Elastic Network
      Procedia Computer Science (2016), Vol.98, pp. 497-502. DOI: 10.1016/j.procs.2016.09.084

    4. Melania Masucci, Aniello Murano, Salvatore Cuomo, and Biagio D'Aniello.
      INNOVAMBIENTE, un'esperienza interdisciplinare di integrazione tra le Scienze Naturali, Matematiche ed Informatiche.
      Didattica delle Scienze e Informatica nella Scuola. Editrice LA SCUOLA. Volume 268, pag. 28-35, Maggio 2010.- ISSN 1593-537X.

    5. Aniello Murano, Giusseppe Menna, Rosanna Parasole, Fara Petruzziello e Vincenzo Poggi.
      Creation of a computer network for monitoring a regional pediatric oncology.
      Journal of Hematology (Haematologica), vol. 93(sup 4), pages S56, October 2008. ISSN 0390-6078.

    6. Aniello Murano, Salvatore Cuomo and Biagio D'Aniello.
      An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science,
      MASAUM Journal of Basic and Applied Sciences (MASAUM 2009)
      Vol.1, Issue 2, pages 313 - 318, Septembre 2009. ISSN 2076-0841.


    Conference and Workshop Papers

    1. Strategic Reasoning in Automated Mechanism Design.
      KR 2021.
      (with Bastien Maubert, Munyque Mittelmann, and Laurent Perrussel)

    2. Planning under LTL Environment Specifications
      29th International Conference on Automated Planning and Scheduling, ICAPS 2019
      Extended version of Synthesis under Assumptions, KR 2018.
      (with Benjamin Aminof, Giuseppe De Giacomo, and Sasha Rubin )

    3. Natural Strategic Ability under Imperfect Information
      18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
      Accepted.
      (with Wojtek Jamroga and Vadim Malvone )

    4. Reasoning about Changes of Observational Power in Logics of Knowledge and Time
      18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
      Accepted.
      (with Aurele Barriere, Bastien Maubert, and Sasha Rubin)

    5. A Smart Compact Traffic Network Vision Based on Wave Representation
      33th International Conference on Advanced Information Networking and Applications, AINA 2019
      March 27-29, 2019. Kunibiki Messe, Matsue, Japan. IEEE.
      (with Walter Balzano, Loredana Sorrentino, and Silvia Stranieri)

    6. Reasoning about Knowledge and Strategies.
      16th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018
      30 October-2 November 2018, Tempe, Arizona. AAAI press.
      (with Bastien Maubert)

    7. Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification.
      16th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018
      30 October-2 November 2018, Tempe, Arizona. AAAI press.
      (with Francesco Belardinelli and Catalin Dima)

    8. Changing Observations in Epistemic Temporal Logic.
      16th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018
      30 October-2 November 2018, Tempe, Arizona. AAAI press.
      (with Aurele Barriere, Bastien Maubert, and Sasha Rubin)

    9. Planning and Synthesis Under Assumptions.
      16th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018
      30 October-2 November 2018, Tempe, Arizona. AAAI press.
      (with Benjamin Aminof, Giuseppe De Giacomo, and Sasha Rubin)

    10. Quantifying Bounds in Strategy Logic.
      27th EACSL Annual Conference on Computer Science Logic, CSL 2010
      Birmingham, United Kingdom, 4-7 September, 2018. LIPIcs 119,23:1-23
      (with Nathana\EBl Fijalkow, Bastien Maubert, and Sasha Rubin)

    11. Results on alternating-time temporal logics with linear past.
      TIME 2018
      To appear
      (with Laura Bozzelli and Loredana Sorrentino )

    12. Timed Context-Free Temporal Logics.
      GandALF 2018
      To appear
      (with Laura Bozzelli and Adriano Peron)

    13. GCTL* over finite paths.
      ICTCS 2018
      To appear
      (with Loredana Sorrentino and Sasha Rubin)

    14. Solving Parity Games: Explicit vs Symbolic
      23th International Conference on Implementation and Application of Automata, CIAA 2018
      August Canada. LNCS.
      (with Antonio Di Stasio and Moshe Y. Vardi)

    15. Alternating-time Temporal Logic on Finite Traces
      17th International Joint Conferences on Artificial Intelligence, IJCAI 2018
      July 2018, Stockholm. AAAI press.
      (with Francesco Belardinelli, Alessio Lomuscio, and Sasha Rubin)

    16. Decidable Verification of Multi-agent Systems with Bounded Private Actions
      17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018
      July 10-15, 2018. Stockholm. IFAAMAS.
      (with Francesco Belardinelli, Alessio Lomuscio, and Sasha Rubin )

    17. Dynamic Escape Game (Demonstration)
      17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018
      July 10-15, 2018. Stockholm. IFAAMAS.
      (with Antonio Di Stasio, Paolo Domenico Lambiase and Vadim Malvone )

    18. Parity-energy ATL for qualitative and quantitative reasoning in MAS
      17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018
      July 10-15, 2018. Stockholm. IFAAMAS.
      (with Dario Della Monica)

    19. Event-Clock Nested Automata
      12th International Conference on Language and Automata Theory and Applications, LATA 2018
      April 9-11, 2018. Tel Aviv, Israel. Springer Verlag, LNCS 10792, pages 80-92.
      (with Laura Bozzelli and Adriano Peron)

    20. Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic
      16th International Joint Conferences on Artificial Intelligence, IJCAI 2017
      August 19-25, 2017, Melbourne, Australia. AAAI press.
      (with Francesco Belardinelli, Alessio Lomuscio, and Sasha Rubin)

    21. Nash Equilibria in Concurrent Games with Lexicographic Preferences
      16th International Joint Conferences on Artificial Intelligence, IJCAI 2017
      August 19-25, 2017, Melbourne, Australia. AAAI press.
      (with Julian Gutierrez, Giuseppe Perelli, Sasha Rubin, and Michael Wooldridge)

    22. Strategy Logic with Imperfect Information
      32nd Annual IEEE Symposium on Logic in Computer Science, LICS 2017
      Reykjavik, June 20-23, 2017. IEEE Computer Society Press.
      (with Rapha{\"{e}}l Berthon, Bastien Maubert, Sasha Rubin, and Moshe Y. Vardi)

    23. Reasoning about Additional Winning Strategies in Two-Player Games
      15th European Conference on Multi-Agent Systems, EUMAS 2017
      Decemeber 14-15, 2017. Evry, Paris. LNCS, to appear.
      (with Vadim Malvone)

    24. Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm
      16th International Conference on Computational Science, ICCS 2017
      June 12-14, 2017. Zurich, Switerlang. Procedia Computer Science.
      (with Rossella Arcucci, Umberto Marotta, and Loredana Sorrentino )

    25. Hierarchical Cost-Parity Games
      24th International Symposium on Temporal Representation and Reasoning, TIME 2017
      October 16-18, 2017. Mons, Belgium. LIPIcs-Leibniz, vol. 90, pages 6:1--6:17.
      (with Laura Bozzelli, Giuseppe Perelli, and Loredana Sorrentino )

    26. Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking
      24th International Symposium on Temporal Representation and Reasoning, TIME 2017
      October 16-18, 2017. Mons, Belgium. LIPIcs-Leibniz, vol.90, pages 11:1--11:18.
      (with Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, and Guido Sciavicco )

    27. On the Complexity of ATL and ATL* Module Checking
      8th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2017
      20-21-22 September 2017, Rome. EPTCS.
      (with Laura Bozzelli)

    28. Verification of Multi-agent Systems with Imperfect Information and Public Actions
      16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
      May 8-12, 2017. Sao Paolo, Brazil. IFAAMAS.
      (with Francesco Belardinelli, Alessio Lomuscio, and Sasha Rubin )

    29. Decidability results for ATL with imperfect information and perfect recall
      16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
      May 8-12, 2017. Sao Paolo, Brazil. IFAAMAS.
      (with Raphaël Berthon and Bastien Maubert)

    30. Reasoning about Natural Strategic Ability
      16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
      May 8-12, 2017. Sao Paolo, Brazil. IFAAMAS.
      (with Wojtek Jamroga and Vadim Malvone )

    31. Hiding Actions in Multi-Player Games
      16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
      May 8-12, 2017. Sao Paolo, Brazil. IFAAMAS.
      (with Loredana Sorrentino and Vadim Malvone)

    32. Prompt Interval Temporal Logic
      15th European Conference On Logics In Artificial Intelligence, JELIA 2016
      November 9-11, 2016, Larnaca, Cyprus. LNCS 10021, pages 207-222.
      (with Dario Della Monica, Angelo Montanari, and Pietro Sala)

    33. Reasoning about Module Checking
      Invited talk at University of Bozen - July 27, 2016 and
      Invited talk at LAMAS'15 in Istanbul - May 4, 2015
    34. A Logic-Based Clustering Approach for Cooperative Traffic Control Systems
      11th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC-2016
      November 5-7, 2016, Soonchunhyang (SCH) University, Asan, Korea. LNDECT Vol.1, pages 737-746.Springer.
      (with Walter Balzano, Maria Rosaria Del Sorbo, and Silvia Stranieri)

    35. Extended Graded Modalities in Strategy Logic
      4th International Workshop on Strategic Reasoning, SR 2016
      July 10, 2016, New York City. EPTCS 218.
      (with Benjamin Aminof, Vadim Malvone, and Sasha Rubin)

    36. Cycle Detection in Computation Tree Logic
      7th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016
      September 14-16, 2016, Catania, Italy. EPTCS vol. 226, pages 164-177.
      (with Gaelle Fontaine, Fabio Mogavero, Giuseppe Perelli, and Loredana Sorrentino)

    37. Additional Winning Strategies in Two-Player Games
      17th Italian Conference on Theoretical Computer Science, ICTCS 2016
      September 7-9, 2016, Lecce, Italy. Ceur proceedings, Volume 1720.
      (with Vadim Malvone)

    38. Hiding Action in Concurrent Games
      22nd European Conference on Artificial Intelligence, ECAI 2016
      August 29 - September 2, 2016, The Hague, the Netherlands. FAIA.
      (with Vadim Malvone and Loredana Sorrentino)

    39. Solving Parity Games Using An Automata-Based Algorithm(revised version)
      21st International Conference on Implementation and Application of Automata, CIAA 2016
      July 19-22, 2016, Seoul, South Korea. LNCS.
      (with Antonio Di Stasio, Giuseppe Perelli and Moshe Y. Vardi)

    40. Imperfect information games and generalized planning
      15th International Joint Conferences on Artificial Intelligence, IJCAI 2016
      July 9-13, 2016, New York, USA. AAAI press.
      (with Giuseppe De Giacomo, Sasha Rubin, and Antonio Di Stasio)

    41. Concurrent Multi-Player Parity Games
      15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016
      May 9-13, 2016. Singapore. IFAAMAS.
      (with Loredana Sorrentino and Vadim Malvone)

    42. Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria
      15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016
      May 9-13, 2016. Singapore. IFAAMAS.
      (with Benjamin Aminof, Vadim Malvone, and Sasha Rubin)

    43. Automatic verification of multi-agent systems in parameterised grid-environments
      15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016
      May 9-13, 2016, Singapore. IFAAMAS.
      (with Benjamin Aminof, Sasha Rubin, and Florian Zuleger )

    44. NWin: A Tool for Counting Winning Strategies(Demo paper)
      15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016
      May 9-13, 2016. Singapore. IFAAMAS.
      (with Vadim Malvone and Marco Tafuro)

    45. Prompt Alternating-Time Epistemic Logics
      15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016
      April 25-29, 2016. Cape Town, South Africa. AAAI.
      (with Benjamin Aminof, Sasha Rubin, and Florian Zuleger )

    46. WiFACT - Wireless Fingerprinting Automated Continuous Training.
      BOSON workshop at:
      30th International Conference on Advanced Information Networking and Applications, AINA 2016
      March 23-25, 2016. Crans-Montana, Switzerland. IEEE.
      (with Walter Balzano and Fabio Vitale)

    47. M-DGPS: An Algorithm for the Post-Processing of Geodetic Tracks Based on Multiple DGPS.
      BOSON workshop at:
      30th International Conference on Advanced Information Networking and Applications, AINA 2016
      March 23-25, 2016. Crans-Montana, Switzerland. IEEE.
      (with Walter Balzano and Maria Rosaria Del Sorbo)

    48. On CTL* with Graded Path Modalities
      20th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-20 2015
      November 24-28, Suva, Fiji Islands. LNCS 9450.
      (with Benjamin Aminof and Sasha Rubin )

    49. Verification of Asynchronous Mobile-Robots in Partially-Known Environments
      18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015
      October 26-30, 2015, Bertinoro, Italy, LNCS 9387. Best Paper Award
      (with Benjamin Aminof, Sasha Rubin and Florian Zuleger)

    50. Module Checking for Uncertain Agents
      18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015
      October 26-30, 2015, Bertinoro, Italy, LNCS 9387.
      (with Wojtek Jamroga)

    51. Multi-Agent Path Planning in Known Dynamic Environments
      18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015
      October 26-30, 2015, Bertinoro, Italy, LNCS 9387.
      (with Giuseppe Perelli and Sasha Rubin)

    52. On the Counting of Strategies
      22th International Symposium on Temporal Representation and Reasoning, TIME 2015
      September 23-25, 2015, Kassel, Germany, IEEE. Pages 170-179.
      (with Vadim Malvone, Fabio Mogavero, and Loredana Sorrentino)

    53. (Finite)Games with additional winning strategies
      30th Italian Conference on Computational Logic, CILC 2015
      July 1-3, 2015, Genoa, Italy, CEUR Vol.1459, pages 175-180.
      (with Vadim Malvone and Loredana Sorrentino)

    54. A Game-based Model for Human-robots Interaction
      16th International Workshop From Objects to Agents, WOA 2015
      June 17-19, 2015, Naples, Italy, CEUR Vol.1382, pages 146--150.
      (with Loredana Sorrentino)

    55. Pushdown Multi-Agent System Verification
      14th International Joint Conferences on Artificial Intelligence, IJCAI 2015
      July 25-31, 2015, Buenos Aires, Argentina. AAAI press.
      (with Giuseppe Perelli)

    56. Module Checking of Strategic Ability
      14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015
      May 4-8, 2015, Istanbul, Turkey. IFAAMAS.
      (with Wojtek Jamroga)

    57. Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications.
      29th AAAI Conference on Artificial Intelligence, AAAI 2015
      Austin, Texas. January 25-30.
      (with Petr Čermák and Alessio Lomuscio )

    58. Solving Parity Games in Scala.
      11th International Symposium on Formal Aspects of Component Software, FACS 2014
      Bertinoro, Italia, September 10 - 12, 2014, LNCS 8997.
      (with Antonio Di Stasio, Vincenzo Prignano, and Loredana Sorrentino)

    59. Checking Interval Properties of Computations.
      21st International Symposium on Temporal Representation and Reasoning, TIME 2014
      Verona, Italy, September 8-10, 2014, IEEE.
      (with Angelo Montanari, Giuseppe Perelli and Adriano Peron)

    60. A Behavioral Hierarchy of Strategy Logic.
      15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XV 2014
      Prague, Czech Republic, August 18-19, 2014, LNCS 8624, pages 148--165.
      (with Fabio Mogavero and Luigi Sauro)

    61. MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications (ArXiv version).
      26th International Conference on Computer Aided Verification, CAV 2014
      July 18-22, 2014, Vienna. LNCS 8559 pages 524-530.
      (with Petr Čermák, Alessio Lomuscio, and Fabio Mogavero)

    62. On Module Checking and Strategies
      13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014
      May 5-9, 2014, Paris, France. IFAAMAS, pages 701-708.
      (with Wojtek Jamroga)

    63. Strategy Games: A Renewed Framework
      13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014
      May 5-9, 2014, Paris, France. IFAAMAS, pages 869-876.
      (with Fabio Mogavero and Luigi Sauro)

    64. On Promptness in Parity Games
      19th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-19 2013
      December 15-19, 2013, Stellenbosch, South Africa. LNCS 8312, pages 601-618.
      (with Fabio Mogavero and Loredana Sorrentino)

    65. Substructure Temporal Logic (long version)
      28th Annual ACM/IEEE Symposium on Logic in Computer Science LICS 2013
      June 25-28, 2013, New Orleans, USA IEEE Computer Society Press, pages 368-377.
      (with M. Benerecetti and F. Mogavero)

    66. On the Boundary of Behavioral Strategies (long version)
      28th Annual ACM/IEEE Symposium on Logic in Computer Science LICS 2013
      June 25-28, 2013, New Orleans, USA IEEE Computer Society Press, pages 363-372.
      (with F. Mogavero and L. Sauro)

    67. What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
      23rd International Conference on Concurrency Theory, CONCUR 2012,
      Newcastle upon Tyne - UK, 3--8 September, 2012, Springer-Verlag, LNCS 7454, pages 193-208.
      (with F. Mogavero, G. Perelli, and M.Y. Vardi)

    68. The Strategy Logic Saga
      4th Workshop on Games for Design, Verification and Synthesis, GASICS 2012,
      Newcastle upon Tyne - UK, 3 September, 2012, pages 4.
      (with F. Mogavero, G. Perelli, L. Sauro, and M.Y. Vardi)

    69. An Educational Test Service software: Slide Test Maker
      11th International Conference on Web-based Learning, ICWL 2012,
      Sinaia, Romania, 2-4 September, 2012, Springer-Verlag, LNCS 7558, pages 249-257.
      (with S. Cuomo, and V. Fuccella)

    70. A Social Network Framework for the Carolina Software
      5th International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2012
      Crete, Greece, June 6 - 8, 2012, pages 1-4, ACM.
      (with S. Cuomo, E. Del Giudice, and F. Piccialli)

    71. Synthesis of Hierarchical Systems (long version)
      8th International Symposium on Formal Aspects of Component Software, FACS 2011
      Oslo, Norway, September 14 - 16, 2011. LNCS 7253, Springer-Verlag, pages 42-59.
      (with B. Aminof and F. Mogavero)

    72. A Sketch-Based System for Teaching Geometry (preprint)
      International Workshop on Distance Education Technologies, DET 2011
      Florence, Italy, August 18 - 20, 2010. Knowledge Systems Institute Press, pages 246--249.
      (with G. Costagliola, S. Cuomo, and V. Fuccella)

    73. THE C@ROLIN@ SOFTWARE - A System for Monitoring
      Skills Development of Children with Down Syndrome

      4th International Conference on Health Informatics, Healthinf 2011
      Rome, Italy, Januaray 26 - 29, 2011. INSTICC Press 2011, pages 180-185.
      (with S. Cuomo and F. Piccialli)

    74. Reasoning About Strategies (refer to the TOCL Journal version (2014) for an improvement regarding the Model-Checking Problem)
      IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010
      Chennai, India, December 15 - 18, 2010. LIPIcs, pages 133-144
      (with F. Mogavero and M.Y. Vardi)

    75. Relentful Strategic Reasoning in Alternating-Time Temporal Logic
      16th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-16 2010
      Dakar, Senegal, April 25 - May 1, 2010. Springer-Verlag LNAI 6355 , pages 371-386
      (with F. Mogavero and M.Y. Vardi)

    76. Graded Computation Tree Logic with Binary Coding
      19th EACSL Annual Conference on Computer Science Logic, CSL 2010
      Brno Czech Republic, August 23 - 27, 2010. Springer-Verlag LNCS 6247, pages 125-139
      (with A. Bianco and F. Mogavero)

    77. Improved Model Checking of Hierarchical Systems
      11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010
      Madrid, Spain, January 17-19, 2010 Springer Verlag, LNCS 5944, pages 61-77.
      (with B. Aminof and O. Kupferman )

    78. Full Formative Assessment based on Educational Video Games
      International Workshop on Distance Education Technologies, DET 2010
      Illinois, USA, October 14 - 16, 2010. Knowledge Systems Institute, pages 228-231
      (with S. Cuomo and V. Fuccella)

    79. Exploring the boundary of half positionality
      11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI 2010
      Lisbon, Portugal, August 16-17, 2010, Springer-Verlag, LNAI 6245, pages 171-185
      (with A. Bianco, M. Faella, and F. Mogavero )
    80. Quantitative fairness games (Preprint version)
      8th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2010
      Paphos, Cyprus, March 27 - 28, 2010, EPTCS vol. 28, pages 48 - 63.
      (with A. Bianco, M. Faella, and F. Mogavero )

    81. Balanced Paths in Colored Graphs
      34th International Symposium on Mathematical Foundations of Computer Science, MFCS 2009
      Novy Smokovec, Slovakia, August 24 - 28, 2009 Springer Verlag, LNCS 5734, pages 149-161.
      (with A. Bianco, M. Faella, and F. Mogavero )

    82. Graded Computation Tree Logic
      24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009
      Los Angeles, California, USA, August 11-14, 2009. IEEE Computer Society Press, pages 342-351.
      Talk
      (with A. Bianco and F. Mogavero)

    83. The Innovambiente Project: Integrating Natural Science, Mathematics and Computer Science
      9th IEEE International Conference on Advanced Learning Technologies, ICALT 2009
      Riga, Latvia, July 14-18, 2009. IEEE Computer Society Press, pages 604 - 605.
      (with B. D'Aniello and S. Cuomo )

    84. Branching-Time Temporal Logics with Minimal Model Quantifiers
      13th International Conference on Developments in Language Theory, DLT 2009
      Stuttgart, Germany, June 30 - July 3, 2009. Springere Verlag, LNCS 5583, pages 396-409.
      Talk
      (with F. Mogavero)

    85. A Technological Infrastructure Design for a Pediatric Oncology Network
      2nd International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2009
      Corfu, Greece, June 9 - 13, 2009.
      In ACM International Conference Proceeding Series. Article no. 37, pages 1-4.

    86. An Interdisciplinary Science Learning Environment
      5th International Conference on Multimedia and ICT in Education, m-ICTE 2009
      Lisbon (Portugal), April 22-24, 2009.
      In Research, Reflections and Innovations in Integrating ICT in Education Vol I, FORMATEX, pages 325 - 329.
      (with S. Cuomo, B. D'Aniello, and E. Saulino.)

    87. Program Complexity in Hierarchical Module Checking
      15th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR 2008
      Doha, Qatar, November 22-27, 2008, Springer-Verlag LNAI 5330, pages 318 - 332.
      (with M. Napoli and M. Parente)

    88. μ-Calculus Pushdown Module Checking with Imperfect State Information
      5th IFIP International Conference on Theoretical Computer Science, IFIP TCS 2008
      Milano, Italy, September 08-10, 2008, Springer-Verlag, IFIP 273, pages 333 - 348
      (with B. Aminof, A. Legay, and O. Serre)

    89. Enriched μ-Calculus Pushdown Module Checking
      14th International Conference on Logic for Programming Artificial Intelligence and Reasoning , LPAR 2007,
      Yerevan, Armenia, October 15-19, 2007, Springer-Verlag LNAI 4790, pages 438 - 453.
      (with M. Parente and A. Ferrante)

    90. Pushdown Module Checking with Imperfect Information
      18th International Conference on Concurrency Theory , CONCUR 2007,
      Lisboa - Portugal, 3 - 8 September, 2007, Springer-Verlag, LNCS 4703, pages 461 - 476.
      ( with B. Aminof and M.Y. Vardi)

    91. 2-Visibly Pushdown automata ( extended Version)
      11th International Conference on Development in Language Theory, DLT 2007,
      Turku - Finland, 3 - 6 July, 2007, Springer-Verlag, LNCS 4588, pages 132 - 144.
      (with D. Carotenuto and A. Peron)

    92. Enriched μ-Calculi Module Checking
      10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007,
      Braga - Portugal, 24-31 March, 2007, Springer-Verlag LNCS 4423, pages 183 - 197.
      (with A. Ferrante)

    93. The Complexity of Enriched μ-Calculi
      33rd International Colloquium on Automata, Languages and Programming, ICALP 2006,
      S. Servolo, Venice - Italy, July 9 - 16, 2006 - Springer-Verlag LNCS 4052, pages 540 - 551.
      (with P.A. Bonatti, C. Lutz, and M.Y. Vardi )

    94. Pushdown Module Checking for Branching-Time Temporal Logics (invited talk)
      Schloss Dagstuhl Seminar 06411: Specification, Verification and Test of Open Systems ,
      Dagstuhl - Germany, Ottobre 8 - 13, 2006

    95. Pushdown Module Checking
      12th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR 2005,
      Montego Bay, Jamaica, 2nd - 6th December 2005. Springer-Verlag LNAI 3835, pages 504-518.
      (with L. Bozzelli and A. Peron)

    96. Typeness for omega-Regular Automata,
      2nd International Symposium on Automated Technology for Verification and Analysis , ATVA 2004,
      Taiwan, Taipei, Oct. 31 - Nov 03, 2004. Springer-Verlag, LNCS 3299,  pages 324-338.
      (with O. Kupferman and G. Morgenstern)

    97. Reasoning About co-Buchi Tree Automata, ( extended Version)
      1st International Colloquium on Theoretical Aspects of Computing, ICTAC 2004.
      Guiyang, China 20 - 24 September, 2004. Post-proceedings Springer-Verlag 2005, LNCS 3407, pages 527 - 542
      (with S. La Torre)

    98. Weak muller tree automata (invited talk)
      International Workshop Minerva on Formal-Verification
      May 16-19, 2004 Kibbutz Shfayim - Israel

    99. Timed games with branching-time winning conditions,
      1st International Workshop on Semantics and Verification of Hardware and Software Systems, SVHSS 2003.
      Tel Aviv University, Israel, May 20-22, 2003

    100. Optimal-Reachability and Control for Acyclic Weighted Timed Automata,
      2nd IFIP International Conference on Theoretical Computer Science, IFIP TCS 2002,
      Montreal, Canada, August 25-30, 2002. Kluwer Academic Publishers, Vol. 223, pages 485-497.
      (with S. La Torre and S. Mukhopadhyay )

    101. Dense Real-time Games,
      17th Annual IEEE Symposium on Logic in Computer Science, LICS 2002,
      Copenhagen, Denmark, July 22-25, 2002. IEEE Computer Society Press, pages 167-176.
      (with M. Faella and S. La Torre )

    102. Automata-theoretic Decision of Timed Games,
      3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002,
      Venezia, Italy, January 21 - 22, 2002. Springer-Verlag, LNCS 2294, pages 94-108.
      (with M. Faella and S. La Torre )

    103. Weak Muller Acceptance Conditions for Tree Automata,
      3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002,
      Venezia, Italy, January 21 - 22, 2002. Springer-Verlag, LNCS 2294, pages 240-254.
      (with S. La Torre and M. Napoli)


    Workshop notes

    1. Multi-Agent Parking Game ,
      (with Calise and Stranieri)

    2. Quantified CTL with imperfect information,
      ArXiV 2016
      pages 1-19.
      (with Raphaël Berthon and Bastien Maubert)

    3. Strategy Logic
      Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012,
      Napoli - UK, 7-12 September, 2012
      (with F. Mogavero and M.Y. Vardi)

    4. Strategy Logic Fragments
      Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012,
      Napoli - UK, 7-12 September, 2012
      (with F. Mogavero, G. Perelli, and M.Y. Vardi)

    5. Synthesis of Hierarchical Systems from a Library (Extended Abstract)
      Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2011
      Paris, 31 August - 3 September 2011.
      Talk
      (with B. Aminof and F. Mogavero)

    6. Improved Model Checking of Hierarchical Systems
      Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2010
      St Anne's College Oxford, United Kingdom, September 20-23, 2010.
      (with B. Aminof and O. Kupferman)

    7. Relentful Strategic Reasoning Alternating-Time Temporal Logic
      Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2010
      St Anne's College Oxford, United Kingdom, September 20-23, 2010.
      (with F. Mogavero and M. Y. Vardi)

    8. Graded Computation Tree Logic
      Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2010
      St Anne's College Oxford, United Kingdom, September 20-23, 2010.
      (with A. Bianco and F. Mogavero)

    9. Balance Games on Colored Graphs
      Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2009
      Udine, Italy, September 14-17, 2009.
      (with A. Bianco, F. Mogavero, and M. Faella)

    10. The Pushdown Module Checking Saga
      Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2008
      Warsaw, Poland, September 8-11, 2008.

      Technical Reports

    11. Technical report concerning the main works realized at the ASTREA lab in 2016 (In Italian).

      Technical report concerning the main works realized at the ASTREA lab in 2020 (In Italian).

      Technical report concerning the main activities at ASTREA in 2021 (in Italian).

      Technical report concerning the work realized at the ASTREA lab on Location Based Services (Leader Walter Balzano) in 2016-2021 (in Italian).

      Theses

    12. Decision Problems on Tree Automata and Synthesis of Open Timed Systems,
      PhD Thesis, Dipartimento di Informatica ed Applicazioni, Università degli Studi di Salerno, February 2003.

    13. Classi di Automi su Alberi Infiniti,
      Tesi di Laurea, Facoltà di Scienze MM.FF.NN. - Corso di Laurea in Scienze dell'Informazione, Università degli Studi di Salerno, Novembre 1997.

    Home

    CSS Valido! Valid HTML 4.01!