Ferenc Bujtor

According to our database, Ferenc Bujtor authored at least 7 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Modal Interface Automata: A Theory for Heterogeneous Specification of Parallel Systems.

Ferenc Bujtor

PhD thesis, 2018

2017

Testing Preorders for dMTS: Deadlock- and the New Deadlock-/DivergenceTesting.

Ferenc Bujtor, Lev Sorokin, Walter Vogler

ACM Trans. Embed. Comput. Syst., 2017

ACTL for Modal Interface Automata.

Ferenc Bujtor, Walter Vogler

Theor. Comput. Sci., 2017

2016

Nondeterministic Modal Interfaces.

Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler

Theor. Comput. Sci., 2016

2015

Failure Semantics for Modal Transition Systems.

Ferenc Bujtor, Walter Vogler

ACM Trans. Embed. Comput. Syst., 2015

Error-pruning in interface automata.

Ferenc Bujtor, Walter Vogler

Theor. Comput. Sci., 2015

Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing.

Ferenc Bujtor, Lev Sorokin, Walter Vogler

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015