Login
Talks & Seminars
Title: Model checking distributed probabilistic systems.
Mr. Ratul Saha, National University of Singapore
Date & Time: November 23, 2015 11:30
Venue: Lecture Hall, B Block, 03rd Floor, Dept. of CSE, Kanwal Rekhi (KReSIT) Bldg
Abstract:
The formal verification of large probabilistic models is challenging. Exploiting the concurrency that is often present is one way to address this problem. We would primarily discuss about a class of communicating probabilistic agents which can be viewed as a succinct and distributed presentation of a large global Markov chain. In this talk we will give a brief overview of the model and the relevant model checking techniques, and discuss at length about potential advancements and application domains. Currently, this model is being applied to Business Process Management (BPM) Systems and distributed cloud computing. The talk will be nontechnical in nature and is aimed at students and researchers interested in model checking, probabilistic systems and their relevant applications.
Speaker Profile:
Ratul Saha is a PhD student at NUS working with David Rosenblum (previously, P S Thiagarajan, retired). This work has been done in collaboration with Madhavan Mukund (CMI) and Javier Esparza (TU Munich).
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback