Bharat Jayaraman

According to our database, Bharat Jayaraman authored at least 97 papers between 1983 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Runtime verification on abstract finite state models.

K. P. Jevitha, Bharat Jayaraman, M. Sethumadhavan

J. Syst. Softw., 2024

A declarative approach to detecting design patterns from Java execution traces and source code.

Aswathy Mohan, Swaminathan Jayaraman, Bharat Jayaraman

Inf. Softw. Technol., 2024

Runtime Verification on Abstract Finite State Models.

KP Jevitha, Bharat Jayaraman, M. Sethumadhavan

CoRR, 2024

2021

Finite-state model extraction and visualization from Java program execution.

Jevitha K. P., Swaminathan Jayaraman, Bharat Jayaraman, M. Sethumadhavan

Softw. Pract. Exp., 2021

Semantics of temporal constrained objects.

Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan

J. Log. Algebraic Methods Program., 2021

2020

Generalised Dining Philosophers as Feedback Control.

Venkatesh Choppella, Arjun Sanjeev, Viswanath Kasturi, Bharat Jayaraman

Proceedings of the Distributed Computing and Internet Technology, 2020

2019

Ieee Access Special Section Editorial: Key Technologies for Smart Factory of Industry 4.0.

Jiafu Wan, Min Xia, Jun Hong, Zhibo Pang, Bharat Jayaraman, Fangyang Shen

IEEE Access, 2019

2018

Temporal constrained objects for modelling neuronal dynamics.

Manjusha Nair, Jinesh M. Kannimoola, Bharat Jayaraman, Bipin Nair, Shyam Diwakar

PeerJ Comput. Sci., 2018

2017

Compact visualization of Java program execution.

Swaminathan Jayaraman, Bharat Jayaraman, Demian Lessa

Softw. Pract. Exp., 2017

Temporal constrained objects: Application and implementation.

Jinesh M. Kannimoola, Bharat Jayaraman, Pallavi Tambay, Krishnashree Achuthan

Comput. Lang. Syst. Struct., 2017

Run-Time Analysis of Temporal Constrained Objects.

Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan

Proceedings of the Declarative Programming and Knowledge Management, 2017

2016

Runtime Visualization and Verification in JIVE.

Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman

Proceedings of the Runtime Verification - 16th International Conference, 2016

2015

Consistency of Java run-time behavior with design-time specifications.

Swaminathan Jayaraman, Dinoop Hari, Bharat Jayaraman

Proceedings of the Eighth International Conference on Contemporary Computing, 2015

2014

Probabilistic spatio-temporal retrieval in smart spaces.

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

J. Ambient Intell. Humaniz. Comput., 2014

JI.FI: Visual test and debug queries for hard real-time.

Ethan Blanton, Demian Lessa, Puneet Arora, Lukasz Ziarek, Bharat Jayaraman

Concurr. Comput. Pract. Exp., 2014

Towards program execution summarization: Deriving state diagrams from sequence diagrams.

Swaminathan Jayaraman, Kishor Kamath D., Bharat Jayaraman

Proceedings of the Seventh International Conference on Contemporary Computing, 2014

Preparing global engineers: USA-India academia & industry led approach.

Manoj Pokkiyarath, Raghu Raman, Krishnashree Achuthan, Bharat Jayaraman

Proceedings of the IEEE Frontiers in Education Conference, 2014

2013

Modeling mobile stateful channels in <i>π</i>πZ.

Jayaraj Poroor, Bharat Jayaraman

Sci. Comput. Program., 2013

Enhancing biometric recognition with spatio-temporal reasoning in smart environments.

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

Pers. Ubiquitous Comput., 2013

A Distributed Framework for Spatio-Temporal Analysis on Large-Scale Camera Networks.

Kirak Hong, Marco Völz, Venu Govindaraju, Bharat Jayaraman, Umakishore Ramachandran

Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

2012

C²L: A Formal Policy Language for Secure Cloud Configurations.

Jayaraj Poroor, Bharat Jayaraman

Proceedings of the 3rd International Conference on Ambient Systems, 2012

Spatio-Temporal Querying in Smart Spaces.

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

Proceedings of the 3rd International Conference on Ambient Systems, 2012

Special Issue on Security and Performance of Networks and Clouds: Guest Editor's Introduction.

Bharat Jayaraman

Comput. J., 2012

Explaining the dynamic structure and behavior of Java programs using a visual debugger (abstract only).

Demian Lessa, Bharat Jayaraman

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Formal analysis of event-driven cyber physical systems.

Jayaraj Poroor, Bharat Jayaraman

Proceedings of the First International Conference on Security of Internet of Things, 2012

Ji.Fi: visual test and debug queries for hard real-time.

Ethan Blanton, Demian Lessa, Lukasz Ziarek, Bharat Jayaraman

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2011

