Veröffentlichungen

vollständige Liste unter

https://dblp.uni-trier.de/pers/hd/v/Vogler:Walter

 

2008

Output-Determinacy and Asynchronous Circuit Synthesis
Victor Khomenko, Mark Schaefer, Walter Vogler
Fundamenta Informatica 88 (2008) 541 - 579

 

 

2007

Combining Decomposition and Unfolding for STG Synthesis
Victor Khomenko, Mark Schaefer
ICATPN 2007, LNCS 4546, 223 - 243

 

Output-Determinacy and Asynchronous Circuit Synthesis
Victor Khomenko, Mark Schaefer, Walter Vogler
Application of Concurrency to System Design ACSD 2007
IEEE 2007, 147-156

 

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

DOI

 

 

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

DOI

 

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

DOI

 

Fairness of Actions in System Computations

F. Corradini, M. R. Di Berardini, Walter Vogler
Acta Informatica 43 (2006) 73 – 130

DOI

 

Fairness of Components in System Computations

F. Corradini, M. R. Di Berardini, Walter Vogler
Theor. Comp. Sci. 356 (2006) 291 – 324

DOI

 

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

DOI

 

Bisimulation on speed: lower time bounds
G. Lüttgen, Walter Vogler
RAIRO – Theoretical Informatics and Application 39 (2005) 587 – 618

DOI

 

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

DOI

 

Measuring the Performance of Asynchronous Systems with PAFAS
F. Corradini, Walter Vogler
Theor. Comp. Sci. 335 (2005) 187 – 213

DOI

 

 

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

DOI

 

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

DOI

 

Bisimulation on Speed: Worst-Case Efficiency
G. Lüttgen, Walter Vogler
Inf. & Computation 191 (2004) 105 – 144

DOI

 

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

DOI

 

Faster Asynchronous Systems
Walter Vogler
Inf. & Computation 184 (2003) 311 – 342

DOI

 

 

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

DOI

 

 

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

DOI

 

Suche