13 citations · 31 across the 6 of their papers we have counts for
6 papers
Anticipating Accidents through Reasoned Simulation
Craig Innes, Andrew Ireland, Yuhui Lin +1
A key goal of the System-Theoretic Process Analysis (STPA) hazard analysis technique is the identification of loss scenarios - causal factors that could potentially lead to an acci…
A Risk-taking Broker Model to Optimise User Requests placement on On-demand and Contract VMs
Chalee Boonprasop, Yuhui Lin, Adam Barker
Cloud providers offer end-users various pricing schemes to allow them to tailor VMs to their needs, e.g., a pay-as-you-go billing scheme, called \textit{on-demand}, and a discounte…
Benchmarking and Performance Modelling of MapReduce Communication Pattern
Sheriffo Ceesay, Adam Barker, Yuhui Lin
Understanding and predicting the performance of big data applications running in the cloud or on-premises could help minimise the overall cost of operations and provide opportuniti…
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
Yuhui Lin, Gudmund Grov, Rob Arthan
The use of a functional language to implement proof strategies as proof tactics in interactive theorem provers, often provides short, concise and elegant implementations. Whilst be…
Tinker, tailor, solver, proof
Gudmund Grov, Aleks Kissinger, Yuhui Lin
We introduce Tinker, a tool for designing and evaluating proof strategies based on proof-strategy graphs, a formalism previously introduced by the authors. We represent proof strat…
A Graphical Language for Proof Strategies
Gudmund Grov, Aleks Kissinger, Yuhui Lin
Complex automated proof strategies are often difficult to extract, visualise, modify, and debug. Traditional tactic languages, often based on stack-based goal propagation, make it…