Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Bernd Schoeller | Researchclopedia

Back to researchers

Bernd Schoeller

7

Works

95

Citations

5

h-index

5

i10-index

Research Topics

Logic, programming, and type systems Formal Methods in Verification Software Testing and Debugging Techniques

Affiliations

ETH Zurich2006–2008

Top Works

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

Lisa Liu,Bertrand Meyer,et al.

200723 citations

German Literature and Culture Studies

Parallel Computing and Optimization Techniques

Beyond contracts for concurrency

Jonathan S. Ostroff,Faraz Torshizi,et al.

200820 citations

Making Specifications Complete Through Models

Bernd Schoeller,Tobias Widmer,et al.

200617 citations

Gesammelte Werke in zehn Einzelbänden

Hugo von Hofmannsthal,Bernd Schoeller,et al.

197917 citations

Making classes provable through contracts, models and frames

Bernd Schoeller

200813 citations

Eiffel10: An object-oriented language with dynamic frame contracts

Bernd Schoeller

20064 citations

Gedichte ; Dramen 1 : 1891-1898

Hugo von Hofmannsthal,Bernd Schoeller

19581 citations