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.
Journals, Conferences, Book Contributions, Miscellaneous, Technical Reports, Thesis.

Publications in DBLP, Scholar, CiteSeer(out of date)

Journals

  1. Improved Model Checking of Hierarchical Systems
    (Full version of VMCAI 2010)
    Submitted.
    (with B. Aminof and O. Kupferman )

  2. Pushdown Module Checking with Imperfect Information
    (Full version of CONCUR 2007 and IFIP TCS 2008)
    Submitted.
    (with B. Aminof, A. Legay, O. Serre, and M.Y. Vardi )

  3. Pushdown Module Checking
    (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)

  4. 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.
    (with S. Cuomo and B. D'Aniello)

  5. The Complexity of Enriched μ-Calculi
    (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 )

  6. Enriched μ-Calculi Module Checking
    (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)

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

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

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

Conferences

  1. 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 15 (to appear)
    (with A. Bianco and F. Mogavero)

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

  3. 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 15 (To appear)
    (with F. Mogavero and M.Y. Vardi)

  4. 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 16 (To appear)
    (with A. Bianco, M. Faella, and F. Mogavero )

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

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

  7. 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.
    (with A. Bianco and F. Mogavero)

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

  9. 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.
    (with F. Mogavero)

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

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

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

  13. The Pushdown Module Checking Saga (available soon)
    1th Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2008
    Warsaw, Poland, September 8-11.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Book Chapters and Book editor

  30. A. Iorio and A. Murano,
    Studio di fattibilita' per la realizzazione di una rete informatica oncologica pediatrica ( Italian ).
    In V.Poggi and A.Murano, editors: Un network in Oncologia pediatrica: sperimentazione clinica, organizzativa e gestionale di una rete regionale, pages 40-78, 2008.

    31. Miscellanea Journals (Italian Journals)

  31. Murano A., Menna G., Parasole R., Petruzziello F. e Poggi V.,
    Creazione di una Struttura Informatica che Sottenda una Rete Oncologica Pediatrica Regionale (Italian abstract),
    XXXV Congresso nazionale AIEOP, Ancona, 26-28 ottobre 2008
    Journal of Hematology (Haematologica), sup.4 of vol. 93, page S56 (P095), October 2008.

  32. Masucci M., Murano A., Cuomo S, and D'Aniello B. ,
    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.

    33. Tecnical reports - submitted to conferences

  33. Reasoning About Strategies
    (Joint work with Fabio Mogavero and Moshe Y. Vardi.)
  34. Full Formative Assessment based on Educational Video Games
    (Joint work with Salvatore Cuomo and Vittorio Fuccella )
  35. Synthesis of Hierarchical Systems
    (Joint work with Benjamin Aminof and Fabio Mogavero.)

Thesis

Home

CSS Valido! Valid HTML 4.01!