Ayleen Schinko

According to our database, Ayleen Schinko authored at least 3 papers between 2018 and 2022.

Collaborative distances:

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

2022

Interface Automata for Shared Memory.

Ayleen Schinko, Walter Vogler, Johannes Gareis, N. Tri Nguyen, Gerald Lüttgen

Acta Informatica, 2022

2018

Interface Automata for Shared Memory.

Johannes Gareis, Gerald Lüttgen, Ayleen Schinko, Walter Vogler

Proceedings of the Models, Mindsets, 2018

Fault-Free Refinements for Interface Automata.

Ayleen Schinko, Walter Vogler

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018