Spatio-Temporal Reasoning in Biometrics Based Smart Environments.

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

Proceedings of the 2nd International Conference on Ambient Systems, 2011

Verifying security properties of internet protocol stacks: The split verification approach.

Jayaraj Poroor, Bharat Jayaraman

J. Syst. Archit., 2011

The Three Rs of Cyberphysical Spaces.

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

Computer, 2011

Temporal Data Model for Program Debugging.

Demian Lessa, Bharat Jayaraman, Jan Chomicki

Proceedings of the Database Programming Languages, 2011

Formal specification and verification of vehicular handoff using π-calculus.

Jayaraj Poroor, Bharat Jayaraman

Proceedings of the 1st International Conference on Wireless Technologies for Humanitarian Relief, 2011

2010

Multimodal identification and tracking in smart environments.

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

Pers. Ubiquitous Comput., 2010

2009

DoS Attacks on Real-Time Media through Indirect Contention-in-Hosts.

Jayaraj Poroor, Bharat Jayaraman

IEEE Internet Comput., 2009

2008

Logic programming with solution preferences.

Hai-Feng Guo, Bharat Jayaraman

J. Log. Algebraic Methods Program., 2008

Biometrics Driven Smart Environments: Abstract Framework and Evaluation.

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

Proceedings of the Ubiquitous Intelligence and Computing, 5th International Conference, 2008

2007

JavaTA: A Logic-based Debugger for Java

Hani Z. Girgis, Bharat Jayaraman

CoRR, 2007

Declarative and visual debugging in Eclipse.

Jeffrey K. Czyz, Bharat Jayaraman

Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007

2006

Relaxation on Optimization Predicates.

Hai-Feng Guo, Miao Liu, Bharat Jayaraman

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Methodology and architecture of JIVE.

Paul V. Gestwicki, Bharat Jayaraman

Proceedings of the ACM 2005 Symposium on Software Visualization, 2005

Mode-directed preferences for logic programs.

Hai-Feng Guo, Bharat Jayaraman

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Optimization with mode-directed preferences.

Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Visualizing errors in object oriented programs.

Hani Z. Girgis, Bharat Jayaraman, Paul V. Gestwicki

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Aggregation in Functional Query Languages.

Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman

J. Funct. Log. Program., 2004

Toward an Integration of Agent- and Activity-Centric Approaches in Organizational Process Modeling: Incorporating Incentive Mechanisms.

T. S. Raghu, Bharat Jayaraman, H. Raghav Rao

Inf. Syst. Res., 2004

JIVE: Java Interactive Visualization Environment.

Paul V. Gestwicki, Bharat Jayaraman

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

ARCHERR: Runtime Environment Driven Program Safety.

Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya

Proceedings of the Computer Security, 2004

2003

A comparison of B2B e-service solutions.

Dan Jong Kim, Manish Agrawal, Bharat Jayaraman, H. Raghav Rao

Commun. ACM, 2003

Insecure Programming: How Culpable is a Language's Syntax?

Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya

Proceedings of the IEEE Systems, 2003

2002

Interactive Visualization of Java Programs.

Paul V. Gestwicki, Bharat Jayaraman

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002

Modeling Engineering Structures with Constrained Objects.

Bharat Jayaraman, Pallavi Tambay

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Compositional Semantics for Diagrams Using Constrained Objects.

Bharat Jayaraman, Pallavi Tambay

Proceedings of the Diagrammatic Representation and Inference, 2002

2000

Research on sets, constraints, and preferences.

Bharat Jayaraman

ACM SIGSOFT Softw. Eng. Notes, 2000

Preference Queries in Deductive Databases.

Kannan Govindarajan, Bharat Jayaraman, Surya Mantha

New Gener. Comput., 2000

Subset Logic Programs and Their Implementation.

Bharat Jayaraman, Kyonghee Moon

J. Log. Program., 2000

Constrained objects for modeling complex structures (extended abstract).

Bharat Jayaraman, Pallavi Tambay

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

Constrained objects for modeling complex structures (extended abstract) (poster session).

Bharat Jayaraman, Pallavi Tambay

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

1999

Theory of Partial-Order Programming.

Mauricio Osorio, Bharat Jayaraman, David A. Plaisted

Sci. Comput. Program., 1999

Aggregation and Negation-As-Failure.

Mauricio Osorio, Bharat Jayaraman

New Gener. Comput., 1999

Set Constructors, Finite Sets, and Logical Semantics.

Bharat Jayaraman, Jana Devashis

J. Log. Program., 1999

Declarative Pruning in a Functional Query Language.

Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

Scoping Constructs in Logic Programming: Implementation Problems and their Solution

Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

CoRR, 1998

Preference Logic Grammars.

Bharat Jayaraman, Kannan Govindarajan, Surya Mantha

Comput. Lang., 1998

