Wolfram Schulte

	2011
97		Michael Butler, Wolfram Schulte: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings Springer 2011
96		Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte: Canonical Regular Types. ICLP (Technical Communications) 2011: 73-83
95		Wolfram Schulte, Ethan K. Jackson: Finding Models in Model-Based Development - (Abstract). MoDELS 2011: 591
94		Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter: Specification and verification: the Spec# experience. Commun. ACM 54(6): 81-91 (2011)
93		Victor Pankratius, Wolfram Schulte, Kurt Keutzer: Guest Editors' Introduction: Parallelism on the Desktop. IEEE Software 28(1): 14-16 (2011)
	2010
92		Grigore Rosu, Chucky Ellison, Wolfram Schulte: Matching Logic: An Alternative to Hoare/Floyd Logic. AMAST 2010: 142-162
91		Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies: Local Verification of Global Invariants in Concurrent Programs. CAV 2010: 480-494
90		Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai: Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58
89		Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Future of developer testing: building quality in code. FoSER 2010: 415-420
88		Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte: An Approach for Effective Design Space Exploration. Monterey Workshop 2010: 33-54
87		Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter: SPUR: a trace-based JIT compiler for CIL. OOPSLA 2010: 708-725
86		Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte: Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion 2010: 175-182
85		Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte: Automatic verification of Java programs with dynamic frames. Formal Asp. Comput. 22(3-4): 423-457 (2010)
84		Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff: HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reasoning 44(1-2): 111-144 (2010)
	2009
83		Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE 2009: 515-519
82		Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST 2009: 149-153
81		Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Fitness-guided path exploration in dynamic symbolic execution. DSN 2009: 359-368
80		Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE 2009: 193-202
79		Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55
78		Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Guided path exploration for regression test generation. ICSE Companion 2009: 311-314
77		Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte: VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430
76		Daan Leijen, Wolfram Schulte, Sebastian Burckhardt: The design of a task parallel library. OOPSLA 2009: 227-242
75		Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta: Runtime Verification of C Memory Safety. RV 2009: 132-151
74		Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte: Specifying and Composing Non-functional Requirements in Model-Based Development. Software Composition 2009: 72-89
73		Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies: VCC: A Practical System for Verifying Concurrent C. TPHOLs 2009: 23-42
72		Matko Botincan, Matthew J. Parkinson, Wolfram Schulte: Separation Logic Verification of C Programs with an SMT Solver. Electr. Notes Theor. Comput. Sci. 254: 5-23 (2009)
71		Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte: A Precise Yet Efficient Memory Model For C. Electr. Notes Theor. Comput. Sci. 254: 85-103 (2009)
70		Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte: Symbolic Bounded Model Checking of Abstract State Machines. Int. J. Software and Informatics 3(2-3): 149-170 (2009)
	2008
69		Stefan Maus, Michal Moskal, Wolfram Schulte: Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. AMAST 2008: 284-298
68		Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte: An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. FASE 2008: 261-275
67		Ethan K. Jackson, Wolfram Schulte: Model Generation for Horn Logic with Stratified Negation. FORTE 2008: 1-20
66		Margus Veanes, Wolfram Schulte: Protocol Modeling with Model Program Composition. FORTE 2008: 324-339
65		Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson: Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing 2008: 39-76
64		Darko Marinov, Wolfram Schulte: Workshop on state-space exploration for automated testing (SSEAT 2008). ISSTA 2008: 315-316
63		Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann: Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25
62		Ethan K. Jackson, Wolfram Schulte: Compositional Modeling for Data-Centric Business Applications. Software Composition 2008: 190-205
61		Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte: A programming model for concurrent object-oriented programs. ACM Trans. Program. Lang. Syst. 31(1): (2008)
60		Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin: Automating Software Testing Using Program Analysis. IEEE Software 25(5): 30-37 (2008)
59		Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte: A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. Journal of Object Technology 7(5): 5-23 (2008)
	2007
