Følg
Thomas Pedersen
Thomas Pedersen
Master of Computer science, Aalborg University
Verificeret mail på stofanet.dk
Titel
Citeret af
Citeret af
År
Online and proactive vehicle rerouting with uppaal stratego
A Bilgram, E Ernstsen, P Greve, H Lahrmann, KG Larsen, M Muniz, ...
Transportation Research Record 2675 (11), 13-22, 2021
62021
Improvements in unfolding of colored petri nets
A Bilgram, PG Jensen, T Pedersen, J Srba, PH Taankvist
Reachability Problems: 15th International Conference, RP 2021, Liverpool, UK …, 2021
62021
HMKAAL: Formal Verification and Detection of Non-determinism and Data Races in Industrial Systems
A Bilgram, E Ernstsen, PB Greve, PH Taankvist, T Pedersen
Unfolding of Colored Petri Nets by Color Quotienting and Approximation
A Bilgram, T Pedersen, P Taankvist
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–4