B. Jayaraman

Most-cited papers

Methodology and architecture of JIVE
Paul V. Gestwicki, B. Jayaraman
2005Software Visualization80 citations Open access
Semantic Scholar
Toward an Integration of Agent- and Activity-Centric Approaches in Organizational Process Modeling: Incorporating Incentive Mechanisms
T. S. Raghu, B. Jayaraman, H. Rao
2004Information systems research70 citations
Semantic Scholar
Declarative and visual debugging in Eclipse
Jeffrey K. Czyz, B. Jayaraman
2007eclipse '0753 citations Open access
Semantic Scholar
A comparison of B2B e-service solutions
D. Kim, Manish Agrawal, B. Jayaraman, H. Rao
2003CACM47 citations
Semantic Scholar
JIVE: java interactive visualization environment
Paul V. Gestwicki, B. Jayaraman
2004Conference on Object-Oriented Programming Systems, Languages, and Applications43 citations
Semantic Scholar
Compact visualization of Java program execution
Swaminathan Jayaraman, B. Jayaraman, Demian Lessa
2017Software, Practice & Experience40 citations
Semantic Scholar
Interactive visualization of Java programs
Paul V. Gestwicki, B. Jayaraman
2002Proceedings IEEE 2002 Symposia on Human Centric Computing Languages and Environments33 citations
Semantic Scholar
Preference queries in deductive databases
K. Govindarajan, B. Jayaraman, S. Mantha
2001New generation computing25 citations
Semantic Scholar
Theory of Partial-Order Programming
M. Osorio, B. Jayaraman, D. Plaisted
1999Science of Computer Programming22 citations Open access
Semantic Scholar
ARCHERR: Runtime Environment Driven Program Safety
R. Chinchani, Anusha Iyer, B. Jayaraman, S. Upadhyaya
2004European Symposium on Research in Computer Security21 citations
Semantic Scholar
A Game-Based Architecture for Developing Interactive Components in Computational Logic
L. O'Donnell, C. H. Brzoska, J. Darlington, Yi-Ke Guo +21 more
200021 citations
Semantic Scholar
The Three Rs of Cyberphysical Spaces
Vivek Menon, B. Jayaraman, V. Govindaraju
2011Computer20 citations
Semantic Scholar
Multimodal identification and tracking in smart environments
Vivek Menon, B. Jayaraman, V. Govindaraju
2010Personal and Ubiquitous Computing20 citations
Semantic Scholar
JavaDD: a Declarative Debugger for Java
B. Jayaraman, Hani Z. Girgis
200620 citations
Semantic Scholar
Set Constructors, Finite Sets, and Logical Semantics
B. Jayaraman, Devashis Jana
1999The Journal of Logic Programming20 citations Open access
Semantic Scholar
Finite‐state model extraction and visualization from Java program execution
Jevitha K. P., Swaminathan Jayaraman, B. Jayaraman, Sethumadhavan M
2020Software, Practice & Experience19 citations
Semantic Scholar
Modeling Engineering Structures with Constrained Objects
B. Jayaraman, Pallavi Tambay
2002International Symposium on Practical Aspects of Declarative Languages18 citations
Semantic Scholar
Plagiarism Detection for Java Programs without Source Codes
V. Anjali, T. Swapna, B. Jayaraman
201517 citations Open access
Semantic Scholar
Biometrics Driven Smart Environments: Abstract Framework and Evaluation
Vivek Menon, B. Jayaraman, V. Govindaraju
2008International Conference on Ubiquitous Intelligence and Computing17 citations
Semantic Scholar
JIVE: A Pedagogic Tool for Visualizing the Execution of Java Programs
Demian Lessa, Jeffrey K. Czyz, B. Jayaraman
201016 citations
Semantic Scholar
Preference Logic Grammars
B. Jayaraman, K. Govindarajan, S. Mantha
1998Computer languages15 citations
Semantic Scholar
Towards program execution summarization: Deriving state diagrams from sequence diagrams
Swaminathan Jayaraman, D. KishorKamath, B. Jayaraman
2014International Conference on Contemporary Computing14 citations
Semantic Scholar
A declarative approach to detecting design patterns from Java execution traces and source code
Aswathy Mohan, Swaminathan Jayaraman, B. Jayaraman
2024Information and Software Technology13 citations
Semantic Scholar
Subset Logic Programs and Their Implementation
B. Jayaraman, K. Moon
2000The Journal of Logic Programming13 citations Open access
Semantic Scholar
Runtime Visualization and Verification in JIVE
Lukasz Ziarek, B. Jayaraman, Demian Lessa, J. Swaminathan
2016Runtime Verification12 citations
Semantic Scholar
Consistency of Java run-time behavior with design-time specifications
Swaminathan Jayaraman, D. Hari, B. Jayaraman
2015International Conference on Contemporary Computing11 citations
Semantic Scholar
Integrating recognition and reasoning in smart environments
Vivek Menon, B. Jayaraman, V. Govindaraju
200811 citations
Semantic Scholar
Ieee Access Special Section Editorial: Key Technologies for Smart Factory of Industry 4.0
J. Wan, Min Xia, Jun Hong, Zhi-Bo Pang +2 more
2019IEEE Access10 citations Open access
Semantic Scholar
Temporal Data Model for Program Debugging
Demian Lessa, B. Jayaraman, J. Chomicki
2011International Workshop/Symposium on Database Programming Languages9 citations
Semantic Scholar
C2L: A Formal Policy Language for Secure Cloud Configurations
Jayaraj Poroor, B. Jayaraman
2012ANT/MobiWIS8 citations Open access
Semantic Scholar
JI.FI: Visual test and debug queries for hard real‐time
E. Blanton, Demian Lessa, P. Arora, Lukasz Ziarek +1 more
2012Java Technologies for Real-time and Embedded Systems8 citations
Semantic Scholar
Verification of OAuth 2.0 Using UPPAAL
K. Jayasri, K. P. Jevitha, B. Jayaraman
20187 citations
Semantic Scholar
Temporal constrained objects: Application and implementation
Jinesh M. Kannimoola, B. Jayaraman, Pallavi Tambay, K. Achuthan
2017Computer languages, systems & structures7 citations
Semantic Scholar
Enhancing biometric recognition with spatio-temporal reasoning in smart environments
Vivek Menon, B. Jayaraman, V. Govindaraju
2013Personal and Ubiquitous Computing7 citations
Semantic Scholar
Mode-directed preferences for logic programs
Hai-Feng Guo, B. Jayaraman
2005ACM Symposium on Applied Computing7 citations
Semantic Scholar
Fundamentals of a Module Logic for Distributed Object Systems
Guo, M. Hagiya, M. Hanus, T. Ida +5 more
20007 citations
Semantic Scholar
Aggregation and negation-as-failure
M. Osorio, B. Jayaraman
1999New generation computing7 citations
Semantic Scholar
Preparing global engineers: USA-India academia & industry led approach
Manoj Pokkiyarath, R. Raman, K. Achuthan, B. Jayaraman
20142014 IEEE Frontiers in Education Conference (FIE) Proceedings6 citations
Semantic Scholar
A Distributed Framework for Spatio-Temporal Analysis on Large-Scale Camera Networks
Kirak Hong, Marco Völz, V. Govindaraju, B. Jayaraman +1 more
20132013 IEEE 33rd International Conference on Distributed Computing Systems Workshops6 citations
Semantic Scholar
Formal analysis of event-driven cyber physical systems
Jayaraj Poroor, B. Jayaraman
2012International Conference on Security of Internet of Things6 citations
Semantic Scholar
Visualizing errors in object oriented programs
Hani Z. Girgis, B. Jayaraman, Paul V. Gestwicki
2005Conference on Object-Oriented Programming Systems, Languages, and Applications6 citations
Semantic Scholar
Explaining the dynamic structure and behavior of Java programs using a visual debugger (abstract only)
Demian Lessa, B. Jayaraman
2012Technical Symposium on Computer Science Education5 citations
Semantic Scholar
Spatio-Temporal Querying in Smart Spaces
Vivek Menon, B. Jayaraman, V. Govindaraju
2012ANT/MobiWIS5 citations Open access
Semantic Scholar
Optimization with mode-directed preferences
Hai-Feng Guo, B. Jayaraman, G. Gupta, Miao Liu
2005ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming5 citations
Semantic Scholar
Insecure programming: how culpable is a language's syntax?
R. Chinchani, Anusha Iyer, B. Jayaraman, S. Upadhyaya
2003IEEE Systems, Man and Cybernetics SocietyInformation Assurance Workshop, 2003.5 citations
Semantic Scholar
Semantics and Applications of Constrained Objects
B. Jayaraman, Pallavi Tambay
20015 citations
Semantic Scholar
Constrained objects for modeling complex structures (extended abstract)
B. Jayaraman, Pallavi Tambay
2000Conference on Object-Oriented Programming Systems, Languages, and Applications5 citations
Semantic Scholar
Declarative Pruning in a Functional Query Language
M. Osorio, B. Jayaraman, J. Nieves
1999International Conference on Logic Programming5 citations
Semantic Scholar
Generalised Dining Philosophers as Feedback Control
Venkatesh Choppella, Arjun Sanjeev, V. Kasturi, B. Jayaraman
2018International Conference on Distributed Computing and Internet Technology4 citations Open access
Semantic Scholar
Dynamic Constrained Objects for Vehicular Network Modeling
Jinesh M. Kannimoola, B. Jayaraman, K. Achuthan
20174 citations
Semantic Scholar