Publications

• Y. Isobe, M. Roggenbach: CSP-Prover Homepage.
  [BibTeX]
• M. Dragon, A. Gimblett, M. Roggenbach: A Simulator for Timed CSP. AVoCS 2011 - PreProceedings of the eleventh International Workshop on Automated Verification of Critical Systems.
  Technical Report of Computer Science, Newcastle University, UK, 2011.
  [BibTeX] [PDF]
• P. James, M. Roggenbach: Designing Domain Specific Languages for Verification: First Steps.
  First Workshop on Automated Theory Engineering, ATE-2011. CEUR Workshop Proceedings. Volume 760, 2011.
  [BibTeX] [PDF]
• M. Dragon: A Timed CSP Simulator for Railway Systems.
  B.Sc. Thesis, Swansea University, 2011.
  [BibTeX] [PDF]
• W. L. Sze: Evaluation of a Domain Specific Language for Modelling and Verifying in the Railway Domain.
  B.Sc. Thesis, Swansea University, 2011.
  [BibTeX] [PDF]
• P. James, M. Roggenbach: Automatically Verifying Railway Interlockings using SAT-based Model Checking.
  Electronic Communications of the EASST, to appear.
  [BibTeX] [PDF]
• M. Roggenbach (Ed): Automated Verification of Critical Systems.
  Special issue of Science of Computer Programming, Elsevier, to appear.
  [BibTeX]
• L. Schröder, T. Mossakowski, M. Roggenbach (Eds): Festschrift in honor of Bernd Krieg-Brückner.
  Electronic Communications of the EASST, to appear.
  [BibTeX]
• J. Bendispoto, M. Leuschel, M. Roggenbach (Eds): AVoCS 2010 - Proceedings of the Tenth International Workshop on Automated Verification of Critical Systems.
  Electronic Communications of the EASST, to appear.
  [BibTeX]
• A-P. Maldonado, L. Monteiro, M. Roggenbach: Towards Bi-Algebraic Semantics for the Linear Time -- Branching Time Spectrum.
  to appear in LNCS.
  [BibTeX]
• L. O'Reilly, T. Mossakowski, M. Roggenbach: Compositional Modelling and Reasoning in an Institution for Processes and Data.
  to appear in LNCS.
  [BibTeX]
• L. O'Reilly, T. Mossakowski, M. Roggenbach: Compositional Reasoning for Processes and Data.
  Proceedings of the 18th Workshop on Automated Reasoning, Technical Report TR-2011-327, University of Glasgow.
  http://www.dcs.gla.ac.uk/publications/paperdetails.cfm?id=9379
  [BibTeX] [PDF] [Poster JPG]
• T. Kahsai: Property Preserving Development and Testing for CSP-CASL.
  Ph.D. Thesis, Swansea University, 2010.
  [BibTeX] [PDF]
• A-P. Maldonado, L. Monteiro, M. Roggenbach: Towards bialgebraic semantics for CSP.
  Technical Report FCT/UNL-DI 3-2010, CITI and DI, Faculdade de Ci.encias e Tecnologia, UNL (2010).
  http://ctp.di.fct.unl.pt/~apm/publications/MMR-TR-3-2010.pdf
  [BibTeX] [PDF]
• P. James: SAT-based Model Checking and its applications to Train Control Software.
  M.Res Thesis, Swansea University, 2010.
  [BibTeX] [PDF]
• M. Roggenbach (Ed): AVoCS 2009 - Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems.
  Electronic Communications of the EASST, Volume 23, 2009.
  [BibTeX] [Link to the PDFs]
• G. Holland, T.Kahsai, M. Roggenbach, B.-H. Schlingloff: Towards formal testing of jet engine Rolls-Royce BR725.
  In Proc. 18th Int. Conference on Concurrency, Specification and Programming, Krakow, Poland, 2009.
  [BibTeX] [PDF]
• P. James, M. Roggenbach: SAT-based Model Checking of Train Control Systems.
  In CALCO Young Researchers Workshop CALCO-jnr 2009, Department of Computer Science, University of Udine, September 2009.
  [BibTeX] [PDF]
• L. O'Reilly and M. Roggenbach, editors. AVoCS 2009 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems.
  Technical Report of Computer Science CSR-2-2009, Swansea University, Wales, UK, 2009.
  [BibTeX] [PDF]
• T.Kahsai, M. Roggenbach Property preserving refinement for CSP-CASL.
  In WADT 2008, LNCS 5486, Springer, 2009.
  [BibTeX] [PDF]
• A. Gimblett, T.Kahsai, L. O'Reilly, M. Roggenbach On the whereabouts of CSP-CASL - A Survey.
  In Specification, Transformation, Navigation, Festschrift dedicated to Bernd Krieg-Brückner, Bremen, 2009.
  [BibTeX] [PDF]
• Erwin R. Catesbeiana: On Inconsistency and Unsatisfiability.
  In Specification, Transformation, Navigation, Festschrift dedicated to Bernd Krieg-Brückner, Bremen, 2009.
  [BibTeX] [PDF]
• Erwin R. Catesbeiana (Jr): Letter to BKB.
  In Specification, Transformation, Navigation, Festschrift dedicated to Bernd Krieg-Brückner, Bremen, 2009.
  [BibTeX] [PDF]
• P. James, Y. Isobe, M. Roggenbach: Verifying Train Control Software - An exercise in SAT-based Model Checking.
  In 11th JSSST Workshop on Programming and Programming Languages (PPL2009), 2009.
  [BibTeX] [TXT]
