Swansea University
Computer Science

EPSRC Project EP/D037212/1

Bibtex Entries

@Proceedings{avocs09a,
  editor    = {Markus Roggenbach},
  title     = {AVoCS'09 -- Proceedings of the Ninth International Workshop on
               Automated Verification of Critical Systems},
  publisher = {Electronic Communications of the EASST},
  volume    = {23},
  year      = {2009},
}
@InProceedings{holland09,
  author    = {Greg Holland and Temesghen Kahsai and  Markus Roggenbach and Bernd-Holger Schlingloff},
  title     = {Towards formal testing of jet engine Rolls-Royce {BR725}},
  booktitle = {Proc. 18th Int. Conf on Concurrency, Specification and Programming, Krakow, Poland},
  year      = {2009},
 pages      = {217-229}
}
@inproceedings{kahsai09,
  editor    = {Andrea Corradini and Ugo Montanari},
  booktitle = {WADT 2008},
  publisher = {Springer},
  series    = {LNCS 5486},
  author    = {Temesghen Kahsai and Markus Roggenbach},
  title     = {Property preserving refinement for {CSP-CASL}},
  year      = {2009},
  pages     = {206-220},
}
@techreport{james09b,
  author      = {Phillip James and Markus Roggenbach},
  title       = {{SAT}-based {M}odel {C}hecking of {T}rain {C}ontrol {S}ystems},
  institution = {{U}niversity of {U}dine},
  year        = {2009},
  month       = {September},
}
@Proceedings{avocs09,
  editor    = {Liam O'Reilly and Markus Roggenbach},
  title     = {AVoCS'09 -- PreProceedings of the Ninth International Workshop on
               Automated Verification of Critical Systems},
  publisher = {Swansea University, Wales, UK},
  series    = {Technical Report of Computer Science CSR-2-2009},
  year      = {2009},
}
@InProceedings{james09a,
  booktitle = {11th JSSST Workshop on Programming and Programming Languages (PPL2009)},
  author    = {Phillip James and Yoshinao Isobe and Markus Roggenbach},
  title     = {Verifying {T}rain {C}ontrol {S}oftware - {A}n exercise in {SAT}-based {M}odel {C}hecking},
  year      = {2009},
  publisher = {Japan Society for Software Science and Technology},
}
@inproceedings{gimblett09,
  author    = {Andy Gimblett and Temesghen Kahsai and Liam O'Reilly and Markus Roggenbach},
  title     = {On the whereabouts of {CSP-CASL} -- {A} {S}urvey},
  year      = {2009},
  editor    = {Bernd Gersdorf and Berthold Hoffmann and Christoph L{\"u}th and
               Till Mossakowski and Sylvie Rauer and Thomas R{\"o}fer, 
               Markus Roggenbach and Lutz Schr{\"o}der and Shi Hui, Mattias Werner},
  booktitle = {Specification, Transformation, Navigation --
               Festschrift dedicated to Bernd Krieg-Br{\"u}ckner},
  pages     = {121--139},
}
@InProceedings{gruner08,
  author    = {Stefan Gruner and Derrick G. Kourie and Markus Roggenbach and Tinus Strauss and Bruce W. Watson},
  title     = {A New {CSP} Operator for Optional Parallelism},
  year      = {2008},
  booktitle = {CSSE 2008},
  publisher = {IEEE Computer Society},
  pages     = {788--791},
}
@mastersthesis{gimblett08,
  author    = {Andy Gimblett},
  title     = {Tool {S}upport for {CSP}-{CASL}},
  year      = {2008},
  publisher = {Swansea University},
}
@mastersthesis{samuel08a,
  author    = {D. Gift Samuel},
  title     = {Implementation of the {S}table {R}evivals {M}odel in {CSP}-{P}rover},
  year      = {2008},
  publisher = {Swansea University},
}
@article{samuel08b,
  author    = {D. Gift Samuel and Markus Roggenbach and Yoshinao Isobe},
  title     = {The Stable Revivals Model in CSP-Prover},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {250},
  number    = {2},
  year      = {2009},
  issn      = {1571-0661},
  pages     = {119--134},
  doi       = {http://dx.doi.org/10.1016/j.entcs.2009.08.021},
  publisher = {Elsevier Science Publishers B. V.},
  address   = {Amsterdam, The Netherlands, The Netherlands},
}
@article{oreilly08b,
  author    = {Liam O'Reilly and Markus Roggenbach and Yoshinao Isobe},
  title     = {CSP-CASL-Prover: A Generic Tool for Process and Data Refinement},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {250},
  number    = {2},
  year      = {2009},
  issn      = {1571-0661},
  pages     = {69--84},
  doi       = {http://dx.doi.org/10.1016/j.entcs.2009.08.018},
  publisher = {Elsevier Science Publishers B. V.},
  address   = {Amsterdam, The Netherlands, The Netherlands},
}
@article{isobe08b,
  title   = {CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems},
  authors = {Yoshinao Isobe and Markus Roggenbach},
  year    = {2008},
  volume  = {25},
  journal = {JSSST (Japan Society for Software Science and Technology) Computer Software}
}
@InProceedings{isobe08a,
  editor    = {Stefan Gruner and Bruce Watson},
  booktitle = {COLLOQUIUM and FESTSCHRIFT at Occasion of the 60th Birthday of {D}errick {K}ourie},
  author    = {Yoshinao Isobe and Markus Roggenbach},
  title     = {Verifying the Uniform Candy Distribution Puzzle with {CSP}-{P}rover},
  year      = {2008},
  publisher = {University Pretoria},
}
@InProceedings{kahsai08b,
  editor    = {Antonio Cerone and Stefan Gruner},
  booktitle = {SEFM 2008},
  author    = {Temesghen Kahsai and Markus Roggenbach and Bernd-Holger Schlingloff},
  title     = {Specification-based testing for Software Product Lines},
  year      = {2008},
  publisher = {{IEEE} {C}omputer {S}ociety},
  pages     = {149-159}
}
@InProceedings{roggenbach08,
  editor    = {Antonio Cerone and Stefan Gruner},
  booktitle = {SEFM 2008},
  author    = {Markus Roggenbach},
  title     = {Tools for CSP},
  year      = {To appear},
  publisher = {{IEEE} {C}omputer {S}ociety},
  pages     = {213--214},
}
@InProceedings{mossakowski08,
  editor    = {Andrea Corradini and Fabio Gadducci},
  booktitle = {WADT 2008 -- Preliminary Proceedings},
  author    = {Till Mossakowski and Markus Roggenbach},
  title     = {An institution for processes and data},
  year      = {2008},
  pages     = {13-14},
  publisher = {Universita Di Pisa, Dipartimento Di Informatica},
  series    = {Technical Report: TR-08-15},
}
@InProceedings{kahsai08c,
  editor    = {Andrea Corradini and Fabio Gadducci},
  booktitle = {WADT 2008 -- Preliminary Proceedings},
  author    = {Temesghen Kahsai and Markus Roggenbach},
  title     = {Refinement notions for {CSP-CASL}},
  year      = {2008},
  pages     = {15-16},
  publisher = {Universita Di Pisa, Dipartimento Di Informatica},
  series    = {Technical Report: TR-08-15},
}
@InProceedings{kahsai08,
  editor    = {Arnold Beckmann and Costas Dimitracopoulos and Benedikt Löwe},
  booktitle = {CiE'08},
  author    = {Temesghen Kahsai and Marino Miculan},
  title     = {Implementing {S}pi {C}alculus using {N}ominal {T}echniques},
  year      = {2008},
  pages     = {294-306},
  publisher = {Springer},
  series    = {LNCS 5028},
}
@mastersthesis{oreilly08a,
  author    = {Liam O'Reilly},
  title     = {Developing Proof Technology For {CSP}-{CASL}},
  year      = {2008},
  publisher = {Swansea University},
}
@InProceedings{samuel07,
  editor     = {Einar Broch Johnson and Olaf Owe and Gerardo Schneider},
  booktitle  = {NWPT'07 / FLACOS'07},
  author     = {D. Gift Samuel and Yoshinao Isobe and Markus Roggenbach},
  title      = {Reasoning on {R}esponsiveness -- {E}xtending {CSP}-{P}rover by the {M}odel {R}},
  year       = {2007},
  pages      = {61--63},
  publisher  = {Universitetet i Oslo, Institutt for informatikk, Norway},
  series     = {Reseach Report 366},
}
@InProceedings{kahsai07,
  editor    = {Mike Hinchey and Tiziana Margaria},
  booktitle = {SEFM 2007},
  author    = {Temesghen Kahsai and Markus Roggenbach and Bernd-Holger Schlingloff},
  title     = {Specification-based testing for refinement},
  year      = {2007},
  publisher = {{IEEE} {C}omputer {S}ociety},
  pages     = {237--247}
}
@InProceedings{isobe08,
  editor    = {Hans-Dietrich Haasis and Hans-J{\"o}rg Kreowski and Bernd Scholz-Reiter},
  booktitle = {LDIC 2007},
  author    = {Yoshinao Isobe and Markus Roggenbach},
  title     = {Proof {P}rinciples of {CSP} -- {CSP}-{P}rover in {P}ractice},
  year      = {2008},
  publisher = {Springer},
}
@InProceedings{oreilly08,
  editor    = {Magne Haveraaen and John Power and Monika Seisenberger},
  booktitle = {{CALCO} {Y}oung {R}esearchers {W}orkshop, {CALCO}-jnr 2007, selected papers},
  author    = {Liam O'Reilly and Yoshinao Isobe and Markus Roggenbach},
  title     = {{CSP}-{CASL}-{P}rover -- {T}ool integration and algorithms for automated proof generation},
  month     = {Febuary},
  year      = {2008},
  publisher = {Department of Informatics University of Bergen},
  pages     = {17-34},
  series    = {UIB Report no 2008-367},
}
@InProceedings{oreilly07,
  booktitle = {9th JSSST Workshop on Programming and Programming Languages (PPL2007)},
  author    = {Liam O'Reilly and Yoshinao Isobe and Markus Roggenbach},
  title     = {Integrating {T}heorem {P}roving for {P}rocesses and {D}ata},
  year      = {2007},
  publisher = {Japan Society for Software Science and Technology}
}
@inproceedings{isobe06,
  editor    = {Christel Baier and Holger Hermanns},
  author    = {Yoshinao Isobe and Markus Roggenbach},
  title     = {A Complete Axiomatic Semantics for the {CSP} Stable-Failures Model},
  booktitle = {CONCUR 2006},
  year      = {2006},
  pages     = {158-172},
  publisher = {Springer},
  series    = {LNCS 4137},
}

@inproceedings{mossakowski07,
  editor    = {Jos{\'e} Luiz Fiadeiro and Pierre-Yves Schobbens},
  booktitle = {WADT 2006},
  author    = {Till Mossakowski and Markus Roggenbach},
  title     = {Structured {CSP} -- {A} {P}rocess {A}lgebra as an {I}nstitution},
  series    = {LNCS 4409},
  year      = {2007},
  pages     = {92-110},
}
@mastersthesis{xu06,
  author = {Xu Ruiming},
  title  = {Design and Implementation of Hardware-In-a-Loop Testing for the eft/pos 2000 System},
  year   = {2006},
  school = {University of Wales Swansea},
}
@article{roggenbach06,
  author    = {Markus Roggenbach},
  title     = {{CSP-CASL}: {A} new integration of process algebra and algebraic specification},
  journal   = {Theoretical Computer Science},
  volume    = {354},
  number    = {1},
  year      = {2006},
  issn      = {0304-3975},
  pages     = {42--71},
  doi       = {http://dx.doi.org/10.1016/j.tcs.2005.11.007},
  publisher = {Elsevier},
}
@inproceedings{gimblett05,
  editor    = {Jos{\'e} Luiz Fiadeiro and Peter D. Mosses and Fernando Orejas},
  booktitle = {WADT 2004},
  publisher = {Springer},
  series    = {LNCS 3423},
  author    = {Andy Gimblett and Markus Roggenbach and Bernd-Holger Schlingloff},
  title     = {Towards a Formal Specification of an Electronic Payment System in {CSP-CASL}},
  year      = {2005},
  pages     = {61-78},
}
@misc{csp-prover-web,
  author = {Yoshinao Isobe and Markus Roggenbach},
  title  = {Webpage on {CSP}-{P}rover},
  note   = {\\\texttt{http://staff.aist.go.jp/y-isobe/CSP-Prover/CSP-Prover.html}},
}
@InProceedings{isobe05b,
  author    = {Yoshinao Isobe and Markus Roggenbach and Stefan Gruner},
  title     = {Extending {CSP}-{P}rover by deadlock-analysis: Towards the verification of systolic arrays},
  series    = {Japanese Lecture Notes Series 31},
  publisher = {Kindai-kagaku-sha},
  year      = {2005},
  booktitle = {FOSE 2005},
}
@inproceedings{isobe05,
  editor    = {Nicolas Halbwachs and Lenore D. Zuck},
  booktitle = {TACAS 2005},
  author    = {Yoshinao Isobe and Markus Roggenbach},
  title     = {A Generic Theorem Prover of {CSP} Refinement},
  year      = {2005},
  pages     = {108-123},
  publisher = {Springer},
  series    = {LNCS 3440},
}
@mastersthesis{chuan05,
  author = {Lim Beng Chuan},
  title  = {Towards Hardware-In-a-Loop Testing for an International Standard of an Electronic Payment system},
  year   = {2005},
  school = {University of Wales Swansea},
}
@inproceedings{catesbeiana09,
  author    = {Erwin R. Catesbeiana},
  title     = {On Inconsitency and Unsatisfiability},
  year      = {2009},
  editor    = {Bernd Gersdorf and Berthold Hoffmann and Christoph L{\"u}th and
               Till Mossakowski and Sylvie Rauer and Thomas R{\"o}fer, Markus
               Roggenbach and Lutz Schr{\"o}der and Shi Hui, Mattias Werner},
  booktitle = {Specification, Transformation, Navigation --
               Festschrift dedicated to Bernd Krieg-Br{\"u}ckner},
  pages     = {40 -- 50},
}
@inproceedings{catesbeianaJr09,
  author    = {Erwin R. Catesbeiana (Jr)},
  title     = {Letter to {BKB}},
  year      = {2009},
  editor    = {Bernd Gersdorf and Berthold Hoffmann and Christoph L{\"u}th and
               Till Mossakowski and Sylvie Rauer and Thomas R{\"o}fer,
               Markus Roggenbach and Lutz Schr{\"o}der and Shi Hui, Mattias
               Werner},
  booktitle = {Specification, Transformation, Navigation --
               Festschrift dedicated to Bernd Krieg-Br{\"u}ckner},
  pages     = {27},
}