Gintautas Sulskus

According to our database, Gintautas Sulskus authored at least 4 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

An investigation into Event-B methodologies and timing constraint modelling.

Gintautas Sulskus

PhD thesis, 2017

2016

Modelling Complex Timing Requirements with Refinement.

Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

2015

An Interval-Based Approach to Modelling Time in Event-B.

Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2012

A Pattern for Modelling Fault Tolerant Systems in Event-B.

Gintautas Sulskus, Michael Poppleton

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012