Anirban Bhattacharyya

简介

Ani received a BSc in Mathematics from King's College London and an MSc in Information Systems Engineering from South Bank Polytechnic. His PhD from Newcastle University focused on formal modelling and analysis of dynamic reconfiguration of dependable systems. He has worked on various R&D projects and currently researches formal modelling, analysis, and implementation of dynamically reconfigurable dependable real-time systems.

教育经历

• BSc (Hons) Mathematics, University of London King's College, 1982
• MSc Information Systems Engineering, South Bank Polytechnic, 1984
• PhD Formal Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems, Newcastle University, 2013

代表成果

• Using Time Signal at Red (Tsar) as a Tool for Analysing Rail Network Performance
• Applying Collaborative Co-Simulation to Railway Traction Energy Consumption
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• Confusion-Tolerant Computation of Probability in Acyclic Nets
• Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: A process Algebra Perspective
• Using Co-Simulation and Time Signal at Red (TSAR) to Determine Impact of Driver Behavior on Rail Network Performance
• SONCraft: A Tool for Construction, Simulation and Analysis of Structured Occurrence Nets
• Time in Structured Occurrence Nets
• Design, Modelling and Analysis of a Workflow Reconfiguration
• On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems