C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Nicolaj Ø. Jensen
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Orders Of Magnitude
Alternating Time Temporal Logic
Model Checker
Intrusion Detection
Top Venues
MobiQuitous
GandALF
ICFEM
</>
Publications
</>
Nicolaj Ø. Jensen
,
Peter Gjøl Jensen
,
Kim G. Larsen
Dynamic Extrapolation in Extended Timed Automata.
ICFEM
(2023)
Falke B. Ø. Carlsen
,
Lars Bo P. Frydenskov
,
Nicolaj Ø. Jensen
,
Jener Rasmussen
,
Mathias M. Sørensen
,
Asger G. Weirsøe
,
Mathias Claus Jensen
,
Kim G. Larsen
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics.
GandALF
(2023)
Falke B. Ø. Carlsen
,
Jacob J. Rasmussen
,
Mathias M. Sørensen
,
Nicolaj Ø. Jensen
,
Michele Albano
Generation of Realistic Activity Scenarios for SUMO.
MobiQuitous
(2020)