Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Stats
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Dr Anirban Bhattacharayya
Newcastle Authors
Title
Year
Full 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 Nets
2018
Dr Anirban Bhattacharayya
Dr Andrey Mokhov
Dr Ken Pierce
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
2017
Dr Anirban Bhattacharayya
Professor Maciej Koutny
Professor Brian Randell
Towards a Framework for Monotonic Approximations
2017
Dr Anirban Bhattacharayya
Dr Bowen Li
Professor Brian Randell
Time in Structured Occurrence Nets
2016
Dr Anirban Bhattacharayya
Dr Bowen Li
Professor Brian Randell
Time in Structured Occurrence Nets
2016
Dr Anirban Bhattacharayya
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 Bhattacharayya
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: A process Algebra Perspective
2012
Dr Anirban Bhattacharayya
Professor John Fitzgerald
Dr Manuel Mazzara
A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation
2011
Dr Manuel Mazzara
Dr Anirban Bhattacharayya
Design, Modelling and Analysis of a Workflow Reconfiguration
2011
Dr Manuel Mazzara
Dr Anirban Bhattacharayya
Design, Modelling and Analysis of a Workflow Reconfiguration
2011
1
2