Dirk Fahland, Cedric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann,
Hagen Völzer, and Karsten Wolf:
Instantaneous Soundness Checking of Industrial Business Process Models.
Proceedings BPM 2009
(7th Int. Conference on Business Process Management),
LNCS 5701, pp. 278-293, Springer, 2009.
© 2009
Springer-Verlag
Springer link
Paper (pdf)
BPM talk (pdf) given by Dirk Fahland
Matthias Schmalz, Hagen Völzer and Daniele Varacca:
Counterexamples in Probabilistic LTL Model Checking for Markov Chains.
Proceedings CONCUR 2009
(20th Int. Conference on Concurrency Theory),
LNCS 5710, pp. 587-602, Springer, 2009.
© 2009
Springer-Verlag
Springer link
Paper (pdf)
CONCUR talk (pdf) given by Matthias Schmalz
Jussi Vanhatalo, Hagen Völzer and Jana Koehler:
The Refined Process Structure Tree.
Data and Knowledge Engineering 68 (2009) 793-818
© 2009 Elsevier
Elsevier link
Preprint (pdf)
Jussi Vanhatalo, Hagen Völzer, Frank Leymann and Simon Moser:
Automatic Workflow Graph Refactoring and Completion.
Proceedings ICSOC 2008
(6th Int. Conference on Service-Oriented Computing),
LNCS 5364, pp. 100-115, Springer, Dec 2008.
© 2008
Springer-Verlag
Springer link
Paper (pdf)
ICSOC talk (pdf) given by Jussi Vanhatalo
Jussi Vanhatalo, Hagen Völzer and Jana Koehler:
The Refined Process Structure Tree.
Proceedings BPM 2008
(6th Int. Conference on Business Process Management),
LNCS 5240, pp. 100-115, Springer, Sep 2008.
Awarded 'Best paper BPM 2008'.
Superseded by journal version above.
© 2008
Springer-Verlag
Springer link
Paper (pdf)
BPM talk (pdf)
Matthias Schmalz, Hagen Völzer and Daniele Varacca:
Model Checking Almost All Paths Can Be Less Expensive than Checking All Paths.
Proceedings FSTTCS 2007
(Annual Conference on Foundations of Software Technology and Theoretical Computer Science),
LNCS 4855, pp. 532-543, Springer, Dec 2007.
© 2007
Springer-Verlag
Springer link
Paper (pdf)
Extended version as ETH Technical Report No. 573 (pdf)
Jussi Vanhatalo, Hagen Völzer and Frank Leymann:
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition.
Proceedings ICSOC 2007
(5th Int. Conference on Service-Oriented Computing),
LNCS 4749, pp. 43-55, Springer, Sep 2007.
© 2007
Springer-Verlag
Springer link
Paper (pdf)
Extended version as IBM Technical Report (link)
Daniele Varacca and Hagen Völzer:
New Perspectives on Fairness.
Bulletin of the EATCS, Vol. 90, pp. 90-108 , Oct 2006.
2006
Paper (pdf)
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)
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)
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)
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)
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)
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.
Hagen Völzer:
A Constructive Proof for FLP.
Information Processing Letters 92 (2004) 83-87
© 2004 Elsevier
Elsevier link
Available upon request.
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.
Superseded by journal version above.
© 2005
Springer-Verlag
Springer link
Extended Abstract (pdf)
Full version (link)
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)
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)
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)
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)
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.
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)
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)
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)
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)
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.
Hagen Völzer:
An Introduction to BPMN 2.0.
Invited Tutorial
at BPM 2009, Ulm Sep 2009
Hagen Völzer:
Defining Fairness and Fairly Correct Systems.
EPF Lausanne June 2007, RWTH Aachen Oct 2007, ETH Zurich Dec 2007
Talk (pdf)
Hagen Völzer joint work with Jussi Vanhatalo and Frank Leymann:
Analysis of workflow graphs through SESE decomposition.
AWPN 2007
(14th Workshop Algorithmen und Werkzeuge für Petrinetze),
Sep. 2007.
Powerpoint presentation (pps)
Slides (pdf)
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)
Hagen Völzer:
Fairneß, Randomisierung und Konspiration in
verteilten Algorithmen.
Dissertation. (In German)
Humboldt-Universität zu Berlin, Dec 2000.
Link
Hagen Völzer:
Verifikation verteilter Algorithmen mit
Algebraischen Netzen.
Diploma Thesis. (In German)
Humboldt-Universität zu Berlin, Institut für Informatik,
Oct 1995.
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)
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.
Document (ps)
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.
Last modified 16/10/2009 hv.