Uli Fahrenberg
Uli Fahrenberg
École polytechnique, Laboratoire d'informatique (LIX)
Verified email at polytechnique.edu
Cited by
Cited by
Infinite runs in weighted timed automata with energy constraints
P Bouyer, U Fahrenberg, K Larsen, N Markey, J Srba
Formal Modeling and Analysis of Timed Systems, 33-47, 2008
Energy Games in Multiweighted Automata
U Fahrenberg, L Juhl, KG Larsen, J Srba
Proceedings of the 8th International Colloquium on Theoretical Aspects of …, 2011
Quantitative analysis of real-time systems
P Bouyer, U Fahrenberg, KG Larsen, N Markey
Journal Communications of the ACM, 2010
The Quantitative Linear-Time–Branching-Time Spectrum
U Fahrenberg, A Legay, C Thrane
FSTTCS 2011, 2011
Quantitative analysis of weighted transition systems
C Thrane, U Fahrenberg, KG Larsen
Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010
Timed automata with observers under energy constraints
P Bouyer, U Fahrenberg, KG Larsen, N Markey
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
A category of higher-dimensional automata
U Fahrenberg
Foundations of Software Science and Computational Structures, 187-201, 2005
Discount-optimal infinite runs in priced timed automata
U Fahrenberg, KG Larsen
Electronic Notes in Theoretical Computer Science 239, 179-191, 2009
Metrics for weighted transition systems: Axiomatization and complexity
KG Larsen, U Fahrenberg, C Thrane
Theoretical Computer Science, 2011
Reparametrizations of continuous paths
U Fahrenberg, M Raussen
Journal of Homotopy and Related Structures 2 (2), 93-117, 2007
Directed homology
U Fahrenberg
Proc. GETCO&CMCIM, 2003
Vision paper: make a difference! (Semantically)
U Fahrenberg, A Legay, A Wąsowski
Model Driven Engineering Languages and Systems, 490-500, 2011
Quantitative refinement for weighted modal transition systems
S Bauer, U Fahrenberg, L Juhl, K Larsen, A Legay, C Thrane
Mathematical Foundations of Computer Science 2011, 60-71, 2011
Weighted modal transition systems
SS Bauer, U Fahrenberg, L Juhl, KG Larsen, A Legay, C Thrane
Formal Methods in System Design 42 (2), 193-220, 2013
A quantitative characterization of weighted Kripke structures in temporal logic
U Fahrenberg, KG Larsen, C Thrane
Computing and Informatics 29 (6), 1311-1324, 2010
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
N Beneš, B Delahaye, U Fahrenberg, J Křetínský, A Legay
International Conference on Concurrency Theory, 76-90, 2013
Distances for weighted transition systems: Games and properties
U Fahrenberg, C Thrane, KG Larsen
QAPL 2011, 2011
Model checking real-time systems
P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Ouaknine, J Worrell
Handbook of Model Checking, 1001-1046, 2018
General Quantitative Specification Theories with Modalities
SS Bauer, U Fahrenberg, A Legay, C Thrane
CSR, 2012
Higher-dimensional automata from a topological viewpoint
U Fahrenberg
Aalborg University, 2005
The system can't perform the operation now. Try again later.
Articles 1–20