Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Anirban Bhattacharayya

Newcastle AuthorsTitleYearFull text
Dr Bowen Li
Professor Brian Randell
Dr Anirban Bhattacharayya
Talal Alharbi
Professor Maciej Koutny
et al.		SONCraft: A Tool for Construction, Simulation and Analysis of Structured Occurrence Nets2018
Dr Anirban Bhattacharayya
Dr Andrey Mokhov
Dr Ken Pierce
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems2017
Dr Anirban Bhattacharayya
Professor Maciej Koutny
Professor Brian Randell
Towards a Framework for Monotonic Approximations2017
Dr Anirban Bhattacharayya
Dr Bowen Li
Professor Brian Randell
Time in Structured Occurrence Nets2016
Dr Anirban Bhattacharayya
Dr Bowen Li
Professor Brian Randell
Time in Structured Occurrence Nets2016
Dr Anirban Bhattacharayya
Dr Andrey Mokhov
Dr Ken Pierce
A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems2015
Dr Manuel Mazzara
Dr Anirban Bhattacharayya
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: A process Algebra Perspective2012
Dr Anirban Bhattacharayya
Professor John Fitzgerald
Dr Manuel Mazzara
A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation2011
Dr Manuel Mazzara
Dr Anirban Bhattacharayya
Design, Modelling and Analysis of a Workflow Reconfiguration2011
Dr Manuel Mazzara
Dr Anirban Bhattacharayya
Design, Modelling and Analysis of a Workflow Reconfiguration2011
12