Guy Edward Gallasch

A coloured petri net based tool for course of action development and analysis

Lin Zhang, Lars Michael Kristensen, Chris Janczura et al. · Formal Methods · 2002 · 19 citations

Petri Net, Engineering, Action Scheduling Tool +22

Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States

Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen et al. · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 2004 · 19 citations

Engineering, Verification, Computer-aided Verification +21

Model-based development of a course of action scheduling tool

Lars Michael Kristensen, Peter Mechlenborg, Brice Mitchell et al. · International Journal on Software Tools for Technology Transfer · 2007 · 17 citations

Engineering, Project Scheduling, Scheduling Analysis +8

Modelling defence logistics networks

Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington et al. · International Journal on Software Tools for Technology Transfer · 2007 · 16 citations

Defence Logistics Networks, Emergency Logistics, Business +6

Checking safety properties on-the-fly with the sweep-line method

Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai et al. · International Journal on Software Tools for Technology Transfer · 2007 · 14 citations

Safety Engineering, Reliability Engineering, Engineering +11