Anastasia Gkolfi

According to our database, Anastasia Gkolfi authored at least 4 papers between 2017 and 2020.

Collaborative distances:

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

2020

Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets.

Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

2019

Translating active objects into colored Petri nets for communication analysis.

Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu

Sci. Comput. Program., 2019

2018

Using Coloured Petri Nets for Resource Analysis of Active Objects.

Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

Translating Active Objects into Colored Petri Nets for Communication Analysis.

Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017