Dipankar Sarkar

MaRDI QIDQ520248zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Translation validation of coloured Petri net models of programs on integers Acta Informatica	2022-10-24	Paper
Equivalence checking of Petri net models of programs using static and dynamic cut-points Acta Informatica	2019-05-21	Paper
A path construction algorithm for translation validation using PRES+ models Parallel Processing Letters	2017-12-15	Paper
A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems IEEE Transactions on Computers	2017-07-12	Paper
Deriving bisimulation relations from path based equivalence checkers Formal Aspects of Computing	2017-04-03	Paper
Diagnosability of delay-deadline failures in fair real time discrete event models International Journal of Systems Science. Principles and Applications of Systems and Integration	2010-10-15	Paper
Fairness of transitions in diagnosability of discrete event systems Discrete Event Dynamic Systems	2010-10-15	Paper
Fault diagnosis in discrete time hybrid systems -- a case study Information Sciences	2007-02-20	Paper

Research outcomes over time

This page was built for person: Dipankar Sarkar