Viktor Teren

According to our database, Viktor Teren authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

2023

Generation of synchronizing state machines from a transition system: A region-based approach.

Viktor Teren, Jordi Cortadella, Tiziano Villa

Int. J. Appl. Math. Comput. Sci., 2023

Seto: A Framework for the Decomposition of Petri Nets and Transition Systems.

Viktor Teren, Jordi Cortadella, Tiziano Villa

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

2022

Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets.

Viktor Teren, Jordi Cortadella, Tiziano Villa

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2021

Decomposition of transition systems into sets of synchronizing state machines.

Viktor Teren, Jordi Cortadella, Tiziano Villa

Proceedings of the 24th Euromicro Conference on Digital System Design, 2021