Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Wolfram
Last name:	Schulte
DBLP:	s/WolframSchulte
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 76  

Select a publication
Show	Title	Venue	Rating	Date
	Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff. HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler.	J. Autom. Reasoning 2010, Volume 44	(0)	2010
	Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. Guided path exploration for regression test generation.	31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume 2009	(0)	2009
	Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte. VCC: Contract-based modular verification of concurrent C.	31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume 2009	(0)	2009
	Daan Leijen, Wolfram Schulte, Sebastian Burckhardt. The design of a task parallel library.	Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA 2009	(0)	2009
	Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. MSeqGen: object-oriented unit-test generation via mining source code.	Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009 2009	(0)	2009
	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, 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 2009	(0)	2009
	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.	Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings 2009	(0)	2009
	Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta. Runtime Verification of C Memory Safety.	Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers 2009	(0)	2009
	Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte. A Precise Yet Efficient Memory Model For C.	Electr. Notes Theor. Comput. Sci. 2009, Volume 254	(0)	2009
	Matko Botincan, Matthew Parkinson, Wolfram Schulte. Separation Logic Verification of C Programs with an SMT Solver.	Electr. Notes Theor. Comput. Sci. 2009, Volume 254	(0)	2009
	Stefan Maus, Michal Moskal, Wolfram Schulte. Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.	Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings 2008	(0)	2008
	Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfram Schulte. An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.	Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings 2008	(0)	2008
	Ethan K. Jackson, Wolfram Schulte. Model Generation for Horn Logic with Stratified Negation.	Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings 2008	(0)	2008
	Margus Veanes, Wolfram Schulte. Protocol Modeling with Model Program Composition.	Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings 2008	(0)	2008
	Darko Marinov, Wolfram Schulte. Workshop on state-space exploration for automated testing (SSEAT 2008).	Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008 2008	(0)	2008
	Ethan K. Jackson, Wolfram Schulte. Compositional Modeling for Data-Centric Business Applications.	Software Composition, 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings 2008	(0)	2008
	Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann. Using Dynamic Symbolic Execution to Improve Deductive Verification.	Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings 2008	(0)	2008
	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, An Outcome of the FORTEST Network, Revised Selected Papers 2008	(0)	2008
	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 2008, Volume 25	(0)	2008
	Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte. A programming model for concurrent object-oriented programs.	ACM Trans. Program. Lang. Syst. 2009, Volume 31	(0)	2008
	K. Rustan M. Leino, Wolfram Schulte. Using History Invariants to Verify Observers.	Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings 2007	(0)	2007
	Margus Veanes, Colin Campbell, Wolfram Schulte. Composition of Model Programs.	Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings 2007	(0)	2007
	Wolfram Schulte. Pex - An Intelligent Assistant for Rigorous Developer Testing.	12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand 2007	(0)	2007
	Wolfram Schulte. Experiments in Verifying Low Level Concurrent C Code.	12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand 2007	(0)	2007
	Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte. A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs.	Electr. Notes Theor. Comput. Sci. 2007, Volume 174	(0)	2007

Your query returned 76 matches in the database.