Ferenc Bujtor

According to our database, Ferenc Bujtor authored at least 7 papers between 2014 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

2016

ACTL for Modal Interface Automata.

Ferenc Bujtor, Walter Vogler

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Nondeterministic Modal Interfaces.

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

Proceedings of the SOFSEM 2015: Theory and Practice of Computer Science, 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

2014

Error-Pruning in Interface Automata.

Ferenc Bujtor, Walter Vogler

Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014

Failure Semantics for Modal Transition Systems.

Ferenc Bujtor, Walter Vogler

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014