Jaco Jacobs

According to our database, Jaco Jacobs authored at least 6 papers between 2013 and 2017.

Collaborative distances:

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

2017

On the formal interpretation and behavioural consistency checking of SysML blocks.

Jaco Jacobs, Andrew Simpson

Softw. Syst. Model., 2017

2014

On a Process Algebraic Representation of Sequence Diagrams.

Jaco Jacobs, Andrew C. Simpson

Proceedings of the Software Engineering and Formal Methods, 2014

On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study.

Jaco Jacobs, Andrew C. Simpson

Proceedings of the Eighth Brazilian Symposium on Software Components, 2014

A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering.

Jaco Jacobs, Andrew C. Simpson

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

2013

Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML.

Jaco Jacobs, Andrew Simpson

Proceedings of the Formal Methods and Software Engineering, 2013

On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings.

Andrew Simpson, Jaco Jacobs

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013