Publications of Jan Obdrzalek

Refereed papers

• Fast mu-calculus Model Checking when Tree-width is Bounded
  (Corrected version, including detailed algorithms)
  [PDF] [BibTeX] [Slides]
  In Proceedings of CAV 2003, volume 2725 of LNCS series.
  © Springer-Verlag
• Model Checking Java Programs using Pushdown Systems
  In Proceedings of FTfJP'02 (Formal Techniques for Java Programs workshop), with ECOOP'02, Malaga, June 2002
  [PS] [BibTeX]
• An OpenMP-like interface for parallel programming in Java
  with J. M. Bull and M. Kambites
  In Concurrency and Computation: Practice and Experience, Volume 13, Issue 8-9, pages 793-814, 2001.
  [PS] [PDF] [BibTeX]
• A Parallel Java Grande Benchmark Suite
  with L. A. Smith and J. M. Bull
  In SC'2001, Denver, USA
  [PS] [PDF] [BibTeX]
• Towards OpenMP for Java
  with J. M. Bull, M. D. Westhead and M. Kambites. In Proceedings of Second European Workshop on OpenMP (EWOMP2000), pages 98-105, University of Edinburgh, 2000.
  [PS] [BibTeX]

Technical Reports

• OpenMP for Java
  Technical Report EPCC-SS-2000-08, Edinburgh Parallel Computing Centre, 2000.
  [PS] [BibTeX]
• JOMP Application Program Interface, Version 0.1 (draft)
  with Mark Bull
  Technical Report, Edinburgh Parallel Computing Centre, 2000.
  [PS] [BibTeX]

Master Thesis

• Formal verification of sequential systems with infinitely many states (corrected version, 2001/10/27) [PS]
• Javacheck 1.0 tool in gzipped tar format (approximately 9.2 MB)