Publications

  • P. James, M. Roggenbach, F. Moller: OnTrack Documentation. DITTO Project Deliverable 1.1. RSSB. 2015. [PDF]
  • S. Gruner, H. Haxthausen, T. Maibaum, M. Roggenbach (eds): Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013.
  • P. James, M. Trumble, H. Treharne, M. Roggenbach and S. Schneider: OnTrack: An Open Tooling Environment for Railway Verification. In Proceedings of NFM 2013, LNCS. [BibTeX][PDF]
  • T. Davies: CSP Implementation Techniques – A Critical Analysis. MRes Thesis, Swansea University. 2013. [BibTeX][PDF]
  • P. James, A. Knapp, T.Mossakowski, M. Roggenbach: Designing Domain Specific Languages -- A Craftsman's Approach for the Railway Domain using CASL. To appear in Proceedings of WADT 2012, LNCS. [BibTeX][PDF]
  • F. Moller, H.N. Nguyen, M. Roggenbach, S. Schneider and H. Treharne: Defining and Model Checking Abstractions of Complex Railway Models using CSP||B. In Proceedings of HVC'12, LNCS. [BibTeX][PDF]
  • P. James, A. Beckmann, M.Roggenbach: Poster. In Proceedings of HVC'12, LNCS 7857, 2013. [BibTex][PDF]
  • F. Moller, H.N. Nguyen, M. Roggenbach, S. Schneider and H. Treharne: CSP||B Modelling for Railway Verification: The Double Junction Case Study. In Proceedings of AVOCS'12, Electronic Communications of the EASST. [BibTeX][PDF]
  • Y. Isobe, F. Moller, H. N. Nguyen, and M. Roggenbach: Safety and Line Capacity in Railways - An Approach in Timed CSP. Proceedings of IFM'12, Pisa, Italy, 2012. [BibTeX][PDF]
  • L. O'Reilly: Structured Specification with Processes and Data - Theory, Tools and Applications. Ph.D. Thesis, Swansea University, 2012. [BibTeX][PDF]
  • F. Moller, H. N. Nguyen, M. Roggenbach, S. Schneider & H. Treharne, CSP||B modelling for railway verification: the Double Junction case study.  Department of Computing Technical Report CS-12-03, 2012.[BibTeX][PDF]
  • F. Moller, H. N. Nguyen, M. Roggenbach, S. Schneider & H. Treharne, Combining event-based and state-based modelling for railway verification,  Department of Computing Technical Report CS-12-02, 2012. [BibTeX][PDF]
  • M. Fontaine, A. Gimblett, F. Moller, H. N. Nguyen, and M. Roggenbach: Timed CSP Simulator. In Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012. ISBN: 978-88-7958-008-3. [BibTeX][PDF][JPG]
  • F. Moller, H. N. Nguyen, M. Roggenbach, S. Schneider, and H. Treharne: Using ProB and CSP||B for railway modelling. In Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012. ISBN: 978-88-7958-008-3. [BibTeX][PDF][JPG]
  • Y. Isobe, H. N. Nguyen and M. Roggenbach: Towards safe capacity in the railway domain - An experiment in Timed-CSP. Proceedings of Dependable System Workshop (DSW), 2011. [BibTeX][PDF]
  • 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. In WADT 2010, LNCS 7137, Springer, 2012. [BibTeX] [PDF]
  • L. O'Reilly, T. Mossakowski, M. Roggenbach: Compositional Reasoning for Processes and Data. Proceedings of the 18th Automated Reasoning Workshop, Technical Report TR-2011-327, University of Glasgow. [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). [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]