Dipankar Sarkar

Available identifiers

Publication	Date of Publication	Type
Translation validation of coloured Petri net models of programs on integers	2022-10-24	Paper
Equivalence checking of Petri net models of programs using static and dynamic cut-points	2019-05-21	Paper
A path construction algorithm for translation validation using PRES+ models	2017-12-15	Paper
A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems	2017-07-12	Paper
Deriving bisimulation relations from path based equivalence checkers	2017-04-03	Paper
Diagnosability of delay-deadline failures in fair real time discrete event models	2010-10-15	Paper
Fairness of transitions in diagnosability of discrete event systems	2010-10-15	Paper
Fault diagnosis in discrete time hybrid systems -- a case study	2007-02-20	Paper

This page was built for person: Dipankar Sarkar