Important: most of the papers available from this document appear
in print and the corresponding copyright is held by the publisher. The
papers can be used for personal use, but redistribution or reprinting
for commercial purposes is prohibited.
Journal Papers in decreasing chronological order:
Roberto Barbuti, Stefano Cataudella, and Luca Tesei. Abstract
interpretation against races. Fundamenta Informaticae,
60(1-4):57-79, 2004. IOS Press, Amsterdam.
Nicoletta De Francesco, Antonella Santone, and Luca
Tesei. Abstract interpretation and model checking for checking
secure information flow in concurrent systems. Fundamenta
Informaticae, 54(2-3):195-211, 2003. IOS Press, Amsterdam.
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone,
and Luca Tesei. A notion of non-interference for timed
automata. Fundamenta Informaticae, 51(1-2):1-11, 2002. IOS Press,
Amsterdam.
Roberto Barbuti and Luca Tesei. A decidable notion of timed
non-interference. In H.-D. Burkhard, L. Czaja, G. Lindemann,
A. Skowron, and P. Starke, editors, Proceedings of the 11th
Concurrency, Specification & Programming Workshop
(CS&P'2002), number 161 in Informatik-Bericht, pages 20-38,
Berlin, October 2002. Humboldt-Universität Press, Berlin.
Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco,
and Luca Tesei. Fixing the java bytecode verifier by a suitable
type domain. In Proceedings of the 14th International Conference
on Software Engineering and Knowledge Engineering (SEKE'02), pages
377-382, Ischia, Italy, July 2002. ACM Press, New York.
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone,
and Luca Tesei. A notion of non-interference for timed
automata. In Ludwik Czaja, editor, Proceedings of the 10th
Concurrency, Specification & Programming Workshop (CS&P'2001),
volume 583/2001, pages 6-15, Warsaw, October 2001. Warsaw
University, Zaklad Graficzny UW, Warsaw.
Roberto Barbuti and Luca Tesei. Timed automata with urgent
transitions. In Flavio Corradini and Walter Vogler, editors,
Proceedings of the 2nd International Workshop on Models for
Time-Critical systems (MTCS'01), number NS-01-5 in BRICS Notes,
pages 3-21, Aalborg, Denmark, August 2001. Aarhus University
Press, Aarhus, Denmark.
Roberto Barbuti, Nicoletta De Francesco, and Luca Tesei. Timed
automata with non-instantaneous actions. In H.D. Burkhard,
L. Czaja, A. Skowron, and P. Starke, editors, Proceedings of the
9th Concurrency, Specification & Programming Workshop
(CS&P'2000),
number 140 in Informatik-Bericht, pages 17-28, Berlin, October
2000. Humboldt-Universität Press, Berlin.
Roberto Barbuti, Nicoletta De Francesco, and Luca
Tesei. Enhancing the Java Bytecode Verifier by Abstract
Interpretation. Submitted to international journal. 2004.