Aniello Murano, Publications

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

Journals

• Pushdown Module Checking
  (Full version of LPAR'05)
  Accepted for publication in Formal Methods in System Design (FMSD 2010)
  (with L. Bozzelli and A. Peron)

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

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

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

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

• 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

• Quantitative fairness games (Available soon)
  8^th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2010
  Paphos, Cyprus, March 27 - 28, 2009, EPTCS, (To appear)
  (with A. Bianco, M. Faella, and F. Mogavero )

• Improved Model Checking of Hierarchical Systems
  11^th 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 )

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

• Graded Computation Tree Logic
  24^th 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)

• The "INNOVAMBIENTE" Project: An Interdisciplinary Approach Integrating Natural Science, Mathematics and Computer Science
  9^th 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 )

• Branching-Time Temporal Logics with Minimal Model Quantifiers
  13^th 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)

• A Technological Infrastructure Design for a Pediatric Oncology Network
  2^nd 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.
  

• An Interdisciplinary Science Learning Envirnoment
  5^th 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, ISBN: 978-84-692-1789-4, FORMATEX, pages 325 - 329.
  (with S. Cuomo, B. D'Aniello, and E. Saulino.)

• Program Complexity in Hierarchical Module Checking
  15^th 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)

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

• μ-Calculus Pushdown Module Checking with Imperfect State Information
  5^th 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)

• Enriched μ-Calculus Pushdown Module Checking
  14^th 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)

• Pushdown Module Checking with Imperfect Information
  18^th 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)

• 2-Visibly Pushdown automata ( extended Version)
  11^th 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)

• Enriched μ-Calculi Module Checking
  10^th 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)

• The Complexity of Enriched μ-Calculi
  33^rd 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 )

• 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

• Pushdown Module Checking
  12^th 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)

• Typeness for omega-Regular Automata,
  2^nd 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)

• Reasoning About co-Buchi Tree Automata, ( extended Version)
  1^st 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)

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

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

• Optimal-Reachability and Control for Acyclic Weighted Timed Automata,
  2^nd 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 )

• Dense Real-time Games,
  17^th 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 )

• Automata-theoretic Decision of Timed Games,
  3^rd 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 )

• Weak Muller Acceptance Conditions for Tree Automata,
  3^rd 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

• A. Iorio and A. Murano,
  Studio di fattibilitá 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.

Miscellanea Journals (medical informatics and interdisciplinary science learning)

• Murano A., Cuomo S., D'Aniello B.,
  An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science,
  MASAUM Journal of Basic and Applied Sciences, Vol.1, N. 2, pages 313 - 318, Septembre 2009.
  

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

Tecnical reports

• Synthesis of Hierarchical Systems
  Report n. 10, Department of Mathematics and Applications "R. Caccioppoli" ,
  University of Naples "Federico II", Italy, April, 2009.
  Submitted to conference
  ( with Benjamin Aminof and Fabio Mogavero )

• Relentful Strategic Reasoning in Alternating-Time Temporal Logic
  Report n. 11, Department of Mathematics and Applications "R. Caccioppoli" ,
  University of Naples "Federico II", Italy, April, 2009.
  Submitted to conference
  ( with Fabio Mogavero and Moshe Y. Vardi)

Thesis

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