Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Anirban Bhattacharyya.

Newcastle AuthorsTitleYearFull text
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 Nets2018
Dr Anirban Bhattacharyya
Dr Andrey Mokhov
Dr Ken Pierce
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems2017
Dr Anirban Bhattacharyya
Professor Maciej Koutny
Professor Brian Randell
Towards a Framework for Monotonic Approximations2017
Dr Anirban Bhattacharyya
Dr Bowen Li
Professor Brian Randell
Time in Structured Occurrence Nets2016
Dr Anirban Bhattacharyya
Dr Bowen Li
Professor Brian Randell
Time in Structured Occurrence Nets2016
Dr Anirban Bhattacharyya
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 Bhattacharyya
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: A process Algebra Perspective2012
Dr Anirban Bhattacharyya
Professor John Fitzgerald
Dr Manuel Mazzara
A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation2011
Dr Manuel Mazzara
Dr Anirban Bhattacharyya
Design, Modelling and Analysis of a Workflow Reconfiguration2011
Dr Manuel Mazzara
Dr Anirban Bhattacharyya
Design, Modelling and Analysis of a Workflow Reconfiguration2011
Dr Manuel Mazzara
Dr Anirban Bhattacharyya
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems2010
Dr Manuel Mazzara
Dr Anirban Bhattacharyya
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems2010
Dr Anirban Bhattacharyya
Professor John Fitzgerald
Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary2008
Dr Anirban Bhattacharyya
Professor John Fitzgerald
Development of a Formalism for Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems: A Technical Diary2008