Publications
- M. Roggenbach, editor. 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] - 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. Isoboe, 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. Isoboe, 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, Febuary 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, Reseach 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]