Old Web
English
Sign In
Acemap
>
authorDetail
>
Anastasia Gkolfi
Anastasia Gkolfi
University of Oslo
Computer science
Petri net
Distributed computing
Model checking
Synchronization
4
Papers
5
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets.
2020
Anastasia Gkolfi
Einar Broch Johnsen
Lars Michael Kristensen
Ingrid Chieh Yu
Show All
Source
Cite
Save
Citations (0)
Translating active objects into colored Petri nets for communication analysis
2019
Science of Computer Programming
Anastasia Gkolfi
Crystal Chang Din
Einar Broch Johnsen
Lars Michael Kristensen
Martin Steffen
Ingrid Chieh Yu
Show All
Source
Cite
Save
Citations (2)
Using coloured Petri nets for resource analysis of active objects
2018
FACS | Formal Aspects of Component Software
Anastasia Gkolfi
Einar Broch Johnsen
Lars Michael Kristensen
Ingrid Chieh Yu
Show All
Source
Cite
Save
Citations (0)
Translating Active Objects into Colored Petri Nets for Communication Analysis
2017
FSEN | Fundamentals of Software Engineering
Anastasia Gkolfi
Crystal Chang Din
Einar Broch Johnsen
Martin Steffen
Ingrid Chieh Yu
Show All
Source
Cite
Save
Citations (3)
1