 | 2009 |
|---|
| 37 |       | Padmanabhan Krishnan,
Kelvin J. Ross,
Percy Antonio Pari Salas:
Industry Academia Collaboration: An Experience Report at a Small University.
CSEE&T 2009: 117-121 |
| 36 | | Padmanabhan Krishnan,
Percy Antonio Pari Salas:
Model-Based Testing and the UML Testing Profile.
Semantics and Algebraic Specification 2009: 315-328 |
| 2008 |
|---|
| 35 | | Shane Bracher,
Padmanabhan Krishnan:
Implementing secure document circulation: a prototype.
SAC 2008: 1452-1456 |
| 34 | | Percy Antonio Pari Salas,
Padmanabhan Krishnan:
Testing Privacy Policies Using Models.
SEFM 2008: 117-126 |
| 2007 |
|---|
| 33 | | Percy Antonio Pari Salas,
Padmanabhan Krishnan,
Kelvin J. Ross:
Model-Based Security Vulnerability Testing.
ASWEC 2007: 284-296 |
| 32 | | Chris George,
Padmanabhan Krishnan,
Percy Antonio Pari Salas,
Jeff W. Sanders:
Specification for Testing.
Formal Methods and Hybrid Real-Time Systems 2007: 280-299 |
| 2006 |
|---|
| 31 | | Lei Wang,
Padmanabhan Krishnan:
A Framework for Checking Behavioral Compatibility for Component Selection.
ASWEC 2006: 49-60 |
| 30 | | Zhao Xiangpeng,
Antonio Cerone,
Padmanabhan Krishnan:
Verifying BPEL Workflows Under Authorisation Constraints.
Business Process Management 2006: 439-444 |
| 29 | | Lei Wang,
Padmanabhan Krishnan:
An Approach to Provisioning E-Commerce Applications with Commercial Components.
ICEBE 2006: 323-330 |
| 2005 |
|---|
| 28 | | Shane Bracher,
Padmanabhan Krishnan:
Enabling Security Testing from Specification to Code.
IFM 2005: 150-166 |
| 2004 |
|---|
| 27 | | Padmanabhan Krishnan:
Uniform Descriptions for Model Based Testing.
Australian Software Engineering Conference 2004: 96-105 |
| 26 |  | Padmanabhan Krishnan:
Analysis of initial use case descriptions.
IASTED Conf. on Software Engineering 2004: 24-29 |
| 25 | | Padmanabhan Krishnan,
Lei Wang:
Supporting Partial Component Matching.
ICDCIT 2004: 294-303 |
| 24 | | Padmanabhan Krishnan:
Decomposing Controllers into Non-conflicting Distributed Controllers.
ICTAC 2004: 511-526 |
| 23 | | Padmanabhan Krishnan:
Independent examination of software: an experiment.
Information & Software Technology 46(12): 847-856 (2004) |
| 2003 |
|---|
| 22 | | Padmanabhan Krishnan,
Robert Bannerman:
User Assisted Verification of Non-Repudiation and Similar Properties.
Security and Management 2003: 161-170 |
| 21 | | Padmanabhan Krishnan:
Automatic synthesis of a subclass of schedulers in timed systems.
Theor. Comput. Sci. 2(298): 347-363 (2003) |
| 2002 |
|---|
| 20 | | Padmanabhan Krishnan,
Danita Hartley:
Using Model Checking to Test a Firewall : A Case Study.
EUROMICRO 2002: 284-293 |
| 19 | | Padmanabhan Krishnan:
Providing Assistance for Proofs in the Teaching of Theory of Computation.
ICCE 2002: 1083-1084 |
| 18 | | Padmanabhan Krishnan:
A Framework for Security and Control.
PDPTA 2002: 584-589 |
| 2001 |
|---|
| 17 | | Andre Renaud,
Padmanabhan Krishnan:
An Environment for Specifying and Verifying Security Properties.
Australian Software Engineering Conference 2001: 203-212 |
| 16 | | Padmanabhan Krishnan:
Decomposing Timed Push Down Automata.
Fundam. Inform. 45(3): 215-229 (2001) |
| 2000 |
|---|
| 15 | | Padmanabhan Krishnan:
Consistency checks for UML.
APSEC 2000: 162- |
| 14 | | Padmanabhan Krishnan:
Automatic synthesis of schedulers in timed systems.
Electr. Notes Theor. Comput. Sci. 31: (2000) |
| 1999 |
|---|
| 13 | | Padmanabhan Krishnan:
Distributed timed automata.
Electr. Notes Theor. Comput. Sci. 28: (1999) |
| 12 | | Padmanabhan Krishnan:
Issues Related to Distributed Processing of Picture Languages.
J. UCS 5(9): 542-551 (1999) |
| 11 | | Kahn Mason,
Padmanabhan Krishnan:
Decomposition of Timed Automata.
J. UCS 5(9): 574-587 (1999) |
| 1997 |
|---|
| 10 | | Padmanabhan Krishnan:
An Asynchronous Calculus Based on the Absence of Actions.
J. UCS 3(12): 1415- (1997) |
| 1996 |
|---|
| 9 | | Padmanabhan Krishnan:
Architectural CCS.
Formal Asp. Comput. 8(2): 162-187 (1996) |
| 1994 |
|---|
| 8 | | Padmanabhan Krishnan:
A Semantic Characterisation for Faults in Replicated Systems.
Theor. Comput. Sci. 128(1&2): 159-177 (1994) |
| 1993 |
|---|
| 7 | | Padmanabhan Krishnan:
Specification of systems with interrupts.
Journal of Systems and Software 21(3): 291-304 (1993) |
| 1992 |
|---|
| 6 | | Padmanabhan Krishnan:
A Semantics for Multiprocessor Systems.
ESOP 1992: 307-320 |
| 5 | | Padmanabhan Krishnan,
Peter D. Mosses:
Specifying Asynchronous Transfer of Control.
FTRTFT 1992: 291-306 |
| 1991 |
|---|
| 4 | | Padmanabhan Krishnan:
Distributed CCS.
CONCUR 1991: 393-407 |
| 3 | | Padmanabhan Krishnan:
A Model for Real-Time Systems.
MFCS 1991: 298-307 |
| 1989 |
|---|
| 2 | | Padmanabhan Krishnan,
Richard A. Volz:
A Distributed Real-Time Language and Its Operational Semantics.
IEEE Real-Time Systems Symposium 1989: 41-51 |
| 1 | | 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) |
