Implementation of task types in distributed Ada. - Padmanabhan Krishnan; Richard A. Volz; Ron Theriault (IRTAW, 1988)

A Distributed Real-Time Language and Its Operational Semantics. - Padmanabhan Krishnan; Richard A. Volz (RTSS, 1989)

Translation and Execution of Distributed Ada Programs: Is It Still Ada? - Richard A. Volz; Trevor N. Mudge; Gregory D. Buzzard; Padmanabhan Krishnan (IEEE Trans. Software Eng., 1989)

A distributed real-time language and its operational semantics. - Padmanabhan Krishnan (1989)

Distributed CCS. - Padmanabhan Krishnan (CONCUR, 1991)

Real-time action. - Padmanabhan Krishnan (RTS, 1991)

A Model for Real-Time Systems. - Padmanabhan Krishnan (MFCS, 1991)

A Semantics for Multiprocessor Systems. - Padmanabhan Krishnan (ESOP, 1992)

Specifying Asynchronous Transfer of Control. - Padmanabhan Krishnan; Peter D. Mosses (FTRTFT, 1992)

Specification of systems with interrupts. - Padmanabhan Krishnan (J. Syst. Softw., 1993)

Formal methods and design extraction: a pilot study. - Padmanabhan Krishnan (Inf. Softw. Technol., 1994)

A case study in specifying and testing architectural features. - Padmanabhan Krishnan (Microprocess. Microsystems, 1994)

Corrigendum. - Padmanabhan Krishnan (Microprocess. Microsystems, 1994)

A Semantic Characterisation for Faults in Replicated Systems. - Padmanabhan Krishnan (Theor. Comput. Sci., 1994)

Deriving distributed processes from concurrent processes. - Padmanabhan Krishnan (Inf. Softw. Technol., 1995)

A Process Algebraic View of Linear Logic. - Padmanabhan Krishnan; Jane Hopkins (DMTCS, 1996)

Architectural CCS. - Padmanabhan Krishnan (Formal Aspects Comput., 1996)

An Asynchronous Calculus Based on the Absence of Actions. - Padmanabhan Krishnan (J. Univers. Comput. Sci., 1997)

Distributed timed automata. - Padmanabhan Krishnan (WDS@FCT, 1999)

Issues Related to Distributed Processing of Picture Languages. - Padmanabhan Krishnan (J. Univers. Comput. Sci., 1999)

Decomposition of Timed Automata. - Kahn Mason; Padmanabhan Krishnan (J. Univers. Comput. Sci., 1999)

Consistency checks for UML. - Padmanabhan Krishnan (APSEC, 2000)

Automatic synthesis of schedulers in timed systems. - Padmanabhan Krishnan (CATS, 2000)

An Environment for Specifying and Verifying Security Properties. - Andre Renaud; Padmanabhan Krishnan (Australian Software Engineering Conference, 2001)

Decomposing Timed Push Down Automata. - Padmanabhan Krishnan (Fundam. Informaticae, 2001)

Prototyping Electronic Commerce Systems Using Esterel. - Padmanabhan Krishnan (J. Organ. Comput. Electron. Commer., 2001)

Using Model Checking to Test a Firewall : A Case Study. - Padmanabhan Krishnan; Danita Hartley (EUROMICRO, 2002)

Providing Assistance for Proofs in the Teaching of Theory of Computation. - Padmanabhan Krishnan (ICCE, 2002)

A Framework for Security and Control. - Padmanabhan Krishnan (PDPTA, 2002)

A tool based approach to checking logical consistency in accident reports. - Padmanabhan Krishnan (Reliab. Eng. Syst. Saf., 2002)

User Assisted Verification of Non-Repudiation and Similar Properties. - Padmanabhan Krishnan; Robert Bannerman (Security and Management, 2003)

Automatic synthesis of a subclass of schedulers in timed systems. - Padmanabhan Krishnan (Theor. Comput. Sci., 2003)

Uniform Descriptions for Model Based Testing. - Padmanabhan Krishnan (Australian Software Engineering Conference, 2004)

Analysis of initial use case descriptions. - Padmanabhan Krishnan (IASTED Conf. on Software Engineering, 2004)

Supporting Partial Component Matching. - Padmanabhan Krishnan; Lei Wang (ICDCIT, 2004)

Decomposing Controllers into Non-conflicting Distributed Controllers. - Padmanabhan Krishnan (ICTAC, 2004)

Independent examination of software: an experiment. - Padmanabhan Krishnan (Inf. Softw. Technol., 2004)

Enabling Security Testing from Specification to Code. - Shane Bracher; Padmanabhan Krishnan (IFM, 2005)

A Framework for Checking Behavioral Compatibility for Component Selection. - Lei Wang; Padmanabhan Krishnan (ASWEC, 2006)

Verifying BPEL Workflows Under Authorisation Constraints. - Xiangpeng Zhao; Antonio Cerone; Padmanabhan Krishnan (Business Process Management, 2006)

