Bibtex Entries

@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}},

}

@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}},

}

@misc{ontrack-web,

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",

publisher = "Technical University of Denmark",
 
author = "Stefan Gruner and Haxthausen, {Anne Elisabeth} and Tom Maibaum and Markus Roggenbach",
 
year = "2013",
 
series = "DTU Compute-Technical Report-2013",
 
}
 

 

@inproceedings{james13b,

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},

}

@mastersthesis{davies13,

          author = {Tom Davies},

          title = {CSP Implementation Techniques – A Critical Analysis},

          year = {2013},

         publisher = {Swansea University},

}

@inproceedings{james13a,

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},

}

@inproceedings{james12,

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},

}

@inproceedings{MNRST12HVC,

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}

}

@inproceedings{MNRST12,

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}

}

@inproceedings{IsobeMNR12,

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}

}

@phdthesis{oreilly2012,

          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},

}

@techreport{MNRST12TR03,

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}

}

@inproceedings{MNRST12P,

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}

}

@inproceedings{FGMNR12,

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}

}

@inproceedings{INR11,

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}

}

@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 = {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 and 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 = {???},

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{oreilly12b,

          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},

}

@inproceedings{oreilly11,

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},

}

@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},

}