Pankaj Jalote

124 papers A* 6A 17B 3C 4Misc 1Journal 45Unranked 39
YearRankTypeTitle / Venue / Authors
2026 — conf
Computer Science Curricula CS2023 Revisited in Light of Generative AI.
SIGCSE (2)
Amruth N. Kumar, Richard Blumenthal, Pankaj Jalote, Titus Winters
2026 — conf
Generative AI's Impact on Computing Education - International Perspectives.
SIGCSE (2)
Amruth N. Kumar, Sherif G. Aly, Pankaj Jalote, Marcelo Pias
2025 — book
A Concise Introduction to Software Engineering - With Open Source and GenAI, Second Editiontion
Pankaj Jalote
2025 J jnl
Automated Type Annotation in Python Using Large Language Models.
CoRR
Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote
2025 — conf
Combining Reasoning Optimized LLMs and SMT Solvers for Automated Loop Invariant Synthesis.
AIware
Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote
2025 J jnl
Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers.
CoRR
Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote
2025 J jnl
Teaching an Online Multi-Institutional Research Level Software Engineering Course with Industry - an Experience Report.
CoRR
Pankaj Jalote, Y. Raghu Reddy, Vasudeva Varma
2025 J jnl
Translating Emotions to Annotations - A Participant Perspective of Physiological Emotion Data Collection.
CoRR
Pragya Singh, Ritvik Budhiraja, Pankaj Jalote, Mohan Kumar, Pushpendra Singh
2025 J jnl
Translating Emotions to Annotations: A Participant's Perspective of Physiological Emotion Data Collection.
Proc. ACM Hum. Comput. Interact.
Pragya Singh, Ritvik Budhiraja, Pankaj Jalote, Mohan Kumar, Pushpendra Singh
2024 — conf
An Experience Report on Teaching a Large Introductory Programming Course in Hybrid Mode.
SIGCSE (2)
Shyama Sastha Krishnamoorthy Srinivasan, Avi Gupta, Pankaj Jalote
2024 J jnl
System Test Case Design from Requirements Specifications: Insights and Challenges of Using ChatGPT.
CoRR
Shreya Bhatia, Tarushi Gandhi, Dhruv Kumar, Pankaj Jalote
2024 — conf
Unit Test Generation using Generative AI : A Comparative Performance Analysis of Autogeneration Tools.
LLM4CODE@ICSE
Shreya Bhatia, Tarushi Gandhi, Dhruv Kumar, Pankaj Jalote
2024 A conf
Using LLMs in Software Requirements Specifications: An Empirical Evaluation.
RE
Madhava Krishna, Bhagesh Gaur, Arsh Verma, Pankaj Jalote
2024 J jnl
Using LLMs in Software Requirements Specifications: An Empirical Evaluation.
CoRR
Madhava Krishna, Bhagesh Gaur, Arsh Verma, Pankaj Jalote
2023 J jnl
A Combined Knowledge and Competency (CKC) Model for Computer Science Curricula.
Inroads
Amruth N. Kumar, Brett A. Becker, Marcelo Pias, Michael Oudshoorn, Pankaj Jalote, Christian Servin, Sherif G. Aly, Richard L. Blumenthal, Susan L. Epstein, Monica D. Anderson
2023 J jnl
Can ChatGPT Play the Role of a Teaching Assistant in an Introductory Programming Course?
CoRR
Anishka, Atharva Mehta, Nipun Gupta, Dhruv Kumar, Pankaj Jalote
2023 — conf
Model CSE Curriculum Design for India and Teacher Training Effort.
CompEd (1)
Pankaj Jalote
2023 — conf
Perspectives on Computer Science Curricula 2023 (CS2023).
CompEd (2)
Rajendra K. Raj, Brett A. Becker, Michael Goldweber, Pankaj Jalote
2023 J jnl
Unit Test Generation using Generative AI : A Comparative Performance Analysis of Autogeneration Tools.
CoRR
Shreya Bhatia, Tarushi Gandhi, Dhruv Kumar, Pankaj Jalote
2021 J jnl
Studying Task Processes for Improving Programmer Productivity.
IEEE Trans. Software Eng.
Pankaj Jalote, Damodaram Kamma
2019 J jnl
The growth and evolution of India's software industry.
Commun. ACM
Pankaj Jalote, Pari Natarajan
2019 J jnl
Welcome to the India region special section.
Commun. ACM
P. J. Narayanan, Pankaj Jalote, Anand Deshpande
2015 C conf
High Productivity Programmers Use Effective Task Processes in Unit-Testing.
APSEC
Damodaram Kamma, Pankaj Jalote
2014 — ed.
36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014
ICSE Companion
Pankaj Jalote, Lionel C. Briand, André van der Hoek
2014 A* ed.
36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014
ICSE
Pankaj Jalote, Lionel C. Briand, André van der Hoek
2013 — conf
Effect of task processes on programmer productivity in model-based testing.
ISEC
Damodaram Kamma, Pankaj Jalote
2012 — conf
Engaging practitioners in software engineering research.
ISEC
Pankaj Jalote
2011 — conf
Using global pairs for reducing software development time.
ISEC
Pankaj Jalote, Arvind Gupta
2010 C conf
Detecting Duplicate Bug Report Using Character N-Gram-Based Features.
APSEC
Ashish Sureka, Pankaj Jalote
2010 A conf
From Specification to Adaptation: An Integrated QoS-driven Approach for Dynamic Adaptation of Web Service Compositions.
ICWS
Vikas Agarwal, Pankaj Jalote
2009 — conf
Enabling end-to-end support for non-functional properties in web services.
SOCA
Vikas Agarwal, Pankaj Jalote
2009 — conf
Foreword.
CSEE&T
Vasudeva Varma, Jocelyn Armarego, Pankaj Jalote
2009 — conf
Future of Software Engineering.
ICISTM
Pankaj Jalote
2009 — ed.
Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009
ISEC
Kiran Deshpande, Pankaj Jalote, Sriram K. Rajamani
2009 — conf
Teaching an Introductory Software Engineering Course in a Computer Science Program.
CSEE&T
Pankaj Jalote
2008 — book
A Concise Introduction to Software Engineering.
Pankaj Jalote
2008 J jnl
An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing.
Int. J. Softw. Tools Technol. Transf.
Atul Gupta, Pankaj Jalote
2008 — conf
Deploying Software Components for Performance.
CBSE
Vibhu Saujanya Sharma, Pankaj Jalote
2008 A conf
Determining QoS of WS-BPEL Compositions.
ICSOC
Debdoot Mukherjee, Pankaj Jalote, Mangala Gowri Nanda
2008 J jnl
Learning context-free grammar rules from a set of program.
IET Softw.
Alpana Dubey, Pankaj Jalote, Sanjeev Kumar Aggarwal
2008 — ed.
Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008
ISEC
Gautam Shroff, Pankaj Jalote, Sriram K. Rajamani
2007 — conf
A Multipurpose Code Coverage Tool for Java.
HICSS
Raghu Lingampally, Atul Gupta, Pankaj Jalote
2007 A conf
An Experimental Evaluation of the Effectiveness and Efficiency of the Test Driven Development.
ESEM
Atul Gupta, Pankaj Jalote
2007 — conf
Automated Approach for Developing and Changing SOA-Based Business Process Implementation.
Business Process Management Workshops
Uttam Kumar Tripathi, Pankaj Jalote
2007 J jnl
Post-release reliability growth in software products.
ACM Trans. Softw. Eng. Methodol.
Pankaj Jalote, Brendan Murphy, Vibhu Saujanya Sharma
2007 A conf
Test Inspected Unit or Inspect Unit Tested Code?
ESEM
Atul Gupta, Pankaj Jalote
2007 J jnl
The When-Who-How analysis of defects for improving the quality control process.
J. Syst. Softw.
Pankaj Jalote, Rajesh Munshi, Todd A. Proebsting
2006 — conf
A Performance Engineering Tool for Tiered Software Systems.
COMPSAC (1)
Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi
2006 Misc conf
A deterministic technique for extracting keyword based grammar rules from programs.
SAC
Alpana Dubey, Pankaj Jalote, Sanjeev Kumar Aggarwal
2006 A conf
An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults.
TACAS
Atul Gupta, Pankaj Jalote
2006 J jnl
Assigning tasks in a 24-h software development model.
J. Syst. Softw.
Pankaj Jalote, Gourav Jain
2006 — conf
Components Have Test Buddies.
CBSE
Pankaj Jalote, Rajesh Munshi, Todd A. Proebsting
2006 — conf
Inferring Grammar Rules of Programming Language Dialects.
ICGI
Alpana Dubey, Pankaj Jalote, Sanjeev Kumar Aggarwal
2006 — conf
Integrating Static and Dynamic Analysis for Detecting Vulnerabilities.
COMPSAC (1)
Ashish Aggarwal, Pankaj Jalote
2006 A conf
Monitoring the Security Health of Software Systems.
ISSRE
Ashish Aggarwal, Pankaj Jalote
2006 A conf
Stabilization Time - A Quality Metric for Software Products.
ISSRE
Vibhu Saujanya Sharma, Pankaj Jalote
2005 — conf
A Technique for Extracting Keyword Based Rules from a Set of Programs.
CSMR
Alpana Dubey, Sanjeev Kumar Aggarwal, Pankaj Jalote
2005 — book
An Integrated Approach to Software Engineering, Third Edition.
Pankaj Jalote
2005 J jnl
Efficient static analysis with path pruning using coverage data.
ACM SIGSOFT Softw. Eng. Notes
V. Vipindeep, Pankaj Jalote
2005 — conf
Evaluating Performance Attributes of Layered Software Architecture.
CBSE
Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi
2004 A conf
A Server Side Caching Scheme for CORBA.
ICDCS
Atul Kumar, Pankaj Jalote, Deepak Gupta
2004 J jnl
A testbed for performance evaluation of load-balancing strategies for Web server systems.
Softw. Pract. Exp.
Dheeraj Sanghi, Pankaj Jalote, Puneet Agarwal, Nitin Jain, Supriyo Bose
2004 J jnl
An interactive method for extracting grammar from programs.
Softw. Pract. Exp.
Rahul Jain, Sanjeev Kumar Aggarwal, Pankaj Jalote, Shiladitya Biswas
2004 C conf
Assigning Tasks in a 24-Hour Software Development Model.
APSEC
Pankaj Jalote, Gourav Jain
2004 A conf
Reliability Growth in Software Products.
ISSRE
Pankaj Jalote, Brendan Murphy
2004 J jnl
The Timeboxing process model for iterative software development.
Adv. Comput.
Pankaj Jalote, Aveejeet Palit, Priya Kurien
2004 J jnl
Timeboxing: a process model for iterative software development.
J. Syst. Softw.
Pankaj Jalote, Aveejeet Palit, Priya Kurien, V. T. Peethamber
2003 A conf
Optimal Resource Allocation for the Quality Control Process.
ISSRE
Pankaj Jalote, Bijendra Vishal
2003 — conf
Simplifying CORBA Security Service to Support Service Level Access Control.
OTM Workshops
Atul Kumar, Pankaj Jalote, Deepak Gupta
2002 — conf
A Testbed for Performance Evaluation of Load Balancing Schemes for Web Server Systems.
ICWI
Dheeraj Sanghi, Pankaj Jalote, Puneet Agarwal
2002 — conf
Accessing CORBA Obejcts on the Web.
ICWI
Atul Kumar, Deepak Gupta, Pankaj Jalote
2002 — conf
Componentxchange: An E-Exchange for Software Components.
ICWI
Sriram Varadarajan, Atul Kumar, Deepak Gupta, Pankaj Jalote
2002 C conf
Lessons Learned in Framework-Based Software Process Improvement.
APSEC
Pankaj Jalote
2002 J jnl
Optimum Control Limits for Employing Statistical Process Control in Software Process.
IEEE Trans. Software Eng.
Pankaj Jalote, Ashish Saxena
2002 — conf
Using Proximity Information for Load Balancing in Geographically Distributed Web Server Systems.
EurAsia-ICT
Dheeraj Sanghi, Pankaj Jalote, Puneet Agarwal
2001 — conf
A Browser Front End for CORBA Objects.
WWW Posters
Atul Kumar, Deepak Gupta, Pankaj Jalote
2001 — conf
ComponentXchange: A Software Component Marketplace on the Internet.
WWW Posters
V. Sriram, Atul Kumar, Deepak Gupta, Pankaj Jalote
2000 A* conf
Moving from ISO9000 to higher levels of the CMM (tutorial session).
ICSE
Pankaj Jalote
1998 A conf
Efficient Ordered Broadcasting in Reliable CSMA/CD Networks.
ICDCS
Pankaj Jalote
1998 A* conf
Overcoming the NAH Syndrome for Inspection Deployment.
ICSE
Pankaj Jalote, M. Haragopal
1998 J jnl
WCP - a Tool for Consistent On-Line Update of Documents in a WWW Server.
Comput. Networks
Sampath Rangarajan, Shalini Yajnik, Pankaj Jalote
1997 — book
An integrated approach to software engineering, Second Edition.
Pankaj Jalote
1997 — conf
Effect of Object Orientation on Maintainability of Software.
ICSM
G. Aditya Kiran, S. Haripriya, Pankaj Jalote
1996 J jnl
A Formal Framework for On-line Software Version Change.
IEEE Trans. Software Eng.
Deepak Gupta, Pankaj Jalote, Gautam Barua
1995 B conf
An Integer Programming Approach for Assigning Votes in a Distributed System.
SRDS
D. Venkaiah, Pankaj Jalote
1995 J jnl
Coding-Based Replication Schemes for Distributed Systems.
IEEE Trans. Parallel Distributed Syst.
Gagan Agrawal, Pankaj Jalote
1995 — conf
Formalizing Inductive Proofs of Message Recovery in Distributed Systems.
ASIAN
Pankaj Jalote
1994 — book
Fault tolerance in distributed systems.
Pankaj Jalote
1993 J jnl
Capacity of Voting Systems.
IEEE Trans. Software Eng.
Sampath Rangarajan, Pankaj Jalote, Satish K. Tripathi
1993 — conf
Increasing System Availability through On-Line Software Version Change.
FTCS
Deepak Gupta, Pankaj Jalote
1993 J jnl
On Robustness of B-Trees.
IEEE Trans. Knowl. Data Eng.
Kikuo Fujimura, Pankaj Jalote
1993 J jnl
On-line Software Version Change Using State Transfer Between Processes.
Softw. Pract. Exp.
Deepak Gupta, Pankaj Jalote
1993 — conf
Two Techniques for Transient Software Error Recovery.
Hardware and Software Architectures for Fault Tolerance
Yennun Huang, Chandra M. R. Kintala, Pankaj Jalote
1992 A conf
An Efficient Protocol for Voting In Distributed Systems.
ICDCS
Gagan Agrawal, Pankaj Jalote
1992 — conf
Dynamic Reconfiguration of CSP Programs for Fault Tolerance.
FTCS
Pankaj Jalote
1992 J jnl
Effect of Fault Tolerance on Response Time-Analysis of the Primary Site Approach.
IEEE Trans. Computers
Yennun Huang, Pankaj Jalote
1992 — conf
Efficient Multicasting in Point-to-Point Networks.
NETWORKS
Sanjay P. Ghatare, Pankaj Jalote
1992 J jnl
Specification and Testing of Abstract Data Types.
Comput. Lang.
Pankaj Jalote
1992 A* conf
Using Coding to Support Data Resiliency in Distributed Systems.
ICDE
Pankaj Jalote, Gagan Agrawal
1991 J jnl
An Environment for Developing Fault-Tolerant Software.
IEEE Trans. Software Eng.
James M. Purtilo, Pankaj Jalote
1991 J jnl
An Environment for Prototyping Distributed Applications.
Comput. Lang.
James M. Purtilo, Pankaj Jalote
1990 J jnl
Final Report on Workshop on Integrated Approach for Fault Tolerance - Current State and Future Requirements.
ACM SIGOPS Oper. Syst. Rev.
Pankaj Jalote, Satish K. Tripathi
1990 J jnl
Functional Semantics of Programs with Exceptions.
Comput. Lang.
Jean-Chrysostome Bolot, Pankaj Jalote
1989 — conf
A system for supporting multi-language versions for software fault tolerance.
FTCS
James M. Purtilo, Pankaj Jalote
1989 A conf
An environment for prototyping distributed applications.
ICDCS
James M. Purtilo, Pankaj Jalote
1989 J jnl
Analytic Models for the Primary Site Approach to Fault-Tolerance.
Acta Informatica
Yennun Huang, Pankaj Jalote
1989 B conf
Availability Analysis of the Primary Site Approach for Fault Tolerance.
SRDS
Yennun Huang, Pankaj Jalote
1989 A* conf
Fault Tolerant Commit Protocols.
ICDE
Shyan-Ming Yuan, Pankaj Jalote
1989 J jnl
Fault Tolerant Processes.
Distributed Comput.
Pankaj Jalote
1989 — conf
Formal verification of programs with exceptions.
FTCS
Jean-Chrysostome Bolot, Pankaj Jalote
1989 J jnl
Functional Refinement and Nested Objects for Object-Oriented Design.
IEEE Trans. Software Eng.
Pankaj Jalote
1989 J jnl
Resilient Objects in Broadcast Networks.
IEEE Trans. Software Eng.
Pankaj Jalote
1989 J jnl
SAHAYO: A Test Bed Evaluating Dynamic Load-sharing Policies.
Softw. Pract. Exp.
Piyush Dikshit, Satish K. Tripathi, Pankaj Jalote
1989 J jnl
Testing the Completeness of Specifications.
IEEE Trans. Software Eng.
Pankaj Jalote
1988 B conf
Automated testcase generation for data abstraction.
COMPSAC
Pankaj Jalote, Mallaku G. Caballero
1988 A conf
Fault Tolerant Remote Procedure Call.
ICDCS
Kiam S. Yap, Pankaj Jalote, Satish K. Tripathi
1988 J jnl
On fault tolerance in manufacturing systems.
IEEE Netw.
Prasad R. Chintamaneni, Pankaj Jalote, Yuan-Bao Shieh, Satish K. Tripathi
1988 — conf
Robust search methods for B-trees.
FTCS
Kikuo Fujimura, Pankaj Jalote
1987 J jnl
Synthesizing Implementations of Abstract Data Types from Axiomatic Specifications.
Softw. Pract. Exp.
Pankaj Jalote
1986 J jnl
Atomic Actions for Fault-Tolerance Using CSP.
IEEE Trans. Software Eng.
Pankaj Jalote, Roy H. Campbell
1986 A conf
Using Broadcasting for Multiprocess Recovery.
ICDCS
Pankaj Jalote
1985 — —
Atomic Actions in Concurrent Systems (fault-Tolerance, Control)
Pankaj Jalote
1985 A conf
Atomic Actions in Concurrent Systems.
ICDCS
Pankaj Jalote, Roy H. Campbell
1984 A* conf
The Delay/Re-Read Protocol for Concurrency Control in Databases.
ICDE
M. Dennis Mickunas, Pankaj Jalote, Roy H. Campbell