Follow
Anirban Bhattacharyya
Title
Cited by
Cited by
Year
On modelling and analysis of dynamic reconfiguration of dependable real-time systems
M Mazzara, A Bhattacharyya
Third International Conference on Dependability (DEPEND 2010), 173-181, 2010
512010
Toward design, modelling and analysis of dynamic workflow reconfiguration - a process algebra perspective
M Mazzara, F Abouzaid, N Dragoni, A Bhattacharyya
WS-FM 2011 8th International Workshop on Web Services and Formal Methods, 64-78, 2012
312012
Formal modelling and analysis of dynamic reconfiguration of dependable systems
A Bhattacharyya
Newcastle University, 2013
142013
Design, modelling and analysis of a workflow reconfiguration
M Mazzara, F Abouzaid, N Dragoni, A Bhattacharyya
School of Computing Science Technical Report Series, 2011
112011
A case study of workflow reconfiguration: Design, modelling, analysis and implementation
F Abouzaid, A Bhattacharyya, N Dragoni, JS Fitzgerald, M Mazzara, ...
School of Computing Science Technical Report Series, 2011
102011
Soncraft: A tool for construction, simulation, and analysis of structured occurrence nets
B Li, B Randell, A Bhattacharyya, T Alharbi, M Koutny
2018 18th International Conference on Application of Concurrency to System …, 2018
72018
Time in Structured Occurrence Nets
A Bhattacharyya, B Li, B Randell
Proceedings of the International Workshop on Petri Nets and Software …, 2016
72016
Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary
A Bhattacharyya, JS Fitzgerald
SERENE 2008 RISE/EFTS Joint International Workshop on Software Engineering …, 2008
52008
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
A Bhattacharyya, A Mokhov, K Pierce
Formal Aspects of Computing, 1-57, 2017
42017
A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems
A Bhattacharyya, A Mokhov, K Pierce
School of Computing Science Technical Report Series, 2015
2015
On Formalisms for Dynamic Reconfiguration of Dependable Systems
A Bhattacharyya, A Mokhov, K Pierce, M Mazzara
arXiv preprint arXiv:1405.0319, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–11