Publications of Dr. Thomas Wolf

CV Home

2001

Th. Wolf: "On Exceptions as First-Class Objects in Ada 95", Position Paper; submitted to the Workshop on Exception Handling for a 21st Century Programming Language, to be held at the Ada-Europe 2001 Conference, May 14, Leuven, Belgium. The workshop proceedings will be published in ACM Ada Letters. An early version is also available as PARANOR Technical Report TR-011.

2000

A.J. Wellings, B. Johnson, B. Sanden, J. Kienzle, Th. Wolf, S. Michell: " Extensible Protected Types: Proposal Status", Position Paper; submitted to the 10th International Real-Time Ada Workshop (IRTAW-10), Sept 18 - 22, 2000, Castillo de Magalia (Las Navas del Marqués), Avilá, Spain. The workshop proceedings will be published in ACM Ada Letters.

A.J. Wellings, B. Johnson, B. Sanden, J. Kienzle, Th. Wolf, S. Michell: "Object-Oriented Programming and Protected Objects in Ada 95", Proceedings of Ada Europe 2000, Potsdam, Germany, June 26 - 30, 2000. Published as Lecture Notes in Computer Science 1845, pp. 16 - 28, Springer Verlag, 2000. This is an abridged version of the TOPLAS paper below.
This paper won the "Best Paper Prize" of the Ada Europe 2000 conference!

A.J. Wellings, B. Johnson, B. Sanden, J. Kienzle, Th. Wolf, S. Michell: "Integrating Object-Oriented Programming and Protected Objects in Ada 95"; ACM Transactions on Programming Languages and Systems (TOPLAS) 22(3); pp. 506 - 539; May 2000. (An earlier version is available as EPFL TR 99/321 and YCS 99-316 listed below.)

1999

A.J. Wellings, B. Johnson, B. Sanden, J. Kienzle, Th. Wolf, S. Michell: " Integrating Object-Oriented Programming and Protected Objects in Ada 95", technical report TR 99/321, Computer Science Department, EPFL. Also published as technical report YCS 99-316, Department of Computer Science, University of York, UK. (The last link points to an HTML version of the paper.)

Th. Wolf, A. Strohmeier: "Fault Tolerance by Transparent Replication for Distributed Ada 95", in Proceedings of Ada Europe '99, Santander, Spain, June 1999. Published as Lecture Notes in Computer Science 1622, pp. 412 - 424, Springer Verlag 1999. Also available as technical report TR 99/305, Computer Science Department, EPFL.

Th. Wolf: "Transparent Replication for Fault Tolerance in Distributed Ada 95", Position Paper; in Proceedings of the 9th International Real-Time Ada Workshop (IRTAW-9), March 1999, Tallahassee FL, USA. Published in the workshop proceedings in ACM Ada Letters XIX(2), June 1999, pp. 33 - 40. Also available as technical report TR 99/307, Computer Science Department, EPFL.

1998

Th. Wolf: "Replication of Non-Deterministic Objects", PhD Thesis #1903, Ecole Polytechnique Fédérale de Lausanne (EPFL), Nov. 1998

1997

L. Pautet, Th. Wolf: " Transparent Filtering of Streams in GLADE", in Proceedings of Tri-Ada '97, St.Louis MO, USA, Nov. 1997, pp. 11 - 19. Also available as technical report TR 97/241, Computer Science Department, EPFL.

Th. Wolf: "Fault Tolerance in Distributed Ada 95", Position Paper; in Proceedings of the 8th International Real-Time Ada Workshop (IRTAW-8) in Ravenscar in April 1997, published as ACM Ada Letters XVII(5), September/October 1997, pp. 106 - 110. Also available as technical report TR 99/302, Computer Science Department, EPFL.

1996

J. Kienzle, Th. Wolf, A. Strohmeier: "Secure Communication in Distributed Ada", in Proceedings of Ada Europe '96, Montreux, Switzerland, June 1996, published as Lecture Notes in Computer Science 1088, pp. 198 - 210, Springer Verlag 1996. Also available as technical report TR 96/173, Computer Science Department, EPFL.