The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wolfram Schulte: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wolfram Schulte, Thilo Schwinn, Ton Vullinghs
    TkGofer: A Functional GUI Library. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:621-624 [Conf]
  2. Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann
    Testable Use Cases in the Abstract State Machine Language. [Citation Graph (0, 0)][DBLP]
    APAQS, 2001, pp:167-172 [Conf]
  3. Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Using Abstract State Machines at Microsoft: A Case Study. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:367-379 [Conf]
  4. Michael Barnett, Wolfram Schulte, Nikolai Tillmann
    Using AsmL for Runtime Verification. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:407- [Conf]
  5. Yuri Gurevich, Wolfram Schulte, Charles Wallace
    Investigating Java Concurrency Using Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:151-176 [Conf]
  6. Wolfram Schulte
    Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:425- [Conf]
  7. Wolfram Schulte
    Translating Theory into Practice - Abstract State Machines within Microsoft. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:71- [Conf]
  8. Gavin M. Bierman, Erik Meijer, Wolfram Schulte
    The Essence of Data Access in Comega. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2005, pp:287-311 [Conf]
  9. Ton Vullinghs, Wolfram Schulte, Thilo Schwinn
    The Design of a Functional GUI Library Using Constructor Classes. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:398-408 [Conf]
  10. Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun
    Allowing State Changes in Specifications. [Citation Graph (0, 0)][DBLP]
    ETRICS, 2006, pp:321-336 [Conf]
  11. Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Towards a Tool Environment for Model-Based Testing with AsmL. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:252-266 [Conf]
  12. Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Testing Concurrent Object-Oriented Systems with Spec Explorer. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:542-547 [Conf]
  13. Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
    Semantic Essence of AsmL. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:240-259 [Conf]
  14. Wolfram Schulte, Klaus Achatz
    Functional Object-Oriented Programming with Object-Gofer. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:552-561 [Conf]
  15. Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte
    A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:420-439 [Conf]
  16. Nikolai Tillmann, Feng Chen, Wolfram Schulte
    Discovering Likely Method Specifications. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:717-736 [Conf]
  17. Wolfram Schulte
    Why Doesn't Anyone Use Formal Methods? [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:297-298 [Conf]
  18. Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Generating finite state machines from abstract state machines. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:112-122 [Conf]
  19. Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
    Optimal strategies for testing nondeterministic systems. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:55-64 [Conf]
  20. Egon Börger, Wolfram Schulte
    A Programmer Friendly Modular Definition of the Semantics of Java. [Citation Graph (0, 0)][DBLP]
    Formal Syntax and Semantics of Java, 1999, pp:353-404 [Conf]
  21. Nikolai Tillmann, Wolfram Schulte
    Mock-object generation with behavior. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:365-368 [Conf]
  22. Egon Börger, Wolfram Schulte
    Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:17-35 [Conf]
  23. Klaus Achatz, Wolfram Schulte
    Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:97-127 [Conf]
  24. Wolfram Schulte, Wolfgang Grieskamp
    Generating Efficient Portable Code for a Strict Applicative Language. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:239-252 [Conf]
  25. Wolfram Schulte
    Deriving Residual Reference Count Garbage Collectors. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:102-116 [Conf]
  26. Ton Vullinghs, Daniel Tuinman, Wolfram Schulte
    Lightweight GUIs for Functional Programming [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:341-356 [Conf]
  27. Ralf Lämmel, Wolfram Schulte
    Controllable Combinatorial Coverage in Grammar-Based Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:19-38 [Conf]
  28. Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Validating Use-Cases with the AsmL Test Tool. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:238-246 [Conf]
  29. Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes
    Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:72-82 [Conf]
  30. K. Rustan M. Leino, Wolfram Schulte
    Exception Safety for C#. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:218-227 [Conf]
  31. Bart Jacobs 0002, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte
    Safe Concurrency for Aggregate Objects with Invariants. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:137-147 [Conf]
  32. Wolfram Schulte
    Erfahrungen bei der Gestaltung eines Software-Grundpraktikums. [Citation Graph (0, 0)][DBLP]
    SEUH, 1995, pp:100-108 [Conf]
  33. Nikolai Tillmann, Wolfram Schulte
    Parameterized unit tests with unit meister. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:241-244 [Conf]
  34. Nikolai Tillmann, Wolfram Schulte
    Parameterized unit tests. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:253-262 [Conf]
  35. Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
    Online testing with model programs. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:273-282 [Conf]
  36. Wolfram Schulte
    Challenge problems in software testing. [Citation Graph (0, 0)][DBLP]
    SOQUA, 2006, pp:1- [Conf]
  37. Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
    Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:365-381 [Conf]
  38. Dean Rosenzweig, Davor Runje, Wolfram Schulte
    Model-Based Testing of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:33-60 [Conf]
  39. Klaus Achatz, Wolfram Schulte
    A Formal OO Method Inspired by Fusion and Object-Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:92-111 [Conf]
  40. Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte
    XRT- Exploring Runtime for .NET Architecture and Applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:3-26 [Journal]
  41. Klaus Achatz, Wolfram Schulte
    Formale objektorientierte Softwareentwicklung mit Fox. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1997, v:12, n:4, pp:174-185 [Journal]
  42. Michael Barnett, Wolfram Schulte
    The ABCs of specification: asml, behavior, and components. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 2001, v:25, n:4, pp:- [Journal]
  43. Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
    Verification of Object-Oriented Programs with Invariants. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:6, pp:27-56 [Journal]
  44. Michael Barnett, Wolfram Schulte
    Runtime verification of .NET contracts. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2003, v:65, n:3, pp:199-208 [Journal]
  45. Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
    Tool Support for the Interactive Derivation of Formally Correct Functional Programs. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:2, pp:173-0 [Journal]
  46. Klaus Achatz, Wolfram Schulte
    Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:59-78 [Journal]
  47. Egon Börger, Wolfram Schulte
    Initialization problems for Java. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 2000, v:19, n:4, pp:175-178 [Journal]
  48. Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
    Semantic essence of AsmL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:370-412 [Journal]
  49. Egon Börger, Wolfram Schulte
    A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:9, pp:872-887 [Journal]
  50. K. Rustan M. Leino, Wolfram Schulte
    Using History Invariants to Verify Observers. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:80-94 [Conf]
  51. Margus Veanes, Colin Campbell, Wolfram Schulte
    Composition of Model Programs. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:128-142 [Conf]
  52. Wolfram Schulte
    Pex - An Intelligent Assistant for Rigorous Developer Testing. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:161- [Conf]
  53. Wolfram Schulte
    Experiments in Verifying Low Level Concurrent C Code. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:299- [Conf]
  54. Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte
    A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:23-47 [Journal]

  55. Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. [Citation Graph (, )][DBLP]


  56. Local Verification of Global Invariants in Concurrent Programs. [Citation Graph (, )][DBLP]


  57. Fitness-guided path exploration in dynamic symbolic execution. [Citation Graph (, )][DBLP]


  58. Invariants, Modularity, and Rights. [Citation Graph (, )][DBLP]


  59. An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. [Citation Graph (, )][DBLP]


  60. Reusing Model Transformations While Preserving Properties. [Citation Graph (, )][DBLP]


  61. Model Generation for Horn Logic with Stratified Negation. [Citation Graph (, )][DBLP]


  62. Protocol Modeling with Model Program Composition. [Citation Graph (, )][DBLP]


  63. Guided path exploration for regression test generation. [Citation Graph (, )][DBLP]


  64. VCC: Contract-based modular verification of concurrent C. [Citation Graph (, )][DBLP]


  65. An Empirical Study of Testing File-System-Dependent Software with Mock Objects. [Citation Graph (, )][DBLP]


  66. Workshop on state-space exploration for automated testing (SSEAT 2008). [Citation Graph (, )][DBLP]


  67. Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. [Citation Graph (, )][DBLP]


  68. The design of a task parallel library. [Citation Graph (, )][DBLP]


  69. MSeqGen: object-oriented unit-test generation via mining source code. [Citation Graph (, )][DBLP]


  70. Compositional Modeling for Data-Centric Business Applications. [Citation Graph (, )][DBLP]


  71. Specifying and Composing Non-functional Requirements in Model-Based Development. [Citation Graph (, )][DBLP]


  72. Using Dynamic Symbolic Execution to Improve Deductive Verification. [Citation Graph (, )][DBLP]


  73. VCC: A Practical System for Verifying Concurrent C. [Citation Graph (, )][DBLP]


  74. Parameterized Unit Testing with Pex: Tutorial. [Citation Graph (, )][DBLP]


  75. Runtime Verification of C Memory Safety. [Citation Graph (, )][DBLP]


  76. Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. [Citation Graph (, )][DBLP]


  77. The Spec# Programming System: Challenges and Directions. [Citation Graph (, )][DBLP]


  78. A Precise Yet Efficient Memory Model For C. [Citation Graph (, )][DBLP]


  79. Separation Logic Verification of C Programs with an SMT Solver. [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.011secs
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