Seguir
Uli Fahrenberg
Uli Fahrenberg
Laboratoire de recherche de l'EPITA (LRE)
Dirección de correo verificada de polytechnique.edu
Título
Citado por
Citado por
Año
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
2492008
Energy Games in Multiweighted Automata
U Fahrenberg, L Juhl, KG Larsen, J Srba
Proceedings of the 8th International Colloquium on Theoretical Aspects of …, 2011
902011
Quantitative analysis of real-time systems
P Bouyer, U Fahrenberg, KG Larsen, N Markey
Journal Communications of the ACM, 2010
80*2010
The Quantitative Linear-Time–Branching-Time Spectrum
U Fahrenberg, A Legay, C Thrane
FSTTCS 2011, 2011
752011
Quantitative analysis of weighted transition systems
C Thrane, U Fahrenberg, KG Larsen
Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010
712010
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
552010
A category of higher-dimensional automata
U Fahrenberg
Foundations of Software Science and Computational Structures, 187-201, 2005
47*2005
Model checking real-time systems
P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Ouaknine, J Worrell
Handbook of Model Checking, 1001-1046, 2018
462018
Metrics for weighted transition systems: Axiomatization and complexity
KG Larsen, U Fahrenberg, C Thrane
Theoretical Computer Science, 2011
402011
Reparametrizations of continuous paths
U Fahrenberg, M Raussen
Journal of Homotopy and Related Structures 2 (2), 93-117, 2007
362007
Vision paper: make a difference! (Semantically)
U Fahrenberg, A Legay, A Wąsowski
Model Driven Engineering Languages and Systems, 490-500, 2011
332011
Discount-optimal infinite runs in priced timed automata
U Fahrenberg, KG Larsen
Electronic Notes in Theoretical Computer Science 239, 179-191, 2009
332009
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
302014
Directed homology
U Fahrenberg
Proc. GETCO&CMCIM, 2003
292003
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
282013
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
282013
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
282011
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
262015
Distances for weighted transition systems: Games and properties
U Fahrenberg, C Thrane, KG Larsen
QAPL 2011, 2011
262011
A quantitative characterization of weighted Kripke structures in temporal logic
U Fahrenberg, KG Larsen, C Thrane
Computing and Informatics 29 (6), 1311-1324, 2010
252010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20