R. K. Shyamasundar

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

Landcoin: A Practical Protocol for Transfer-of-Asset.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security - 17th International Conference, 2021

Realizing Information Flow Control in ABAC Mining.

[BibT_eX]

[DOI]

B. S. Radhika

Proceedings of the Cyberspace Safety and Security - 13th International Symposium, 2021

2020

Consistency analysis and flow secure enforcement of SELinux policies.

[BibT_eX]

[DOI]

Comput. Secur., 2020

Information Flow Security Certification for SPARK Programs.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXXIV, 2020

A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

A deadlock-free lock-based synchronization for GPUs.

[BibT_eX]

[DOI]

Akash Srivastava

Concurr. Comput. Pract. Exp., 2019

STMs in practice: Partial rollback vs pure abort mechanisms.

[BibT_eX]

[DOI]

Sathya Peri

Concurr. Comput. Pract. Exp., 2019

SecHadoop: A Privacy Preserving Hadoop.

[BibT_eX]

[DOI]

Swatish Satheesan

Deepali Mittal

Aakash Chaudhary

Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, 2019

Threat Assessment of Enterprise Applications via Graphical Modelling.

[BibT_eX]

[DOI]

Manjunath Bilur

Anugrah Gari

Proceedings of the Network and System Security - 13th International Conference, 2019

Test Suite Minimization of Evolving Software Systems: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Software Technologies, 2019

Is Privacy a Myth for Facebook Users?

[BibT_eX]

[DOI]

Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, 2019

2018

Crowdsensing and privacy in smart city applications.

[BibT_eX]

[DOI]

CoRR, 2018

Internet of Things (IoT) and Cloud Computing Enabled Disaster Management.

[BibT_eX]

[DOI]

Raj Gaire

Chigulapalli Sriharsha

CoRR, 2018

An Experimental Flow Secure File System.

[BibT_eX]

[DOI]

Abhijit Taware

Parjanya Vyas

Proceedings of the 17th IEEE International Conference On Trust, 2018

A Semantic Notion of Secure Information-Flow.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy - Second ISEA International Conference, 2018

A Solution to "Confused Deputy" Problem Using RWFM Labels.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy - Second ISEA International Conference, 2018

SecSmartLock: An Architecture and Protocol for Designing Secure Smart Locks.

[BibT_eX]

[DOI]

Bhagyesh V. Patil

Parjanya Vyas

Proceedings of the Information Systems Security - 14th International Conference, 2018

Efficacy of GDPR's Right-to-be-Forgotten on Facebook.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security - 14th International Conference, 2018

MySecPol: A Client-Side Policy Language for Safe and Secure Browsing.

[BibT_eX]

[DOI]

Amit Pathania

B. S. Radhika

Proceedings of the Information Systems Security - 14th International Conference, 2018

Static Security Certification of Programs via Dynamic Labelling.

[BibT_eX]

[DOI]

Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, 2018

Security Analysis of EMV Protocol and Approaches for Strengthening It.

[BibT_eX]

[DOI]

Khedkar Shrikrishna

Proceedings of the Distributed Computing and Internet Technology, 2018

Secure Synthesis of IoT via Readers-Writers Flow Model.

[BibT_eX]

[DOI]

Shashank Khobragade

Proceedings of the Distributed Computing and Internet Technology, 2018

FlowConSEAL: Automatic Flow Consistency Analysis of SEAndroid and SELinux Policies.

[BibT_eX]

[DOI]

B. S. Radhika

Proceedings of the Data and Applications Security and Privacy XXXII, 2018

Role of Apps in Undoing of Privacy Policies on Facebook.

[BibT_eX]

[DOI]

Nivia Jatain

Proceedings of the Data and Applications Security and Privacy XXXII, 2018

2017

A Complete Generative Label Model for Lattice-Based Access Control Models.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Privacy as a Currency: Un-regulated?.

[BibT_eX]

[DOI]

Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Realizing software vault on Android through information-flow control.

[BibT_eX]

[DOI]

Priyanka Teltumde

Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

Semi Supervised NLP Based Classification of Malware Documents.

[BibT_eX]

[DOI]

Mayukh Rath

Proceedings of the Information Systems Security - 13th International Conference, 2017

