Wolfram Schulte

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
FORMULA 2.0: a language for formal specifications Lecture Notes in Computer Science	2015-09-30	Paper
Canonical regular types	2012-08-29	Paper
Matching logic: an alternative to Hoare/Floyd logic Algebraic Methodology and Software Technology	2011-01-21	Paper
Automatic verification of Java programs with dynamic frames Formal Aspects of Computing	2010-05-28	Paper
HOL-Boogie -- an interactive prover-backend for the verifying C compiler Journal of Automated Reasoning	2010-01-25	Paper
A verifying compiler for a multi-threaded object-oriented language	2008-03-06	Paper
Using History Invariants to Verify Observers Programming Languages and Systems	2007-09-04	Paper
Controllable Combinatorial Coverage in Grammar-Based Testing Lecture Notes in Computer Science	2007-05-02	Paper
Trustworthy Global Computing Lecture Notes in Computer Science	2006-11-01	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2005-11-10	Paper
Semantic essence of AsmL Theoretical Computer Science	2005-11-01	Paper
Formal Methods for Components and Objects Lecture Notes in Computer Science	2005-08-22	Paper
scientific article; zbMATH DE number 2079821 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 1941770 (Why is no real title available?)	2003-12-02	Paper
scientific article; zbMATH DE number 1951203 (Why is no real title available?)	2003-07-21	Paper
scientific article; zbMATH DE number 1951214 (Why is no real title available?)	2003-07-21	Paper
scientific article; zbMATH DE number 1670471 (Why is no real title available?)	2001-12-09	Paper
scientific article; zbMATH DE number 1670511 (Why is no real title available?)	2001-11-11	Paper
scientific article; zbMATH DE number 1670522 (Why is no real title available?)	2001-11-11	Paper
Initialization problems for Java Software - Concepts & Tools	2000-01-01	Paper
Massive parallelization of divide-and-conquer algorithms over powerlists Science of Computer Programming	1996-07-03	Paper

Research outcomes over time

This page was built for person: Wolfram Schulte