Følg
Uli Fahrenberg
Uli Fahrenberg
Laboratoire de recherche de l'EPITA (LRE)
Verifisert e-postadresse på polytechnique.edu
Tittel
Sitert av
Sitert av
År
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
2572008
Energy Games in Multiweighted Automata
U Fahrenberg, L Juhl, KG Larsen, J Srba
Proceedings of the 8th International Colloquium on Theoretical Aspects of …, 2011
942011
Quantitative analysis of real-time systems
P Bouyer, U Fahrenberg, KG Larsen, N Markey
Journal Communications of the ACM, 2010
87*2010
The Quantitative Linear-Time–Branching-Time Spectrum
U Fahrenberg, A Legay, C Thrane
FSTTCS 2011, 2011
772011
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
602010
Model checking real-time systems
P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Ouaknine, J Worrell
Handbook of Model Checking, 1001-1046, 2018
492018
A category of higher-dimensional automata
U Fahrenberg
Foundations of Software Science and Computational Structures, 187-201, 2005
49*2005
Metrics for weighted transition systems: Axiomatization and complexity
KG Larsen, U Fahrenberg, C Thrane
Theoretical Computer Science, 2011
412011
Reparametrizations of continuous paths
U Fahrenberg, M Raussen
Journal of Homotopy and Related Structures 2 (2), 93-117, 2007
412007
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
362014
Vision paper: make a difference! (Semantically)
U Fahrenberg, A Legay, A Wąsowski
Model Driven Engineering Languages and Systems, 490-500, 2011
342011
Discount-optimal infinite runs in priced timed automata
U Fahrenberg, KG Larsen
Electronic Notes in Theoretical Computer Science 239, 179-191, 2009
342009
Directed homology
U Fahrenberg
Proc. GETCO&CMCIM, 2003
312003
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
Languages of higher-dimensional automata
U Fahrenberg, C Johansen, G Struth, K Ziemiański
Mathematical Structures in Computer Science 31 (5), 575-613, 2021
272021
Distances for weighted transition systems: Games and properties
U Fahrenberg, C Thrane, KG Larsen
QAPL 2011, 2011
272011
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
272011
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
252015
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20