Uli Fahrenberg

Cited by

	All	Since 2020
Citations	1764	660
h-index	24	14
i10-index	45	22

180

135

2005200620072008200920102011201220132014201520162017201820192020202120222023202420258 7 9 4 31 34 62 110 111 131 106 96 113 124 115 109 100 170 124 147 10

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

axel legayUCLouvainVerified email at uclouvain.be
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Claus ThraneAssistant Professor, Dept. of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Christian JohansenProfessor at NTNU - Norwegian University of Science and TechnologyVerified email at ntnu.no
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoVerified email at unitn.it
Joanne M. AtleeComputer Science, University of WaterlooVerified email at uwaterloo.ca
Benoît DelahayeAssociate Professor, Nantes University, LS2NVerified email at univ-nantes.fr
Louis-Marie TraonouezINRIA RennesVerified email at inria.fr
Amrane AmazighLaboratoire de Recherche de l'EPITAVerified email at epita.fr
Hugo BazilleLaboratoire Recherche et Développement EPITAVerified email at lrde.epita.fr
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
Martin RaussenProfessor with special responsabilities (Mathematics), Aalborg UniversityVerified email at math.aau.dk
Ratan Bahadur ThapaPostdoc at the Institute for Artificial Intelligence, University of StuttgartVerified email at ki.uni-stuttgart.de
Giovanni BacciDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr

Uli Fahrenberg

Laboratoire de recherche de l'EPITA (LRE)

Verified email at polytechnique.edu


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	261	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	94	2011
Quantitative analysis of real-time systems P Bouyer, U Fahrenberg, KG Larsen, N Markey Journal Communications of the ACM, 2010	88*	2010
The Quantitative Linear-Time–Branching-Time Spectrum U Fahrenberg, A Legay, C Thrane FSTTCS 2011, 2011	76	2011
Quantitative analysis of weighted transition systems C Thrane, U Fahrenberg, KG Larsen Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010	70	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	59	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	51	2018
A category of higher-dimensional automata U Fahrenberg Foundations of Software Science and Computational Structures, 187-201, 2005	47*	2005
Metrics for weighted transition systems: Axiomatization and complexity KG Larsen, U Fahrenberg, C Thrane Theoretical Computer Science, 2011	41	2011
Reparametrizations of continuous paths U Fahrenberg, M Raussen Journal of Homotopy and Related Structures 2 (2), 93-117, 2007	41	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	37	2014
Vision paper: make a difference! (Semantically) U Fahrenberg, A Legay, A Wąsowski Model Driven Engineering Languages and Systems, 490-500, 2011	35	2011
Discount-optimal infinite runs in priced timed automata U Fahrenberg, KG Larsen Electronic Notes in Theoretical Computer Science 239, 179-191, 2009	33	2009
Directed homology U Fahrenberg Proc. GETCO&CMCIM, 2003	31	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	28	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	28	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	27	2011
Languages of higher-dimensional automata U Fahrenberg, C Johansen, G Struth, K Ziemiański Mathematical Structures in Computer Science 31 (5), 575-613, 2021	26	2021
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	26	2015
Distances for weighted transition systems: Games and properties U Fahrenberg, C Thrane, KG Larsen QAPL 2011, 2011	25	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors