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}},
}
@misc{timed-csp-simulator-web,
author = {Hoang Nga Nguyen and Markus Roggenbach},
title = {Webpage on {Timed-CSP}-{S}umlator},
note = {\url{http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/timed-csp-simulator}},
}
author = {Phillip James and Markus Roggenbach},
title = {OnTrack Webpage},
note = {\url{http://http://cs.swansea.ac.uk/~cspj/index.php/tool-development}},
}
@book{e058a0fec2c14b679172622b555a9d7d,
title = "Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems",
author = {Phillip James and Matthew Trumble and Helen Treharne and Markus Roggenbach and Steve Schneider},
title = {OnTrack: An Open Tooling Environment for Railway Verification},
booktitle = {NASA Formal Methods},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2013},
}
author = {Tom Davies},
title = {CSP Implementation Techniques – A Critical Analysis},
year = {2013},
publisher = {Swansea University},
}
author = {Phillip James and Alexander Knapp and Till Mossakowski and Markus Roggenbach},
title = {Designing Domain Specific Languages -- A Craftsman's Approach for the Railway Domain using CASL},
booktitle = {WADT 2012},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2013},
}
author = {Phillip James and Arnold Beckmann and Markus Roggenbach},
title = {Using Domain Specific Languages to Support Verification in the Railway Domain},
booktitle = {Haifa Verification Conference, HVC 2012},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2013},
}
author = {Faron Moller and Hoang Nga Nguyen and Markus Roggenbach and Steve Schneider and Helen Treharne},
title = {Defining and Model Checking Abstractions of Complex Railway Models using CSP||B },
booktitle = {HVC'2012},
year = {2012}
}
author = {Faron Moller and Hoang Nga Nguyen and Markus Roggenbach and Steve Schneider and Helen Treharne},
title = {CSP||B Modelling for Railway Verification: The Double Junction Case Study},
booktitle = {AVOCS'12},
year = {2012}
}
author = {Yoshinao Isobe and Faron Moller and Hoang Nga Nguyen and Markus Roggenbach},
title = {Safety and Line Capacity in Railways - An Approach in Timed CSP},
booktitle = {IFM},
year = {2012},
pages = {54-68},
ee = {http://dx.doi.org/10.1007/978-3-642-30729-4_5},
crossref = {DBLP:conf/ifm/2012},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
author = {Liam O'Reilly},
title = {{S}tructured {S}pecification with {P}rocesses and {D}ata --- {T}heory, {T}ools and {A}pplications},
school = {Swansea University},
year = {2012},
}
author = {Faron Moller and Hoang Nga Nguyen and Markus Roggenbach and Steve Schneider and Helen Treharne},
title = {CSP||B modelling for railway verification: the Double Junction case study}.
institution = {Department of Computing Technical Report CS-12-03},
year = {2012}
}
author = {Faron Moller and Hoang Nga Nguyen and Markus Roggenbach and Steve Schneider and Helen Treharne},
title = {Using ProB and CSP||B for railway modelling},
booktitle = {Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012},
year = {2012},
ISBN = {978-88-7958-008-3}
}
author = {Marc Fontaine and Andy Gimblett, Faron Moller and Hoang Nga Nguyen and Markus Roggenbach},
title = {Timed CSP Simulator},
booktitle = {Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012},
year = {2012},
ISBN = {978-88-7958-008-3}
}
author = {Yoshinao Isobe, Hoang Nga Nguyen, and Markus Roggenbach},
title = {Towards safe capacity in the railway domain -- An experiment in Timed-CSP},
booktitle = {Proceedings of Dependable System Workshop (DSW)},
year = {2011}
}
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},
}
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},
}
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 = {Evaluation of a Domain Specific Language for Modelling and Verifying in the Railway Domain},
Year = {BSc Dissertation, Swansea University, 2011},
}
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 and Markus Roggenbach},
title = {{A}utomatically {V}erifying {R}ailway {I}nterlockings using {SAT}-based {M}odel {C}hecking},
year = {to appear},
}
editor = {Markus Roggenbach},
title = {Automated Verification of Critical Systems},
publisher = {Special issue of Science of Computer Programming, Elsevier},
year = {to appear},
}
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},
}
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 = {???},
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},
}
publisher = {Springer},
author = {O'Reilly, Liam and Mossakowski, Till and Roggenbach, Markus},
title = {Compositional Modelling and Reasoning in an Institution for Processes and Data},
booktitle = {WADT 2010},
series = {Lecture Notes in Computer Science},
year = {2012},
pages = {251--269},
numpages = {19},
editor = {Till Mossakowski and Hans-J{\"o}rg Kreowski},
volume = {7137},
}
title = {Compositional Reasoning for Processes and Data},
author = {Liam O'Reilly and Till Mossakowski and Markus Roggenbach},
booktitle = {Proceedings of the 18th Automated Reasoning Workshop},
series = {Technical Report},
volume = {TR-2011-327},
year = {2011},
publisher = {Department of Computing Science, University of Glasgow},
url = {http://www.dcs.gla.ac.uk/arw2011/img/proceedingsARW11.pdf},
}
author = {Temesghen Kahsai},
title = {{P}roperty {P}reserving {D}evelopment and {T}esting for {CSP-CASL}},
school = {Swansea University},
year = {2010},
}
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},
}
author = {Phillip James},
title = {SAT-based Model Checking and its applications to Train Control Software},
year = {2010},
publisher = {Swansea University},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
author = {Andy Gimblett},
title = {Tool {S}upport for {CSP}-{CASL}},
year = {2008},
publisher = {Swansea University},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
author = {Liam O'Reilly},
title = {Developing Proof Technology For {CSP}-{CASL}},
year = {2008},
publisher = {Swansea University},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}