default search action
Padmanabhan Krishnan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c66]Kostyantyn Vorobyov
, François Gauthier
Synthesis of Allowlists for Runtime Protection against SQLi. NIER@ICSE 2024: 16-20 - [i2]Mahinthan Chandramohan, Dai Quoc Nguyen, Padmanabhan Krishnan, Jovan Jancic:
Supporting Cross-language Cross-project Bug Localization Using Pre-trained Language Models. CoRR abs/2407.02732 (2024) - 2023
- [j25]Cristina Cifuentes, François Gauthier, Behnaz Hassanshahi, Padmanabhan Krishnan
The role of program analysis in security vulnerability detection: Then and now. Comput. Secur. 135: 103463 (2023) - [j24]Padmanabhan Krishnan
Why Is Static Application Security Testing Hard to Learn? IEEE Secur. Priv. 21(5): 68-72 (2023) - [c65]Behnaz Hassanshahi
Macaron: A Logic-based Framework for Software Supply Chain Security Assurance. SCORED@CCS 2023: 29-37 - 2022
- [c64]Kostyantyn Vorobyov, François Gauthier, Sora Bae, Padmanabhan Krishnan, Rebecca O'Donoghue:
Synthesis of Java Deserialisation Filters from Examples. COMPSAC 2022: 736-745 - 2021
- [c63]Padmanabhan Krishnan:
Security Research: Program Analysis Meets Security. ICTAC Summmer School 2021: 162-168 - [c62]Hanlin Wei
MoScan: a model-based vulnerability scanner for web single sign-on services. ISSTA 2021: 678-681 - [c61]Kostyantyn Vorobyov
Scalable string analysis: an experience report. SOAP@PLDI 2021: 43-48 - 2020
- [c60]François Gauthier, Alexander Jordan, Padmanabhan Krishnan, Behnaz Hassanshahi, Jörn Guy Süß
Trade-offs in managing risk and technical debt in industrial research labs: an experience report. TechDebt@ICSE 2020: 98-102 - [c59]Mazharul Islam, Sazzadur Rahaman, Na Meng, Behnaz Hassanshahi, Padmanabhan Krishnan, Danfeng Daphne Yao
Coding Practices and Recommendations of Spring Security for Enterprise Applications. SecDev 2020: 49-57 - [i1]Mazharul Islam, Sazzadur Rahaman, Na Meng, Behnaz Hassanshahi, Padmanabhan Krishnan, Danfeng Yao:
Coding Practices and Recommendations of Spring Security for Enterprise Applications. CoRR abs/2007.14319 (2020)
2010 – 2019
- 2019
- [c58]Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, Yi Lu:
Commit-time incremental analysis. SOAP@PLDI 2019: 26-31 - 2018
- [c57]Jens Dietrich
Driver Generation for Java EE Web Applications. ASWEC 2018: 121-125 - [c56]François Gauthier, Nathan Keynes, Nicholas Allen, Diane Corney, Padmanabhan Krishnan:
Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions. SecDev 2018: 134 - 2017
- [c55]Patrick Doolan, Graeme Smith
Improving the Scalability of Automatic Linearizability Checking in SPIN. ICFEM 2017: 105-121 - [c54]Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, Yi Lu:
An efficient tunable selective points-to analysis for large codebases. SOAP@PLDI 2017: 13-18 - [c53]Padmanabhan Krishnan, Jerome Loh, Rebecca O'Donoghue, Larissa Meinicke
Evaluating quality of security testing of the JDK. A-TEST@ESEC/SIGSOFT FSE 2017: 19-20 - [c52]Yi Lu, Sora Bae, Padmanabhan Krishnan, K. R. Raghavendra:
Inference of Security-Sensitive Entities in Libraries. IEEE Symposium on Security and Privacy Workshops 2017: 102-109 - [c51]Timothy Chappell, Cristina Cifuentes, Padmanabhan Krishnan, Shlomo Geva:
Machine learning for finding bugs: An initial report. MaLTeSQuE 2017: 21-26 - [e2]Padmanabhan Krishnan, P. Radha Krishna, Laxmi Parida:
Distributed Computing and Internet Technology - 13th International Conference, ICDCIT 2017, Bhubaneswar, India, January 13-16, 2017, Proceedings. Lecture Notes in Computer Science 10109, Springer 2017, ISBN 978-3-319-50471-1 [contents] - 2016
- [j23]Kostyantyn Vorobyov, Padmanabhan Krishnan
A low-overhead, value-tracking approach to information flow security. Inf. Softw. Technol. 73: 19-36 (2016) - 2015
- [j22]Padmanabhan Krishnan, Kostyantyn Vorobyov:
Enforcement of privacy requirements. Comput. Secur. 52: 164-177 (2015) - [j21]Prasad Bokil, Padmanabhan Krishnan, R. Venkatesh:
Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-8 (2015) - [c50]Bernhard Scholz, Kostyantyn Vorobyov, Padmanabhan Krishnan, Till Westmann:
A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report. ASWEC 2015: 28-37 - [c49]Nicholas Allen, Bernhard Scholz, Padmanabhan Krishnan:
Staged Points-to Analysis for Large Code Bases. CC 2015: 131-150 - [c48]Nicholas Allen, Padmanabhan Krishnan, Bernhard Scholz:
Combining type-analysis with points-to analysis for analyzing Java library source-code. SOAP@PLDI 2015: 13-18 - [c47]Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks:
A concise specification language for trace monitoring. SAC 2015: 1637-1640 - 2014
- [c46]Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan:
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking. APLAS 2014: 196-215 - 2013
- [j20]Padmanabhan Krishnan, Dang Van Hung, Antonio Cerone:
Guest editorial to the special section on SEFM 2009. Softw. Syst. Model. 12(2): 227-228 (2013) - [c45]Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks:
A Dynamic Approach to Locating Memory Leaks. ICTSS 2013: 255-270 - [c44]Padmanabhan Krishnan, Kostyantyn Vorobyov:
Enforcement of Privacy Requirements. SEC 2013: 272-285 - 2012
- [j19]Shane Bracher, Padmanabhan Krishnan:
Supporting Secure Information Flow: An Engineering Approach. Int. J. e Collab. 8(1): 17-35 (2012) - [c43]Padmanabhan Krishnan, R. Venkatesh, Prasad Bokil, Tukaram Muske, P. Vijay Suman:
Effectiveness of Random Testing of Embedded Systems. HICSS 2012: 5556-5563 - [c42]Kostyantyn Vorobyov, Padmanabhan Krishnan:
Combining Static Analysis and Constraint Solving for Automatic Test Case Generation. ICST 2012: 915-920 - [c41]Harsha K. Kalutarage
A Certification Process for Android Applications. SEFM Satellite Events 2012: 288-303 - [c40]Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks:
A Low-Overhead, Value-Tracking Approach to Information Flow Security. SEFM 2012: 367-381 - [c39]Siraj Ahmed Shaikh
A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles. FTSCS 2012: 85-99 - 2011
- [j18]Remi Chandran
Wildlife Enforcement Monitoring System (WEMS): A solution to support compliance of Multilateral Environmental Agreements. Gov. Inf. Q. 28(2): 231-238 (2011) - [c38]Padmanabhan Krishnan, Sergej Hafner, Andreas Zeiser:
Applying Security Assurance Techniques to a Mobile Phone Application: An Initial Approach. ICST Workshops 2011: 545-552 - 2010
- [j17]Aditya Agrawal, Gavin Finnie, Padmanabhan Krishnan:
A General Framework to Measure Organizational Risk during Information Systems Evolution and its Customization. J. Res. Pract. Inf. Technol. 42(1): 37-60 (2010) - [c37]Gavin Finnie, Padmanabhan Krishnan:
Adding Service Engineering and Management to a Software Engineering Program. CSEE&T 2010: 165-168 - [c36]Padmanabhan Krishnan, Percy Antonio Pari Salas:
Data generation in model-based testing. SAC 2010: 2211-2215
2000 – 2009
- 2009
- [c35]Padmanabhan Krishnan, Percy Antonio Pari Salas:
Model-Based Testing and the UML Testing Profile. Semantics and Algebraic Specification 2009: 315-328 - [c34]Padmanabhan Krishnan, Kelvin J. Ross, Percy Antonio Pari Salas:
Industry Academia Collaboration: An Experience Report at a Small University. CSEE&T 2009: 117-121 - [c33]Emma Chávez, Gavin Finnie, Padmanabhan Krishnan:
Applying Use Cases to Describe the Role of Standards in e-Health Information Systems. ISD 2009: 67-76 - [c32]Percy Antonio Pari Salas, Padmanabhan Krishnan:
Automated Software Testing of Asynchronous Systems. MBT@ETAPS 2009: 3-19 - [e1]Dang Van Hung, Padmanabhan Krishnan:
Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3870-9 [contents] - 2008
- [c31]Emma Chávez, Padmanabhan Krishnan, Gavin Finnie:
A Taxonomy of E-Health Standards to Assist System Developers. ISD 2008: 737-745 - [c30]Shane Bracher, Padmanabhan Krishnan:
Implementing secure document circulation: a prototype. SAC 2008: 1452-1456 - [c29]Percy Antonio Pari Salas, Padmanabhan Krishnan:
Testing Privacy Policies Using Models. SEFM 2008: 117-126 - 2007
- [c28]Aditya Agrawal, Gavin Finnie, Padmanabhan Krishnan:
ERP-ORE: A Framework to Measure Organizational Risk during ERP Systems Evolution in a Distribution Business. ACIS 2007 - [c27]Percy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross:
Model-Based Security Vulnerability Testing. ASWEC 2007: 284-296 - [c26]Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders:
Specification for Testing. Formal Methods and Hybrid Real-Time Systems 2007: 280-299 - [c25]Aditya Agrawal, Gavin Finnie, Padmanabhan Krishnan:
ORE: A Framework to Measure Organizational Risk Du. ISD (2) 2007: 675-686 - 2006
- [c24]Lei Wang, Padmanabhan Krishnan:
A Framework for Checking Behavioral Compatibility for Component Selection. ASWEC 2006: 49-60 - [c23]Xiangpeng Zhao, Antonio Cerone, Padmanabhan Krishnan:
Verifying BPEL Workflows Under Authorisation Constraints. Business Process Management 2006: 439-444 - [c22]Lei Wang, Padmanabhan Krishnan:
An Approach to Provisioning E-Commerce Applications with Commercial Components. ICEBE 2006: 323-330 - 2005
- [c21]Shane Bracher, Padmanabhan Krishnan:
Enabling Security Testing from Specification to Code. IFM 2005: 150-166 - 2004
- [j16]Padmanabhan Krishnan:
Independent examination of software: an experiment. Inf. Softw. Technol. 46(12): 847-856 (2004) - [c20]Padmanabhan Krishnan:
Uniform Descriptions for Model Based Testing. Australian Software Engineering Conference 2004: 96-105 - [c19]Padmanabhan Krishnan:
Analysis of initial use case descriptions. IASTED Conf. on Software Engineering 2004: 24-29 - [c18]Padmanabhan Krishnan, Lei Wang:
Supporting Partial Component Matching. ICDCIT 2004: 294-303 - [c17]Padmanabhan Krishnan:
Decomposing Controllers into Non-conflicting Distributed Controllers. ICTAC 2004: 511-526 - 2003
- [j15]Padmanabhan Krishnan:
Automatic synthesis of a subclass of schedulers in timed systems. Theor. Comput. Sci. 298(2): 347-363 (2003) - [c16]Padmanabhan Krishnan, Robert Bannerman:
User Assisted Verification of Non-Repudiation and Similar Properties. Security and Management 2003: 161-170 - 2002
- [j14]Padmanabhan Krishnan:
A tool based approach to checking logical consistency in accident reports. Reliab. Eng. Syst. Saf. 76(3): 217-226 (2002) - [c15]Padmanabhan Krishnan, Danita Hartley:
Using Model Checking to Test a Firewall : A Case Study. EUROMICRO 2002: 284-293 - [c14]Padmanabhan Krishnan:
Providing Assistance for Proofs in the Teaching of Theory of Computation. ICCE 2002: 1083-1084 - [c13]Padmanabhan Krishnan:
A Framework for Security and Control. PDPTA 2002: 584-589 - 2001
- [j13]Padmanabhan Krishnan:
Decomposing Timed Push Down Automata. Fundam. Informaticae 45(3): 215-229 (2001) - [j12]Padmanabhan Krishnan:
Prototyping Electronic Commerce Systems Using Esterel. J. Organ. Comput. Electron. Commer. 11(4): 215-228 (2001) - [c12]Andre Renaud, Padmanabhan Krishnan:
An Environment for Specifying and Verifying Security Properties. Australian Software Engineering Conference 2001: 203-212 - 2000
- [c11]Padmanabhan Krishnan:
Consistency checks for UML. APSEC 2000: 162- - [c10]Padmanabhan Krishnan:
Automatic synthesis of schedulers in timed systems. CATS 2000: 118-131
1990 – 1999
- 1999
- [j11]Padmanabhan Krishnan:
Issues Related to Distributed Processing of Picture Languages. J. Univers. Comput. Sci. 5(9): 542-551 (1999) - [j10]Kahn Mason, Padmanabhan Krishnan:
Decomposition of Timed Automata. J. Univers. Comput. Sci. 5(9): 574-587 (1999) - [c9]Padmanabhan Krishnan:
Distributed timed automata. WDS@FCT 1999: 5-21 - 1997
- [j9]Padmanabhan Krishnan:
An Asynchronous Calculus Based on the Absence of Actions. J. Univers. Comput. Sci. 3(12): 1415- (1997) - 1996
- [j8]Padmanabhan Krishnan:
Architectural CCS. Formal Aspects Comput. 8(2): 162-187 (1996) - [c8]Padmanabhan Krishnan, Jane Hopkins:
A Process Algebraic View of Linear Logic. DMTCS 1996: 308-320 - 1995
- [j7]Padmanabhan Krishnan:
Deriving distributed processes from concurrent processes. Inf. Softw. Technol. 37(10): 557-562 (1995) - 1994
- [j6]Padmanabhan Krishnan:
Formal methods and design extraction: a pilot study. Inf. Softw. Technol. 36(11): 675-681 (1994) - [j5]Padmanabhan Krishnan:
A case study in specifying and testing architectural features. Microprocess. Microsystems 18(3): 123-130 (1994) - [j4]Padmanabhan Krishnan:
Corrigendum. Microprocess. Microsystems 18(5): 299 (1994) - [j3]Padmanabhan Krishnan:
A Semantic Characterisation for Faults in Replicated Systems. Theor. Comput. Sci. 128(1&2): 159-177 (1994) - 1993
- [j2]Padmanabhan Krishnan:
Specification of systems with interrupts. J. Syst. Softw. 21(3): 291-304 (1993) - 1992
- [c7]Padmanabhan Krishnan:
A Semantics for Multiprocessor Systems. ESOP 1992: 307-320 - [c6]Padmanabhan Krishnan, Peter D. Mosses
Specifying Asynchronous Transfer of Control. FTRTFT 1992: 291-306 - 1991
- [c5]Padmanabhan Krishnan:
Distributed CCS. CONCUR 1991: 393-407 - [c4]Padmanabhan Krishnan:
Real-time action. RTS 1991: 174-182 - [c3]Padmanabhan Krishnan:
A Model for Real-Time Systems. MFCS 1991: 298-307
1980 – 1989
- 1989
- [b1]Padmanabhan Krishnan:
A distributed real-time language and its operational semantics. University of Michigan, USA, 1989 - [j1]Richard A. Volz, Trevor N. Mudge, Gregory D. Buzzard, Padmanabhan Krishnan:
Translation and Execution of Distributed Ada Programs: Is It Still Ada? IEEE Trans. Software Eng. 15(3): 281-292 (1989) - [c2]Padmanabhan Krishnan, Richard A. Volz:
A Distributed Real-Time Language and Its Operational Semantics. RTSS 1989: 41-50 - 1988
- [c1]Padmanabhan Krishnan, Richard A. Volz, Ron Theriault:
Implementation of task types in distributed Ada. IRTAW 1988: 104-107
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-28 01:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: