I am professor at EPITA Rennes and at LRE, and head of the Automata and applications research group at LRE.
My research is in the areas of real-time systems, quantitative verification, directed algebraic topology, concurrency theory, and in categorical foundations for theoretical computer science.
Languages of Higher-Dimensional Timed Automata
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg. Languages of Higher-Dimensional Timed Automata. 2024. ⟨hal-04444648⟩
ω-Regular Energy Problems
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber. ω-Regular Energy Problems. Formal Aspects of Computing, In press, ⟨10.1145/3678265⟩. ⟨hal-04732000⟩
Closure and Decision Properties for Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemiański. Closure and Decision Properties for Higher-Dimensional Automata. 20th International Colloquium on Theoretical Aspects of Computing (ICTAC'23), Dec 2023, Lima, Peru. ⟨10.1007/978-3-031-47963-2_18⟩. ⟨hal-04580362⟩
Catoids and Modal Convolution Algebras
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański. Catoids and Modal Convolution Algebras. Algebra Universalis, 2023, 84 (10), ⟨10.1007/s00012-023-00805-9⟩. ⟨hal-04580370⟩
Energy Büchi Problems
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier. Energy Büchi Problems. FM 2023 - 25th International Symposium on Formal Methods, Mar 2023, Lübeck, Germany. pp.222-239, ⟨10.1007/978-3-031-27481-7_14⟩. ⟨hal-04344167⟩
A Myhill-Nerode Theorem for Higher-Dimensional Automata
Uli Fahrenberg, Krzysztof Ziemiański. A Myhill-Nerode Theorem for Higher-Dimensional Automata. Application and Theory of Petri Nets and Concurrency (PETRI NETS), Jun 2023, Caparica, Portugal. ⟨10.1007/978-3-031-33620-1_9⟩. ⟨hal-04580371⟩
Une approche générique à la vérification quantitative
Uli Fahrenberg, Aline Fahrenberg. Une approche générique à la vérification quantitative. 2023. ⟨hal-04206693⟩
A Kleene Theorem for Higher-Dimensional Automata
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański. A Kleene Theorem for Higher-Dimensional Automata. CONCUR, Sep 2022, Warsaw, Poland. ⟨10.4230/LIPIcs.CONCUR.2022.29⟩. ⟨hal-04540030⟩
Introduction to the Special Issue on Distributed Hybrid Systems
Alessandro Abate, Uli Fahrenberg, Martin Fränzle. Introduction to the Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, 2022, 8 (2), pp.00:1-00:3. ⟨10.4230/LITES.8.2.0⟩. ⟨hal-04580361⟩
Higher-Dimensional Timed and Hybrid Automata
Uli Fahrenberg. Higher-Dimensional Timed and Hybrid Automata. Leibniz Transactions on Embedded Systems, 2022, ⟨10.4230/LITES.8.2.3⟩. ⟨hal-04540038⟩
Posets With Interfaces as a Model for Concurrency
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański. Posets With Interfaces as a Model for Concurrency. Information and Computation, 2022, 285 (B), pp.104914. ⟨10.1016/j.ic.2022.104914⟩. ⟨hal-04580368⟩
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
Luigi Santocanale, Uli Fahrenberg, Mai Gehrke, Michael Winter. Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings. U. Fahrenberg, M. Gehrke, L. Santocanale, and M. Winter. Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Nov 2021, Marseille, France. 13027, Springer, 2021, Lecture Notes in Computer Science. ⟨hal-03518424⟩
Sculptures in Concurrency
Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemiański. Sculptures in Concurrency. Logical Methods in Computer Science, 2021, 17 (2), ⟨10.23638/LMCS-17(2:5)2021⟩. ⟨hal-04540032⟩
Higher-Dimensional Timed Automata
Uli Fahrenberg. Higher-Dimensional Timed Automata. ADHS, Jul 2018, Oxford, United Kingdom. ⟨hal-04540037⟩
Optimal and Robust Controller Synthesis
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, et al.. Optimal and Robust Controller Synthesis. FM 2018 - International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.203-221, ⟨10.1007/978-3-319-95582-7_12⟩. ⟨hal-01889222⟩
A Tag Contract Framework for Modeling Heterogeneous Systems
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay. A Tag Contract Framework for Modeling Heterogeneous Systems. Science of Computer Programming, 2016. ⟨hal-01406446⟩
Long-term average cost in featured transition systems
Rafael Olaechea, Uli Fahrenberg, Joanne M Atlee, Axel Legay. Long-term average cost in featured transition systems. SPLC '16 - 20th International Systems and Software Product Line Conference, Sep 2016, Beijing, China. pp.109 - 118, ⟨10.1145/2934466.2934473⟩. ⟨hal-01406541⟩
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay. Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. Theory of Computing Systems, 2016, 15, ⟨10.1145/2885752⟩. ⟨hal-01406481⟩
An ω-Algebra for Real-Time Energy Problems
David Cachera, Uli Fahrenberg, Axel Legay. An ω-Algebra for Real-Time Energy Problems. 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2015, Bengaluru, India. pp.394. ⟨hal-01237667⟩
Continuous Kleene ω-Algebras
Zoltán Esik, Uli Fahrenberg, Axel Legay. -Continuous Kleene ω-Algebras. Developments in Language Theory - 19th International Conference, Jul 2015, Liverpool, United Kingdom. pp.240-251. ⟨hal-01237648⟩
Continuous Kleene ω-Algebras for Energy Problems
Zoltán Esik, Uli Fahrenberg, Axel Legay. -Continuous Kleene ω-Algebras for Energy Problems. Proceedings Tenth International Workshop on Fixed Points in Computer Science, Sep 2015, Berlin, Germany. pp.48-59. ⟨hal-01237653⟩
Measuring Behaviour Interactions between Product-Line Features
Joanne M. Atlee, Uli Fahrenberg, Axel Legay. Measuring Behaviour Interactions between Product-Line Features. 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, May 2015, Firenze, Italy. ⟨hal-01237655⟩
Partial Higher-Dimensional Automata
Uli Fahrenberg, Axel Legay. Partial Higher-Dimensional Automata. 6th Conference on Algebra and Coalgebra in Computer Science, Jun 2015, Nijmegen, Netherlands. ⟨hal-01237643⟩
Measuring Behaviour Interactions between Product-Line Features
Joanne M. Atlee, Uli Fahrenberg, Axel Legay. Measuring Behaviour Interactions between Product-Line Features. [Research Report] Inria Rennes. 2014. ⟨hal-01088160⟩
Homotopy Bisimilarity for Higher-Dimensional Automata
Uli Fahrenberg, Axel Legay. Homotopy Bisimilarity for Higher-Dimensional Automata. [Research Report] Inria Rennes. 2014. ⟨hal-01087294⟩
Refinement and Difference for Probabilistic Automata
Benoit Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay. Refinement and Difference for Probabilistic Automata. Logical Methods in Computer Science, 2014, pp.LMCS-2013-936. ⟨hal-01010866⟩
Distances for Weighted Transition Systems: Games and Properties
Uli Fahrenberg, Claus Thrane, Kim Guldstrand Larsen. Distances for Weighted Transition Systems: Games and Properties. QAPL, Apr 2011, Saarbrücken, Germany. pp.134 - 147, ⟨10.4204/EPTCS.57.10⟩. ⟨hal-01088053⟩
Energy Games in Multiweighted Automata
Uli Fahrenberg, Line Juhl, Kim Guldstrand Larsen, Jiří Srba. Energy Games in Multiweighted Automata. ICTAC, Aug 2011, Johannesburg, South Africa. pp.95 - 115, ⟨10.1007/978-3-642-23283-1_9⟩. ⟨hal-01088043⟩