Integrating the Completion and the Well Founded Semantics.

Mauricio Osorio, Bharat Jayaraman

Proceedings of the Progress in Artificial Intelligence, 1998

1997

From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach.

Juergen Haas, Bharat Jayaraman

J. Log. Program., 1997

A simulation test bed for computational modeling of business processes.

T. S. Raghu, Abhijit Chaudhury, Bharat Jayaraman, H. Raghav Rao

Proceedings of the Eighteenth International Conference on Information Systems, 1997

1996

Visualizing Program Execution.

Bharat Jayaraman, Charlotte M. Baltus

Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Optimization and Relaxation in Constraint Logic Languages.

Kannan Govindarajan, Bharat Jayaraman, Surya Mantha

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

Aggregation and Well-Founded Semantics.

Mauricio Osorio, Bharat Jayaraman

Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

1995

Scoping Constructs in Logic Programming: Implementation Problems and their Solutions.

Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

J. Log. Program., 1995

Relaxation in Constraint Logic Languages.

Kannan Govindarajan, Bharat Jayaraman, Surya Mantha

Proceedings of the Logic Programming, 1995

Preference Logic Programming.

Kannan Govindarajan, Bharat Jayaraman, Surya Mantha

Proceedings of the Logic Programming, 1995

Partial Order Programming <i>(Revisited)</i>.

Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon

Proceedings of the Algebraic Methodology and Software Technology, 1995

The SuRE Programming Framework.

Bharat Jayaraman, Kyonghee Moon

Proceedings of the Algebraic Methodology and Software Technology, 1995

1993

Analysis of Or-Parallel Execution Models.

Gopal Gupta, Bharat Jayaraman

ACM Trans. Program. Lang. Syst., 1993

And-Or Parallelism on Shared-Memory Multiprocessors.

Gopal Gupta, Bharat Jayaraman

J. Log. Program., 1993

Subset Assertions and Negation As Failure.

Mauricio Osorio, Bharat Jayaraman

Proceedings of the Logic Programming, 1993

1992

Implementation of Subset-Equational Programs.

Bharat Jayaraman

J. Log. Program., 1992

A Domain-Theoretic Approach to Functional and Logic Programming.

Frank S. K. Silbermann, Bharat Jayaraman

J. Funct. Program., 1992

Sublist Assertions for Listless and Lazy Evaluation.

Bharat Jayaraman

Comput. Lang., 1992

Interactive Synthesis of Definite-Clause Grammars.

Juergen Haas, Bharat Jayaraman

Proceedings of the Logic Programming, 1992

1991

Implementation Techniques for Scoping Constructs in Logic Programming.

Bharat Jayaraman, Gopalan Nadathur

Proceedings of the Logic Programming, 1991

1990

On Criteria for Or-Parallel Execution Models of Logic Programs.

Gopal Gupta, Bharat Jayaraman

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Optimizing And-Or Parallel Implementations.

Gopal Gupta, Bharat Jayaraman

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989

EqL: The Language and Its Implementation.

Bharat Jayaraman, Gopal Gupta

IEEE Trans. Software Eng., 1989

Semantics and Implementation of Resource Expressions.

Bharat Jayaraman, Robert M. Keller

J. Parallel Distributed Comput., 1989

Towards a WAM Model for Lambda-Prolog.

Gopalan Nadathur, Bharat Jayaraman

Proceedings of the Logic Programming, 1989

Programming with Equations, Subsets, and Relations.

Bharat Jayaraman, David A. Plaisted

Proceedings of the Logic Programming, 1989

Combined And-Or Parallelism on Shared Memory Multiprocessors.

Gopal Gupta, Bharat Jayaraman

Proceedings of the Logic Programming, 1989

A Model for Combined And-Or Parallel Execution of Logic Programs.

Gopal Gupta, Bharat Jayaraman

Proceedings of the International Conference on Parallel Processing, 1989

Set Abstraction in Functional and Logic Programming.

Frank S. K. Silbermann, Bharat Jayaraman

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

Semantics of EqL.

Bharat Jayaraman

IEEE Trans. Software Eng., 1988

Subset-Logic Programming: Application and Implementation.

Bharat Jayaraman, Anil Nair

Proceedings of the Logic Programming, 1988

1987

Functional programming with sets.

Bharat Jayaraman, David A. Plaisted

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986

Primitives for resource management in a demand-driven reduction model.

Bharat Jayaraman, Robert M. Keller

Int. J. Parallel Program., 1986

Equations, Sets, and Reduction Semantics for Functional and Logic Programming.

Bharat Jayaraman, Frank S. K. Silbermann

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

Parallel execution of an equational language.

Bharat Jayaraman, Gopal Gupta

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1983

Theory of Linear Equations Applied to Program Transformation.

Uday S. Reddy, Bharat Jayaraman

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983