- 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 CAV 2004, LNCS, June 2004 (with S. Sonalkar, V. J. 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 and )
-
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, to appear in
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, 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.)
-
Fully Abstract Semantics for Higher Order Communicating Systems,
Proc. of Mathematical Foundations of Computer Science, LNCS
Vol. 629, Springer Verlag, Berlin, 1992.
-
A Compositional Axiomatization of Statecharts,
Journal of Theoretical Computer Science, Vol. 101, No. 2,
July 1992. (with Hooman,J.and de Roever, W.P.)
-
Modeling Real-time Systems: Issues and Challenges,
SADHANA, Academy Proceedings in Engineering Sciences,
Indian Academy of Sciences, Vol. 17, Part 1, March 1992.
(with Shyamasundar, R.K.)
-
Verification of Timing Properties in a Statecharts-based Model
of Real-time Reactive Systems,
In Distributed Computer Control Systems, IFAC Workshop series 1992
(H. Kopetz and M.G. Rodd, Eds.), Vol. 3, Pergamon Press, Oxford.
(with A. Sowmya)
-
A statechart approach to specification and verification of autonomous
mobile robot behavior,
Proc. Int. Conf. Automation, Robotics and Computer Vision - ICARCV '90,
Singapore, Sept. 1990. (with A. Sowmya, and Issac, J.R.)
-
A real-time reactive model of an AMR,
Proc. Int. Conf. on CONTROL '90, Lugano, 1990.
(with A. Sowmya, and Issac, J.R.)
-
On the completeness of modular Proof systems,
Information Processing Letters 36, Nov. 1990.
-
A Compositional Axiomatization of Safety and Liveness properties
of Statecharts,
Proc. of Int. BCS-FACS Workshop on Semantics for Concurrency, Leicester, July 1990. (with Hooman, J., and de Roever, W.P.)
-
A Compositional Semantics of Statecharts,
Proc. of Formal Models of Concurrency, Novosibersk, Oct. 1989.
Also in J.W. de Bakker, 25 Jaar Semantiek, Liber Amicorum, CWI, April 89.
(with Hooman, J., and de Roever, W.P.)
-
A New Efficient Implementation of CSP with output guards,
Proc. of 7th Int. Conf. on Distributed Computing Systems,
IEEE, Berlin, Aug.1987
-
A New and Efficient Implementation of Multiprocess Synchronization
Mechanisms,
Proc. of PARLE Conf. Vol. 2,LNCS 259,Springer Verlag, Eindhoven, 1987
-
A Methodology for Developing Distributed Programs,
IEEE Trans. on Software Engineering, Vol.SE13,No.8, 1987.
(with Mehndiratta,S.L.)
-
A New Class of High Level Programs for Distributed Computing Systems,
Proc. of the 5th Conf. on FSTTCS, LNCS 206, Springer Verlag, Berlin,Dec.1985.
(with Mehndiratta,S.L.)
-
Developing distributed Implementations of Abstract Data Types,
Proc. of ICS Conf.,Taiwan,Dec.1983. (with Mehndiratta,S.L.)
-
The Liveness Property of on-the-fly Garbage Collector:
A Proof, Information Processing Letters,Nov. 1983.
(with Mehndiratta,S.L.)