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)
Quantitative fairness games (Available soon)
8th 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
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 )
Balanced Paths in Colored Graphs
34th 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
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)
The "INNOVAMBIENTE" Project: An Interdisciplinary Approach
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 )
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)
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.
An Interdisciplinary Science Learning Envirnoment
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, 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
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)
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.
μ-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)
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)
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)
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)
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)
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 )
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
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)
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)
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)
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,
1st 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,
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 )
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 )
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 )
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)
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.
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)