The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ronald A. Olsson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chad D. Sterling, Ronald A. Olsson
    Automated bug isolation via program chipping. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2005, pp:23-32 [Conf]
  2. Matthew D. Roper, Ronald A. Olsson
    Developing embedded multi-threaded applications with CATAPULTS, a domain-specific language for generating thread schedulers. [Citation Graph (0, 0)][DBLP]
    CASES, 2005, pp:295-303 [Conf]
  3. Richard D. Schlichting, Gregory R. Andrews, Norman C. Hutchinson, Ronald A. Olsson, Larry L. Peterson
    Observations on Building Distributed Languages and Systems. [Citation Graph (0, 0)][DBLP]
    Experiences with Distributed Systems, 1987, pp:271-291 [Conf]
  4. Hiu Ning (Angela) Chan, Esteban Pauli, Billy Yan-Kit Man, Aaron W. Keen, Ronald A. Olsson
    An Exception Handling Mechanism for the Concurrent Invocation Statement. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2005, pp:699-709 [Conf]
  5. Takashi Ishihara, Tiejun Li, Eugene F. Fodor, Ronald A. Olsson
    A Comparison of Concurrent Programming and Cooperative Multithreading. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2000, pp:729-738 [Conf]
  6. Aaron W. Keen, Ronald A. Olsson
    Exception Handling during Asynchronous Method Invocation (Research Note). [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2002, pp:656-660 [Conf]
  7. Aaron W. Keen, Ronald A. Olsson
    An Inter-entry Invocation Selection Mechanism for Concurrent Programming Languages. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:770-780 [Conf]
  8. Billy Yan-Kit Man, Hiu Ning (Angela) Chan, Andrew J. Gallagher, Appu S. Goundan, Aaron W. Keen, Ronald A. Olsson
    Toward a Definition of and Linguistic Support for Partial Quiescence. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2006, pp:655-665 [Conf]
  9. Cui Zhang, Brian R. Becker, Dave Peticolas, Mark Heckman, Karl N. Levitt, Ronald A. Olsson
    Verification of a Distributed Computing. [Citation Graph (0, 0)][DBLP]
    HICSS (5), 1997, pp:252-261 [Conf]
  10. Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee
    Semantic issues in the design of languages for debugging. [Citation Graph (0, 0)][DBLP]
    ICCL, 1992, pp:252-261 [Conf]
  11. Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson
    JR: Flexible Distributed Programming in an Extended Java. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2001, pp:575-584 [Conf]
  12. Carole M. McNamee, Ronald A. Olsson
    Static Inter-Module Analysis for Determining Processor Co-Residency. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1992, pp:200-207 [Conf]
  13. Ronald A. Olsson, Carole M. McNamee
    An Overview of Compiler Optimization of Interprocess Communication and Synchronization Mechanisms. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1991, pp:31-35 [Conf]
  14. Eugene F. Fodor, Ronald A. Olsson
    Concurrent Language Support for Interoperable Applications. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP Workshops, 1999, pp:100-107 [Conf]
  15. Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines
    Workshop on Run-Time Systems for Parallel Programming (RTSPP). [Citation Graph (0, 0)][DBLP]
    IPDPS Workshops, 2000, pp:1134-1135 [Conf]
  16. Nija Shi, Ronald A. Olsson
    Reverse Engineering of Design Patterns from Java Source Code. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:123-134 [Conf]
  17. Gregory D. Benson, Ronald A. Olsson
    A Framework for Specializing Threads in Concurrent Run-Time Systems. [Citation Graph (0, 0)][DBLP]
    LCR, 1998, pp:139-152 [Conf]
  18. Gregory D. Benson, Ronald A. Olsson
    Towards Microkernel Support for the SR Concurrent Programming Language. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1996, pp:1513-1524 [Conf]
  19. Eugene F. Fodor, Ronald A. Olsson
    Cooperative Multithreading: Experience with Applications. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:1953-1957 [Conf]
  20. Robert M. Gebala, Carole M. McNamee, Ronald A. Olsson
    An Interpreter for an Imperative Concurrent Programming Language. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1996, pp:1561-0 [Conf]
  21. Takashi Ishihara, Aaron W. Keen, Justin T. Maris, Eric Wohlstadter, Ronald A. Olsson
    CoW: A Cooperative Multithreading Web Server. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2002, pp:991-996 [Conf]
  22. Robert J. Shaw, Ronald A. Olsson
    Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctnes. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1996, pp:1525-1548 [Conf]
  23. Mark Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson
    Towards Applying the Composition Principle to Verify a Microkernel Operating System. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1996, pp:235-250 [Conf]
  24. Cui Zhang, Brian R. Becker, Mark Heckman, Karl N. Levitt, Ronald A. Olsson
    A Hierarchical Method for Reasoning about Distributed Programming Languages. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:385-400 [Conf]
  25. Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark Heckman, Gregory D. Benson
    Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:29-42 [Conf]
  26. Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho
    Dalek: A GNU, Improved Programmable Debugger. [Citation Graph (0, 0)][DBLP]
    USENIX Summer, 1990, pp:221-232 [Conf]
  27. Mandy Chung, Ronald A. Olsson
    New Mechanisms for Invocation Handling in Concurrent Programming Languages. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1998, v:24, n:4, pp:245-270 [Journal]
  28. Michael H. Coffin, Ronald A. Olsson
    An SR Approach to Multiway Rendezvous. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1989, v:14, n:4, pp:255-262 [Journal]
  29. Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee
    Semantic Issues in the Design of Languages for Debugging. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1995, v:21, n:1, pp:17-37 [Journal]
  30. Daniel T. Huang, Ronald A. Olsson
    An Exception Handling Mechanism for SR. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1990, v:15, n:3, pp:163-176 [Journal]
  31. Justin T. Maris, Matthew D. Roper, Ronald A. Olsson
    DesCaRTeS: a run-time system with SR-like functionality for programming a network of embedded systems. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2003, v:29, n:4, pp:75-100 [Journal]
  32. Ronald A. Olsson, Carole M. McNamee
    Inter-Entry Selection: Non-Determinism and Explicit Control Mechanisms. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1992, v:17, n:4, pp:269-282 [Journal]
  33. Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson
    MCF: a malicious code filter. [Citation Graph (0, 0)][DBLP]
    Computers & Security, 1995, v:14, n:6, pp:541-566 [Journal]
  34. Aaron W. Keen, Takashi Ishihara, Justin T. Maris, Tiejun Li, Eugene F. Fodor, Ronald A. Olsson
    A comparison of concurrent programming and cooperative multithreading. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2003, v:15, n:1, pp:27-53 [Journal]
  35. Justin T. Maris, Aaron W. Keen, Takashi Ishihara, Ronald A. Olsson
    A comparison of concurrent programming and cooperative multithreading under load balancing applications. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2004, v:16, n:4, pp:345-369 [Journal]
  36. Ronald A. Olsson
    Reproducible execution of SR programs. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 1999, v:11, n:9, pp:479-507 [Journal]
  37. Gregory R. Andrews, Ronald A. Olsson
    The Evolution of the SR Language. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:3, pp:133-149 [Journal]
  38. Ronald A. Olsson, Daniel T. Huang
    Axiomatic Semantics for ``Escape'' Statements. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:1, pp:27-33 [Journal]
  39. Robert J. Shaw, Ronald A. Olsson
    Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctness. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1998, v:106, n:3-4, pp:259-275 [Journal]
  40. W. Wilson Ho, Ronald A. Olsson
    A layered model for building debugging and monitoring tools. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1996, v:34, n:3, pp:211-222 [Journal]
  41. Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho, Christopher E. Wee
    Sequential Debugging at a High Level of Abstraction. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1991, v:8, n:3, pp:27-36 [Journal]
  42. Nicholas J. Puketza, Mandy Chung, Ronald A. Olsson, Biswanath Mukherjee
    A Software Platform for Testing Intrusion Detection Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1997, v:14, n:5, pp:43-51 [Journal]
  43. M. Stella Atkins, Ronald A. Olsson
    Performance of Multi-tasking and Synchronization Mechanisms in the Programming Language SR. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1988, v:18, n:9, pp:879-895 [Journal]
  44. W. Wilson Ho, Ronald A. Olsson
    An Approach to Genuine Dynamic Linking. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1991, v:21, n:4, pp:375-390 [Journal]
  45. Ronald A. Olsson
    Using SR for Discrete Event Simulation: A Study in Concurrent Programming. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1990, v:20, n:12, pp:1187-1208 [Journal]
  46. Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho
    A Dataflow Approach to Event-based Debugging. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1991, v:21, n:2, pp:209-230 [Journal]
  47. Ronald A. Olsson, Carole M. McNamee
    Experience Using the C Preprocessor to Implement CCR, Monitor, and CSP Preprocessors for SR. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1996, v:26, n:2, pp:125-134 [Journal]
  48. Ronald A. Olsson, Gregory R. Whitehead
    A Simple Technique for Automatic Recompilation in Modular Programming Languages. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1989, v:19, n:8, pp:757-773 [Journal]
  49. Myla Archer, Amy Lo, Ronald A. Olsson
    Towards a Transformational Approach to Program Verification. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1999, v:9, n:2, pp:85-106 [Journal]
  50. Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson
    Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1997, v:7, n:4, pp:201-227 [Journal]
  51. Ronald A. Olsson
    Additional transformations for multiple-level escape statements. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:2, pp:71-76 [Journal]
  52. Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt
    LVT: A Layered Verification Technique for Distributed Computing Systems. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1999, v:9, n:2, pp:107-133 [Journal]
  53. Cui Zhang, Ronald A. Olsson, Karl N. Levitt
    Formal Verification of a Programming Logic for a Distributed Programming Language. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:213-235 [Journal]
  54. Gregory R. Andrews, Ronald A. Olsson, Michael H. Coffin, Irving Elshoff, Kelvin D. Nilsen, Titus D. M. Purdin, Gregg M. Townsend
    An Overview of the SR Language and Implementation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1988, v:10, n:1, pp:51-86 [Journal]
  55. Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson
    JR: Flexible distributed programming in an extended Java. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:3, pp:578-608 [Journal]
  56. Carole M. McNamee, Ronald A. Olsson
    Comments on ``Critical Races in Ada Programs''. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:12, pp:1439- [Journal]
  57. Nicholas J. Puketza, Kui Zhang, Mandy Chung, Biswanath Mukherjee, Ronald A. Olsson
    A Methodology for Testing Intrusion Detection Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:10, pp:719-729 [Journal]

  58. Detecting Disruptive Routers: A Distributed Network Monitoring Approach. [Citation Graph (, )][DBLP]


  59. Generic operations and capabilities in the JR concurrent programming language. [Citation Graph (, )][DBLP]


  60. A definition of and linguistic support for partial quiescence. [Citation Graph (, )][DBLP]


Search in 0.269secs, Finished in 0.272secs
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