58		K. Rustan M. Leino, Wolfram Schulte: Using History Invariants to Verify Observers. ESOP 2007: 80-94
57		Margus Veanes, Colin Campbell, Wolfram Schulte: Composition of Model Programs. FORTE 2007: 128-142
56		Wolfram Schulte: Pex - An Intelligent Assistant for Rigorous Developer Testing. ICECCS 2007: 161
55		Wolfram Schulte: Experiments in Verifying Low Level Concurrent C Code. ICECCS 2007: 299
54		Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Parameterized Unit Testing with Pex: Tutorial. PSSE 2007: 141-202
53		Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte: A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. Electr. Notes Theor. Comput. Sci. 174(9): 23-47 (2007)
	2006
52		Nikolai Tillmann, Wolfram Schulte: Mock-object generation with behavior. ASE 2006: 365-368
51		Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun: Allowing State Changes in Specifications. ETRICS 2006: 321-336
50		Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte: A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. ICFEM 2006: 420-439
49		Nikolai Tillmann, Feng Chen, Wolfram Schulte: Discovering Likely Method Specifications. ICFEM 2006: 717-736
48		Wolfram Schulte: Challenge problems in software testing. SOQUA 2006: 1
47		Ralf Lämmel, Wolfram Schulte: Controllable Combinatorial Coverage in Grammar-Based Testing. TestCom 2006: 19-38
46		Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte: XRT- Exploring Runtime for .NET Architecture and Applications. Electr. Notes Theor. Comput. Sci. 144(3): 3-26 (2006)
45		Nikolai Tillmann, Wolfram Schulte: Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. IEEE Software 23(4): 38-47 (2006)
	2005
44		Gavin M. Bierman, Erik Meijer, Wolfram Schulte: The Essence of Data Access in Comega. ECOOP 2005: 287-311
43		Nikolai Tillmann, Wolfram Schulte: Parameterized unit tests with unit meister. ESEC/SIGSOFT FSE 2005: 241-244
42		Nikolai Tillmann, Wolfram Schulte: Parameterized unit tests. ESEC/SIGSOFT FSE 2005: 253-262
41		Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann: Online testing with model programs. ESEC/SIGSOFT FSE 2005: 273-282
40		Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547
39		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. QSIC 2005: 72-82
38		Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte: Safe Concurrency for Aggregate Objects with Invariants. SEFM 2005: 137-147
37		Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin: Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS 2005: 365-381
36		Dean Rosenzweig, Davor Runje, Wolfram Schulte: Model-Based Testing of Cryptographic Protocols. TGC 2005: 33-60
35		Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter: The Spec# Programming System: Challenges and Directions. VSTTE 2005: 144-152
34		Yuri Gurevich, Benjamin Rossman, Wolfram Schulte: Semantic essence of AsmL. Theor. Comput. Sci. 343(3): 370-412 (2005)
	2004
33		Jim Davies, Wolfram Schulte, Michael Barnett: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings Springer 2004
32		Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp: Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64
31		K. Rustan M. Leino, Wolfram Schulte: Exception Safety for C#. SEFM 2004: 218-227
30		Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte: Verification of Object-Oriented Programs with Invariants. Journal of Object Technology 3(6): 27-56 (2004)
	2003
29		Michael Barnett, Wolfram Schulte, Nikolai Tillmann: Using AsmL for Runtime Verification. Abstract State Machines 2003: 407
28		Wolfram Schulte: Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. Abstract State Machines 2003: 425
27		Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Towards a Tool Environment for Model-Based Testing with AsmL. FATES 2003: 252-266
26		Yuri Gurevich, Benjamin Rossman, Wolfram Schulte: Semantic Essence of AsmL. FMCO 2003: 240-259
25		Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246
24		Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs: Tool Support for the Interactive Derivation of Formally Correct Functional Programs. J. UCS 9(2): 173- (2003)
23		Michael Barnett, Wolfram Schulte: Runtime verification of .NET contracts. Journal of Systems and Software 65(3): 199-208 (2003)
	2002
22		Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes: Generating finite state machines from abstract state machines. ISSTA 2002: 112-122
	2001
