Uli Fahrenberg

Cited by

	All	Since 2018
Citations	1574	718
h-index	21	14
i10-index	39	25

180

135

20052006200720082009201020112012201320142015201620172018201920202021202220238 7 9 4 31 35 65 114 105 129 107 97 107 125 112 110 96 167 107

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
Claus ThraneAssistant Professor, Dept. of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Joanne M. AtleeComputer Science, University of WaterlooVerified email at uwaterloo.ca
Roberto PasseroneUniversity of TrentoVerified email at unitn.it
Benoît DelahayeAssociate Professor, Nantes University, LS2NVerified email at univ-nantes.fr
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
Ratan Bahadur ThapaPhD Student, University of Oslo, NorwayVerified email at ifi.uio.no
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
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
Qi LuComputer Science, Univ. of Texas Rio Grande ValleyVerified email at utrgv.edu
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org

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	244	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	88	2011
Quantitative analysis of real-time systems P Bouyer, U Fahrenberg, KG Larsen, N Markey Journal Communications of the ACM, 2010	78*	2010
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
The Quantitative Linear-Time–Branching-Time Spectrum U Fahrenberg, A Legay, C Thrane FSTTCS 2011, 2011	69	2011
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	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	46	2018
Metrics for weighted transition systems: Axiomatization and complexity KG Larsen, U Fahrenberg, C Thrane Theoretical Computer Science, 2011	39	2011
Reparametrizations of continuous paths U Fahrenberg, M Raussen Journal of Homotopy and Related Structures 2 (2), 93-117, 2007	36	2007
Discount-optimal infinite runs in priced timed automata U Fahrenberg, KG Larsen Electronic Notes in Theoretical Computer Science 239, 179-191, 2009	33	2009
Vision paper: make a difference! (Semantically) U Fahrenberg, A Legay, A Wąsowski Model Driven Engineering Languages and Systems, 490-500, 2011	32	2011
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	31	2014
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	29	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	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	28	2011
Distances for weighted transition systems: Games and properties U Fahrenberg, C Thrane, KG Larsen QAPL 2011, 2011	26	2011
Directed homology U Fahrenberg Proc. GETCO&CMCIM, 2003	26	2003
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
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

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