Koushik Sen

Available identifiers

Publication	Date of Publication	Type
Detecting errors in multithreaded programs by generalized predictive analysis of executions	2021-05-20	Paper
Combining model checking and testing	2018-07-20	Paper
An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0	2013-10-02	Paper
Sound and complete monitoring of sequential consistency for relaxed memory models	2011-05-19	Paper
A rewriting based model for probabilistic distributed object systems.	2010-01-12	Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation	2009-08-11	Paper
Protocol Inference Using Static Path Profiles	2008-08-28	Paper
Model-Checking ω-Regular Properties of Interval Markov Chains	2008-04-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Model Checking Multithreaded Programs with Asynchronous Atomic Methods	2007-09-05	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Computer Aided Verification	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Computer Aided Verification	2005-08-25	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper

This page was built for person: Koushik Sen