21		Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann: Testable Use Cases in the Abstract State Machine Language. APAQS 2001: 167-172
20		Michael Barnett, Wolfram Schulte: The ABCs of specification: asml, behavior, and components. Informatica (Slovenia) 25(4): (2001)
	2000
19		Yuri Gurevich, Wolfram Schulte, Charles Wallace: Investigating Java Concurrency Using Abstract State Machines. Abstract State Machines 2000: 151-176
18		Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes: Using Abstract State Machines at Microsoft: A Case Study. Abstract State Machines 2000: 367-379
17		Wolfram Schulte: Translating Theory into Practice - Abstract State Machines within Microsoft. CSL 2000: 71
16		Wolfram Schulte: Why Doesn't Anyone Use Formal Methods? IFM 2000: 297-298
15		Egon Börger, Wolfram Schulte: A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. IEEE Trans. Software Eng. 26(9): 872-887 (2000)
14		Egon Börger, Wolfram Schulte: Initialization problems for Java. Software - Concepts and Tools 19(4): 175-178 (2000)
	1999
13		Egon Börger, Wolfram Schulte: A Programmer Friendly Modular Definition of the Semantics of Java. Formal Syntax and Semantics of Java 1999: 353-404
	1998
12		Egon Börger, Wolfram Schulte: Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. MFCS 1998: 17-35
	1997
11		Wolfram Schulte, Klaus Achatz: Functional Object-Oriented Programming with Object-Gofer. GI Jahrestagung 1997: 552-561
10		Klaus Achatz, Wolfram Schulte: A Formal OO Method Inspired by Fusion and Object-Z. ZUM 1997: 92-111
9		Klaus Achatz, Wolfram Schulte: Formale objektorientierte Softwareentwicklung mit Fox. Inform., Forsch. Entwickl. 12(4): 174-185 (1997)
	1996
8		Wolfram Schulte, Thilo Schwinn, Ton Vullinghs: TkGofer: A Functional GUI Library. AMAST 1996: 621-624
7		Ton Vullinghs, Wolfram Schulte, Thilo Schwinn: The Design of a Functional GUI Library Using Constructor Classes. Ershov Memorial Conference 1996: 398-408
6		Klaus Achatz, Wolfram Schulte: Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists. Sci. Comput. Program. 26(1-3): 59-78 (1996)
	1995
5		Klaus Achatz, Wolfram Schulte: Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. MPC 1995: 97-127
4		Ton Vullinghs, Daniel Tuinman, Wolfram Schulte: Lightweight GUIs for Functional Programming PLILP 1995: 341-356
3		Wolfram Schulte: Erfahrungen bei der Gestaltung eines Software-Grundpraktikums. SEUH 1995: 100-108
	1994
2		Wolfram Schulte: Deriving Residual Reference Count Garbage Collectors. PLILP 1994: 102-116
	1991
1		Wolfram Schulte, Wolfgang Grieskamp: Generating Efficient Portable Code for a Strict Applicative Language. Declarative Programming 1991: 239-252

Coauthor Index