An Approach to Provisioning E-Commerce Applications with Commercial Components. - Lei Wang; Padmanabhan Krishnan (ICEBE, 2006)

ERP-ORE: A Framework to Measure Organizational Risk during ERP Systems Evolution in a Distribution Business. - Aditya Agrawal; Gavin Finnie; Padmanabhan Krishnan (ACIS, 2007)

Model-Based Security Vulnerability Testing. - Percy Antonio Pari Salas; Padmanabhan Krishnan; Kelvin J. Ross (ASWEC, 2007)

Specification for Testing. - Chris George; Padmanabhan Krishnan; Percy Antonio Pari Salas; Jeff W. Sanders (Formal Methods and Hybrid Real-Time Systems, 2007)

ORE: A Framework to Measure Organizational Risk Du. - Aditya Agrawal; Gavin Finnie; Padmanabhan Krishnan (ISD (2), 2007)

A Taxonomy of E-Health Standards to Assist System Developers. - Emma Chávez; Padmanabhan Krishnan; Gavin Finnie (ISD, 2008)

Implementing secure document circulation: a prototype. - Shane Bracher; Padmanabhan Krishnan (SAC, 2008)

Testing Privacy Policies Using Models. - Percy Antonio Pari Salas; Padmanabhan Krishnan (SEFM, 2008)

Model-Based Testing and the UML Testing Profile. - Padmanabhan Krishnan; Percy Antonio Pari Salas (Semantics and Algebraic Specification, 2009)

Industry Academia Collaboration: An Experience Report at a Small University. - Padmanabhan Krishnan; Kelvin J. Ross; Percy Antonio Pari Salas (CSEE&T, 2009)

Applying Use Cases to Describe the Role of Standards in e-Health Information Systems. - Emma Chávez; Gavin Finnie; Padmanabhan Krishnan (ISD, 2009)

Automated Software Testing of Asynchronous Systems. - Percy Antonio Pari Salas; Padmanabhan Krishnan (MBT@ETAPS, 2009)

Adding Service Engineering and Management to a Software Engineering Program. - Gavin Finnie; Padmanabhan Krishnan (CSEE&T, 2010)

Data generation in model-based testing. - Padmanabhan Krishnan; Percy Antonio Pari Salas (SAC, 2010)

A General Framework to Measure Organizational Risk during Information Systems Evolution and its Customization. - Aditya Agrawal; Gavin Finnie; Padmanabhan Krishnan (J. Res. Pract. Inf. Technol., 2010)

Applying Security Assurance Techniques to a Mobile Phone Application: An Initial Approach. - Padmanabhan Krishnan; Sergej Hafner; Andreas Zeiser (ICST Workshops, 2011)

Wildlife Enforcement Monitoring System (WEMS): A solution to support compliance of Multilateral Environmental Agreements. - Remi Chandran; Padmanabhan Krishnan; Khoi Nguyen (Gov. Inf. Q., 2011)

Effectiveness of Random Testing of Embedded Systems. - Padmanabhan Krishnan; R. Venkatesh 001; Prasad Bokil; Tukaram Muske; P. Vijay Suman (HICSS, 2012)

Combining Static Analysis and Constraint Solving for Automatic Test Case Generation. - Kostyantyn Vorobyov; Padmanabhan Krishnan (ICST, 2012)

A Certification Process for Android Applications. - Harsha K. Kalutarage; Padmanabhan Krishnan; Siraj Ahmed Shaikh (SEFM Satellite Events, 2012)

A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles - Siraj Ahmed Shaikh; Padmanabhan Krishnan (FTSCS, 2012)

Supporting Secure Information Flow: An Engineering Approach. - Shane Bracher; Padmanabhan Krishnan (Int. J. e Collab., 2012)

A Dynamic Approach to Locating Memory Leaks. - Kostyantyn Vorobyov; Padmanabhan Krishnan; Phil Stocks (ICTSS, 2013)

Guest editorial to the special section on SEFM 2009. - Padmanabhan Krishnan; Dang Van Hung; Antonio Cerone (Softw. Syst. Model., 2013)

A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking. - Manuel Valdiviezo; Cristina Cifuentes; Padmanabhan Krishnan (APLAS, 2014)

A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report. - Bernhard Scholz; Kostyantyn Vorobyov; Padmanabhan Krishnan; Till Westmann (ASWEC, 2015)

Staged Points-to Analysis for Large Code Bases. - Nicholas Allen; Bernhard Scholz; Padmanabhan Krishnan (CC, 2015)

Combining type-analysis with points-to analysis for analyzing Java library source-code. - Nicholas Allen; Padmanabhan Krishnan; Bernhard Scholz (SOAP@PLDI, 2015)

A concise specification language for trace monitoring. - Kostyantyn Vorobyov; Padmanabhan Krishnan; Phil Stocks (SAC, 2015)

