R. K. Shyamasundar

According to our database1, R. K. Shyamasundar
  • authored at least 153 papers between 1976 and 2017.
  • has a "Dijkstra number"2 of four.

Awards

IEEE Fellow

IEEE Fellow 1999, "For contributions to logic programming.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
A Complete Generative Label Model for Lattice-Based Access Control Models.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Privacy as a Currency: Un-regulated?.
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Realizing software vault on Android through information-flow control.
Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

Dynamic Labelling to Enforce Conformance of Cross Domain Security/Privacy Policies.
Proceedings of the Distributed Computing and Internet Technology, 2017

Analyzing Protocol Security Through Information-Flow Control.
Proceedings of the Distributed Computing and Internet Technology, 2017

Undoing of Privacy Policies on Facebook.
Proceedings of the Data and Applications Security and Privacy XXXI, 2017

2016
Opacity proof for CaPR+ algorithm.
Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016

Information-Flow Control for Building Security and Privacy Preserving Hybrid Clouds.
Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016

An End-to-End Privacy Preserving Design of a Map-Reduce Framework.
Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016

A framework of community inspired distributed message dissemination and emergency alert response system over smart phones.
Proceedings of the 8th International Conference on Communication Systems and Networks, 2016

2015
Opacity Proof for CaPR+ Algorithm.
CoRR, 2015

Labelled mobile ambients model for information flow security in distributed systems.
Proceedings of the 8th International Conference on Security of Information and Networks, 2015

HPDIC Introduction and Committees.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

Enforcing Secure Data Sharing in Web Application Development Frameworks Like Django Through Information Flow Control.
Proceedings of the Information Systems Security - 11th International Conference, 2015

Scaling Computation on GPUs Using Powerlists.
Proceedings of the 22nd IEEE International Conference on High Performance Computing Workshops, 2015

POSTER: Dynamic Labelling for Analyzing Security Protocols.
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014
Post-order based routing & transport protocol for wireless sensor networks.
Pervasive and Mobile Computing, 2014

Realizing Purpose-Based Privacy Policies Succinctly via Information-Flow Labels.
Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014

2013
Security and protection of SCADA: a bigdata algorithmic approach.
Proceedings of the 6th International Conference on Security of Information and Networks, 2013

High Performance Adaptive Distributed Scheduling Algorithm.
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

Public private partnerships (PPP) in the e-government initiatives for developing nations: the case of Ethiopia.
Proceedings of the 7th International Conference on Theory and Practice of Electronic Governance, 2013

2012
A New Method of MHP Analysis for Languages with Dynamic Barriers.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Postorder Based Routing and Transport Protocol for WSNs.
Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

Dynamic Distributed Scheduling Algorithm for State Space Search.
Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

Service maps in XML.
Proceedings of the CUBE International IT Conference & Exhibition, 2012

2011
Performance driven distributed scheduling of parallel hybrid computations.
Theor. Comput. Sci., 2011

Performance driven multi-objective distributed scheduling for parallel computations.
Operating Systems Review, 2011

Affinity Driven Distributed Scheduling Algorithm for Parallel Computations.
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

Distributed Generalized Dynamic Barrier Synchronization.
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

SLA Monitor: A System for Dynamic Monitoring of Adaptive Web Services.
Proceedings of the 9th IEEE European Conference on Web Services, 2011

An Executional Framework for BPMN Using Orc.
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

Towards Checking Tampering of Software.
Proceedings of the Cyber Security, Cyber Crime and Cyber Forensics, 2011

2010
Can we certify systems for freedom from malware.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Malware: From Modelling to Practical Detection.
Proceedings of the Distributed Computing and Internet Technology, 2010

A Framework for Web-Based Negotiation.
Proceedings of the Distributed Computing and Internet Technology, 2010

A Proof System for a PGAS Language.
Proceedings of the Concurrency, 2010

Automatic Monitoring of SLAs of Web Services.
Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010

2009
Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation.
Journal of Object Technology, 2009

Backward-compatible constant-time exception-protected memory.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Brief announcement: distributed phase synchronization of dynamic set of processes.
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

Distributed Scheduling of Parallel Hybrid Computations.
Proceedings of the Algorithms and Computation, 20th International Symposium, 2009

Concurrent SSA for general barrier-synchronized parallel programs.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Translating Security Policy to Executable Code for Sandboxing Linux Kernel.
Proceedings of the EMS 2009, 2009

2008
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems.
Journal of Object Technology, 2008

Choreography = Orchestration with Scripts + Conversations.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

A Static Characterization of Affinity in a Distributed Program.
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications, 2008

ScriptOrc: A Specification Language for Web Service Choreography.
Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

Static Detection of Place Locality and Elimination of Runtime Checks.
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007
UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources.
Journal of Object Technology, 2007

Deadlock-free scheduling of X10 computations with bounded resources.
Proceedings of the SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2007