• L. O'Reilly, Y. Isobe, M. Roggenbach: CSP-CASL-Prover: A generic tool for process and data refinement.
  In Electronic Notes In Theoretical Computer Science, Elsevier, 2009.
  [BibTeX] [PDF]
• G. Samuel, Y. Isobe, M. Roggenbach: The stable revivals model in CSP-Prover.
  In Electronic Notes In Theoretical Computer Science, Elsevier, 2009.
  [BibTeX] [PDF]
• S. Gruner, D.G. Kourie, M. Roggenbach, T. Strauss, B.W. Watson: A New CSP Operator for Optional Parallelism.
  In CSSE 2008, IEEE.
  [BibTeX] [PDF]
• A. Gimblett: Tool Support for CSP-CASL.
  M.Phil Thesis, Swansea University, 2008.
  [BibTeX] [PDF]
• G. Samuel: Implementation of the Stable Revivals Model in CSP-Prover.
  M.Phil Thesis, Swansea University, 2008.
  [BibTeX] [PDF]
• T. Kahsai, M. Roggenbach, B.-H. Schlinglof: Specification-based testing for software product lines.
  In SEFM 2008, IEEE.
  [BibTeX] [PDF]
• M. Roggenbach: Tools for CSP - Keynote address.
  In SEFM 2008, IEEE.
  [BibTeX] [PDF]
• Y. Isobe, M. Roggenbach: CSP-Prover - a Proof Tool for the Verification of Scalable Concurrent Systems.
  Journal of Computer Software, Japanese Society for Software Science and Technology, 2008.
  [BibTeX] [PDF]
• Y. Isobe, M. Roggenbach: Verifying the Uniform Candy Distribution Puzzle with CSP-Prover.
  In Festschrift for D. Kourie, 2008.
  [BibTeX] [PDF]
• T. Mossakowski, M. Roggenbach: An institution for processes and data.
  In WADT 2008 - Preliminary Proceedings, TR-08-15, Universita Di Pisa, 2008.
  [BibTeX] [PDF]
• T. Kahsai, M. Roggenbach: Refinement notions for CSP-CASL.
  In WADT 2008 - Preliminary Proceedings, TR-08-15, Universita Di Pisa, 2008.
  [BibTeX] [PDF]
• T. Kahsai, M. Miculan: Implementing Spi Calculus using Nominal Techniques.
  In CiE'08, LNCS 5028, Springer, 2008.
  [BibTeX] [PDF]
• L. O'Reilly: Developing Proof Technology For CSP-CASL.
  M.Phil Thesis, Swansea University, 2008.
  [BibTeX] [PDF]
• Y. Isobe, M. Roggenbach: Proof Principles of CSP - CSP-Prover in Practice.
  In LDIC 2007, Springer, 2008.
  [BibTeX] [PDF]
• L. O'Reilly, Y. Isobe, M. Roggenbach: CSP-CASL-Prover - Tool integration and algorithms for automated proof generation.
  In CALCO Young Researchers Workshop, CALCO-jnr 2007, Department of Informatics University of Bergen, February 2008.
  [BibTeX] [PDF]
• D. G. Samuel, Y. Isobe, M. Roggenbach: Reasoning on Responsiveness - Extending CSP-Prover by the Model R.
  In NWPT'07 / FLACOS'07, Research Report 366, Universitetet i Oslo, 2007.
  [BibTeX] [PDF]
• T. Kahsai, M. Roggenbach, B.-H. Schlinglof: Specification-based testing for refinement.
  In SEFM 2007, IEEE, 2007.
  [BibTeX] [PDF]
• L. O'Reilly, Y. Isobe, M. Roggenbach: Integrating Theorem Proving for Processes and Data.
  In 9th JSSST Workshop on Programming and Programming Languages (PPL2007), 2007.
  [BibTeX] [TXT]
• T. Mossakowski, M. Roggenbach: Structured CSP - A Process Algebra as an Institution.
  In WADT 2006, LNCS 4409, Springer 2007.
  [BibTeX] [PDF]
• Y. Isobe, M. Roggenbach: A Complete Axiomatic Semantics for the CSP Stable-Failures Model.
  In CONCUR 2006, LNCS 4137, Springer, 2006.
  [BibTeX] [PDF]
• X. Ruiming: Design and Implementation of Hardware-In-a-Loop Testing for the eft/pos 2000 System.
  Master Thesis, University of Wales Swansea, 2006.
  [BibTeX] [PDF]
• M. Roggenbach: CSP-CASL: A new integration of process algebra and algebraic specification.
  In Theoretical Computer Science, Elsevier, 2006.
  [BibTeX] [PDF]
• A. Gimblett, M. Roggenbach, and B. Schlingloff: Towards a Formal Specification of an Electronic Payment System in CSP-CASL.
  In WADT 2004, LNCS 3423, Springer, 2005.
  [BibTeX] [PDF]
• Y. Isobe and M. Roggenbach: A Generic Theorem Prover of CSP Refinement.
  In TACAS 2005, LNCS 3440, Springer, 2005.
  [BibTeX] [PDF]
• L. B. Chuan: Towards Hardware-In-a-Loop Testing for an International Standard of an Electronic Payment system.
  Master's Thesis, University of Wales Swansea, 2005.
  [BibTeX] [PDF]
• Y. Isobe, M. Roggenbach, and S. Gruner: Extending CSP-Prover by deadlock-analysis: Towards the verification of systolic arrays.
  In FOSE 2005, Japanese Lecture Notes Series 31, Kindai-kagaku-sha, 2005.
  [BibTeX] [PDF]