50 Jahre Uni Lübeck

Dr. Hagen Voelzer

Publikationen


Conference and Journal Contributions

  1. Daniele Varacca and Hagen Völzer:
    New Perspectives on Fairness.
    Bulletin of the EATCS, Vol. 90, pp. 90-108 , Oct 2006.
    2006Paper (pdf)
  2. Daniele Varacca and Hagen Völzer:
    Temporal logics and model checking for fairly correct systems.
    Proceedings LICS 2006
    (21st Symposium on Logic in Computer Science),
    pp. 389-398 , IEEE Press, Aug 2006.
    © 2006 IEEE Paper (pdf) LICS talk (pdf) LICS talk print version (pdf)
  3. Daniele Varacca, Hagen Völzer, and Glynn Winskel:
    Probabilistic Event Structures and Domains.
    Theoretical Computer Science 358 (2006) 173-199.
    © 2006 Elsevier Elsevier link Paper (pdf) An older version is available as a technical report. (link)
  4. Felix C. Freiling and Hagen Völzer:
    Illustrating the impossibility of crash-tolerant consensus in asynchronous systems.
    ACM SIGOPS Operating Systems Review, Vol. 40, No. 2, pp. 105-109, Apr 2006.
    2006 ACM Press ACM link Paper (pdf)
  5. Hagen Völzer:
    On Conspiracies and Hyperfairness in Distributed Computing.
    Proceedings DISC 2005
    (19th Int. Symposium on Distributed Computing),
    LNCS 3724, pp. 33-47, Springer, Sep 2005.
    © 2005 Springer-Verlag Springer link Extended Abstract (ps) Full version (ps) DISC talk (pdf)
  6. Hagen Völzer, Daniele Varacca, and Ekkart Kindler:
    Defining Fairness.
    Proceedings CONCUR 2005
    (16th Int. Conference on Concurrency Theory),
    LNCS 3653, pp. 458-472, Springer, Aug 2005.
    Awarded 'Best paper CONCUR 2005'
    © 2005 Springer-Verlag Springer link Extended Abstract (ps) Full version (ps) CONCUR talk (pdf)
  7. Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter Lindsay, and Paul Strooper:
    SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting.
    IEEE Transactions on Software Engineering, Vol. 30, No. 10, pp. 675-693, Oct 2004
    © 2004 IEEE IEEE link Available upon request.
  8. Hagen Völzer:
    A Constructive Proof for FLP.
    Information Processing Letters 92 (2004) 83-87
    © 2004 Elsevier Elsevier link Available upon request.
  9. Daniele Varacca, Hagen Völzer, and Glynn Winskel:
    Probabilistic Event Structures and Domains.
    Proceedings CONCUR 2004
    (15th Int. Conference on Concurrency Theory),
    LNCS 3170, pp. 481-496, Springer, Aug/Sep 2004.
    © 2005 Springer-Verlag Springer link Extended Abstract (pdf) Full version (link)
  10. Hagen Völzer:
    Randomization versus Synchronization in Distributed Systems.
    Proceedings ICALP 2004
    (31st Int. Colloquium on Automata, Languages, and Programming),
    LNCS 3142, pp. 1214-1226, Springer, July 2004.
    © 2005 Springer-Verlag Springer link Full version (ps) ICALP talk (pdf)
  11. Hagen Völzer, Brenton Atchison, Peter Lindsay, Anthony MacDonald, and Paul Strooper:
    A Tool for Subsystem Configuration Management.
    Proceedings ICSM 2002
    (Int. Conference on Software Maintenance),
    pp. 492-500 , IEEE Press, Oct 2002.
    © 2002 IEEE IEEE link Technical report 02-07 (pdf)
  12. Hagen Völzer:
    Refinement-Robust Fairness.
    Proceedings CONCUR 2002
    (13th Int. Conference on Concurrency Theory),
    LNCS 2421, pp. 547-561, Springer, Aug 2002.
    © 2002 Springer-Verlag Springer link Full paper (ps) Extended CONCUR talk (pdf)
  13. Hagen Völzer:
    Randomized Non-Sequential Processes.
    Proceedings CONCUR 2001
    (12th Int. Conference on Concurrency Theory),
    LNCS 2154, pp. 184-201, Springer, Aug 2001.
    © 2001 Springer-Verlag Springer link Full paper (ps) Erratum (ps)
  14. Ekkart Kindler and Hagen Völzer:
    Algebraic nets with flexible arcs.
    Theoretical Computer Science 262 (2001) 285-310.
    © 2001 Elsevier Elsevier link Available upon request.
  15. Thomas Baar, Ekkart Kindler, and Hagen Völzer:
    Verifying Intuition - ILF checks DAWN proofs.
    Proceedings ICATPN 1999
    (20th Int. Conference on Application and Theory of Petri Nets),
    LNCS 1639, pp. 404-423, Springer, June 1999
    © 1999 Springer Springer link Full paper (ps)
  16. Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, and Rolf Walter:
    Distributed algorithms for networks of agents.
    In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets II: Applications
    LNCS 1492, pp. 331-385, Springer, 1998
    © 1998 Springer Full paper (ps)
  17. Ekkart Kindler and Hagen Völzer:
    Flexibility in Algebraic Nets.
    Proceedings ICATPN 1998
    (19th Int. Conference on Application and Theory of Petri Nets),
    LNCS 1420, pp. 345-364, Springer, June 1998
    © 1998 Springer Full paper (ps)
  18. Hagen Völzer:
    Verifying fault tolerance of distributed algorithms formally: An example.
    Proceedings ACSD 1998
    (Int. Conference on Application of Concurrency to System Design),
    pp. 187-197 , IEEE Press, Mar 1998.
    © 1998 IEEE IEEE link Full paper (ps)
  19. Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, and Rolf Walter:
    Petri Net Based Verification of Distributed Algorithms: An Example.
    Formal Aspects of Computing, 9:109-121, 1997
    © 1997 BCS Available upon request.

