Walter Vogler

Publication Activity (10 Years)

Years Active: 1984-2022
Publications (10 Years): 15

Top Venues

Acta Informatica

ACSD

Theor. Comput. Sci.

ACM Trans. Embed. Comput. Syst.

Publications

Ayleen Schinko, Walter Vogler, Johannes Gareis, N. Tri Nguyen, Gerald Lüttgen
Interface Automata for Shared Memory. Acta Informatica 59 (5) (2022)
Walter Vogler, Gerald Lüttgen
Correction to: A linear-time branching-time perspective on interface automata. Acta Informatica 58 (6) (2021)
Antti Valmari, Walter Vogler
Stubborn Sets, Frozen Actions, and Fair Testing. Fundam. Informaticae 178 (1-2) (2021)
Walter Vogler, Gerald Lüttgen
A linear-time branching-time perspective on interface automata. Acta Informatica 57 (3-5) (2020)
Vitali Schneider, Walter Vogler
Modal Open Petri Nets. Petri Nets (2019)
Ayleen Schinko, Walter Vogler
Fault-Free Refinements for Interface Automata. Sci. Ann. Comput. Sci. 28 (2) (2018)
Antti Valmari, Walter Vogler
Fair testing and stubborn sets. Int. J. Softw. Tools Technol. Transf. 20 (5) (2018)
Ayleen Schinko, Walter Vogler
Fault-Free Refinements for Interface Automata. ACSD (2018)
Johannes Gareis, Gerald Lüttgen, Ayleen Schinko, Walter Vogler
Interface Automata for Shared Memory. Models, Mindsets, Meta (2018)
Richard Müller, Christian Stahl, Walter Vogler
Deciding conformance for bounded responsiveness. Sci. Comput. Program. 138 (2017)
Ferenc Bujtor, Walter Vogler
ACTL for Modal Interface Automata. Theor. Comput. Sci. 693 (2017)
Ferenc Bujtor, Lev Sorokin, Walter Vogler
Testing Preorders for dMTS: Deadlock- and the New Deadlock-/DivergenceTesting. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler
Nondeterministic Modal Interfaces. Theor. Comput. Sci. 642 (2016)
Ferenc Bujtor, Walter Vogler
ACTL for Modal Interface Automata. ACSD (2016)
Antti Valmari, Walter Vogler
Fair Testing and Stubborn Sets. SPIN (2016)
Ferenc Bujtor, Walter Vogler
Failure Semantics for Modal Transition Systems. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Ferenc Bujtor, Lev Sorokin, Walter Vogler
Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing. ACSD (2015)
Gerald Lüttgen, Walter Vogler, Sascha Fendrich
Richer interface automata with optimistic and pessimistic compatibility. Acta Informatica 52 (4-5) (2015)
Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler
Nondeterministic Modal Interfaces. SOFSEM (2015)
Ferenc Bujtor, Walter Vogler
Error-pruning in interface automata. Theor. Comput. Sci. 597 (2015)
Ferenc Bujtor, Walter Vogler
Error-Pruning in Interface Automata. SOFSEM (2014)
Walter Vogler, Christian Stahl, Richard Müller
Trace- and failure-based semantics for responsiveness. Acta Informatica 51 (8) (2014)
Blai Bonet, Patrik Haslum, Victor Khomenko, Sylvie Thiébaux, Walter Vogler
Recent advances in unfolding technique. Theor. Comput. Sci. 551 (2014)
Ferenc Bujtor, Walter Vogler
Failure Semantics for Modal Transition Systems. ACSD (2014)
Richard Müller, Christian Stahl, Walter Vogler
Undecidability of accordance for open systems with unbounded message queues. Inf. Process. Lett. 114 (12) (2014)
Walter Vogler, Christian Stahl, Richard Müller
Trace- and Failure-Based Semantics for Bounded Responsiveness. ESOCC Workshops (2013)
Stanislavs Golubcovs, Walter Vogler, Norman Kluge
STG-Based Resynthesis for Balsa Circuits. ACSD (2013)
Gerald Lüttgen, Walter Vogler
Richer Interface Automata with Optimistic and Pessimistic Compatibility. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Gerald Lüttgen, Walter Vogler
Modal Interface Automata. Log. Methods Comput. Sci. 9 (3) (2013)
Walter Vogler, Christian Stahl, Richard Müller
A Trace-Based Semantics for Responsiveness. ACSD (2012)
Christian Stahl, Walter Vogler
A trace-based service semantics guaranteeing deadlock freedom. Acta Informatica 49 (2) (2012)
Gerald Lüttgen, Walter Vogler
Modal Interface Automata. IFIP TCS (2012)
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Evaluating the Efficiency of Asynchronous Systems with FASE CoRR (2011)
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Read Operators and their Expressiveness in Process Algebras EXPRESS (2011)
Gerald Lüttgen, Walter Vogler
Safe reasoning with Logic LTS. Theor. Comput. Sci. 412 (28) (2011)
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Automated Analysis of MUTEX Algorithms with FASE GandALF (2011)
Christian Stahl, Walter Vogler
A Trace-Based View on Operating Guidelines. FoSSaCS (2011)
Stephen A. Edwards, Ryszard Janicki, Walter Vogler
Preface. Fundam. Informaticae 108 (1-2) (2011)
Dominic Wist, Walter Vogler, Ralf Wollowski
STG Decomposition: Partitioning Heuristics. ACSD (2011)
Dominic Wist, M. Schaefer, Walter Vogler, Ralf Wollowski
Signal transition graph decomposition: internal communication for speed independent circuit implementation. IET Comput. Digit. Tech. 5 (6) (2011)
Gerald Lüttgen, Walter Vogler
Ready simulation for concurrency: It's logical! Inf. Comput. 208 (7) (2010)
Dominic Wist, Mark Schäfer, Walter Vogler, Ralf Wollowski
STG Decomposition: Internal Communication for SI Implementability. ACSD (2010)
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Time and Fairness in a Process Algebra with Non-blocking Reading. SOFSEM (2009)
Dominic Wist, Ralf Wollowski, Mark Schäfer, Walter Vogler
Avoiding Irreducible CSC Conflicts by Internal Communication. Fundam. Informaticae 95 (1) (2009)
Gerald Lüttgen, Walter Vogler
Safe Reasoning with Logic LTS. SOFSEM (2009)
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Liveness of a mutex algorithm in a fair process algebra. Acta Informatica 46 (3) (2009)
Katrin Iltgen, Walter Vogler
Robustness of a bisimulation-type faster-than preorder EXPRESS (2009)
Victor Khomenko, Mark Schäfer, Walter Vogler, Ralf Wollowski
STG decomposition strategies in combination with unfolding. Acta Informatica 46 (6) (2009)
Victor Khomenko, Mark Schäfer, Walter Vogler
Output-Determinacy and Asynchronous Circuit Synthesis. Fundam. Informaticae 88 (4) (2008)
Walter Vogler
Another short proof of optimality for the MIN cache replacement algorithm. Inf. Process. Lett. 106 (5) (2008)
Mark Schäfer, Walter Vogler, Dominic Wist, Ralf Wollowski
Avoiding irreducible CSC conflicts by internal communication. ACSD (2008)
Arend Rensink, Walter Vogler
Fair testing. Inf. Comput. 205 (2) (2007)
Walter Vogler, Ben Kangsah
Improved Decomposition of Signal Transition Graphs. Fundam. Informaticae 78 (1) (2007)
Gerald Lüttgen, Walter Vogler
Ready Simulation for Concurrency: It's Logical! ICALP (2007)
Mark Schäfer, Walter Vogler
Component refinement and CSC-solving for STG decomposition. Theor. Comput. Sci. 388 (1-3) (2007)
Flavio Corradini, Walter Vogler
Performance of pipelined asynchronous systems. J. Log. Algebraic Methods Program. 70 (2) (2007)
Gerald Lüttgen, Walter Vogler
Conjunction on processes: Full abstraction via ready-tree semantics. Theor. Comput. Sci. 373 (1-2) (2007)
Victor Khomenko, Mark Schäfer, Walter Vogler
Output-Determinacy and Asynchronous Circuit Synthesis. ACSD (2007)
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Fairness of components in system computations. Theor. Comput. Sci. 356 (3) (2006)
Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler
Merged processes: a new condensed representation of Petri net behaviour. Acta Informatica 43 (5) (2006)
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Fairness of Actions in System Computations. Acta Informatica 43 (2) (2006)
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Checking a Mutex Algorithm in a Process Algebra with Fairness. CONCUR (2006)
Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler
Stronger Reduction Criteria for Local First Search. ICTAC (2006)
Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko
Strategies for Optimised STG Decomposition. ACSD (2006)
Gerald Lüttgen, Walter Vogler
Bisimulation on speed: A unified approach. Theor. Comput. Sci. 360 (1-3) (2006)
Gerald Lüttgen, Walter Vogler
Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. FoSSaCS (2006)
Flavio Corradini, Walter Vogler
Performance of Pipelined Asynchronous Systems. FORMATS (2005)
Flavio Corradini, Walter Vogler
Measuring the performance of asynchronous systems with PAFAS. Theor. Comput. Sci. 335 (2-3) (2005)
Gerald Lüttgen, Walter Vogler
Bisimulation on Speed: A Unified Approach. FoSSaCS (2005)
Gerald Lüttgen, Walter Vogler
Bisimulation on speed: Lower time bounds. RAIRO Theor. Informatics Appl. 39 (3) (2005)
Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler
Merged Processes - A New Condensed Representation of Petri Net Behaviour. CONCUR (2005)
Walter Vogler, Ben Kangsah
Improved Decomposition of STGs. ACSD (2005)
Mark Schäfer, Walter Vogler
Component Refinement and CSC Solving for STG Decomposition. FoSSaCS (2005)
Mark Schäfer, Walter Vogler, Petr Jancar
Determinate STG Decomposition of Marked Graphs. ICATPN (2005)
Gerald Lüttgen, Walter Vogler
Bisimulation on speed: worst-case efficiency. Inf. Comput. 191 (2) (2004)
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Fairness of Components in System Computations. EXPRESS (2004)
Gerald Lüttgen, Walter Vogler
Bisimulation on Speed: Lower Time Bounds. FoSSaCS (2004)
Elmar Bihler, Walter Vogler
Timed Petri Nets: Efficiency of Asynchronous Systems. SFM (2004)
Walter Vogler
Faster asynchronous systems. Inf. Comput. 184 (2) (2003)
Victor Khomenko, Maciej Koutny, Walter Vogler
Canonical prefixes of Petri net unfoldings. Acta Informatica 40 (2) (2003)
Walter Vogler, Kim Larsen
Preface. Electron. Notes Theor. Comput. Sci. 68 (5) (2003)
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Relating Fairness and Timing in Process Algebras. CONCUR (2003)
Walter Vogler
Partial order semantics and read arcs. Theor. Comput. Sci. 286 (1) (2002)
Walter Vogler, Ralf Wollowski
Decomposition in Asynchronous Circuit Design. Concurrency and Hardware Design (2002)
Flavio Corradini, Walter Vogler, Lars Jenner
Comparing the worst-case efficiency of asynchronous systems with PAFAS. Acta Informatica 38 (11/12) (2002)
Walter Vogler, Ralf Wollowski
Decomposition in Asynchronous Circuit Design. FSTTCS (2002)
Victor Khomenko, Maciej Koutny, Walter Vogler
Canonical Prefixes of Petri Net Unfoldings. CAV (2002)
Javier Esparza, Stefan Römer, Walter Vogler
An Improvement of McMillan's Unfolding Algorithm. Formal Methods Syst. Des. 20 (3) (2002)
Walter Vogler
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem. Theor. Comput. Sci. 275 (1-2) (2002)
Gerald Lüttgen, Walter Vogler
A Faster-than Relation for Asynchronous Processes. CONCUR (2001)
Walter Vogler
Partial S-Invariants for the Verification of Infinite Systems Families. ICATPN (2001)
Lars Jenner, Walter Vogler
Fast asynchronous systems in dense time. Theor. Comput. Sci. 254 (1-2) (2001)
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. APAQS (2001)
Flavio Corradini, Walter Vogler
Preface. Electron. Notes Theor. Comput. Sci. 52 (3) (2001)
Walter Vogler, Lars Jenner
Axiomatizing a Fragment of PAFAS. Electron. Notes Theor. Comput. Sci. 39 (3) (2000)
Walter Vogler
Efficiency of Asynchronous Systems That Communicate Asynchronously. ICATPN (2000)
Walter Vogler
Concurrent Implementation of Asynchronous Transition Systems. ICATPN (1999)
Lars Jenner, Walter Vogler
Comparing the Efficiency of Asynchronous Systems. ARTS (1999)
Elmar Bihler, Walter Vogler
Efficiency of Token-Passing MUTEX-Solutions - Some Experiments. ICATPN (1998)
Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev
Unfolding and Finite Prefix for Nets with Read Arcs. CONCUR (1998)

Walter Vogler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Walter Vogler