Ferenc Bujtor

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 4

Top Topics

Transition Systems

Finite Automata

Pruning Methods

Top Venues

Theor. Comput. Sci.

ACM Trans. Embed. Comput. Syst.

University of Augsburg, Germany (PHD)

Education History

University of Augsburg, Germany

PHD

Publications

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)
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)
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)
Ferenc Bujtor, Walter Vogler
Failure Semantics for Modal Transition Systems. ACSD (2014)