Uli Fahrenberg

Cited by

	All	Since 2016
Citations	1205	568
h-index	20	12
i10-index	29	20

140

105

2004200520062007200820092010201120122013201420152016201720182019202020213 8 7 9 4 32 35 61 115 113 124 104 97 116 120 116 110 2

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 BouyerLSV, CNRS & ENS Paris-SaclayVerified email at lsv.fr
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Roberto PasseroneUniversity of TrentoVerified email at unitn.it
Joanne M. AtleeComputer Science, University of WaterlooVerified email at uwaterloo.ca
Benoît DelahayeAssociate Professor, University of Nantes, LS2NVerified email at univ-nantes.fr
Louis-Marie TraonouezINRIA RennesVerified email at inria.fr
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified 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
Qi LuComputer Science, Univ. of Texas San Antonio, Univ. of New MexicoVerified email at utsa.edu
Christian JohansenResearcher at University of OsloVerified email at ifi.uio.no
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Fabrizio BiondiAI Research Manager, AvastVerified email at avast.com
Kevin CorrePhD, R&D Software EngineerVerified email at nagra.com
cyrille JegourelSUTDVerified email at sutd.edu.sg

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

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

Upload PDF

Follow this author

Cited by

Co-authors