@misc{csp-prover-web,
author = {Yoshinao Isobe and Markus Roggenbach},
title = {Webpage on {CSP}-{P}rover},
note = {\url{http://staff.aist.go.jp/y-isobe/CSP-Prover/CSP-Prover.html}},
}
@inproceedings{dragon11,
editor = {Jens Bendisposto, Cliff Jones, Michael Leuschel, Alexander Romanovsky},
booktitle = {AVoCS'11 -- Proceedings of the Eleventh International Workshop on
Automated Verification of Critical Systems},
publisher = {Newcastle University},
author = {Marc Dragon, Andy Gimblett, Markus Roggenbach},
title = {{A} {S}imulator for {T}imed {CSP}},
year = {2011},
}
@inproceedings{james11a,
editor = {Peter Hofner, Annabelle McIver, Georg Struth},
booktitle = {ATE-2011 -- Proceedings of the First Workshop on
Automated Theory Engineering},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
author = {Phillip James, Markus Roggenbach},
title = {Designing Domain Specific Languages for Verification: First Steps},
volume = {760}
year = {2011},
}
@misc{dragon11a,
Author = {Marc Dragon},
School = {Swansea University},
Title = {\textit{A Timed CSP Simulator for Railway
Systems}},
Year = {{BSc Dissertation, Swansea University, 2011}}}
@misc{sze11,
Author = {Wai Leung Sze},
School = {Swansea University},
Title = {\textit{Evaluation of a Domain Specific Language for Modelling and Verifying in the Railway Domain}},
Year = {{BSc Dissertation, Swansea University, 2011}}}
@inproceedings{james10b,
editor = {Jens Bendispoto and Michael Leuschel and Markus Roggenbach},
booktitle = {AVoCS'10 -- Proceedings of the Tenth International Workshop on
Automated Verification of Critical Systems},
publisher = {Electronic Communications of the EASST},
series = {EASST},
author = {Phillip James, Markus Roggenbach},
title = {{A}utomatically {V}erifying {R}ailway {I}nterlockings using {SAT}-based {M}odel {C}hecking},
year = {to appear},
}
@Proceedings{roggenbach10a,
editor = {Markus Roggenbach},
title = {Automated Verification of Critical Systems},
publisher = {Special issue of Science of Computer Programming, Elsevier},
year = {to appear},
}
@Proceedings{bkb10,
editor = {Lutz Schr{\"o}der, Till Mossakowski, Markus Roggenbach},
title = {Festschrift in honor of Bernd Krieg-Br{\"u}ckner},
publisher = {Electronic Communications of the EASST},
year = {to appear},
}
@Proceedings{avocs10,
editor = {Jens Bendispoto and Michael Leuschel and Markus Roggenbach},
title = {AVoCS'10 -- Proceedings of the Tenth International Workshop on
Automated Verification of Critical Systems},
publisher = {Electronic Communications of the EASST},
year = {to appear},
}
@inproceedings{roggenbach10,
editor = {???},
booktitle = {???},
publisher = {Springer},
series = {LNCS ????},
author = {Maldonado, Ana Paula and Luis Monteiro and Markus Roggenbach},
title = {Towards Bi-Algebraic Semantics for the Linear Time -- Branching Time Spectrum},
year = {to appear},
}
@inproceedings{oreilly10,
editor = {???},
booktitle = {???},
publisher = {Springer},
series = {LNCS ????},
author = {Liam O'Reilly and Till Mossakowski and Markus Roggenbach},
title = {Compositional Modelling and Reasoning in an Institution for Processes and Data},
year = {to appear},
}
@inproceedings{oreilly11,
title = {Compositional Reasoning for Processes and Data},
author = {Liam O'Reilly and Till Mossakowski and Markus Roggenbach},
booktitle = {Proceedings of the 18th Workshop on Automated Reasoning},
series = {Technical Report},
volume = {TR-2011-327},
year = {2011},
publisher = {Department of Computing Science, University of Glasgow},
url = {http://www.dcs.gla.ac.uk/publications/paperdetails.cfm?id=9379}
}
@phdthesis{kahsai10,
author = {Temesghen Kahsai},
title = {{P}roperty {P}reserving {D}evelopment and {T}esting for {CSP-CASL}},
school = {Swansea University},
year = {2010},
}
@techreport{monteiro10,
author = {Maldonado, Ana Paula and Luis Monteiro and Markus Roggenbach},
title = {Towards bialgebraic semantics for {CSP}}.
institution = {??? Technical Report FCT/UNL-DI 3-2010, CITI and DI, Faculdade de Ci.encias e Tecnologia, UNL},
year = {2010},
}
@mastersthesis{james10a,
author = {Phillip James},
title = {SAT-based Model Checking and its applications to Train Control Software},
year = {2010},
publisher = {Swansea University},
}
@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}},
editor = {Ludwik Czaja and Marcin Szczuka},
booktitle = {Proc. 18th Int. Conf on Concurrency, Specification and Programming, Krakow, Poland},
year = {2009},
pages = {217-229}
}
@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{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},
}
@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{catesbeiana09,
author = {Erwin R. Catesbeiana},
title = {On Inconsistency 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},
publisher = {Sichere Kognitive Systeme, DFKI Bremen}
}
@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},
}
@article{oreilly08b,
author = {Liam O'Reilly and Markus Roggenbach and Yoshinao Isobe},
title = {{CSP}-{CASL}-{P}rover: 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{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},
}
@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},
}
@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},
}
@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{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{kahsai08a,
editor = {Arnold Beckmann and Costas Dimitracopoulos and Benedikt L{\"o}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{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},
pages = {425-442},
}
@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{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 = {Research 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{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{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},
}
@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},
}
@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},
}
@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{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},
}
