.- 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.