The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Scott D. Stoller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Scott D. Stoller, Yanhong A. Liu
    Efficient Symbolic Detection of Global Properties in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:357-368 [Conf]
  2. Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu
    Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:264-279 [Conf]
  3. Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan
    Policy Analysis for Administrative Role Based Access Control. [Citation Graph (0, 0)][DBLP]
    CSFW, 2006, pp:124-138 [Conf]
  4. Yanhong A. Liu, Scott D. Stoller
    Dynamic Programming via Static Incrementalization. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:288-305 [Conf]
  5. Scott D. Stoller, Fred B. Schneider
    Automated Stream-Based Analysis of Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:113-122 [Conf]
  6. Rahul Agarwal, Liqiang Wang, Scott D. Stoller
    Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:191-207 [Conf]
  7. Yanhong A. Liu, Scott D. Stoller
    Loop Optimization for Aggregate Array Computations. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:262-271 [Conf]
  8. Scott D. Stoller
    A Bound on Attacks on Authentication Protocols. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:588-600 [Conf]
  9. Klaus Havelund, Scott D. Stoller, Shmuel Ur
    Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:286- [Conf]
  10. Scott D. Stoller
    Domain partitioning for open reactive systems. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:44-54 [Conf]
  11. Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller
    Optimized run-time race detection and atomicity checking using partial discovered types. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:233-242 [Conf]
  12. Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan
    Automated Software Engineering Using Concurrent Class Machines. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:297-0 [Conf]
  13. Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
    Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. [Citation Graph (0, 0)][DBLP]
    LCTES/OM, 2001, pp:102-111 [Conf]
  14. Scott D. Stoller
    A Bound on Attacks on Payment Protocols. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:61-70 [Conf]
  15. Scott D. Stoller, John DeTreville
    Storage Replication and Layout in Video-on-Demand Servers. [Citation Graph (0, 0)][DBLP]
    NOSSDAV, 1995, pp:330-341 [Conf]
  16. Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
    Implementing incrementalization across object abstraction. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2005, pp:112-113 [Conf]
  17. Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu
    Incrementalization across object abstraction. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:473-486 [Conf]
  18. Yanhong A. Liu, Scott D. Stoller
    Querying Complex Graphs. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:199-214 [Conf]
  19. Yanhong A. Liu, Scott D. Stoller
    From Recursion to Iteration: What are the Optimizations? [Citation Graph (0, 0)][DBLP]
    PEPM, 2000, pp:73-82 [Conf]
  20. Yanhong A. Liu, Scott D. Stoller
    Program optimization using indexed and recursive data structures. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:108-118 [Conf]
  21. Yanhong A. Liu, Scott D. Stoller
    Optimizing Ackermann's function by incrementalization. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:85-91 [Conf]
  22. Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu
    Parametric regular path queries. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:219-230 [Conf]
  23. Scott D. Stoller
    Lower and Upper Bounds for Attacks on Authentication Protocols. [Citation Graph (0, 0)][DBLP]
    PODC, 1999, pp:283- [Conf]
  24. Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
    Discovering Auxiliary Information for Incremental Computation. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:157-170 [Conf]
  25. Yanhong A. Liu, Scott D. Stoller
    From datalog rules to efficient programs with time and space guarantees. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:172-183 [Conf]
  26. Liqiang Wang, Scott D. Stoller
    Static analysis of atomicity for programs with non-blocking synchronization. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2005, pp:61-71 [Conf]
  27. Liqiang Wang, Scott D. Stoller
    Accurate and efficient runtime detection of atomicity errors in concurrent programs. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2006, pp:137-146 [Conf]
  28. Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller
    Automated type-based analysis of data races and atomicity. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2005, pp:83-94 [Conf]
  29. Yanhong A. Liu, Ning Li, Scott D. Stoller
    Solving Regular Tree Grammar Based Constraints. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:213-233 [Conf]
  30. Yanhong A. Liu, Scott D. Stoller
    Eliminating Dead Code on Recursive Data. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:211-231 [Conf]
  31. Yaron Minsky, Robbert van Renesse, Fred B. Schneider, Scott D. Stoller
    Cryptographic support for fault-tolerant distributed computing. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1996, pp:109-114 [Conf]
  32. Scott D. Stoller
    Model-Checking Multi-threaded Distributed Java Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:224-244 [Conf]
  33. Scott D. Stoller, Yanhong A. Liu
    Transformations for Model Checking Distributed Java Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:192-199 [Conf]
  34. Scott D. Stoller, Ernie Cohen
    Optimistic Synchronization-Based State-Space Reduction. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:489-504 [Conf]
  35. Douglas J. Howe, Scott D. Stoller
    An Operational Approach to Combining Classical Set Theory and Functional Programming Languages. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:36-55 [Conf]
  36. Rahul Agarwal, Scott D. Stoller
    Type Inference for Parameterized Race-Free Java. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:149-160 [Conf]
  37. Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
    Optimized Live Heap Bound Analysis. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:70-85 [Conf]
  38. Scott D. Stoller
    Detecting Global Predicates in Distributed Systems with Clocks. [Citation Graph (0, 0)][DBLP]
    WDAG, 1997, pp:185-199 [Conf]
  39. Scott D. Stoller, Fred B. Schneider
    Faster Possibility Detection by Combining Two Approaches. [Citation Graph (0, 0)][DBLP]
    WDAG, 1995, pp:318-332 [Conf]
  40. Scott D. Stoller
    Detecting Global Predicates in Distributed Systems with Clocks. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2000, v:13, n:2, pp:85-98 [Journal]
  41. Byron Cook, Scott D. Stoller, Willem Visser
    SoftMC 2003: Workshop on Software Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
  42. Byron Cook, Scott D. Stoller, Willem Visser
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:1-2 [Journal]
  43. Scott D. Stoller
    Testing Concurrent Java Programs using Randomized Scheduling. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
  44. Scott D. Stoller, Willem Visser
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
  45. Liqiang Wang, Scott D. Stoller
    Run-Time Analysis for Atomicity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  46. Scott D. Stoller, Fred B. Schneider
    Automated Analysis of Fault-Tolerance in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:2, pp:183-196 [Journal]
  47. Scott D. Stoller, Willem Visser
    Foreword. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:2, pp:75-76 [Journal]
  48. Scott D. Stoller, Ernie Cohen
    Optimistic synchronization-based state-space reduction. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:28, n:3, pp:263-289 [Journal]
  49. Yanhong A. Liu, Scott D. Stoller
    Dynamic Programming via Static Incrementalization. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:1-2, pp:37-62 [Journal]
  50. Yanhong A. Liu, Scott D. Stoller
    Eliminating dead code on recursive data. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:47, n:2-3, pp:221-242 [Journal]
  51. Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
    Strengthening invariants for efficient computation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:41, n:2, pp:139-172 [Journal]
  52. Scott D. Stoller, Fred B. Schneider
    Verifying Programs That Use Causally-Ordered Message-Passing. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:24, n:2, pp:105-128 [Journal]
  53. Yanhong A. Liu, Scott D. Stoller
    ETAPS '99 - Conference Report. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1999, v:34, n:6, pp:16-17 [Journal]
  54. Scott D. Stoller
    Model-checking multi-threaded distributed Java programs. [Citation Graph (0, 0)][DBLP]
    STTT, 2002, v:4, n:1, pp:71-91 [Journal]
  55. Scott D. Stoller
    Leader Election in Asynchronous Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2000, v:49, n:3, pp:283-284 [Journal]
  56. Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel
    Optimizing aggregate array computations in loops. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:91-125 [Journal]
  57. Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
    Static Caching for Incremental Computation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:3, pp:546-585 [Journal]
  58. Scott D. Stoller
    Addendum to ``Proof Rules for Flush Channels''. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:8, pp:664- [Journal]
  59. Liqiang Wang, Scott D. Stoller
    Runtime Analysis of Atomicity for Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:2, pp:93-110 [Journal]

  60. Efficient policy analysis for administrative role based access control. [Citation Graph (, )][DBLP]


  61. Security policy analysis using deductive spreadsheets. [Citation Graph (, )][DBLP]


  62. HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. [Citation Graph (, )][DBLP]


  63. A language and framework for invariant-driven transformations. [Citation Graph (, )][DBLP]


  64. Software monitoring with bounded overhead. [Citation Graph (, )][DBLP]


  65. 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). [Citation Graph (, )][DBLP]


  66. Efficient runtime invariant checking: a framework and case study. [Citation Graph (, )][DBLP]


  67. Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. [Citation Graph (, )][DBLP]


  68. Parametric heap usage analysis for functional programs. [Citation Graph (, )][DBLP]


  69. Efficient type inference for secure information flow. [Citation Graph (, )][DBLP]


  70. Symbolic reachability analysis for parameterized administrative role based access control. [Citation Graph (, )][DBLP]


  71. Analysis and Transformations for Efficient Query-Based Debugging. [Citation Graph (, )][DBLP]


  72. Verification of Security Policy Enforcement in Enterprise Systems. [Citation Graph (, )][DBLP]


  73. RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. [Citation Graph (, )][DBLP]


  74. Trust Management and Trust Negotiation in an Extension of SQL. [Citation Graph (, )][DBLP]


  75. Towards a framework and a benchmark for testing tools for multi-threaded programs. [Citation Graph (, )][DBLP]


Search in 0.087secs, Finished in 0.091secs
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