7 citations · 14 across the 5 of their papers we have counts for
5 papers
Efficient Decentralized LTL Monitoring Framework Using Tableau Technique
Omar Al-Bataineh, David Rosenblum
This paper presents a novel framework for decentralized monitoring of Linear Temporal Logic (LTL), under the situation where processes are synchronous, uniform (i.e. all processes…
A Parallel Linear Temporal Logic Tableau
John C. McCabe-Dansted, Mark Reynolds
For many applications, we are unable to take full advantage of the potential massive parallelisation offered by supercomputers or cloud computing because it is too hard to work out…
Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour
Omar Al-Bataineh, Mark Reynolds, Tim French
The paper presents a novel algorithm for computing best and worst case execution times (BCET/WCET) of timed automata models with cyclic behaviour. The algorithms can work on any ar…
Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification
Gabriele Puppis, Tiziano Villa
This volume contains the proceedings of the Fourth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2013). The symposium took place in Borca di Ca…
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology
Omar I. Al-Bataineh, Mark Reynolds
The timed-based automata model, introduced by Alur and Dill, provides a useful formalism for describing real-time systems. Over the last two decades, several dense-time model check…