May-happen-in-parallel analysis of X10 programs.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Trust Assessment in Web Services: an Extension to jUDDI.
Proceedings of ICEBE 2007, 2007

Reactivity in SystemC Transaction-Level Models.
Proceedings of the Hardware and Software: Verification and Testing, 2007

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Verification of Clock Synchronization in TTP.
Proceedings of the Formal Models, 2007

On Run-Time Enforcement of Policies.
Proceedings of the Advances in Computer Science, 2007

Modeling Web Services with FSM Modules.
Proceedings of the First Asia International Conference on Modelling and Simulation, 2007

2006
Adapting Biochemical Kripke Structures for Distributed Model Checking.
, 2006

Refinement calculus: A basis for translation validation, debugging and certification.
Theor. Comput. Sci., 2006

A closer look at constraints as processes.
Inf. Process. Lett., 2006

Actors as a Coordinating Model of Computation.
Informatica (Slovenia), 2006

Compositional interaction specifications for SystemC.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Specification and Realization of Access Control in SPKI/SDSI.
Proceedings of the Information Systems Security, Second International Conference, 2006

UGSP: Authentication based secure protocol for AD-HOC networks.
Proceedings of the e-Business and Telecommunication Networks, 2006

2005
e-coupons: An Efficient, Secure and Delegable Micro-Payment System.
Information Systems Frontiers, 2005

PGSP: a protocol for secure communication in peer-to-peer system.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2005

Validated Code Generation for Activity Diagrams.
Proceedings of the Distributed Computing and Internet Technology, 2005

2004
Type Systems for Concurrent Programming Calculi.
Informatica (Slovenia), 2004

Formal verification of pipelined processors with precise exceptions.
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

A Distributed Clustering Framework in Mobile Ad Hoc Networks.
Proceedings of the International Conference on Wireless Networks, 2004

Development of Semantic Debuggers Based on Refinement Calculus.
Proceedings of the Logic Programming, 20th International Conference, 2004

UGSP: Authentication Based Secure Protocol for Ad-Hoc Networks.
Proceedings of the ICETE 2004, 2004

UGSP: Secure Key Establishment Protocol for Ad-Hoc Network.
Proceedings of the Distributed Computing and Internet Technology, 2004

Failure Detection and Membership Management in Grid Environments.
Proceedings of the 5th International Workshop on Grid Computing (GRID 2004), 2004

Towards a Flexible Access Control Mechanism for E-Transactions.
Proceedings of the Electronic Government and Commerce: Design, Modeling, Analysis and Security, 2004

An Efficient, Secure and Delegable Micro-Payment System.
Proceedings of the 2004 IEEE International Conference on e-Technology, 2004

Reactive Framework for Resource Aware Distributed Computing.
Proceedings of the Advances in Computer Science, 2004

2003
Type Systems for Concurrent Programming Calculi.
Informatica (Slovenia), 2003

Algorithmic Mechanisms for Secure Multi-Auction Systems.
Proceedings of the 1st Indian International Conference on Artificial Intelligence, 2003

MOBICHARTS: A Notation to Specify Mobile Computing Applications.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2002
Approximate Computation of Reach Sets in Hybrid Systems
CoRR, 2002

Analyzing Cryptographic Protocols in a Reactive Framework.
Proceedings of the Verification, 2002

LLM: A Low Latency Messaging Infrastructure for Linux Clusters.
Proceedings of the High Performance Computing, 2002

MicroBill: An Efficient Secure System for Subscription Based Services.
Proceedings of the Advances in Computing Science, 2002

2001
PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299-310].
Rel. Eng. & Sys. Safety, 2001

PERTS: an environment for specification and verification of reactive systems.
Rel. Eng. & Sys. Safety, 2001

Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model.
Proceedings of the 14th International Conference on VLSI Design (VLSI Design 2001), 2001

Validating Real-Time Constraints in Embedded Systems.
Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

MSC+: From Requirement to Prototyped Systems.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

2000
Formal Verification of Activity-Based Specification of Protocols.
J. Parallel Distrib. Comput., 2000

Languages for Reactive Specifications: Synchrony Vs Asynchrony.
Int. J. Found. Comput. Sci., 2000

Modeling VHDL in Multiclock ESTEREL.
Proceedings of the 13th International Conference on VLSI Design (VLSI Design 2000), 2000

Multiclock Esterel: A Reactive Framework for Asynchronous Design.
Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

A System for Object Code Validation.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Modeling Distributed Embedded Systems in Multiclock ESTEREL.
Proceedings of the Formal Techniques for Distributed System Development, 2000

1999
A Graphical Environment for the Specification and Verification of Reactive Systems.
Proceedings of the Computer Safety, 1999

A Translation of Statecharts to Esterel.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Transformational Methodology for Proving Termination of Logic Programs.
J. Log. Program., 1998

Mobile Computation: Calculus and Languages (A Tutorial).
Proceedings of the Advances in Computing Science, 1998

