2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.LO2020
Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic
Thomas Wright, Ian Stark
Signal Temporal Logic monitoring over numerical simulation traces has emerged as an effective approach to approximate verification of continuous and hybrid systems. In this report…
cs.LO2018
The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics
Thomas Wright, Ian Stark
We present the bond-calculus, a process algebra for modelling biological and chemical systems featuring nonlinear dynamics, multiway interactions, and dynamic bonding of agents. Ma…
cs.LO2017★ 2 cited
A More Sensitive Context
Christopher J. Banks, Ian Stark
Logic of Behaviour in Context (LBC) is a spatio-temporal logic for expressing properties of continuous-state processes, such as biochemical reaction networks. LBC builds on the exi…