Uli Fahrenberg
Uli Fahrenberg
Laboratoire de recherche de l'EPITA (LRE)
Dirección de correo verificada de
Citado por
Citado por
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
Model checking real-time systems
P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Ouaknine, J Worrell
Handbook of Model Checking, 1001-1046, 2018
A category of higher-dimensional automata
U Fahrenberg
Foundations of Software Science and Computational Structures, 187-201, 2005
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
Sound merging and differencing for class diagrams
U Fahrenberg, M Acher, A Legay, A Wąsowski
International Conference on Fundamental Approaches to Software Engineering …, 2014
Vision paper: make a difference! (Semantically)
U Fahrenberg, A Legay, A Wąsowski
Model Driven Engineering Languages and Systems, 490-500, 2011
Discount-optimal infinite runs in priced timed automata
U Fahrenberg, KG Larsen
Electronic Notes in Theoretical Computer Science 239, 179-191, 2009
Directed homology
U Fahrenberg
Proc. GETCO&CMCIM, 2003
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
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
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
Measuring behaviour interactions between product-line features
JM Atlee, U Fahrenberg, A Legay
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 20-25, 2015
Distances for weighted transition systems: Games and properties
U Fahrenberg, C Thrane, KG Larsen
QAPL 2011, 2011
A quantitative characterization of weighted Kripke structures in temporal logic
U Fahrenberg, KG Larsen, C Thrane
Computing and Informatics 29 (6), 1311-1324, 2010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20