Bharat Jayaraman

Publication Activity (10 Years)

Years Active: 1983-2021
Publications (10 Years): 10

Top Topics

Program Execution

Temporal Analysis

Top Venues

Softw. Pract. Exp.

J. Log. Algebraic Methods Program.

Publications

Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan
Semantics of temporal constrained objects. J. Log. Algebraic Methods Program. 119 (2021)
Jevitha K. P., Swaminathan Jayaraman, Bharat Jayaraman, M. Sethumadhavan
Finite-state model extraction and visualization from Java program execution. Softw. Pract. Exp. 51 (2) (2021)
Venkatesh Choppella, Arjun Sanjeev, Viswanath Kasturi, Bharat Jayaraman
Generalised Dining Philosophers as Feedback Control. ICDCIT (2020)
Jiafu Wan, Min Xia, Jun Hong, Zhibo Pang, Bharat Jayaraman, Fangyang Shen
Ieee Access Special Section Editorial: Key Technologies for Smart Factory of Industry 4.0. IEEE Access 7 (2019)
Manjusha Nair, Jinesh M. Kannimoola, Bharat Jayaraman, Bipin Nair, Shyam Diwakar
Temporal constrained objects for modelling neuronal dynamics. PeerJ Comput. Sci. 4 (2018)
Jinesh M. Kannimoola, Bharat Jayaraman, Pallavi Tambay, Krishnashree Achuthan
Temporal constrained objects: Application and implementation. Comput. Lang. Syst. Struct. 49 (2017)
Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan
Run-Time Analysis of Temporal Constrained Objects. DECLARE (2017)
Swaminathan Jayaraman, Bharat Jayaraman, Demian Lessa
Compact visualization of Java program execution. Softw. Pract. Exp. 47 (2) (2017)
Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman
Runtime Visualization and Verification in JIVE. RV (2016)
Swaminathan Jayaraman, Dinoop Hari, Bharat Jayaraman
Consistency of Java run-time behavior with design-time specifications. IC3 (2015)
Swaminathan Jayaraman, Kishor Kamath D., Bharat Jayaraman
Towards program execution summarization: Deriving state diagrams from sequence diagrams. IC3 (2014)
Ethan Blanton, Demian Lessa, Puneet Arora, Lukasz Ziarek, Bharat Jayaraman
JI.FI: Visual test and debug queries for hard real-time. Concurr. Comput. Pract. Exp. 26 (14) (2014)
Vivek Menon, Bharat Jayaraman, Venu Govindaraju
Probabilistic spatio-temporal retrieval in smart spaces. J. Ambient Intell. Humaniz. Comput. 5 (3) (2014)
Manoj Pokkiyarath, Raghu Raman, Krishnashree Achuthan, Bharat Jayaraman
Preparing global engineers: USA-India academia & industry led approach. FIE (2014)
Kirak Hong, Marco Völz, Venu Govindaraju, Bharat Jayaraman, Umakishore Ramachandran
A Distributed Framework for Spatio-Temporal Analysis on Large-Scale Camera Networks. ICDCS Workshops (2013)
Jayaraj Poroor, Bharat Jayaraman
πZ. Sci. Comput. Program. 78 (9) (2013)
Vivek Menon, Bharat Jayaraman, Venu Govindaraju
Enhancing biometric recognition with spatio-temporal reasoning in smart environments. Pers. Ubiquitous Comput. 17 (5) (2013)
Jayaraj Poroor, Bharat Jayaraman
Formal analysis of event-driven cyber physical systems. SECURIT (2012)
Demian Lessa, Bharat Jayaraman
Explaining the dynamic structure and behavior of Java programs using a visual debugger (abstract only). SIGCSE (2012)
Jayaraj Poroor, Bharat Jayaraman
L: A Formal Policy Language for Secure Cloud Configurations. ANT/MobiWIS (2012)
Vivek Menon, Bharat Jayaraman, Venu Govindaraju
Spatio-Temporal Querying in Smart Spaces. ANT/MobiWIS (2012)
Bharat Jayaraman
Special Issue on Security and Performance of Networks and Clouds: Guest Editor's Introduction. Comput. J. 55 (8) (2012)
Ethan Blanton, Demian Lessa, Lukasz Ziarek, Bharat Jayaraman
Ji.Fi: visual test and debug queries for hard real-time. JTRES (2012)
Vivek Menon, Bharat Jayaraman, Venu Govindaraju
Spatio-Temporal Reasoning in Biometrics Based Smart Environments. ANT/MobiWIS (2011)
Jayaraj Poroor, Bharat Jayaraman
Verifying security properties of internet protocol stacks: The split verification approach. J. Syst. Archit. 57 (3) (2011)
Vivek Menon, Bharat Jayaraman, Venu Govindaraju
The Three Rs of Cyberphysical Spaces. Computer 44 (9) (2011)
Jayaraj Poroor, Bharat Jayaraman
Formal specification and verification of vehicular handoff using π-calculus. ACWR (2011)
Demian Lessa, Bharat Jayaraman, Jan Chomicki
Temporal Data Model for Program Debugging. DBPL (2011)
Vivek Menon, Bharat Jayaraman, Venu Govindaraju
Multimodal identification and tracking in smart environments. Pers. Ubiquitous Comput. 14 (8) (2010)
Jayaraj Poroor, Bharat Jayaraman
DoS Attacks on Real-Time Media through Indirect Contention-in-Hosts. IEEE Internet Comput. 13 (6) (2009)
Hai-Feng Guo, Bharat Jayaraman
Logic programming with solution preferences. J. Log. Algebraic Methods Program. 78 (1) (2008)
Vivek Menon, Bharat Jayaraman, Venu Govindaraju
Biometrics Driven Smart Environments: Abstract Framework and Evaluation. UIC (2008)
Jeffrey K. Czyz, Bharat Jayaraman
Declarative and visual debugging in Eclipse. ETX (2007)
Hani Z. Girgis, Bharat Jayaraman
JavaTA: A Logic-based Debugger for Java CoRR (2007)
Hai-Feng Guo, Miao Liu, Bharat Jayaraman
Relaxation on Optimization Predicates. ICLP (2006)
Hai-Feng Guo, Bharat Jayaraman
Mode-directed preferences for logic programs. SAC (2005)
Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu
Optimization with mode-directed preferences. PPDP (2005)
Paul V. Gestwicki, Bharat Jayaraman
Methodology and architecture of JIVE. SOFTVIS (2005)
Hani Z. Girgis, Bharat Jayaraman, Paul V. Gestwicki
Visualizing errors in object oriented programs. OOPSLA Companion (2005)
Paul V. Gestwicki, Bharat Jayaraman
JIVE: Java Interactive Visualization Environment. OOPSLA Companion (2004)
Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman
Aggregation in Functional Query Languages. J. Funct. Log. Program. 2004 (2004)
Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya
ARCHERR: Runtime Environment Driven Program Safety. ESORICS (2004)
T. S. Raghu, Bharat Jayaraman, H. Raghav Rao
Toward an Integration of Agent- and Activity-Centric Approaches in Organizational Process Modeling: Incorporating Incentive Mechanisms. Inf. Syst. Res. 15 (4) (2004)
Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya
Insecure Programming: How Culpable is a Language's Syntax? IAW (2003)
Dan Jong Kim, Manish Agrawal, Bharat Jayaraman, H. Raghav Rao
A comparison of B2B e-service solutions. Commun. ACM 46 (12) (2003)
Bharat Jayaraman, Pallavi Tambay
Compositional Semantics for Diagrams Using Constrained Objects. Diagrams (2002)
Paul V. Gestwicki, Bharat Jayaraman
Interactive Visualization of Java Programs. HCC (2002)
Bharat Jayaraman, Pallavi Tambay
Modeling Engineering Structures with Constrained Objects. PADL (2002)
Bharat Jayaraman, Kyonghee Moon
Subset Logic Programs and Their Implementation. J. Log. Program. 42 (2) (2000)
Bharat Jayaraman, Pallavi Tambay
Constrained objects for modeling complex structures (extended abstract). OOPSLA Addendum (2000)
Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
Preference Queries in Deductive Databases. New Gener. Comput. 19 (1) (2000)
Bharat Jayaraman
Research on sets, constraints, and preferences. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Bharat Jayaraman, Pallavi Tambay
Constrained objects for modeling complex structures (extended abstract) (poster session). OOPSLA Addendum (2000)
Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves
Declarative Pruning in a Functional Query Language. ICLP (1999)
Bharat Jayaraman, Jana Devashis
Set Constructors, Finite Sets, and Logical Semantics. J. Log. Program. 38 (1) (1999)
Mauricio Osorio, Bharat Jayaraman, David A. Plaisted
Theory of Partial-Order Programming. Sci. Comput. Program. 34 (3) (1999)
Mauricio Osorio, Bharat Jayaraman
Aggregation and Negation-As-Failure. New Gener. Comput. 17 (3) (1999)
Bharat Jayaraman, Kannan Govindarajan, Surya Mantha
Preference Logic Grammars. Comput. Lang. 24 (3) (1998)
Mauricio Osorio, Bharat Jayaraman
Integrating the Completion and the Well Founded Semantics. IBERAMIA (1998)
Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
Scoping Constructs in Logic Programming: Implementation Problems and their Solution CoRR (1998)
Juergen Haas, Bharat Jayaraman
From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach. J. Log. Program. 30 (1) (1997)
T. S. Raghu, Abhijit Chaudhury, Bharat Jayaraman, H. Raghav Rao
A simulation test bed for computational modeling of business processes. ICIS (1997)
Bharat Jayaraman, Charlotte M. Baltus
Visualizing Program Execution. VL (1996)
Mauricio Osorio, Bharat Jayaraman
Aggregation and Well-Founded Semantics. NMELP (1996)
Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
Optimization and Relaxation in Constraint Logic Languages. POPL (1996)
Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon
. AMAST (1995)
Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
Relaxation in Constraint Logic Languages. ILPS (1995)
Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
Preference Logic Programming. ICLP (1995)
Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
Scoping Constructs in Logic Programming: Implementation Problems and their Solutions. J. Log. Program. 25 (2) (1995)
Bharat Jayaraman, Kyonghee Moon
The SuRE Programming Framework. AMAST (1995)
Gopal Gupta, Bharat Jayaraman
And-Or Parallelism on Shared-Memory Multiprocessors. J. Log. Program. 17 (1) (1993)
Gopal Gupta, Bharat Jayaraman
Analysis of Or-Parallel Execution Models. ACM Trans. Program. Lang. Syst. 15 (4) (1993)
Mauricio Osorio, Bharat Jayaraman
Subset Assertions and Negation As Failure. ILPS (1993)
Juergen Haas, Bharat Jayaraman
Interactive Synthesis of Definite-Clause Grammars. JICSLP (1992)
Bharat Jayaraman
Sublist Assertions for Listless and Lazy Evaluation. Comput. Lang. 17 (2) (1992)
Bharat Jayaraman
Implementation of Subset-Equational Programs. J. Log. Program. 12 (3&4) (1992)
Frank S. K. Silbermann, Bharat Jayaraman
A Domain-Theoretic Approach to Functional and Logic Programming. J. Funct. Program. 2 (3) (1992)
Bharat Jayaraman, Gopalan Nadathur
Implementation Techniques for Scoping Constructs in Logic Programming. ICLP (1991)
Gopal Gupta, Bharat Jayaraman
Optimizing And-Or Parallel Implementations. NACLP (1990)
Gopal Gupta, Bharat Jayaraman
On Criteria for Or-Parallel Execution Models of Logic Programs. NACLP (1990)
Gopalan Nadathur, Bharat Jayaraman
Towards a WAM Model for Lambda-Prolog. NACLP (1989)
Gopal K. Gupta, Bharat Jayaraman
A Model for Combined And-Or Parallel Execution of Logic Programs. ICPP (2) (1989)
Frank S. K. Silbermann, Bharat Jayaraman
Set Abstraction in Functional and Logic Programming. FPCA (1989)
Gopal Gupta, Bharat Jayaraman
Combined And-Or Parallelism on Shared Memory Multiprocessors. NACLP (1989)
Bharat Jayaraman, Gopal Gupta
EqL: The Language and Its Implementation. IEEE Trans. Software Eng. 15 (6) (1989)
Bharat Jayaraman, Robert M. Keller
Semantics and Implementation of Resource Expressions. J. Parallel Distributed Comput. 7 (1) (1989)
Bharat Jayaraman, David A. Plaisted
Programming with Equations, Subsets, and Relations. NACLP (1989)
Bharat Jayaraman, Anil Nair
Subset-Logic Programming: Application and Implementation. ICLP/SLP (1988)
Bharat Jayaraman
Semantics of EqL. IEEE Trans. Software Eng. 14 (4) (1988)
Bharat Jayaraman, David A. Plaisted
Functional programming with sets. FPCA (1987)
Bharat Jayaraman, Robert M. Keller
Primitives for resource management in a demand-driven reduction model. Int. J. Parallel Program. 15 (3) (1986)
Bharat Jayaraman, Gopal Gupta
Parallel execution of an equational language. Graph Reduction (1986)
Bharat Jayaraman, Frank S. K. Silbermann
Equations, Sets, and Reduction Semantics for Functional and Logic Programming. LISP and Functional Programming (1986)
Uday S. Reddy, Bharat Jayaraman
Theory of Linear Equations Applied to Program Transformation. IJCAI (1983)