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
472010
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
27*2012
Formal modelling and analysis of dynamic reconfiguration of dependable systems
A Bhattacharyya
Newcastle University, 2013
132013
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
92011
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
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
42008
Time in Structured Occurrence Nets
A Bhattacharyya, B Li, B Randell
Proceedings of the International Workshop on Petri Nets and Software …, 2016
32016
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
22018
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