Selected Publications by Markus Roggenbach - Department of ...
Selected Publications by Markus Roggenbach - Department of ...
Selected Publications by Markus Roggenbach - Department of ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Refereed Conference Papers25. P James, A Beckmann, M <strong>Roggenbach</strong>: Domain Specic Languages and Verication inthe Railway Domain, submitted.26. M Fontaine, A Gimblett, F Moller, HN Nguyen, M <strong>Roggenbach</strong>: Timed CSP Simulator,submitted.27. F Moller, HN Nguyen, M <strong>Roggenbach</strong>, S Schneider, H Treharne: Using ProB andCSP ||B for railway modelling, submitted.28. F Moller, HN Nguyen, M <strong>Roggenbach</strong>, S Schneider, H Treharne: Combining eventbasedand state-based modelling for railway verication, submitted.29. Y Isobe, F Moller, HN Nguyen, M <strong>Roggenbach</strong>: Safety and Line Capacity in RailwaysAn approach in Timed CSP. Proceedings <strong>of</strong> iFM’12, Springer, LNCS, to appear.30. Y Isobe, HN Nguyen, M <strong>Roggenbach</strong>: Towards safe capacity in the railway domain– An experiment in Timed-CSP. Proceedings <strong>of</strong> the Dependable System WorkshopDSW’11, 2011.31. M Dragon, A Gimblett, M <strong>Roggenbach</strong>: A Simulator for Timed CSP. PreProceeding<strong>of</strong> AVoCS’11, Technical Report, Newcastle University, 2011.32. P James, M <strong>Roggenbach</strong>: Designing Domain Specic Languages for Verication: FirstSteps. 1st Workshop on Automated Theory Engineering ATE’11, CEUR WorkshopProceedings, 2011.33. L O’Reilly, T Mossakowski, M <strong>Roggenbach</strong>: Compositional Reasoning for Processesand Data, Proceedings <strong>of</strong> the 18th Workshop on Automated Reasoning ARW’11.TR-2011-327, University <strong>of</strong> Glasgow, 2011.34. AP Maldonado, L Monteiro, M <strong>Roggenbach</strong>: Towards Bi-Algebraic Semantics forthe Linear Time – Branching Time Spectrum, 15 pages, Proceedings <strong>of</strong> WADT’10,LNCS, Springer, to appear.35. L O’Reilly, T Mossakowski, M <strong>Roggenbach</strong>: Compositional Modelling and Reasoningin an Institution for Processes and Data, 15 pages, Proceedings <strong>of</strong> WADT’10, LNCS,Springer, to appear.36. G Holland, T Kahsai, M <strong>Roggenbach</strong>, BH Schlingl<strong>of</strong>f: Towards formal testing <strong>of</strong> jetengine Rolls-Royce BR725. Proceeding <strong>of</strong> CSP’09, Krakow, Poland, 2009.37. T Kahsai, M <strong>Roggenbach</strong>: Property preserving refinement for CSP-CASL. Proceedings<strong>of</strong> WADT’08. LNCS 5486, Springer 2009.38. S Gruner, D G Kourie, M <strong>Roggenbach</strong>, T Strauss, B W Watson: A new CSP operatorfor optional parallelism. Proceedings <strong>of</strong> CSSE ’08, IEEE 2008.39. T Kahsai, M <strong>Roggenbach</strong>, B-H Schlingl<strong>of</strong>f: Specification-based testing for s<strong>of</strong>twareproduct lines. Proceedings <strong>of</strong> SEFM ’08, IEEE, 2008.3