Wolfram Schulte

From MaRDI portal
Person:973054

Available identifiers

zbMath Open schulte.wolframMaRDI QIDQ973054

List of research outcomes





PublicationDate of PublicationType
FORMULA 2.0: A Language for Formal Specifications2015-09-30Paper
Canonical regular types2012-08-29Paper
Matching Logic: An Alternative to Hoare/Floyd Logic2011-01-21Paper
Automatic verification of Java programs with dynamic frames2010-05-28Paper
HOL-Boogie -- an interactive prover-backend for the verifying C compiler2010-01-25Paper
https://portal.mardi4nfdi.de/entity/Q54473722008-03-06Paper
Using History Invariants to Verify Observers2007-09-04Paper
Controllable Combinatorial Coverage in Grammar-Based Testing2007-05-02Paper
Trustworthy Global Computing2006-11-01Paper
Tools and Algorithms for the Construction and Analysis of Systems2005-11-10Paper
Semantic essence of AsmL2005-11-01Paper
Formal Methods for Components and Objects2005-08-22Paper
https://portal.mardi4nfdi.de/entity/Q44719242004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44088432003-12-02Paper
https://portal.mardi4nfdi.de/entity/Q44136942003-07-21Paper
https://portal.mardi4nfdi.de/entity/Q44137102003-07-21Paper
https://portal.mardi4nfdi.de/entity/Q27536672001-12-09Paper
https://portal.mardi4nfdi.de/entity/Q27537072001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q27537192001-11-11Paper
Initialization problems for Java2000-01-01Paper
Massive parallelization of divide-and-conquer algorithms over powerlists1996-07-03Paper

Research outcomes over time

This page was built for person: Wolfram Schulte

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:973054&oldid=6132750"
Powered by MediaWiki