1	Klaus Achatz	[5] [6] [9] [10] [11]
2	Eyad Alkassar	[79]
3	Daniel Balasubramanian	[90]
4	Michael Barnett	[18] [20] [23] [25] [27] [29] [30] [33] [35] [51]
5	Mike Barnett	[94]
6	Michael Bebenita	[87]
7	Gavin M. Bierman	[44]
8	Nikolaj Bjørner	[63] [70] [74] [96]
9	Sascha Böhme	[84]
10	Egon Börger	[12] [13] [14] [15] [18]
11	Matko Botincan	[72]
12	Vladimir Boyarinov	[79]
13	Florian Brandner	[87]
14	Sebastian Burckhardt	[76]
15	Michael Butler	[97]
16	Colin Campbell	[39] [40] [41] [57] [65]
17	Feng Chen	[49]
18	Ernie Cohen	[71] [73] [79] [91]
19	Markus Dahlweid	[73] [74] [77] [79]
20	Jim Davies	[33]
21	Robert DeLine	[30] [35]
22	Ulan Degenbaev	[79]
23	Chucky Ellison (Charles M. Ellison)	[92]
24	Manuel Fähndrich	[30] [35] [59] [87] [94]
25	Diego Garbervetsky	[59]
26	Patrice Godefroid	[60]
27	Wolfgang Grieskamp	[1] [21] [22] [25] [27] [32] [39] [40] [46] [65]
28	Yuri Gurevich	[18] [19] [22] [26] [34] [70]
29	Walter Guttmann	[24]
30	Jonathan de Halleux	[54] [60] [63] [78] [80] [81] [82] [83] [86] [89]
31	Mark A. Hillebrand	[73] [79]
32	Ethan K. Jackson	[62] [67] [74] [88] [90] [95] [96]
33	Bart Jacobs	[85]
34	Bart Jacobs	[35] [38] [50] [53] [61] [68]
35	Eunsuk Kang	[88]
36	Gabor Karsai	[90]
37	Kurt Keutzer	[93]
38	Ralf Lämmel (Ralf Laemmel, Ralf Lammel)	[47]
39	Bruno Langenstein	[79]
40	Daan Leijen	[76]
41	Dirk Leinenbach	[73] [79]
42	K. Rustan M. Leino	[30] [31] [35] [38] [58] [61] [94]
43	Markus Lepper	[21]
44	Michael Y. Levin	[60]
45	Nuo Li	[83]
46	Francesco Logozzo	[87]
47	Darko Marinov	[37] [64]
48	Madhuri R. Marri	[82]
49	Stefan Maus	[69]
50	Erik Meijer	[44]
51	Michal Moskal	[69] [71] [73] [77] [79] [84] [91]
52	Peter Müller	[94]
53	Lev Nachmanson	[27] [32] [40] [65]
54	David A. Naumann	[51]
55	Aditya V. Nori	[60]
56	David Notkin	[37]
57	Steven Obua	[79]
58	Victor Pankratius	[93]
59	Matthew J. Parkinson	[72]
60	Helmuth Partsch	[24]
61	Wolfgang J. Paul	[79]
62	Hristo Pentchev	[79]
63	Elena Petrova	[79]
64	Frank Piessens	[38] [50] [53] [61] [68] [85]
65	Sriram K. Rajamani	[60]
66	Dean Rosenzweig	[36]
67	Benjamin Rossman	[26] [34]
68	Grigore Rosu	[75] [92]
69	Davor Runje	[36]
70	Thomas Santen	[73] [74] [77] [79]
71	Norbert Schirmer (Bert Schirmer)	[79]
72	Sabine Schmaltz	[79]
73	Thilo Schwinn	[7] [8]
74	Dirk Seifert	[74]
75	Traian-Florin Serbanuta (Traian Serbanuta)	[75]
76	Andrey Shadrin	[79]
77	Jan Smans	[50] [53] [61] [68] [85]
78	Qi Sun	[51]
79	Kunal Taneja	[78]
80	Suresh Thummalapenta	[80]
81	Nikolai Tillmann	[21] [25] [27] [29] [32] [39] [40] [41] [42] [43] [45] [46] [49] [52] [54] [60] [63] [65] [78] [80] [81] [82] [83] [86] [87] [89]
82	Stephan Tobies	[71] [73] [77] [79] [91]
83	Alexandra Tsyban	[79]
84	Daniel Tuinman	[4]
85	Sergey Tverdyshev	[79]
86	Dries Vanoverberghe	[63]
87	Margus Veanes	[18] [22] [25] [27] [32] [39] [40] [41] [57] [65] [66] [70]
88	Herman Venter	[35] [87] [94]
89	Ton Vullinghs	[4] [7] [8] [24]
90	Charles Wallace	[19]
91	Burkhart Wolff	[84]
92	Tao Xie	[37] [78] [80] [81] [82] [83] [86] [89]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page