Dynamic Labelling to Enforce Conformance of Cross Domain Security/Privacy Policies.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2017

Analyzing Protocol Security Through Information-Flow Control.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2017

Undoing of Privacy Policies on Facebook.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXXI, 2017

2016

Opacity proof for CaPR+ algorithm.

[BibT_eX]

[DOI]

Sathya Peri

Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016

Information-Flow Control for Building Security and Privacy Preserving Hybrid Clouds.

[BibT_eX]

[DOI]

Muttukrishnan Rajarajan

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.

[BibT_eX]

[DOI]

A framework of community inspired distributed message dissemination and emergency alert response system over smart phones.

[BibT_eX]

[DOI]

Abhiroop Bhatnagar

Amit Kumar

Ratan K. Ghosh

Proceedings of the 8th International Conference on Communication Systems and Networks, 2016

2015

Labelled mobile ambients model for information flow security in distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Security of Information and Networks, 2015

HPDIC Introduction and Committees.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

S. Susheel

Proceedings of the Information Systems Security - 11th International Conference, 2015

Scaling Computation on GPUs Using Powerlists.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on High Performance Computing Workshops, 2015

POSTER: Dynamic Labelling for Analyzing Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Post-order based routing & transport protocol for wireless sensor networks.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2014

Realizing Purpose-Based Privacy Policies Succinctly via Information-Flow Labels.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Security of Information and Networks, 2013

High Performance Adaptive Distributed Scheduling Algorithm.

[BibT_eX]

[DOI]

Abhinav Srivastava

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.

[BibT_eX]

[DOI]

Mesfin Belachew

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.

[BibT_eX]

[DOI]

Saurabh Joshi

Sanjeev K. Aggarwal

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Postorder Based Routing and Transport Protocol for WSNs.

[BibT_eX]

[DOI]

Shashank Shekhar

R. K. Ghosh

Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

Dynamic Distributed Scheduling Algorithm for State Space Search.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

Service maps in XML.

[BibT_eX]

[DOI]

Supriya Vaddi

Proceedings of the CUBE International IT Conference & Exhibition, 2012

2011

Performance driven distributed scheduling of parallel hybrid computations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Performance driven multi-objective distributed scheduling for parallel computations.

[BibT_eX]

[DOI]

Abhinav Srivastava

Naga Praveen Kumar Katta

ACM SIGOPS Oper. Syst. Rev., 2011

Affinity Driven Distributed Scheduling Algorithm for Parallel Computations.

[BibT_eX]

[DOI]

Abhinav Srivastava

Naga Praveen Kumar Katta

Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

Distributed Generalized Dynamic Barrier Synchronization.

[BibT_eX]

[DOI]

Saurabh Joshi

Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

SLA Monitor: A System for Dynamic Monitoring of Adaptive Web Services.

[BibT_eX]

[DOI]

Nihita Goel

Proceedings of the 9th IEEE European Conference on Web Services, 2011

An Executional Framework for BPMN Using Orc.

[BibT_eX]

[DOI]

Nihita Goel

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

Towards Checking Tampering of Software.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security, Cyber Crime and Cyber Forensics, 2011

2010

Can we certify systems for freedom from malware.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Malware: From Modelling to Practical Detection.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2010

A Framework for Web-Based Negotiation.

[BibT_eX]

[DOI]

Rajesh Kurra

Proceedings of the Distributed Computing and Internet Technology, 2010

A Proof System for a PGAS Language.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2010

Automatic Monitoring of SLAs of Web Services.

[BibT_eX]

[DOI]

Nihita Goel

Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010

2009

Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation.

[BibT_eX]

[DOI]

J. Object Technol., 2009

Backward-compatible constant-time exception-protected memory.

[BibT_eX]

[DOI]

Pradeep Varma

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.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

Distributed Scheduling of Parallel Hybrid Computations.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation, 20th International Symposium, 2009

Concurrent SSA for general barrier-synchronized parallel programs.

[BibT_eX]

[DOI]

Pradeep Varma

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Translating Security Policy to Executable Code for Sandboxing Linux Kernel.

[BibT_eX]

[DOI]

Proceedings of the EMS 2009, 2009

2008

cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems.

[BibT_eX]

[DOI]

Jagadish Suryadevara

Lawrence Chung

J. Object Technol., 2008

Choreography = Orchestration with Scripts + Conversations.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

A Static Characterization of Affinity in a Distributed Program.

[BibT_eX]

[DOI]

Rajkishore Barik

Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications, 2008

ScriptOrc: A Specification Language for Web Service Choreography.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

Static Detection of Place Locality and Elimination of Runtime Checks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jagadish Suryadevara

J. Object Technol., 2007

Deadlock-free scheduling of X10 computations with bounded resources.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Trust Assessment in Web Services: an Extension to jUDDI.

[BibT_eX]

[DOI]

Kakarlamudi Prasad

Krishnamani Kalyanasundaram

Proceedings of ICEBE 2007, 2007

Reactivity in SystemC Transaction-Level Models.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2007

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.

[BibT_eX]

[DOI]

Roberto Cavada

Alessandro Cimatti

Anders Franzén

Marco Roveri

Krishnamani Kalyanasundaram

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Verification of Clock Synchronization in TTP.

[BibT_eX]

[DOI]

Proceedings of the Formal Models, 2007

On Run-Time Enforcement of Policies.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2007

Modeling Web Services with FSM Modules.

[BibT_eX]

[DOI]

Proceedings of the First Asia International Conference on Modelling and Simulation, 2007

2006

Adapting Biochemical Kripke Structures for Distributed Model Checking.

[BibT_eX]

[DOI]

Susmit Jha

Trans. Comp. Sys. Biology, 2006

Refinement calculus: A basis for translation validation, debugging and certification.

[BibT_eX]

[DOI]

Rohit N. Kundaji

Theor. Comput. Sci., 2006

A closer look at constraints as processes.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2006

Actors as a Coordinating Model of Computation.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2006

Compositional interaction specifications for SystemC.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security, Second International Conference, 2006

UGSP: Authentication based secure protocol for AD-HOC networks.

[BibT_eX]

[DOI]

Proceedings of the e-Business and Telecommunication Networks, 2006

2005

<i>e-coupons</i>: An Efficient, Secure and Delegable Micro-Payment System.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2005

PGSP: a protocol for secure communication in peer-to-peer system.

[BibT_eX]

[DOI]

Proceedings of the IEEE Wireless Communications and Networking Conference, 2005

Validated Code Generation for Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2005

2004

Type Systems for Concurrent Programming Calculi.

[BibT_eX]

Krishnamani Kalyanasundaram

Informatica (Slovenia), 2004

Formal verification of pipelined processors with precise exceptions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Mohit Garg

Proceedings of the International Conference on Wireless Networks, 2004

Development of Semantic Debuggers Based on Refinement Calculus.

[BibT_eX]

[DOI]

Rohit N. Kundaji

Proceedings of the Logic Programming, 20th International Conference, 2004

UGSP: Authentication Based Secure Protocol for Ad-Hoc Networks.

[BibT_eX]

Proceedings of the ICETE 2004, 2004

UGSP: Secure Key Establishment Protocol for Ad-Hoc Network.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2004

Failure Detection and Membership Management in Grid Environments.

[BibT_eX]

[DOI]

Amit Jain

Proceedings of the 5th International Workshop on Grid Computing (GRID 2004), 2004

Towards a Flexible Access Control Mechanism for E-Transactions.

[BibT_eX]

Proceedings of the Electronic Government and Commerce: Design, Modeling, Analysis and Security, 2004

An Efficient, Secure and Delegable Micro-Payment System.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on e-Technology, 2004

Reactive Framework for Resource Aware Distributed Computing.

[BibT_eX]

[DOI]

Rajesh Gupta

Proceedings of the Advances in Computer Science, 2004

2003

Algorithmic Mechanisms for Secure Multi-Auction Systems.

[BibT_eX]

Vivek S. Borkar

Mehul S. Dave

Proceedings of the 1st Indian International Conference on Artificial Intelligence, 2003

MOBICHARTS: A Notation to Specify Mobile Computing Applications.

[BibT_eX]

[DOI]

Satyajit Acharya

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2002

Approximate Computation of Reach Sets in Hybrid Systems

