Search filters

List of works by Rupak Majumdar

Analysis of Asynchronous Programs with Event-Based Synchronization

scientific article published in 2015

DebugAR

Dynamic Bayesian networks for formal verification of structured stochastic processes

Dynamic hierarchical reactive controller synthesis

Introduction to the special issue on runtime verification

scientific article published on 18 July 2017

Path slicing

Quantifying conformance using the Skorokhod metric

Reachability analysis of reversal-bounded automata on series–parallel graphs

The software model checker Blast

article

Paulina is supported by:

About Paulina

Help