Author Info
Name
Affiliation
Papers
PETER GJØL JENSEN
Aalborg Univ, Dept Comp Sci, DK-9220 Aalborg, Denmark
26
Collaborators
Citations 
PageRank 
80
32
9.38
Referers 
Referees 
References 
97
314
176
Search Limit
100314
Title
Citations
PageRank
Year
Distributed Fleet Management in Noisy Environments via Model-Predictive Control.00.342022
Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures00.342022
Improvements in Unfolding of Colored Petri Nets.00.342021
Faster Pushdown Reachability Analysis with Applications in Network Verification00.342021
Stubborn Set Reduction For Two-Player Reachability Games00.342021
Adtlang: A Programming Language Approach To Attack Defense Trees00.342021
Verification And Parameter Synthesis For Real-Time Programs Using Refinement Of Trace Abstraction00.342021
AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks30.382020
Stubborn versus structural reductions for Petri nets.10.362019
Teaching Stratego to Play Ball - Optimal Synthesis for Continuous Space MDPs.10.362019
Presentation of the 9th Edition of the Model Checking Contest.00.342019
Partial Order Reduction for Reachability Games.00.342019
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets.00.342018
MCC'2017 - The Seventh Model Checking Contest.10.352018
Discrete and continuous strategies for timed-arc Petri net games.20.362018
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs.00.342018
Start Pruning When Time Gets Urgent: Partial Order Reduction For Timed Systems00.342018
WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL.10.342017
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU.00.342017
Refinement of Trace Abstraction for Real-Time Programs.10.372017
Practical controller synthesis for MTL0, ∞.00.342017
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing.60.442017
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization.20.362016
Uppaal Stratego.40.412015
Memory Efficient Data Structures for Explicit Verification of Timed Systems.00.342014
On Time with Minimal Expected Cost!100.582014