Bernd Schoeller

According to our database, Bernd Schoeller authored at least 4 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Beyond contracts for concurrency.

Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, Bernd Schoeller

Formal Aspects Comput., 2009

2008

Making classes provable through contracts, models and frames.

Bernd Schoeller

PhD thesis, 2008

2007

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

Lisa Ling Liu, Bertrand Meyer, Bernd Schoeller

Proceedings of the Tests and Proofs - 1st International Conference, 2007

2004

Making Specifications Complete Through Models.

Bernd Schoeller, Tobias Widmer, Bertrand Meyer

Proceedings of the Architecting Systems with Trustworthy Components, 2004