Login / Signup
Anastasia Gkolfi
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 4
Top Topics
Quantitative Analysis
Model Checking
Coloured Petri Nets
Computation Tree Logic
Top Venues
PNSE@Petri Nets
Sci. Comput. Program.
FACS
FSEN
</>
Publications
</>
Anastasia Gkolfi
,
Einar Broch Johnsen
,
Lars Michael Kristensen
,
Ingrid Chieh Yu
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets.
PNSE@Petri Nets
(2020)
Anastasia Gkolfi
,
Crystal Chang Din
,
Einar Broch Johnsen
,
Lars Michael Kristensen
,
Martin Steffen
,
Ingrid Chieh Yu
Translating active objects into colored Petri nets for communication analysis.
Sci. Comput. Program.
181 (2019)
Anastasia Gkolfi
,
Einar Broch Johnsen
,
Lars Michael Kristensen
,
Ingrid Chieh Yu
Using Coloured Petri Nets for Resource Analysis of Active Objects.
FACS
(2018)
Anastasia Gkolfi
,
Crystal Chang Din
,
Einar Broch Johnsen
,
Martin Steffen
,
Ingrid Chieh Yu
Translating Active Objects into Colored Petri Nets for Communication Analysis.
FSEN
(2017)