Jaco Jacobs : Publications
-
[1]
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.
Details about A Process Algebraic Approach to Decomposition of Communicating SysML Blocks | BibTeX data for A Process Algebraic Approach to Decomposition of Communicating SysML Blocks | Download (pdf) of A Process Algebraic Approach to Decomposition of Communicating SysML Blocks
-
[2]
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.
Details about Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML | BibTeX data for Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML | Download (pdf) of Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML
-
[3]
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.
Details about On the Cloud−enabled Refinement Checking of Railway Signalling Interlockings | BibTeX data for On the Cloud−enabled Refinement Checking of Railway Signalling Interlockings | Download (pdf) of On the Cloud−enabled Refinement Checking of Railway Signalling Interlockings
-
[4]
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. 2014.
Details about On a Process Algebraic Representation of Sequence Diagrams | BibTeX data for On a Process Algebraic Representation of Sequence Diagrams | Download (pdf) of On a Process Algebraic Representation of Sequence Diagrams
-
[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 95−104. IEEE. 2014.
Details about On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study | BibTeX data for On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study | Download (pdf) of On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study
-
[6]
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.
Details about A Formal Model of SysML Blocks using CSP for Assured Systems Engineering | BibTeX data for A Formal Model of SysML Blocks using CSP for Assured Systems Engineering | Download (pdf) of A Formal Model of SysML Blocks using CSP for Assured Systems Engineering
-
[7]
A Formal Refinement Framework for the Systems Modeling Language
J. Jacobs
PhD Thesis 2015.
Details about A Formal Refinement Framework for the Systems Modeling Language | BibTeX data for A Formal Refinement Framework for the Systems Modeling Language
-
[8]
On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks
J. Jacobs and A. C. Simpson
In International Journal on Software and Systems Modeling. 2016.
Details about On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks | BibTeX data for On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks