Jaco Jacobs : Publications
|
[1] |
A Formal Model of SysML Blocks using CSP for Assured Systems Engineering J. Jacobs and A. C. Simpson In Proceedings of the 3rd International Workshop on Formal Techniques for Safety−Critical Systems (FTSCS 2014). Vol. ?? of Communications in Computer and Information Science. Pages ??−??. 2015. |
|
[2] |
A Process Algebraic Approach to Decomposition of Communicating SysML Blocks J. Jacobs and A. C. Simpson In International Journal of Modeling and Optimization. Vol. 3. No. 2. Pages 153–157. 2013. |
|
[3] |
On a process algebraic representation of sequence diagrams J. Jacobs and A. C. Simpson In Proceedings of the 1st International Workshop on Safety and Formal Methods (SaFoMe 2014). Vol. 8938 of Lecture Notes in Computer Science. Pages 71–85. Springer. 2015. |
|
[4] |
On the cloud−enabled refinement checking of railway signalling interlockings A. C. Simpson and J. Jacobs In Proceedings of the 2nd International Workshop on Formal Techniques for Safety−Critical Systems (FTSCS 2013). Vol. 419 of Communications in Computer and Information Science. Pages 195–211. 2014. |
|
[5] |
On the formal interpretation of SysML blocks using a safety critical case study J. Jacobs and A. C. Simpson In Proceedings of the 8th Brazilian Symposium on Software Components‚ Architectures and Reuse (SBCARS 2014). Pages ??−??. IEEE. 2015. |
|
[6] |
Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML J. Jacobs and A. C. Simpson In Proceedings of the 15th International Conference on Formal Engineering Methods (ICFEM 2013). Vol. 8144 of Lecture Notes in Computer Science. Pages 265–280. Springer. 2013. |