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.


Book editor


Journals

  1. On CTL* with Graded Path Modalities.
    Status: Under Submission.
    With Benjamin Aminof and Sasha Rubin.

  2. Additional Winning Strategies in Finite Games.
    Special Issue of CILC 2015 (Fundamenta Informaticae).
    Status: Accepted with revision.
    ( With Vadim Malvone and Loredana Sorrentino)

  3. Graded Modalities in Strategy Logic.
    Special Issue of TIME 2015 (I&C).
    Status: Accepted with revision.
    ( With Vadim Malvone, Fabio Mogavero, and Loredana Sorrentino)

  4. Practical Verification of Multi-Agent Systems against SLK Specifications.
    Special issue of SR 2015 (I&C).
    Vol. 13 (1:9).
    ( With Petr Čermák, Alessio Lomuscio and Fabio Mogavero)

  5. 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)

  6. 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)

  7. 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)

  8. 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)

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

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

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

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

  13. Synthesis of Hierarchical Systems, (preprint version)
    (Extended Version of FACS 2011)
    Journal of 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)

  14. Automata-theoretic Decision of Timed Games, ( revised version)
    (Extended Version of VMCAI 2002)
    Journal of 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)

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

  16. 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)

  17. 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)

  18. 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)

  19. 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)

  20. 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)

  21. 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 )

  22. 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)

  23. 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)

  24. 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)

  25. 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)


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

  27. 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

  28. 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.

  29. 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.

  30. 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. 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)

  2. 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)

  3. 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, to appear.
    (with Rapha{\"{e}}l Berthon, Bastien Maubert, Sasha Rubin, and Moshe Y. Vardi)

  4. 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, to appear.
    (with Rossella Arcucci, Umberto Marotta, and Loredana Sorrentino )

  5. 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 )

  6. 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)

  7. 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 )

  8. 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)

  9. 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)

  10. 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)

  11. 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)

  12. 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, Aniello Murano, Giuseppe Perelli, and Loredana Sorrentino)

  13. 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)

  14. 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)

  15. Solving Parity Games Using An Automata-Based Algorithm
    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)

  16. 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)

  17. 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)

  18. 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)

  19. 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 )

  20. 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)

  21. 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 )

  22. 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. EEEI.
    (with Walter Balzano and Fabio Vitale)

  23. 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. EEEI.
    (with Walter Balzano and Maria Rosaria Del Sorbo)

  24. 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 )

  25. 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)

  26. 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)

  27. 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)

  28. 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)

  29. (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)

  30. 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)

  31. 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)

  32. 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)

  33. 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 )

  34. 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)

  35. 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)

  36. 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)

  37. 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)

  38. 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)

  39. 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)

  40. 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)

  41. 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)

  42. 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)

  43. 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)

  44. 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)

  45. 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)

  46. 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)

  47. 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)

  48. 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)

  49. 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)

  50. 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)

  51. 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)

  52. 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)

  53. 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 )

  54. 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)

  55. 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 )
  56. 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 )

  57. 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 )

  58. 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)

  59. 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 )

  60. 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)

  61. 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.

  62. 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.)

  63. 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)

  64. μ-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)

  65. 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)

  66. 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)

  67. 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)

  68. 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)

  69. 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 )

  70. 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

  71. 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)

  72. 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)

  73. 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)

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

  75. 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

  76. 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 )

  77. 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 )

  78. 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 )

  79. 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)


  80. Workshop notes

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

  82. 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)

  83. 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)

  84. 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)

  85. 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)

  86. 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)

  87. 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)

  88. 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)

  89. 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.

  90. Theses

  91. 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.

  92. 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!