Taxonomy and Expressiveness of Preemption: A Syntactic Approach.
Proceedings of the Advances in Computing Science, 1998

1997
Combinatory Formaulations of Concurrent Languages.
ACM Trans. Program. Lang. Syst., 1997

Proving Termination of GHC Programs.
New Generation Comput., 1997

An Optimal Multiprocessor Real-Time Scheduling Algorithm.
J. Parallel Distrib. Comput., 1997

Synthesizing Controllers for Hybrid Systems.
Proceedings of the Hybrid and Real-Time Systems, 1997

1996
Mapping Linear Recurrence Equations onto Systolic Architectures.
International Journal of High Speed Computing, 1996

Mapping Linear Recurrences onto Systolic Arrays.
Proceedings of IPPS '96, 1996

Actors as a Coordinating Model of Computation (Extended Abstract).
Proceedings of the Perspectives of System Informatics, 1996

Design of Controllers for Linear Hybrid Systems.
Proceedings of the Concurrency and Parallelism, 1996

1995
The Quine-Bernays Combinatory Calculus.
Int. J. Found. Comput. Sci., 1995

Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs
Proceedings of the Static Analysis, 1995

Combinatory Formulations of Concurrent Languages.
Proceedings of the Algorithms, 1995

Preemption Primitives in Reactive Languages (A Preliminary Report).
Proceedings of the Algorithms, 1995

1994
A Methodology for Provin Termination of Logic Programs.
J. Log. Program., 1994

RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics.
Comput. Lang., 1994

Specifying Dynamic Reat-Time Systems in CRP.
Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Derivation of Systolic Programs.
Proceedings of the 1994 International Conference on Parallel Processing, 1994

Semantics and Verification of Hierarchical CRP Programs.
Proceedings of the Hybrid Systems II, 1994

Languages for Reactive Specifications: Synchrony Vs Asynchrony.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993
Semantics of Nondeterministic Asynchronous Broadcast Networks
Inf. Comput., June, 1993

Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment.
International Journal of High Speed Computing, 1993

Communicating Reactive Processes.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Multiprocessors Scheduling for Imprecise Computations in a Hard Real-Time Environment.
Proceedings of the Seventh International Parallel Processing Symposium, 1993

Proving Termination of GHC Programs.
Proceedings of the Logic Programming, 1993

Verification Tools in the Development of Provably Correct Compilers.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

Specification of Hybrid Systems in CRP.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment.
Proceedings of the 6th International Parallel Processing Symposium, 1992

Rewriting Concepts in the Study of Termination of Logic Programs.
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991
Methodology for Proving the Termination of Logic Programs.
Proceedings of the STACS 91, 1991

A Transformational Methodology for Proving Termination of Logic Programs.
Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990
Static Analysis of Real-Time Distributed Systems.
IEEE Trans. Software Eng., 1990

Exception Handling in RT-CDL.
Comput. Lang., 1990

Proof Theory for Exception Handling in a Tasking Environment.
Acta Inf., 1990

Towards a Characterization of Termination of Logic Programs.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

1989
Language Constructs for Specifying Concurrency in CDL*.
IEEE Trans. Software Eng., 1989

RT-CDL: A Real Time Design Language and Its Semantics.
IFIP Congress, 1989

1988
Compositional Semantics for Real-Time Distributed Computing
Inf. Comput., December, 1988

Static Analysis of Real-time Distributed Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987
Semantics for Nondeterministic Asynchronous Broadcast Networks.
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1986
Correctness proof for the majority consensus algorithm.
Inf. Sci., 1986

1985
Compositional Semantics for Real-time Distributed Computing.
Proceedings of the Logics of Programs, 1985

1984
A Simple Livelock-Free Algorithm for Packet Switching.
Sci. Comput. Program., 1984

A linear time algorithm for computing the convex hull of an ordered crossing polygon.
Pattern Recognition, 1984

Process Specification of Logic Programs.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

1983
A Sentence Generator for a Compiler for PT, a Pascal Subset.
Softw., Pract. Exper., 1983

A linear time algorithm for obtaining the convex hull of a simple polygon.
Pattern Recognition, 1983

Correctness Preserving Transformations for Distributed Programs.
IFIP Congress, 1983

1982
On a Characterization of Pushdown Permuters.
Theor. Comput. Sci., 1982

A New Parsing Algorithm for EOL-Systems.
Elektronische Informationsverarbeitung und Kybernetik, 1982

1981
An Implementation of P and V.
Inf. Process. Lett., 1981

1980
Programmed OL-systems.
Inf. Sci., 1980

1978
LR-Deterministic Grammars.
Elektronische Informationsverarbeitung und Kybernetik, 1978

1976
The Structure Generating Function of Some Families of Languages
Information and Control, September, 1976

A Note on Linear Precedence Functions.
Inf. Process. Lett., 1976


  Loading...