Staff Profile
Dr Anirban Bhattacharyya
Research Associate in Model-Based Reasoning
Publications
-
Article
- Bhattacharyya A, Mokhov A, Pierce K. An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems. Formal Aspects of Computing 2017, 29(2), 251-307.
-
Book Chapters
- Bhattacharyya A, Koutny M. Confusion-Tolerant Computation of Probability in Acyclic Nets. In: Transactions on Petri Nets and Other Models of Concurrency. Berlin: Springer, 2023, pp.212-245.
- Mazzara M, Abouzaid F, Dragoni N, Bhattacharyya A. Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: A process Algebra Perspective. In: Web Services and Formal Methods. Berlin; New York: Springer-Verlag, 2012, pp.64-78. In Press.
-
Conference Proceedings (inc. Abstracts)
- Pierce K, Bhattacharyya A, Golightly D, Pinto da Silva P, Merricks S, Palacin R, Guo Z. Using Co-Simulation and Time Signal at Red (TSAR) to Determine Impact of Driver Behavior on Rail Network Performance. In: Annual Modeling and Simulation Conference (ANNSIM’24). 2024, Washington, DC, USA: Society for Modeling & Simulation International (SCS).
- Li B, Randell B, Bhattacharyya A, Alharbi T, Koutny M. SONCraft: A Tool for Construction, Simulation and Analysis of Structured Occurrence Nets. In: 18th International Conference on Application of Concurrency to System Design. 2018, Bratislava, Slovakia: IEEE.
- Bhattacharyya A, Li B, Randell B. Time in Structured Occurrence Nets. In: International Workshop on Petri Nets and Software Engineering (PNSE’16). 2016, Torun, Poland: CEUR-WS.org.
- Mazzara M, Abouzaid F, Dragoni N, Bhattacharyya A. Design, Modelling and Analysis of a Workflow Reconfiguration. In: Petri Nets and Software Engineering. 2011, Newcastle upon Tyne, UK: CEUR-WS, RWTH Aachen University.
- Mazzara M, Bhattacharyya A. On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems. In: Third International Conference on Dependability (DEPEND). 2010, Venice/Mestre, Italy: IEEE Computer Society.
- Bhattacharyya A, Fitzgerald JS. Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary. In: SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems. 2008, Newcastle upon Tyne, UK: ACM.
-
Reports
- Bhattacharyya A, Li B, Randell B. Time in Structured Occurrence Nets. Newcastle upon Tyne: School of Computing Science University of Newcastle upon Tyne, 2016. School of Computing Science Technical Report Series 1495.
- Bhattacharyya A, Mokhov A, Pierce K. A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1462.
- Abouzaid F, Bhattacharyya A, Dragoni N, Fitzgerald JS, Mazzara M, Zhou M. A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1265.