Publications

Journal Articles

  1. & Verification of the European Rail Traffic Management System in Real-Time Maude. Science of Computer Programming
  2. & Detection of app collusion potential using logic programming. Journal of Network and Computer Applications
  3. & Automating Test Case Selection in Model-Based Software Product Line Development. International Journal of Software and Informatics 9(2), 153-175.
  4. & On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming 96, 315-336.
  5. & Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Mathematics in Computer Science 8(1), 11-38.
  6. & Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer 16(6), 685-711.
  7. & Automatically Verifying Railway Interlockings using SAT-based Model Checking. Electronic Communications of the EASST 35
  8. & The Stable Revivals Model in CSP-Prover. Electronic Notes in Theoretical Computer Science 250(2), 119
  9. & CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. Electronic Notes in Theoretical Computer Science 250(2), 69
  10. & CSP-Prover - A proof tool for the verification of scalable concurrent systems. Journal of Computer Software 25(4), 85-92.
  11. CSP-CASL—A new integration of process algebra and algebraic specification. Theoretical Computer Science 354(1), 42
  12. & Algebraic–coalgebraic specification in CoCasl. The Journal of Logic and Algebraic Programming 67(1-2), 146

Books

  1. AVoCS'09 - Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems.
  2. & AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems. Swansea University.

Book Chapters

  1. & Detecting Malicious Collusion Between Mobile Software Applications: The Android TM Case. In Data Analytics and Decision Support for Cybersecurity. -97). Springer.
  2. & An Institution for Simple UML State Machines. In Fundamental Approaches to Software Engineering. -18). Springer.
  3. & Verifying the uniform candy distribution puzzle with CSP-Prover. In (pp. ??? pp.University Pretoria.
  4. & Property Preserving Refinement for Csp-Casl. In Recent Trends in Algebraic Development Techniques. (pp. 206Springer.
  5. & A Generic Theorem Prover of CSP Refinement. In Nicolas Halbwachs, Lenore D. Zuck (Ed.), Tools and Algorithms for the Construction and Analysis of Systems. (pp. 108-123). Springer.
  6. & A Complete Axiomatic Semantics for the CSP Stable-Failures Model. In CONCUR 2006 – Concurrency Theory. (pp. 158
  7. & Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum. In Recent Trends in Algebraic Development Techniques. (pp. 209
  8. & Proof Principles of CSP – CSP-Prover in Practice. In Springer.
  9. & Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl. In Narciso Marti-Oliet, Miguel Palomino (Ed.), Recent Trends in Algebraic Development Techniques. -194). Heidelberg: Springer.

Conference Contributions

  1. & An algebraic theory for data linkage. Presented at Selected Papers of WADT'18, LNCS, to appear,Springer.
  2. & (2012). Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum. Presented at Recent Trends in Algebraic Development Techniques,, 209-225. Heidelberg: Springer. doi:10.1007/978-3-642-28412-0_14
  3. & (2012). Compositional Modelling and Reasoning in an Institution for Processes and Data. Presented at Recent Trends in Algebraic Development Techniques,, 251-269. Heidelberg: Springer. doi:10.1007/978-3-642-28412-0_16
  4. (2011). Designing Domain Specific Languages for Verification: First Steps.. doi:10.1.1.220.7401
  5. & (2009). Towards formal testing of jet engine Rolls-Royce BR725. , 217-229.Institute of Informatics, Warsaw University.
  6. (2009). SAT-based model checking of train control systems. , 15-17.University of Udine.
  7. & (2009). On the whereabouts of CSP-CASL - A survey. , 121-139.Sichere Kognitive Systeme, DFKI Bremen.
  8. & (2009). Verifying train control software - An exercise in SAT-based model checking. Presented at 11th JSSST Workshop on Programming and Programming Languages (PPL2009),, 1Japan Society for Software Science and Technology.
  9. & (2009). Property Preserving Refinement for Csp-Casl. Presented at Recent Trends in Algebraic Development Techniques,, 206-220. doi:10.1007/978-3-642-03429-9_14
  10. & (2009). Towards formal testing of jet engine Rolls-Royce BR725.
  11. & (2008). A New CSP Operator for Optional Parallelism. Presented at 2008 International Conference on Computer Science and Software Engineering,, 788 Hubei, China: IEEE. doi:10.1109/CSSE.2008.1131
  12. (2008). Tools for CSP. , 213IEEE. doi:10.1109/SEFM.2008.39
  13. & (2008). Specification-based testing for Software Product Lines. , 149-159.IEEE.
  14. (2008). CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems.
  15. & (2008). Speci?cation-Based Testing for Software Product Lines. Presented at Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on,, 149-158. Los Alamitos, California: IEEE. doi:10.1109/SEFM.2008.38
  16. & (2008). A New CSP Operator for Optional Parallelism. , 788 doi:10.1109/CSSE.2008.1131
  17. & (2007). Proof principles of CSP - CSP-Prover in practice. , 425-442.Springer.
  18. & (2007). CSP-CASL-Prover - Tool integration and algorithms for automated proof generation. , 17-34.Department of Informatics, University of Bergen.

Other Research Outputs

  1. & (2010). Towards bialgebraic semantics for CSP..
  2. & Refinement notions for CSP-CASL. , 15-16.
  3. & An institution for processes and data. , 13-14.