Publications

2008

• Avoiding Irreducible CSC Conflicts by Internal Communication
  Mark Schaefer, Walter Vogler, Dominic Wist and Ralf Wollowski
  Application of Concurrency to System Design ACSD 2008
  IEEE 2008, 3-12
• Output-Determinacy and Asynchronous Circuit Synthesis
  Victor Khomenko, Mark Schaefer, Walter Vogler
  Fundamenta Informatica 88 (2008) 541 - 579

2007

• Output-Determinacy and Asynchronous Circuit Synthesis
  Victor Khomenko, Mark Schaefer, Walter Vogler
  Application of Concurrency to System Design ACSD 2007
  IEEE 2007, 147-156
• Combining Decomposition and Unfolding for STG Synthesis
  Victor Khomenko, Mark Schaefer
  ICATPN 2007, LNCS 4546, 223 - 243
• Improved Decomposition of Signal Transition Graphs
  Walter Vogler, Ben Kangsah
  Fundamenta Informatica 78 (2007) 161 – 197
• Performance of pipelined asynchronous systems
  F. Corradini, Walter Vogler
  J. Logic and Algebraic Programming 70 (2007) 201 – 221

2006

• CSC-Aware STG Decomposition
  Mark Schaefer
  18th UK Asynchronous Forum, 2006
• Bisimulation on speed: A unified approach
  G. Lüttgen, Walter Vogler
  Theor. Comp. Sci. 360 (2006) 209 – 227
• Checking a Mutex Algorithm in a Process Algebra with Fairness
  F. Corradini, M. Di Berardini, Walter Vogler
  CONCUR 2006, Bonn, August 2006
  Eds.: C. Baier, H. Hermanns
  Springer 2006, Lect. Notes Comput. Sci. 4137, 142 – 157
  Copyright by Springer, Berlin, Heidelberg
• Fairness of Actions in System Computations
  F. Corradini, M. R. Di Berardini, Walter Vogler
  Acta Informatica 43 (2006) 73 – 130
• Fairness of Components in System Computations
  F. Corradini, M. R. Di Berardini, Walter Vogler
  Theor. Comp. Sci. 356 (2006) 291 – 324
• Strategies for Optimised STG Decomposition
  Mark Schaefer, Walter Vogler, Ralf Wollowski, Victor Khomenko
  Application of Concurrency to System Design ACSD 2006
  IEEE 2006, 123 - 132

2005

• Performance of Pipelined Asynchronous Systems
  F. Corradini, W. Vogler
  Formal Modeling and Analysis of Timed Systems
  Eds.: P. Pettersson, Wang Yi
  Springer 2005, Lect. Notes Comput. Sci. 3829, 242 – 257
  Copyright by Springer, Berlin, Heidelberg
• Bisimulation on speed: lower time bounds
  G. Lüttgen, Walter Vogler
  RAIRO – Theoretical Informatics and Application 39 (2005) 587 – 618
• Determinate STG Decomposition of Marked Graphs
  Mark Schaefer, Walter Vogler, Petr Jančar
  Applications and Theory of Petri Nets 2005, Miami, Juni 2005
  Eds.: G. Ciardo, P. Darondeau
  Springer 2005, Lect. Notes Comput. Sci. 3536, 365 – 384
  Copyright by Springer
• Improved Decomposition of STGs
  Walter Vogler, Ben Kangsah
  Application of Concurrency to System Design ACSD 2005, St. Malo, Juni 2005
  Eds.: J. Desel, Y. Watanabe
  IEEE 2005, 244 – 253
  Copyright by IEEE
• Component Refinement and CSC Solving for STG Decomposition
  Mark Schaefer, Walter Vogler
  FOSSACS 2005, Edinburgh, April 2005
  Ed.: V. Sassone
  Springer 2005, Lect. Notes Comput. Sci. 3441, 348 – 363
  Copyright by Springer
• Bisimulation on Speed: A Unified Approach
  G. Lüttgen, W. Vogler
  Foundations of Software Science and Computational Structures, FOSSACS 05
  Eds.: V. Sassone
  Springer 2005, Lect. Notes Comput. Sci. 3441, 79 – 94
  Copyright by Springer, Berlin, Heidelberg
• Measuring the Performance of Asynchronous Systems with PAFAS
  F. Corradini, Walter Vogler
  Theor. Comp. Sci. 335 (2005) 187 – 213

2004

• Timed Petri Nets: Efficiency of Asynchronous Systems
  Elmar Bihler, Walter Vogler
  Formal Methods for the Design of Real-Time Systems
  Eds.:M. Bernardo, F. Corradini
  Springer 2004, Lect. Notes Comput. Sci. 3185, 25 – 58
  Copyright by Springer, Berlin, Heidelberg
• Fairness of Components in System Computations
  F. Corradini, M. Di Berardini, Walter Vogler
  Proceedings of the 11th International Workshop on Expressiveness in Concurrency (EXPRESS 2004)
  Electronic Notes in Computer Science 128 (2005) 35-52
• Bisimulation on Speed: Lower Time Bounds
  G. Lüttgen, W. Vogler
  Foundations of Software Science and Computational Structures, FOSSACS 04
  Ed.: I. Walukiewicz
  Springer 2004, Lect. Notes Comput. Sci. 2987, 333 – 347
  Copyright by Springer, Berlin, Heidelberg
• Bisimulation on Speed: Worst-Case Efficiency
  G. Lüttgen, Walter Vogler
  Inf. & Computation 191 (2004) 105 – 144
• Faster Asynchronous Systems
  Walter Vogler
  Inf. & Computation 184 (2003) 311 – 342

2003

• Relating Fairness and Timing in Process Algebras
  F. Corradini, M. Di Berardini, W. Vogler
  CONCUR 2003 - Concurrency Theory
  Eds.: R. Amadio, D. Lugiez
  Springer 2003, Lect. Notes Comput. Sci. 2761, 446 – 460
  Copyright by Springer, Berlin, Heidelberg

2002

• Decomposition in asynchronous circuit design
  Walter Vogler, Ralf Wollowski
  Concurrency and Hardware Design. Eds.: J. Cortadella et al.
  Berlin, Heidelberg: Springer 2002, Lect. Notes Comput. Sci. 2549, 152 – 190
• Decomposition in asynchronous circuit design
  Walter Vogler, Ralf Wollowski
  FSTTCS 2002: Foundations of Software Technology and Theoretical Computer Science, Kanpur
  Dezember 2002. Eds.: M. Agrawal, A. Seth.
  Berlin, Heidelberg: Springer 2002, Lect. Notes Comput. Sci. 2556, 336–347
• Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS
  F. Corradini, W. Vogler, L. Jenner
  Acta Informatica 38 (2002) 735 – 792