| 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 | 49 | 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 | 32 | 2012 |
| Formal modelling and analysis of dynamic reconfiguration of dependable systems A Bhattacharyya Newcastle University, 2013 | 15 | 2013 |
| 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 | 11 | 2018 |
| 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 |
| Time in Structured Occurrence Nets A Bhattacharyya, B Li, B Randell Proceedings of the International Workshop on Petri Nets and Software …, 2016 | 8 | 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 |
Manuel MazzaraDean of the Faculty of Computer Science and EngineeringDirección de correo verificada de innopolis.ru