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 × 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 DBLP: Roy:Suman

Contributed to:

FM 20142014
SEFM 20072007
CIAA 20062006
SAC 20052005
SEFM 20042004

Wrote 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.

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.