| 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 | 270 | 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 | 104 | 2011 |
| Quantitative analysis of real-time systems P Bouyer, U Fahrenberg, KG Larsen, N Markey Journal Communications of the ACM, 2010 | 86* | 2010 |
| The Quantitative Linear-Time–Branching-Time Spectrum U Fahrenberg, A Legay, C Thrane FSTTCS 2011, 2011 | 81 | 2011 |
| Quantitative analysis of weighted transition systems C Thrane, U Fahrenberg, KG Larsen Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010 | 75 | 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 | 63 | 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 | 54 | 2018 |
| A category of higher-dimensional automata U Fahrenberg Foundations of Software Science and Computational Structures, 187-201, 2005 | 48* | 2005 |
| Metrics for weighted transition systems: Axiomatization and complexity KG Larsen, U Fahrenberg, C Thrane Theoretical Computer Science, 2011 | 42 | 2011 |
| Reparametrizations of continuous paths U Fahrenberg, M Raussen Journal of Homotopy and Related Structures 2 (2), 93-117, 2007 | 40 | 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 | 38 | 2014 |
| Vision paper: make a difference! (Semantically) U Fahrenberg, A Legay, A Wąsowski Model Driven Engineering Languages and Systems, 490-500, 2011 | 34 | 2011 |
| Discount-optimal infinite runs in priced timed automata U Fahrenberg, KG Larsen Electronic Notes in Theoretical Computer Science 239, 179-191, 2009 | 34 | 2009 |
| Languages of higher-dimensional automata U Fahrenberg, C Johansen, G Struth, K Ziemiański Mathematical Structures in Computer Science 31 (5), 575-613, 2021 | 31 | 2021 |
| Directed homology U Fahrenberg Proc. GETCO&CMCIM, 2003 | 30 | 2003 |
| 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 |
| Distances for weighted transition systems: Games and properties U Fahrenberg, C Thrane, KG Larsen QAPL 2011, 2011 | 28 | 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 | 27 | 2015 |
| 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 |
axel legayTRAXXEOVerified email at uclouvain.be
