Reactive Programming
-
RK Shyamasundar, Analyzing Cryptographic Protocols in a Reactive Framework,
VMCAI 2002, Venice (Jan 2002), LNCS, 2294, Springer Verlag, pp. 46-64., 2002
ps-gzippedfile
-
RK Shyamasundar and JV Aghav, validating Real-Time Constraints in Embedded
Systems, IEEE Pacific Rim Int. Symp. on Dependable Computing, 17-19 Dec 2001,
Seoul, Korea, pp. 347-355.
ps-gzippedfile
-
B. Mesfin and RK Shyamasundar,
MSC+: From Requirement to Prototyped Systems,
13th Euromicro Conference on Real-Time Systems, Technical
University of Delft, Delft, The Netherlands, June 13th - 15th, 2001, pp. 117-124.
ps-gzippedfile
- R. K. Shyamasundar and J.V. Aghav, Realizing Real-Time Systems from Synchronous Language Specifications, IEEE RTSS 2000, WIP, Dec 2000
ps-gzippedfile
- S Phanse and RK Shyamasundar, Application of Esterel for Modelling and verification of Cachet protocol on CRF Memory Model,
14th Int Conf. on VLSI Design 2001, pp. 179-188
ps-gzippedfile
- M. Belachew, A. Gandhi and RK Shyamasundar, Generalized Hierarchical
Message Sequence Charts (MSC+) , 3rd Int. Conf. on Information Technology,pp. 183-189, Dec 2000.
ps-gzippedfile
- AK Bhattacharjee SD Dhodapkar, Basant Rajan, and RK Shyamasundar, {\em A System for Object Code Validation}, FTRTFT 2000, LNCS, 1926, pp. 152-169. FTRTFT2000
ps-gzippedfile
- AK Bhattcharjee, SD Dhodapkar, Sanjit A. Seshia and RK Shyamasundar,
PERTS: A graphical environment for the specification and verification of
reactive systems , Journal of Reliability Engineering and System Safety,
Volume (issue): 71 (3) 2001, pp. 299 -- 310 JRESS 2001
- Basant Rajan and RK Shyamasundar, Modelling Distributed Embedded Systems in Multiclock Esterel, FORTE/PSTV Conference 2000, Oct 2000.
Forte/PSTV 2000
ps-gzippedfile
- RK Shyamasundar, S. Ramesh, Languages for Reactive
Specifications: Synchrony Vs Asynchrony , Int. J Foundations of Computer Science, Vol 11, 2 (2000), pp 283-314 IJFCS 2000
-
N. Raja and R.K. Shyamasundar, Web-scripting Languages for free ,
Int. Conf. on Software Engineering Applied to Networking and Parallel/ Distributed Computing SNPD '00, Reims, France, May 18-21, 2000
- Basant Rajan and RK Shyamasundar, Multiclock Esterel: An Asynchrnous Framework for Asynchronous Design, Int. conf Parallel and Distributed Processing Symposium, Cancun, Mexico, May 2000
IPDPS 2000
ps-gzippedfile
- Basant Rajan and RK Shyamasundar, Modelling VHDL in Multiclock Esterel Proc. of VLSI Design 2000, Jan 2000
ps-gzippedfile
- Sanjit Seshia, RK Shyamasundar, AK Bhattacharjee and SD Dhodapkar, A Translation of Statecharts to Esterel ,
In Proceedings of the 1st World
Congress on Formal Methods (FM'99), Toulouse, France, LNCS vol. 1709,
Sept. 1999, pp.983-1007.
ps-gzippedfile
- AK Bhattacharjee, SD Dhodapkar, Sanjit Seshia, RK Shyamasundar,
A graphical environment for the specification and verification of
reactive systems ,
Proc. 18th International
Conference on Computer Safety, Reliability and Security (SAFECOMP'99),
Toulouse, France. LNCS vol. 1698, Sept. 1999, pp. 431-444.
ps-gzippedfile
- KC Anand and RK Shyamasundar,
Formal Verification of Activity based specification of protocols, JPDC 2000
- Sophie Pinchinat, Eric Rutten and RK Shyamasundar, Taxonomy and Expressiveness of Premption: A syntactc Approach Asian98
ps-gzippedfile
- Deepak Kapur and RK Shyamasundar, Synthesizing Controllers for Hybrid Systems, Hybrid97
ps-gzippedfile
- Basant Rajan and R.K. Shyamasundar, An Implementation of Communicating Reactive Processes IASTED - PDCN'97, Int. Conf. on Parallel and Distributed Computing and Networks, Singapore, 1997
ps-gzippedfile
- Rupak Majumdar and RK Shyamasundar, Design of Controllers of Hybrid Systems Hybrid96
ps-gzippedfile
- Sophie Pinchinat, Eric Rutten and RK Shyamasundar, Premeption in Reactive Languages preemption
ps-gzippedfile
- Basant Rajan and R.K. Shyamasundar, Networks of Preemptible Reactive Processes: An Implementation , Int. Conf. on High Performance Computing
New Delhi, December 1995
ps-gzippedfile
- Basant Rajan and R.K. Shyamasundar, An Implementation of Communicating Reactive Processes: A Preliminary Report , SACAI, Kalpakam, 1994
ps-gzippedfile
- G Berry, S Ramesh and RK Shyamasundar, Communicating Reactive Processes, POPL93
ps-gzippedfile
-
RK Shyamasundar Specification of Hybrid Systems in CRP
AMAST 93
ps-gzippedfile
-
RK Shyamasundar Specifying Dynamic Real-Time Systems
in CRP , IFIP 94
ps-gzippedfile
-
RK Shyamasundar and S Ramesh Specification and
Verification of Herarchical CRP Programs , HYBRID II
ps-gzippedfile
-
RK Shyamasundar Programming Dynamic Real-Time Systems in
CRP , CSA Jubilee 95
ps-gzippedfile
-
P. Pandya, YS Ramakrishna and RK Shyamasundar A
Compositional Semantics of Esterel in Durational Calculus
, AMAST-RT 95
ps-gzippedfile
-
RK Shyamasundar and S. Ramesh Languages for Reactive
Specifications: Synchrony vs Asynchrony , FTRTFTS 94
ps-gzippedfile
-
Sophie Pinchinat, Eric Rutten, and R.K. Shyamasundar
Preemption Primitives Reactive Languages , ASIAN 95
ps-gzippedfile
-
Networks of Preemptible Reactive Processes: An Implementation -
HiPC'95
ps-gzippedfile
-
D. Kapur and R.K. Shyamasundar
Synthesizing Controllers for Hybrid Systems , HART 97
ps-gzippedfile
- RK Shyamasundar, KT Narayana and T. Pitassi, Semantics of Nondete
rministic Asynchronous Broadcast Networks, Information
and Computation, 104, pp . 215-252, June 1993.
- RK Shyamasundar and S. Ramesh, Modelling Real-Time Systems: Issu
es and Challenges ,
SADHANA (Journal of the Engineering Sciences of the Indian Academy of Sciences),
Vol. 17, Part I, pp. 1-28, March 1992.
- RK Shyamasundar and L.Y. Liu, Compositional priority specificati on
in real-time distributed systems , SADHANA (Journal of the Engineering
Sciences of the Indian Academy of Sciences),
Vol. 17, Part I, pp. pp. 75-93, March 1992.
- LY Liu and RK Shyamasundar Static Analysis of Real-Time Distributed Systems
IEEE Trans on Software Engineering, SE-16, April 1990, pp. 373-388.
-
R. Koymans, R.K. Shyamasundar, R. Gerth, W.P. de Roever, and S. Arun-Kumar)},
Compositional Semantics for Real-Time Distributed Programming Language
Information and Computation, Vol.79 , No.3, December (1988), pp 210-256.