University | Computer Science  

    Circus Family Technical Reports  




Technical Reports and Theses

All the publications available below are unpublished versions

 
  • F. Zeyda and A. Cavalcanti. Proofs of laws for a unified theory of methods. Technical report, University of York, Department of Computer Science, YO10 5GH, York, UK. March 2014. This is an accompanying report for the paper "Laws for a unified theory of methods" submitted for review to UTP 2014. [Bib | PDF]
 
  • F. Zeyda, A.L.C. Cavalcanti, A. Wellings, Jim Woodcock and Kun Wei. Refinement of the Parallel CDx. Technical Report. University of York, YO10 4GH, UK. July 2012. [Bib | PDF]
 
  • Kun Wei, Jim Woodcock and Ana Cavalcanti. New Circus Time. Technical report, Department of Computer Science, University of York, UK, 2012. [Bib | PDF]
  • F. Zeyda, A.L.C. Cavalcanti, and A. Wellings. Circus Model for the SCJ Mission Framework. Technical Report. University of York, UK, 2011. [Bib | PDF]
 
  • A.Miyazawa, Formal verification of implementations of Stateflow charts. PhD thesis, Department of Computer Science - University of York, UK, 2012. [Bib | PDF]
 
  • F. Zeyda, A.L.C. Cavalcanti, and A. Wellings. A Simple Protocol - Safety-Critical Java Program and its Circus Model. Technical Report. University of York, UK, 2011. [Bib | PDF]
 
  • Adnan Sherif. A Framework for Specification and Validation of Real-Time Systems using Circus Actions. PhD thesis, Center of Informatics - Federal University of Pernambuco, Brazil, 2006.[Bib | PDF]
 
  • M. V. M. Oliveira. Formal Derivation of State-Rich Reactive Programs using Circus. PhD thesis, Department of Computer Science - University of York, UK, 2006. YCST-2006-02.[ Bib | PDF ] (or extended version)
 
  • A. Freitas. From Circus to Java: Implementation and Verification of a Translation Strategy. Master's thesis, Department of Computer Science, The University of York, Dec 2005.[Bib | PDF]
 
  • L. Freitas. Model-checking Circus. PhD thesis, Department of Computer Science, The University of York, UK, 2005. YCST-2005/11.[Bib | PDF]

 

   

       Department of Computer Science

       University of York, Deramore Lane, York, YO10 5GH, UK

       Tel: 01904 325500 | Fax:01904 325599                                                                                                                       Last updated on 19 July 2011