| 2004 |
| - Efficient Data Race and Deadlock Prevention in Concurrent Object-Oriented Programs. Piotr Nienaltowski, In OOPSLA'04 Companion, 2004. [pdf]
[bib]
|
| - Making Specifications Complete Through Models. Bernd Schoeller, Tobias Widmer, Bertrand Meyer, In Architecting Systems with Trustworthy Components, 2004. [pdf]
[bib]
|
| - Modular Invariants for Layered Object Structures. P. Müller, A. Poetzsch-Heffter, G. T. Leavens, Technical report, Department of Computer Science, ETH Zurich, 2004. [pdf]
[bib]
|
| - The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design. Bertrand Meyer, In Essays in Memory of Ole-Johan Dahl, 2004. [pdf]
[bib]
|
| - Modular verification of global module invariants in object-oriented programs. K. R. M. Leino, P. Müller, Technical report, ETH Zurich, 2004. [pdf]
[bib]
|
| - Formal Techniques for Java-like Programs. S. Eisenbach, G. T. Leavens, P. Müller, A. Poetzsch-Heffter, E. Poll, In Object-Oriented Technology. ECOOP'03 Workshop Reader (F. Buschmann, A. P. Buchmann, M. Cilia, eds.), Springer-Verlag, volume 3013, 2004. [pdf]
[bib]
|
| - A Type System for Checking Applet Isolation in Java Card. W. Dietl, P. Müller, A. Poetzsch-Heffter, In Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS) (G. Barthe, L. Burdy, M. Huisman, J.-L. Lanet, T. Muntean, eds.), Springer-Verlag, volume 3362, 2004. [pdf]
[bib]
|
| - Exceptions in Ownership Type Systems. W. Dietl, P. Müller, In Formal Techniques for Java Programs (E. Poll, ed.), 2004. [pdf]
[bib]
|
| - Reuse Frequency as Metric for Component Assessment. Till G. Bay, Karl Pauls, Technical report, ETH Zürich, 2004.
[bib]
|
| - A Logic for Bytecode. F. Y. Bannwart, P. Müller, Technical report, ETH Zurich, 2004. [pdf]
[bib]
|