The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Padmanabhan Krishnan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Padmanabhan Krishnan
    Consistency checks for UML. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:162-0 [Conf]
  2. Padmanabhan Krishnan
    Uniform Descriptions for Model Based Testing. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2004, pp:96-105 [Conf]
  3. Lei Wang, Padmanabhan Krishnan
    A Framework for Checking Behavioral Compatibility for Component Selection. [Citation Graph (0, 0)][DBLP]
    ASWEC, 2006, pp:49-60 [Conf]
  4. 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]
  5. 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]
  6. Padmanabhan Krishnan
    Distributed CCS. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:393-407 [Conf]
  7. 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]
  8. Padmanabhan Krishnan
    A Semantics for Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:307-320 [Conf]
  9. 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]
  10. Padmanabhan Krishnan, Peter D. Mosses
    Specifying Asynchronous Transfer of Control. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:291-306 [Conf]
  11. Padmanabhan Krishnan
    Analysis of initial use case descriptions. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2004, pp:24-29 [Conf]
  12. Padmanabhan Krishnan
    Providing Assistance for Proofs in the Teaching of Theory of Computation. [Citation Graph (0, 0)][DBLP]
    ICCE, 2002, pp:1083-1084 [Conf]
  13. Padmanabhan Krishnan, Lai Wang
    Supporting Partial Component Matching. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2004, pp:294-303 [Conf]
  14. 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]
  15. Padmanabhan Krishnan
    Decomposing Controllers into Non-conflicting Distributed Controllers. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:511-526 [Conf]
  16. Shane Bracher, Padmanabhan Krishnan
    Enabling Security Testing from Specification to Code. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:150-166 [Conf]
  17. Padmanabhan Krishnan
    A Model for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:298-307 [Conf]
  18. Padmanabhan Krishnan
    A Framework for Security and Control. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2002, pp:584-589 [Conf]
  19. 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]
  20. Padmanabhan Krishnan
    Distributed timed automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
  21. Padmanabhan Krishnan
    Architectural CCS. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:2, pp:162-187 [Journal]
  22. Padmanabhan Krishnan
    Decomposing Timed Push Down Automata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:45, n:3, pp:215-229 [Journal]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Kahn Mason, Padmanabhan Krishnan
    Decomposition of Timed Automata. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1999, v:5, n:9, pp:574-587 [Journal]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]

  33. Model-Based Security Vulnerability Testing. [Citation Graph (, )][DBLP]


  34. Model-Based Testing and the UML Testing Profile. [Citation Graph (, )][DBLP]


  35. Industry Academia Collaboration: An Experience Report at a Small University. [Citation Graph (, )][DBLP]


  36. Implementing secure document circulation: a prototype. [Citation Graph (, )][DBLP]


  37. Data generation in model-based testing. [Citation Graph (, )][DBLP]


  38. Testing Privacy Policies Using Models. [Citation Graph (, )][DBLP]


  39. Automated Software Testing of Asynchronous Systems. [Citation Graph (, )][DBLP]


Search in 0.904secs, Finished in 0.906secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002