[BibT_eX]

[DOI]

D. Ravi

CoRR, 2002

Analyzing Cryptographic Protocols in a Reactive Framework.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2002

LLM: A Low Latency Messaging Infrastructure for Linux Clusters.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing, 2002

MicroBill: An Efficient Secure System for Subscription Based Services.

[BibT_eX]

[DOI]

Siddharth B. Deshmukh

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].

[BibT_eX]

[DOI]

S. D. Dhodapkar

Reliab. Eng. Syst. Saf., 2001

PERTS: an environment for specification and verification of reactive systems.

[BibT_eX]

[DOI]

S. D. Dhodapkar

Reliab. Eng. Syst. Saf., 2001

Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model.

[BibT_eX]

[DOI]

Siddharth R. Phanse

Proceedings of the 14th International Conference on VLSI Design (VLSI Design 2001), 2001

Validating Real-Time Constraints in Embedded Systems.

[BibT_eX]

[DOI]

J. V. Aghav

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

MSC+: From Requirement to Prototyped Systems.

[BibT_eX]

[DOI]

Mesfin Belachew

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

2000

Formal Verification of Activity-Based Specification of Protocols.

[BibT_eX]

[DOI]

K. C. Anand

J. Parallel Distributed Comput., 2000

Languages for Reactive Specifications: Synchrony Vs Asynchrony.

[BibT_eX]

[DOI]

S. Ramesh

Int. J. Found. Comput. Sci., 2000

Modeling VHDL in Multiclock ESTEREL.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on VLSI Design (VLSI Design 2000), 2000

Multiclock Esterel: A Reactive Framework for Asynchronous Design.

[BibT_eX]

[DOI]

Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

A System for Object Code Validation.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Modeling Distributed Embedded Systems in Multiclock ESTEREL.

[BibT_eX]

Proceedings of the Formal Techniques for Distributed System Development, 2000

1999

A Graphical Environment for the Specification and Verification of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 1999

A Translation of Statecharts to Esterel.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1998

Transformational Methodology for Proving Termination of Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1998

Mobile Computation: Calculus and Languages (A Tutorial).

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1998

Taxonomy and Expressiveness of Preemption: A Syntactic Approach.

[BibT_eX]

[DOI]

Sophie Pinchinat

Éric Rutten

Proceedings of the Advances in Computing Science, 1998

1997

Combinatory Formaulations of Concurrent Languages.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1997

Proving Termination of GHC Programs.

[BibT_eX]

[DOI]

New Gener. Comput., 1997

An Optimal Multiprocessor Real-Time Scheduling Algorithm.

[BibT_eX]

[DOI]

Ashok Khemka

J. Parallel Distributed Comput., 1997

Synthesizing Controllers for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid and Real-Time Systems, 1997

1996

Mapping Linear Recurrence Equations onto Systolic Architectures.

[BibT_eX]

[DOI]

Ladan Kazerouni

Int. J. High Speed Comput., 1996

Mapping Linear Recurrences onto Systolic Arrays.

[BibT_eX]

[DOI]

Ladan Kazerouni

Proceedings of IPPS '96, 1996

