BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × Japan
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:
A.Podelski W.Charatonik H.Y.Chen S.Flur C.Alvin B.Peterson R.Boddu L.Guo B.Cukic S.Dal-Zilio A.D.Gordon J.Talbot
Talks about:
model (4) check (3) constraint (2) analysi (2) termin (2) static (2) time (2) character (1) bisimilar (1) stratifi (1)

Person: Supratik Mukhopadhyay

DBLP DBLP: Mukhopadhyay:Supratik

Facilitated 1 volumes:

VMCAI 2003Ed

Contributed to:

SAS 20122012
RE 20042004
ICLP 20022002
VMCAI 20022002
FoSSaCS 20012001
PADL 20012001
CL 20002000
FASE 20172017

Wrote 8 papers:

SAS-2012-ChenFM #linear #proving #termination
Termination Proofs for Linear Simple Loops (HYC, SF, SM), pp. 422–438.
RE-2004-BodduGMC #named #requirements #testing
RETNA: From Requirements to Testing in a Natural Way (RB, LG, SM, BC), pp. 262–271.
ICLP-2002-CharatonikMP #constraints #infinity #model checking
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP (WC, SM, AP), pp. 115–129.
VMCAI-2002-CharatonikMP #analysis #composition #termination
Compositional Termination Analysis of Symbolic Forward Analysis (WC, SM, AP), pp. 109–125.
FoSSaCS-2001-CharatonikDGMT #complexity #mobile #model checking
The Complexity of Model Checking Mobile Ambients (WC, SDZ, ADG, SM, JMT), pp. 152–167.
PADL-2001-MukhopadhyayP #constraints #database #modelling #similarity
Constraint Database Models Characterizing Timed Bisimilarity (SM, AP), pp. 245–258.
CL-2000-MukhopadhyayP #logic #model checking #process
Model Checking for Timed Logic Processes (SM, AP), pp. 598–612.
FASE-2017-AlvinPM #diagrams #generative #named #sequence chart #uml
StaticGen: Static Generation of UML Sequence Diagrams (CA, BP, SM), pp. 173–190.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.