The University of Southampton

Publications

Dghaym, Dana, Butler, Michael and Salehi Fathabadi, Asieh (2014) Evaluation of graphical control flow management approaches for Event-B modelling At Proceedings of the 13th International Workshop on Automated Verification of Critical Systems (AVocS 2013), United Kingdom. 15 pp.

Dghaym, Dana, Trindade, Matheus Garay, Butler, Michael and Salehi Fathabadi, Asieh (2016) A graphical tool for event refinement structures in Event-B At Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Austria. , pp. 269-274.

Dghaym, Dana, Salehi Fathabadi, Asieh and Snook, Colin (2016) Using Rodin and BMotionStudio for public engagement At Rodin Developer Workshop 2016, Austria.

Dghaym, Dana (2017) Extending the ERS approach for workflow modelling in Event-B University of Southampton Doctoral Thesis , 389pp.

Hoang, Thai Son, Snook, Colin, Dghaym, Dana and Butler, Michael, (2017) Class diagrams for Abstract Data Types Hung, D. and Kapur, D. (eds.) In Theoretical Aspects of Computing – ICTAC 2017. vol. 10580, Springer. 18 pp. (Submitted). (doi:10.1007/978-3-319-67729-3_7).

Butler, Michael, Dghaym, Dana, Fischer, Tomas, Hoang, Thai Son, Reichl, Klaus, Snook, Colin and Tummeltshammer, Peter (2017) Formal modelling techniques for efficient development of railway control products At International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, Pistoia, Italy. 14 - 16 Nov 2017. (Submitted).

Hoang, Thai, Snook, Colin, Dghaym, Dana and Butler, Michael (2017) RailGround using Theory plug-in University of Southampton [Dataset]

Hoang, Thai Son, Dghaym, Dana, Snook, Colin and Butler, Michael (2017) A composition mechanism for refinement-based methods At 22nd International Conference on Engineering of Complex Computer Systems, Fukuoka, Japan. 05 - 08 Nov 2017. 10 pp.

Dghaym, Dana, Butler, Michael and Salehi Fathabadi, Asieh (2017) Extending ERS for modelling dynamic workflows in Event-B At 22nd International Conference on Engineering of Complex Computer Systems, Fukuoka, Japan. 05 - 08 Nov 2017. 10 pp.

Hoang, Thai Son, Dghaym, Dana, Snook, Colin and Butler, Michael (2017) Development of a System Controlling Cars on a Bridge using Machine Inclusion University of Southampton doi:10.5258/SOTON/D0237 [Dataset]

Contact

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×