Sidharth Bihary

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Primitive Operations

Business Processes

Automatic Programming

Top Venues

IEEE Trans. Serv. Comput.

Publications

Suman Roy, A. S. M. Sajeev, Sidharth Bihary, Abhishek Ranjan
An Empirical Study of Error Patterns in Industrial Business Process Models. IEEE Trans. Serv. Comput. 7 (2) (2014)
Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos
A CSP-theoretic Framework of Checking Conformance of Business Processes. APSEC (2012)
Sidharth Bihary, Jagadish Koneti, Suman Roy
Process conformance using CSP. ISEC (2012)
Sidharth Bihary, Suman Roy, Tan Zi Han, Kiran Prakash Sawant
A knowledge-based formalization of UBL processes using hybrid programs. COMPUTE (2012)
Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos
A Conformance Checker Tool CSPConCheck. ICTAC (2012)
Alberto Bastias, Sidharth Bihary, Suman Roy
An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool. APSEC (2011)