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]