Actors as a Coordinating Model of Computation (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 1996

Design of Controllers for Linear Hybrid Systems.

[BibT_eX]

[DOI]

Rupak Majumdar

Proceedings of the Concurrency and Parallelism, 1996

1995

The Quine-Bernays Combinatory Calculus.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 1995

Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 1995

Combinatory Formulations of Concurrent Languages.

[BibT_eX]

[DOI]

Proceedings of the Algorithms, 1995

Preemption Primitives in Reactive Languages (A Preliminary Report).

[BibT_eX]

[DOI]

Sophie Pinchinat

Éric Rutten

Proceedings of the Algorithms, 1995

1994

A Methodology for Provin Termination of Logic Programs.

[BibT_eX]

[DOI]

Bal Wang

J. Log. Program., 1994

RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics.

[BibT_eX]

[DOI]

Comput. Lang., 1994

Specifying Dynamic Reat-Time Systems in CRP.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Ladan Kazerouni

Proceedings of the 1994 International Conference on Parallel Processing, 1994

Semantics and Verification of Hierarchical CRP Programs.

[BibT_eX]

[DOI]

S. Ramesh

Proceedings of the Hybrid Systems II, 1994

1993

Semantics of Nondeterministic Asynchronous Broadcast Networks

[BibT_eX]

[DOI]

K. T. Narayana

Toniann Pitassi

Inf. Comput., June, 1993

Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment.

[BibT_eX]

[DOI]

Ashok Khemka

Int. J. High Speed Comput., 1993

Communicating Reactive Processes.

[BibT_eX]

[DOI]

Gérard Berry

S. Ramesh

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.

[BibT_eX]

[DOI]

Ashok Khemka

K. V. Subramanyam

Proceedings of the Seventh International Parallel Processing Symposium, 1993

Verification Tools in the Development of Provably Correct Compilers.

[BibT_eX]

[DOI]

Paritosh K. Pandya

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

Specification of Hybrid Systems in CRP.

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Rewriting Concepts in the Study of Termination of Logic Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Bal Wang

Proceedings of the STACS 91, 1991

1990

Static Analysis of Real-Time Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

Exception Handling in RT-CDL.

[BibT_eX]

[DOI]

Comput. Lang., 1990

Proof Theory for Exception Handling in a Tasking Environment.

[BibT_eX]

[DOI]

Kamal Lodaya

Acta Informatica, 1990

Towards a Characterization of Termination of Logic Programs.

[BibT_eX]

[DOI]

Bal Wang

Proceedings of the Programming Language Implementation and Logic Programming, 1990

1989

Language Constructs for Specifying Concurrency in CDL*.

[BibT_eX]

[DOI]

James W. Thatcher

IEEE Trans. Software Eng., 1989

Reasoning of real-time distributed programming languages.

[BibT_eX]

[DOI]

Jozef Hooman

Rob Gerth

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

An operational semantics of real time design language RT-CDL.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

RT-CDL: A Real Time Design Language and Its Semantics.

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Compositional Semantics for Real-Time Distributed Computing

[BibT_eX]

[DOI]

Inf. Comput., December, 1988

1986

Correctness proof for the majority consensus algorithm.

[BibT_eX]

[DOI]

A. Ravichandran

Inf. Sci., 1986

1984

A Simple Livelock-Free Algorithm for Packet Switching.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1984

A linear time algorithm for computing the convex hull of an ordered crossing polygon.

[BibT_eX]

[DOI]

Subir Kumar Ghosh

Pattern Recognit., 1984

Process Specification of Logic Programs.

[BibT_eX]

[DOI]

Ramaswamy Ramanujam

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

1983

A Sentence Generator for a Compiler for PT, a Pascal Subset.

[BibT_eX]

V. Murali

Softw. Pract. Exp., 1983

A linear time algorithm for obtaining the convex hull of a simple polygon.

[BibT_eX]

[DOI]

Subir Kumar Ghosh

Pattern Recognit., 1983

Correctness Preserving Transformations for Distributed Programs.

[BibT_eX]

S. Mahadevan

Proceedings of the Information Processing 83, 1983

1982

On a Characterization of Pushdown Permuters.

[BibT_eX]

[DOI]

Kulathur S. Rajasethupathy

Theor. Comput. Sci., 1982

A New Parsing Algorithm for EOL-Systems.

[BibT_eX]

J. Inf. Process. Cybern., 1982

1981

An Implementation of P and V.

[BibT_eX]

[DOI]

Eric C. R. Hehner

Kulathur S. Rajasethupathy

Inf. Process. Lett., 1981

1980

Programmed OL-systems.

[BibT_eX]

[DOI]

Inf. Sci., 1980

1978

A note on the transitive closure of a boolean matrix.

[BibT_eX]

[DOI]

SIGACT News, 1978

A note on the multiplication of 4x4 matrices.

[BibT_eX]

[DOI]

SIGACT News, 1978

LR-Deterministic Grammars.

[BibT_eX]

J. Inf. Process. Cybern., 1978

1976

The Structure Generating Function of Some Families of Languages

[BibT_eX]

[DOI]

Werner Kuich

Inf. Control., September, 1976

A Note on Linear Precedence Functions.

[BibT_eX]

[DOI]