Login / Signup
Jaco Jacobs
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 1
Top Topics
Sequence Diagrams
Safety Critical
Predicate Calculus
Process Algebra
Top Venues
FTSCS
SEFM Workshops
SBCARS
Softw. Syst. Model.
</>
Publications
</>
Jaco Jacobs
,
Andrew Simpson
On the formal interpretation and behavioural consistency checking of SysML blocks.
Softw. Syst. Model.
16 (4) (2017)
Jaco Jacobs
,
Andrew C. Simpson
A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering.
FTSCS
(2014)
Jaco Jacobs
,
Andrew C. Simpson
On a Process Algebraic Representation of Sequence Diagrams.
SEFM Workshops
(2014)
Jaco Jacobs
,
Andrew C. Simpson
On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study.
SBCARS
(2014)
Andrew Simpson
,
Jaco Jacobs
On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings.
FTSCS
(2013)
Jaco Jacobs
,
Andrew Simpson
Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML.
ICFEM
(2013)