Bernd Schoeller

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, Bernd Schoeller
Beyond contracts for concurrency. Formal Aspects Comput. 21 (4) (2009)
Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. TAP (2007)
Bernd Schoeller, Tobias Widmer, Bertrand Meyer
Making Specifications Complete Through Models. Architecting Systems with Trustworthy Components (2004)