Koushik Sen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
PMaude: rewrite-based specification language for probabilistic object systems	2025-03-11	Paper
Detecting errors in multithreaded programs by generalized predictive analysis of executions Lecture Notes in Computer Science	2021-05-20	Paper
Combining model checking and testing Handbook of Model Checking	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 Tools and Algorithms for the Construction and Analysis of Systems	2011-05-19	Paper
A rewriting based model for probabilistic distributed object systems. Lecture Notes in Computer Science	2010-01-12	Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation Lecture Notes in Computer Science	2009-08-11	Paper
Protocol Inference Using Static Path Profiles Static Analysis	2008-08-28	Paper
Model-Checking ω-Regular Properties of Interval Markov Chains Foundations of Software Science and Computational Structures	2008-04-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-09-28	Paper
Model Checking Multithreaded Programs with Asynchronous Atomic Methods Computer Aided Verification	2007-09-05	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-05-02	Paper
Computer Aided Verification Lecture Notes in Computer Science	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2005-11-10	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2005-08-12	Paper

Research outcomes over time

This page was built for person: Koushik Sen