|
Search the dblp DataBase
Padmanabhan Krishnan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Padmanabhan Krishnan
Consistency checks for UML. [Citation Graph (0, 0)][DBLP] APSEC, 2000, pp:162-0 [Conf]
- Padmanabhan Krishnan
Uniform Descriptions for Model Based Testing. [Citation Graph (0, 0)][DBLP] Australian Software Engineering Conference, 2004, pp:96-105 [Conf]
- Lei Wang, Padmanabhan Krishnan
A Framework for Checking Behavioral Compatibility for Component Selection. [Citation Graph (0, 0)][DBLP] ASWEC, 2006, pp:49-60 [Conf]
- Andre Renaud, Padmanabhan Krishnan
An Environment for Specifying and Verifying Security Properties. [Citation Graph (0, 0)][DBLP] Australian Software Engineering Conference, 2001, pp:203-212 [Conf]
- Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishnan
Verifying BPEL Workflows Under Authorisation Constraints. [Citation Graph (0, 0)][DBLP] Business Process Management, 2006, pp:439-444 [Conf]
- Padmanabhan Krishnan
Distributed CCS. [Citation Graph (0, 0)][DBLP] CONCUR, 1991, pp:393-407 [Conf]
- Padmanabhan Krishnan, Robert Bannerman
User Assisted Verification of Non-Repudiation and Similar Properties. [Citation Graph (0, 0)][DBLP] Security and Management, 2003, pp:161-170 [Conf]
- Padmanabhan Krishnan
A Semantics for Multiprocessor Systems. [Citation Graph (0, 0)][DBLP] ESOP, 1992, pp:307-320 [Conf]
- Padmanabhan Krishnan, Danita Hartley
Using Model Checking to Test a Firewall : A Case Study. [Citation Graph (0, 0)][DBLP] EUROMICRO, 2002, pp:284-293 [Conf]
- Padmanabhan Krishnan, Peter D. Mosses
Specifying Asynchronous Transfer of Control. [Citation Graph (0, 0)][DBLP] FTRTFT, 1992, pp:291-306 [Conf]
- Padmanabhan Krishnan
Analysis of initial use case descriptions. [Citation Graph (0, 0)][DBLP] IASTED Conf. on Software Engineering, 2004, pp:24-29 [Conf]
- Padmanabhan Krishnan
Providing Assistance for Proofs in the Teaching of Theory of Computation. [Citation Graph (0, 0)][DBLP] ICCE, 2002, pp:1083-1084 [Conf]
- Padmanabhan Krishnan, Lai Wang
Supporting Partial Component Matching. [Citation Graph (0, 0)][DBLP] ICDCIT, 2004, pp:294-303 [Conf]
- Lei Wang, Padmanabhan Krishnan
An Approach to Provisioning E-Commerce Applications with Commercial Components. [Citation Graph (0, 0)][DBLP] ICEBE, 2006, pp:323-330 [Conf]
- Padmanabhan Krishnan
Decomposing Controllers into Non-conflicting Distributed Controllers. [Citation Graph (0, 0)][DBLP] ICTAC, 2004, pp:511-526 [Conf]
- Shane Bracher, Padmanabhan Krishnan
Enabling Security Testing from Specification to Code. [Citation Graph (0, 0)][DBLP] IFM, 2005, pp:150-166 [Conf]
- Padmanabhan Krishnan
A Model for Real-Time Systems. [Citation Graph (0, 0)][DBLP] MFCS, 1991, pp:298-307 [Conf]
- Padmanabhan Krishnan
A Framework for Security and Control. [Citation Graph (0, 0)][DBLP] PDPTA, 2002, pp:584-589 [Conf]
- Padmanabhan Krishnan, Richard A. Volz
A Distributed Real-Time Language and Its Operational Semantics. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1989, pp:41-51 [Conf]
- Padmanabhan Krishnan
Distributed timed automata. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
- Padmanabhan Krishnan
Architectural CCS. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1996, v:8, n:2, pp:162-187 [Journal]
- Padmanabhan Krishnan
Decomposing Timed Push Down Automata. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2001, v:45, n:3, pp:215-229 [Journal]
- Padmanabhan Krishnan
Independent examination of software: an experiment. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 2004, v:46, n:12, pp:847-856 [Journal]
- Padmanabhan Krishnan
Specification of systems with interrupts. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1993, v:21, n:3, pp:291-304 [Journal]
- Padmanabhan Krishnan
An Asynchronous Calculus Based on the Absence of Actions. [Citation Graph (0, 0)][DBLP] J. UCS, 1997, v:3, n:12, pp:1415-0 [Journal]
- Padmanabhan Krishnan
Issues Related to Distributed Processing of Picture Languages. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:9, pp:542-551 [Journal]
- Kahn Mason, Padmanabhan Krishnan
Decomposition of Timed Automata. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:9, pp:574-587 [Journal]
- Padmanabhan Krishnan
Automatic synthesis of schedulers in timed systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:31, n:, pp:- [Journal]
- Padmanabhan Krishnan
Automatic synthesis of a subclass of schedulers in timed systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:2, n:298, pp:347-363 [Journal]
- Padmanabhan Krishnan
A Semantic Characterisation for Faults in Replicated Systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:128, n:1&2, pp:159-177 [Journal]
- Richard A. Volz, Trevor N. Mudge, Gregory D. Buzzard, Padmanabhan Krishnan
Translation and Execution of Distributed Ada Programs: Is It Still Ada? [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1989, v:15, n:3, pp:281-292 [Journal]
- Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders
Specification for Testing. [Citation Graph (0, 0)][DBLP] Formal Methods and Hybrid Real-Time Systems, 2007, pp:280-299 [Conf]
Model-Based Security Vulnerability Testing. [Citation Graph (, )][DBLP]
Model-Based Testing and the UML Testing Profile. [Citation Graph (, )][DBLP]
Industry Academia Collaboration: An Experience Report at a Small University. [Citation Graph (, )][DBLP]
Implementing secure document circulation: a prototype. [Citation Graph (, )][DBLP]
Data generation in model-based testing. [Citation Graph (, )][DBLP]
Testing Privacy Policies Using Models. [Citation Graph (, )][DBLP]
Automated Software Testing of Asynchronous Systems. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.154secs
|