- Design and Analysis of Distributed Message Ordering over a Unidirectional Logical Ring.- The Omnibus Java Library: Efficient Synthesis of Optimal Signal Schedules for Multimodal Intersections.- Performance Evaluation of Beaconing Schemes for Vehicular Platooning.- Implementations Based Evaluation of No-Wait Approach for Resolving Conflicts in Databases.- Performance Evaluation of Smart Bin Systems Using Markovian Agents for Efficient Garbage Collection.- Approximation of First Passage Time Distributions of Compositions of Independent Markov Chains.- Under the space threat: Quantitative Analysis of Cosmos blockchain.- A Lumped CTMC for Modular Rewritable PN.

- Analytical Modelling of Asymmetric Multi-core Servers.- Robust Streaming Benchmark Design in the Presence of Backpressure.