Enforcement of privacy requirements. - Padmanabhan Krishnan; Kostyantyn Vorobyov (Comput. Secur., 2015)

Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques. - Prasad Bokil; Padmanabhan Krishnan; R. Venkatesh 001 (ACM SIGSOFT Softw. Eng. Notes, 2015)

A low-overhead, value-tracking approach to information flow security. - Kostyantyn Vorobyov; Padmanabhan Krishnan; Phil Stocks (Inf. Softw. Technol., 2016)

Improving the Scalability of Automatic Linearizability Checking in SPIN. - Patrick Doolan; Graeme Smith 001; Chenyi Zhang 001; Padmanabhan Krishnan (ICFEM, 2017)

An efficient tunable selective points-to analysis for large codebases. - Behnaz Hassanshahi; Raghavendra Kagalavadi Ramesh; Padmanabhan Krishnan; Bernhard Scholz; Yi Lu 003 (SOAP@PLDI, 2017)

Evaluating quality of security testing of the JDK. - Padmanabhan Krishnan; Jerome Loh; Rebecca O'Donoghue; Larissa Meinicke (A-TEST@ESEC/SIGSOFT FSE, 2017)

Inference of Security-Sensitive Entities in Libraries. - Yi Lu 003; Sora Bae; Padmanabhan Krishnan; K. R. Raghavendra (IEEE Symposium on Security and Privacy Workshops, 2017)

Machine learning for finding bugs: An initial report. - Timothy Chappell; Cristina Cifuentes; Padmanabhan Krishnan; Shlomo Geva (MaLTeSQuE, 2017)

Driver Generation for Java EE Web Applications. - Jens Dietrich 001; François Gauthier 001; Padmanabhan Krishnan (ASWEC, 2018)

Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions. - François Gauthier 001; Nathan Keynes; Nicholas Allen; Diane Corney; Padmanabhan Krishnan (SecDev, 2018)

Commit-time incremental analysis. - Padmanabhan Krishnan; Rebecca O'Donoghue; Nicholas Allen; Yi Lu 003 (SOAP@PLDI, 2019)

Trade-offs in managing risk and technical debt in industrial research labs: an experience report. - François Gauthier 001; Alexander Jordan; Padmanabhan Krishnan; Behnaz Hassanshahi; Jörn Guy Süß; Sora Bae; Hyunjun Lee (TechDebt@ICSE, 2020)

Coding Practices and Recommendations of Spring Security for Enterprise Applications. - Mazharul Islam; Sazzadur Rahaman; Na Meng 001; Behnaz Hassanshahi; Padmanabhan Krishnan; Danfeng Daphne Yao (SecDev, 2020)

Security Research: Program Analysis Meets Security. - Padmanabhan Krishnan (ICTAC Summmer School, 2021)

MoScan: a model-based vulnerability scanner for web single sign-on services. - Hanlin Wei; Behnaz Hassanshahi; Guangdong Bai; Padmanabhan Krishnan; Kostyantyn Vorobyov (ISSTA, 2021)

Scalable string analysis: an experience report. - Kostyantyn Vorobyov; Yang Zhao; Padmanabhan Krishnan (SOAP@PLDI, 2021)

Synthesis of Java Deserialisation Filters from Examples. - Kostyantyn Vorobyov; François Gauthier 001; Sora Bae; Padmanabhan Krishnan; Rebecca O'Donoghue (COMPSAC, 2022)

Macaron: A Logic-based Framework for Software Supply Chain Security Assurance. - Behnaz Hassanshahi; Trong Nhan Mai; Alistair Michael; Benjamin Selwyn-Smith; Sophie Bates; Padmanabhan Krishnan (SCORED@CCS, 2023)

Why Is Static Application Security Testing Hard to Learn? - Padmanabhan Krishnan; Cristina Cifuentes; Li Li 029; Tegawendé F. Bissyandé; Jacques Klein (IEEE Secur. Priv., 2023)

The role of program analysis in security vulnerability detection: Then and now. - Cristina Cifuentes; François Gauthier 001; Behnaz Hassanshahi; Padmanabhan Krishnan; Davin McCall (Comput. Secur., 2023)

Synthesis of Allowlists for Runtime Protection against SQLi. - Kostyantyn Vorobyov; François Gauthier 001; Padmanabhan Krishnan (NIER@ICSE, 2024)

Supporting Cross-language Cross-project Bug Localization Using Pre-trained Language Models. - Mahinthan Chandramohan; Dai Quoc Nguyen; Padmanabhan Krishnan; Jovan Jancic (CoRR, 2024)

Streamlining Security Vulnerability Triage with Large Language Models. - Mohammad Jalili Torkamani; Joey NG; Nikita Mehrotra; Mahinthan Chandramohan; Padmanabhan Krishnan; Rahul Purandare (CoRR, 2025)