Travelled to:1 × China
1 × Singapore
1 × Taiwan
1 × USA
1 × United Kingdom
Collaborated with:B.Chakraborty D.Anshul ∅ A.S.M.Sajeev S.Sripathy I.Saha K.Chakraborty
Talks about:infinit (2) system (2) symbol (2) verif (2) union (2) model (2) finit (2) dfas (2) base (2) use (2)
Person: Suman Roy
DBLP: Roy:Suman
Contributed to:
2014
2007
2006
20052004Wrote 5 papers:
- FM-2014-RoySS #case study #experience #industrial #process
- Diagnosing Industrial Business Processes: Early Experiences (SR, ASMS, SS), pp. 703–717.
- SEFM-2007-SahaRC #modelling #protocol #using #verification
- Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar (IS, SR, KC), pp. 69–79.
- CIAA-2006-RoyC #finite #infinity #model checking
- A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems (SR, BC), pp. 277–278.
- SAC-2005-AnshulR #identification #network
- A ZKP-based identification scheme for base nodes in wireless sensor networks (DA, SR), pp. 319–323.
- SEFM-2004-Roy #finite #infinity #using #verification
- Symbolic Verification of Infinite Systems using a Finite Union of DFAs (SR), pp. 56–66.