Publications by Dr Anirban Bhattacharyya - ePrints

Browsing publications by Dr Anirban Bhattacharyya.

Newcastle Authors	Title	Year
Dr Anirban Bhattacharyya Professor Maciej Koutny	Confusion-Tolerant Computation of Probability in Acyclic Nets	2023
Dr Bowen Li Professor Brian Randell Dr Anirban Bhattacharyya Talal Alharbi Professor Maciej Koutny et al.	SONCraft: A Tool for Construction, Simulation and Analysis of Structured Occurrence Nets	2018
Dr Anirban Bhattacharyya Dr Andrey Mokhov Dr Ken Pierce	An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems	2017
Dr Anirban Bhattacharyya Professor Maciej Koutny Professor Brian Randell	Towards a Framework for Monotonic Approximations	2017
Dr Anirban Bhattacharyya Dr Bowen Li Professor Brian Randell	Time in Structured Occurrence Nets	2016
Dr Anirban Bhattacharyya Dr Bowen Li Professor Brian Randell	Time in Structured Occurrence Nets	2016
Dr Anirban Bhattacharyya Dr Andrey Mokhov Dr Ken Pierce	A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems	2015
Dr Manuel Mazzara Dr Anirban Bhattacharyya	Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: A process Algebra Perspective	2012
Dr Anirban Bhattacharyya Professor John Fitzgerald Dr Manuel Mazzara	A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation	2011
Dr Manuel Mazzara Dr Anirban Bhattacharyya	Design, Modelling and Analysis of a Workflow Reconfiguration	2011
Dr Manuel Mazzara Dr Anirban Bhattacharyya	Design, Modelling and Analysis of a Workflow Reconfiguration	2011
Dr Manuel Mazzara Dr Anirban Bhattacharyya	On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems	2010
Dr Manuel Mazzara Dr Anirban Bhattacharyya	On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems	2010
Dr Anirban Bhattacharyya Professor John Fitzgerald	Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary	2008
Dr Anirban Bhattacharyya Professor John Fitzgerald	Development of a Formalism for Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems: A Technical Diary	2008