Additional Talks

  1. Hagen Völzer:
    When a system is fairly correct.
    EXPRESS 2006
    (13th Workshop on Expressiveness in Concurrency),
    Invited talk, Aug 2006.
    Extended Abstract (pdf) EXPRESS talk (pdf) EXPRESS talk print version (pdf)

Theses

  1. Hagen Völzer:
    Fairness, Randomisierung und Konspiration in verteilten Algorithmen.
    Dissertation. (In German)
    Humboldt-Universität zu Berlin, Dec 2000.
    Link
  2. Hagen Völzer:
    Verifikation verteilter Algorithmen mit Algebraischen Netzen.
    Diploma Thesis. (In German)
    Humboldt-Universität zu Berlin, Institut für Informatik, Oct 1995.

Technical reports

  1. Hagen Völzer:
    Randomized Non-Sequential Processes and Distributed Adversaries.
    SVRC technical report 02-28, The University of Queensland, July 2002.
    Paper (ps) Erratum (ps)
  2. Felix C. Gärtner and Hagen Völzer:
    Redundancy in Space in Fault-Tolerant Systems.

    Technischer Bericht TUD-BS-2000-06, Fachbereich Informatik, TU Darmstadt, Juli 2000.
  3. Michael Weber, Rolf Walter, Hagen Völzer, Tobias Vesper, Wolfgang Reisig, Sibylle Peuker, Ekkart Kindler, Jörn Freiheit und Jörg Desel:
    DAWN. Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
    Informatik-Berichte 88, Humboldt-Universität zu Berlin, Institut für Informatik, Dezember 1997.
    Postscript
  4. Hagen Völzer und Rolf Walter:
    Invariantenverifikation in DAWN - ein Beispiel.
    In: J.Desel und H.Reichel (Hrg) "Grundlagen der Parallelität: Workshop der GI-Fachgruppen 0.0.1 und 0.1.7 im Rahmen der INFORMATIK'97",
    Technischer Bericht TUD/FI 97/13, S. 1-7, Technische Universität Dresden, November 1997.