Uli Fahrenberg

Cited by

	All	Since 2017
Citations	1404	652
h-index	22	14
i10-index	36	22

140

105

2005200620072008200920102011201220132014201520162017201820192020202120228 6 9 4 32 37 60 117 107 128 106 98 119 126 112 115 104 73

Public access

View all

8 articles

1 article

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
Claus ThraneAssistant Professor, Dept. of Computer Science, 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
Christian JohansenProfessor of Theoretical Computer Science at NTNU - Norwegian University of Science and TechnologyVerified email at ntnu.no
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Joanne M. AtleeComputer Science, University of WaterlooVerified email at uwaterloo.ca
Benoît DelahayeAssociate Professor, University of Nantes, LS2NVerified email at univ-nantes.fr
Roberto PasseroneUniversity of TrentoVerified email at unitn.it
Louis-Marie TraonouezINRIA RennesVerified email at inria.fr
Jan Křetínský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
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Ratan Bahadur ThapaPhD Student, University of OsloVerified email at ifi.uio.no
Qi LuComputer Science, Univ. of Texas San AntonioVerified email at utsa.edu
Giovanni BacciDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Pierre-Alain ReynierLIF, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr

Uli Fahrenberg

École polytechnique, Laboratoire d'informatique (LIX)

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	221	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	83	2011
Quantitative analysis of real-time systems P Bouyer, U Fahrenberg, KG Larsen, N Markey Journal Communications of the ACM, 2010	69*	2010
The Quantitative Linear-Time–Branching-Time Spectrum U Fahrenberg, A Legay, C Thrane FSTTCS 2011, 2011	62	2011
Quantitative analysis of weighted transition systems C Thrane, U Fahrenberg, KG Larsen Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010	60	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	55	2010
A category of higher-dimensional automata U Fahrenberg Foundations of Software Science and Computational Structures, 187-201, 2005	43*	2005
Reparametrizations of continuous paths U Fahrenberg, M Raussen Journal of Homotopy and Related Structures 2 (2), 93-117, 2007	36	2007
Metrics for weighted transition systems: Axiomatization and complexity KG Larsen, U Fahrenberg, C Thrane Theoretical Computer Science, 2011	33	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	31	2018
Discount-optimal infinite runs in priced timed automata U Fahrenberg, KG Larsen Electronic Notes in Theoretical Computer Science 239, 179-191, 2009	31	2009
Vision paper: make a difference! (Semantically) U Fahrenberg, A Legay, A Wąsowski Model Driven Engineering Languages and Systems, 490-500, 2011	30	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	28	2013
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	27*	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
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	25	2015
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	25	2014
General Quantitative Specification Theories with Modalities SS Bauer, U Fahrenberg, A Legay, C Thrane CSR, 2012	25*	2012
A quantitative characterization of weighted Kripke structures in temporal logic U Fahrenberg, KG Larsen, C Thrane Computing and Informatics 29 (6), 1311-1324, 2010	25*	2010
Distances for weighted transition systems: Games and properties U Fahrenberg, C Thrane, KG Larsen QAPL 2011, 2011	24	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 this author

Cited by

Co-authors