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 | 51 | 2010 |
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 | 31 | 2012 |
Formal modelling and analysis of dynamic reconfiguration of dependable systems A Bhattacharyya Newcastle University, 2013 | 14 | 2013 |
Design, modelling and analysis of a workflow reconfiguration M Mazzara, F Abouzaid, N Dragoni, A Bhattacharyya School of Computing Science Technical Report Series, 2011 | 11 | 2011 |
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 | 10 | 2011 |
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 | 8 | 2018 |
Time in Structured Occurrence Nets A Bhattacharyya, B Li, B Randell Proceedings of the International Workshop on Petri Nets and Software …, 2016 | 7 | 2016 |
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 | 5 | 2008 |
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 | 4 | 2017 |
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 |