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: Mukhopadhyay:Supratik
Facilitated 1 volumes:
EdContributed to:
2012
2004
20022002
2001
2001
2000
2017Wrote 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.