- Synchronous Protocol Automata for Modelling and
Verification of SoC Communication Architectures, to appear in
IEE Proc. Computers & Digital Techniques, 2004.
(V.J. D'Silva and A. Sowmya)
- Slicing Tools for Synchronous Reactive Programs, Proc. of ACM SIGSOFT Int.
Symposium on Software Testing and Analysis, ISSTA 2004, ACM Press, 2004
(with A. Kulkarni and V. Kamat)
-
A Toolset for Modeling and Verification of GALS Systems,
Proc. of Computer Aided Verification, CAV 2004, LNCS, June
2004 (with S. Sonalkar, V. D'silva, N. Chandra and B. Vijayalakshmi)
-
CESC: A Visual Formalism for Specification and Verification of
SoCs, Proc. of the ACM Symposium GLSVLSI 2004, April 2004. (with
A. Gadkari and R. Parekhji).
-
Tabled logic programming-based Ip matching tool using forced simulation,
to appear in IEE Proceedings Computers & Digital Techniques, 2004
(with P.S. Roop, A. Sowmya)
-
Test Derivation for Distributed Component-based Systems, Accepted for
presentation at the ACM Symposium on Applied Computing, SAC'04,
March 2004. (with P.Kerhalkar and A. Srinivas).
-
Synchronous Protocol Automata for Modelling and Verification of System-on-Chip
Bus Architectures, Proc. of IEEE/ACM International Conference on DATE, IEEE
Press, February 2004. (with V.J. D'Silva and A. Sowmya).
-
Bridge over Troubled Wrappers: Automatic Interface Synthesis, Proc. of IEEE
International Conference on VLSI Design, IEEE Press, 2004. (with V.J. D'Silva
and A. Sowmya).
-
Static Slicing of Reactive Programs, Proc. of IEEE International Conference on
Source Code Analysis and Manipulation SCAM 2003, IEEE Press, 2003. (with
A.R. Kulkarni)
-
Visual Modeling and Verification of Distributed Reactive Systems,
Proc. of SAFECOMP 2003, Springer, Septemeber 2003. (with A. Iqbal,
S.D. Dhodapkar, A. Battacharjee)
-
Assertion Checking
Environment(ACE) for Formal Verification of C Programs, To appear in Journal on
Reliability Engineering and System safety, Vol. 81 (3), 2003.
(with B. Sharma and S.D. Dhodapkar)
-
Pointer Analysis of Multithreaded Java Programs,
Proc. of ACM symp. on Applied Computing - SAC'03, ACM Press, March 2003.
(with M.G. Nanda)
-
k-time Forced Simulation:
A Formal Verification Technique for IP Reuse, Proc. of ICCD, IEEE Press,
Sept. 2002. (with Partha S. Roop and A. Sowmya).
-
Assertion Checking
Environment(ACE) for Formal Verification of C Programs, Proc. of SAFECOMP 2002,
LNCS Vol. 2434, Springer, September 2002. (with Babita Sharma and S.D. Dhodapkar)
-
Slicing Synchronous Reactive Programs,
Proc. of the Workshop on Synchronous Languages and Programming, SLAP'02, April 2002. (with G. Vinod)
-
Forced Simulation:
A Technique for Automating Component Reuse in Embedded Systems, ACM Trans. on
Design Automation of Electronic Systems, Vol.6 No. 4, October 2001.
(with Parth S. Roop and A. Sowmya)
-
Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object Oriented Programs, IEEE Trans. on Software Engineering, Vol. 27, No. 11, 2001. (with Sridhar Iyer)
-
A Formal Approach to Component Based
Development of Synchronous Programs, Proc. of ASP-DAC 2001, IEEE Press,
February 2001. (with P.S. Roop and A. Sowmya)
-
Refinement and Efficient Verification of Synchronous
Programs, IFAC Workshop on Distributed Computer Control Systems, Pergamon
Press, December 2000.
-
Slicing Concurrent Programs,
Proc. ACM SIGSOFT International Conference on Software Testing and
Analysis (ISSTA 2000), ACM Press, August 2000 (with M. Gowri Nanda)
-
Languages for Asynchronoy and Synchrony,
Int. Journal of Foundations of Computer Science, June 2000 (with R.K. Shyamasundar)
-
Automated component adaptation by forced simulation,
Proc 5th Australasian Computer Architecture Conference,
ACAC 2000, Canberra, Feb 2000, ed. G. Heiser, Australian Computer Science
Communications, Vol 22, No 4, p. 74-81, IEEE Computer Sci Society,
Los Alamitos, Cal. (with P. Roop and A. Sowmya)
-
Automatic Component Matching using Forced Simulation,
Proc. of 13th Int. Conf. on VLSI Design, IEEE Press,
January 2000. (with P. Roop and A. Sowmya)
-
Implementation of Communicating Reactive Processes, Parallel
Computing, Vol. 25, No. 6, 1999.
-
Validation of Pipelined Processor Designs using Esterel Tools:
A Case Study, Proc. of CAV '99, LNCS Vol. 1633, 1999. (with P. Bhaduri)
-
Efficient Translation of Statecharts into Hardware Circuits,
Proc. of 12th Int. Conf. on VLSI Design, IEEE Press, January 1999.
-
Apportioning: A Technique for Efficient
Reachability Analysis of Concurrent Object-oriented Programs, Proc. of 5th
Int. Conf. on High Performance Computing, IEEE Press, December 1998. (with Sridhar Iyer)
-
Communicating Reactive State Machines: Design, Model and
Implementation, IFAC Workshop on Distributed Computer Control Systems,
Pergamon Press, September 1998.
-
Formal specification and verification of hardware designs, Proc. of SPIE,
Vol. 3412, Photomask and X-Ray Mask Technology V, Kawasaki, Japan, 1998.
(with S. S. S. P. Rao, G. Sivakumar and P. Bhaduri)
-
Extending Statecharts with Temporal Logic,
IEEE Transaction on Software Engineering, Vol. 24, No. 3, March 1998. (with A. Sowmya)
-
A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs, Proc. of Joint APSEC '97 and ICSC'97,
IEEE Press, December 1997. (with Sridhar Iyer)
-
Impossibility of synchronization in the presence of preemption,
Vol. 8, No. 1, Journal of Parallel Processing Letters, 1998.
(with C.M. Shetty)
-
Concurrent Logic Programming and pi calculus,
Fourteenth International Conference on Logic Programming,
ICLP '97 (poster presentation), July 1997. (with S. Mahajan)
-
Validation and Analysis of the future bus arbitration protocol: A case study,
SADHANA,
Academy Proceedings in Engineering Sciences, Indian Academy of Sciences,
Vol. 21, Part 2, April 1996. (with F. Boussinot, R.K. Shyamasundar and R. de Simone)
-
A direct Characterization of Completion,
Journal of Theoretical Computer Scince A, Vol. 154,
February 1996. (with Srinivas B.N.)
-
A semantics-preserving transformation of
statecharts to FNLOG, 20th IFAC/IFIP Intl Workshop on Real-time
Programming, Fort Lauderdale, Florida, USA, Nov 6-10 1995. (with A. Sowmya)
-
Control design for Autolab using the reactive paradigm,
13th IFAC Intl Workshop on Distributed Computer Control Systems,
Toulouse-Blagnac, France, Sept 27-29, Elsevier Science Ltd. 1995.
(with S. Bajaj, A. Sowmya, and N. Ahmed)
-
Verification of CRP programs,
Proc.of Conference on Hybrid Systems and Autonomous Control,
LNCS, Springer 1994. (with Shyamasundar, R.K.)
-
Languages for Asynchrony and Synchrony,
Proc. of Fault-Tolerant and Real-time Symposioum, LNCS,
Springer, 1994. (with Shyamasundar, R.K.)
-
Communicating Reactive Processes,
Proc. of 20th Annual ACM SIGPLAN-SIGACT Symposium on POPL,
January, 1993 (with Berry,G., and Shyamasundar, R.K.)