Publications

Journal Articles

  1. Berger, U., James, P., Lawrence, A., Roggenbach, M., Seisenberger, M. Verification of the European Rail Traffic Management System in Real-Time Maude Science of Computer Programming
  2. Blasco, J., Chen, T., Muttik, I., Roggenbach, M. Detection of app collusion potential using logic programming Journal of Network and Computer Applications
  3. Knapp, A., Roggenbach, M., Schlingloff, B. Automating Test Case Selection in Model-Based Software Product Line Development International Journal of Software and Informatics 9 2 153 175
  4. James, P., Moller, F., Nga Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H. On modelling and verifying railway interlockings: Tracking train lengths Science of Computer Programming 96 315 336
  5. James, P., Roggenbach, M. Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans Mathematics in Computer Science 8 1 11 38
  6. James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H. Techniques for modelling and verifying railway interlockings International Journal on Software Tools for Technology Transfer 16 6 685 711
  7. Gimblett, A., Kahsai, T., O'Reilly, L., Roggenbach, M. On the whereabouts of CSP-CASL – A survey Electronic Communications of the EASST 62
  8. James, P., Roggenbach, M. Automatically Verifying Railway Interlockings using SAT-based Model Checking Electronic Communications of the EASST 35
  9. Samuel, D., Roggenbach, M., Isobe, Y. The Stable Revivals Model in CSP-Prover Electronic Notes in Theoretical Computer Science 250 2 119
  10. O'Reilly, L., Roggenbach, M., Isobe, Y. CSP-CASL-Prover: A Generic Tool for Process and Data Refinement Electronic Notes in Theoretical Computer Science 250 2 69
  11. Isobe, Y., Roggenbach, M. CSP-Prover - A proof tool for the verification of scalable concurrent systems Journal of Computer Software 25 4 85 92
  12. Roggenbach, M. CSP-CASL—A new integration of process algebra and algebraic specification Theoretical Computer Science 354 1 42
  13. Mossakowski, T., Schröder, L., Roggenbach, M., Reichel, H. Algebraic–coalgebraic specification in CoCasl The Journal of Logic and Algebraic Programming 67 1-2 146

Books

  1. Roggenbach, M. AVoCS'09 - Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems
  2. O'Reilly, L., Roggenbach, M. AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems Swansea University

Book Chapters

  1. Asăvoae, I., Blasco, J., Chen, T., Kalutarage, H., Muttik, I., Nguyen, H., Roggenbach, M., Shaikh, S. Detecting Malicious Collusion Between Mobile Software Applications: The Android TM Case (Ed.), Data Analytics and Decision Support for Cybersecurity 97 Springer
  2. Knapp, A., Mossakowski, T., Roggenbach, M., Glauer, M. An Institution for Simple UML State Machines (Ed.), Fundamental Approaches to Software Engineering 18 Springer
  3. Isobe, Y., Roggenbach, M. Verifying the uniform candy distribution puzzle with CSP-Prover (Ed.), ??? pp. University Pretoria
  4. Kahsai, T., Roggenbach, M. Property Preserving Refinement for Csp-Casl (Ed.), Recent Trends in Algebraic Development Techniques 206 Springer
  5. Yoshinao, I., Mark, R., Roggenbach, M. A Generic Theorem Prover of CSP Refinement (Ed.), Tools and Algorithms for the Construction and Analysis of Systems 108 123 Springer
  6. Isobe, Y., Roggenbach, M. A Complete Axiomatic Semantics for the CSP Stable-Failures Model (Ed.), CONCUR 2006 – Concurrency Theory 158
  7. Maldonado, A., Monteiro, L., Roggenbach, M. Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum (Ed.), Recent Trends in Algebraic Development Techniques 209
  8. Isobe, Y., Roggenbach, M. Proof Principles of CSP – CSP-Prover in Practice (Ed.), Springer
  9. James, P., Knapp, A., Mossakowski, T., Roggenbach, M. Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl (Ed.), Recent Trends in Algebraic Development Techniques 194 Heidelberg Springer

Conference Contributions

  1. Chen, L., Roggenbach, M., Tucker, J. An Algebraic Theory for Data Linkage Recent Trends in Algebraic Development Techniques 11563 47 66
  2. Maldonado, A., Monteiro, L., Roggenbach, M. Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum Recent Trends in Algebraic Development Techniques 7137 209 225
  3. O’Reilly, L., Mossakowski, T., Roggenbach, M., O'Reilly, L. Compositional Modelling and Reasoning in an Institution for Processes and Data Recent Trends in Algebraic Development Techniques 7137 251 269
  4. Roggenbach, M., James, P. Designing Domain Specific Languages for Verification: First Steps.
  5. Holland, G., Kahsai, T., Roggenbach, M., Schlingloff, B. Towards formal testing of jet engine Rolls-Royce BR725 217 229
  6. Roggenbach, M. SAT-based model checking of train control systems 15 17
  7. Gimblett, A., Kahsai, T., O'Reilly, L., Roggenbach, M. On the whereabouts of CSP-CASL - A survey 121 139
  8. James, P., Isobe, Y., Roggenbach, M. Verifying train control software - An exercise in SAT-based model checking 11th JSSST Workshop on Programming and Programming Languages (PPL2009) 1
  9. Kahsai, T., Roggenbach, M. Property Preserving Refinement for Csp-Casl Recent Trends in Algebraic Development Techniques 5486 206 220
  10. Holland, G., Kahsai, T., Roggenbach, M., B.H., S. Towards formal testing of jet engine Rolls-Royce BR725
  11. Gruner, S., Kourie, D., Roggenbach, M., Strauss, T., Watson, B. A New CSP Operator for Optional Parallelism 2008 International Conference on Computer Science and Software Engineering 788
  12. Roggenbach, M. Tools for CSP 213
  13. Kahsai, T., Roggenbach, M. Refinement notions for CSP-CASL 15 16
  14. Mossakowski, T., Roggenbach, M. An institution for processes and data 13 14
  15. Kahsai, T., Roggenbach, M., Schlingloff, B. Specification-based testing for Software Product Lines 149 159
  16. Yoshinao, I., Roggenbach, M. CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems
  17. Kahsai, T., Roggenbach, M., Schlingloff, B. Speci?cation-Based Testing for Software Product Lines Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on 149 158
  18. Gruner, S., Kourie, D., Roggenbach, M., Strauss, T., Watson, B. A New CSP Operator for Optional Parallelism 788
  19. Isobe, Y., Merrin, W., Roggenbach, M. Proof principles of CSP - CSP-Prover in practice 425 442

Other Research Outputs

  1. A.P., M., Monteiro, L., Roggenbach, M. Towards bialgebraic semantics for CSP.