The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Phil Kearns: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jeffrey Dobbelaere, Phil Kearns, Jean Mayo
    The Advantages of Real Time in TORA. [Citation Graph (0, 0)][DBLP]
    CAINE, 2003, pp:225-229 [Conf]
  2. Robert Matthews, Phil Kearns
    On-Line Rollback in Log-Structured File Systems. [Citation Graph (0, 0)][DBLP]
    CAINE, 2003, pp:11-16 [Conf]
  3. Phil Kearns, Tracy Camp, Mohan Ahuja
    An Implementation of Flush Channels Based on a Verification Methodology. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1992, pp:336-343 [Conf]
  4. Jean Mayo, Phil Kearns
    Distributed Deadlock Detection and Resolution Based on Hardware Clocks. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1999, pp:208-215 [Conf]
  5. William S. Lloyd, Phil Kearns
    Bounding Sequence Numbers in Distributed Systems: a General Approach. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1990, pp:312-319 [Conf]
  6. Madalene Spezialetti, Phil Kearns
    Efficient Distributed Snapshots. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1986, pp:382-388 [Conf]
  7. Serge E. Hallyn, Phil Kearns
    Tools to Administer Domain and Type Enforcement. [Citation Graph (0, 0)][DBLP]
    LISA, 2001, pp:151-156 [Conf]
  8. Robert M. Marmorstein, Phil Kearns
    Firewall Analysis with Policy-based Host Classification. [Citation Graph (0, 0)][DBLP]
    LISA, 2006, pp:41-51 [Conf]
  9. Robert M. Marmorstein, Phil Kearns
    An Open Source Solution for Testing NAT'd and Nested iptables Firewalls. [Citation Graph (0, 0)][DBLP]
    LISA, 2005, pp:103-112 [Conf]
  10. James Deverick, Phil Kearns
    Towards a Deep-Packet-Filter Toolkit for Securing Legacy Resources. [Citation Graph (0, 0)][DBLP]
    LISA, 2005, pp:237-248 [Conf]
  11. Jean Mayo, Phil Kearns
    Efficient Distributed Termination Detection with Roughly Synchronized Clocks. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Systems, 1995, pp:305-307 [Conf]
  12. Anna Brunstrom, Phil Kearns
    A User Level Implementation of Flush Channels. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Systems, 1995, pp:125-128 [Conf]
  13. Sharon Simmons, Phil Kearns
    A Causal Assert Statement for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Systems, 1995, pp:495-498 [Conf]
  14. Natasha Jarymowycz, Phil Kearns
    Valid Debugging for Distributed Shared Memory. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2002, pp:624-630 [Conf]
  15. Phil Kearns, M. Freeman
    CCAL: An interpreted language for experimentation in concurrent control. [Citation Graph (0, 0)][DBLP]
    PLDI, 1987, pp:283-291 [Conf]
  16. Jean Mayo, Phil Kearns
    A secure unrestricted advanced systems laboratory. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1999, pp:165-169 [Conf]
  17. S. L. Peterson, Phil Kearns
    Rollback Based on Vector Time. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1993, pp:68-77 [Conf]
  18. Serge E. Hallyn, Phil Kearns
    Modular Construction of DTE Policies. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, FREENIX Track, 2004, pp:81-91 [Conf]
  19. Robert M. Marmorstein, Phil Kearns
    A Tool for Automated iptables Firewall Analysis. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, FREENIX Track, 2005, pp:71-81 [Conf]
  20. Phil Kearns, Jeffery E. Payne
    Time-based performance evaluation of protocols for distributed systems: an alternative to message counting. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 1990, pp:441-445 [Conf]
  21. Jean Mayo, Phil Kearns
    Distributed Termination Detection with Roughly Synchronized Clocks. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1994, v:52, n:2, pp:105-108 [Journal]
  22. Tracy Camp, Phil Kearns
    Fast batched data transfer with flush channels: A performance analysis. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 2006, v:66, n:6, pp:780-795 [Journal]
  23. Jean R. S. Blair, Phil Kearns, Mary Lou Soffa
    An optimistic implementation of the stack-heap. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1985, v:5, n:3, pp:193-202 [Journal]
  24. William S. Lloyd, Phil Kearns
    Tracing the execution of distributed programs. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1993, v:21, n:3, pp:201-214 [Journal]
  25. Phil Kearns
    A Correct and Unrestrictive Implementation of General Semaphores. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1988, v:22, n:4, pp:46-48 [Journal]
  26. Sharon Simmons, Dennis Edwards, Phil Kearns
    Communication analysis of distributed programs. [Citation Graph (0, 0)][DBLP]
    Scientific Programming, 2006, v:14, n:2, pp:151-170 [Journal]
  27. Tracy Camp, Phil Kearns, Mohan Ahuja
    Proof Rules for Flush Channels. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:4, pp:366-378 [Journal]

  28. Using tracing to direct our reasoning about distributed programs. [Citation Graph (, )][DBLP]


  29. Assisted Firewall Policy Repair Using Examples and History. [Citation Graph (, )][DBLP]


  30. A secure networked laboratory for kernel programming. [Citation Graph (, )][DBLP]


Search in 0.064secs, Finished in 0.066secs
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