| 2025 | FSCD | Higher-Dimensional Automata: Extension to Infinite Tracks. | Luc Passemard, Amazigh Amrane, Uli Fahrenberg |
| 2024 | DLT | Logic and Languages of Higher-Dimensional Automata. | Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin |
| 2024 | ICTAC | Bisimulations and Logics for Higher-Dimensional Automata. | Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg |
| 2023 | FM | Energy Bchi Problems. | Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier |
| 2023 | ICTAC | Closure and Decision Properties for Higher-Dimensional Automata. | Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski |
| 2022 | CONCUR | A Kleene Theorem for Higher-Dimensional Automata. | Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski |
| 2021 | TASE | Featured Games. | Uli Fahrenberg, Axel Legay |
| 2020 | ISoLA | Behavioral Specification Theories: An Algebraic Taxonomy. | Uli Fahrenberg, Axel Legay |
| 2019 | ICTAC | Computing Branching Distances Using Quantitative Games. | Uli Fahrenberg, Axel Legay, Karin Quaas |
| 2018 | FM | Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. | Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier |
| 2018 | ICSE | Trace checking for dynamic software product lines. | Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg |
| 2017 | ICSE | Featured Weighted Automata. | Uli Fahrenberg, Axel Legay |
| 2017 | SAC | Compatibility flooding: measuring interaction of services interfaces. | Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salan |
| 2017 | SOFSEM | A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. | Uli Fahrenberg, Axel Legay |
| 2016 | SPLC | Long-term average cost in featured transition systems. | Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay |
| 2015 | DLT | *-Continuous Kleene ω-Algebras. | Zoltn sik, Uli Fahrenberg, Axel Legay |
| 2015 | ICSE | Measuring Behaviour Interactions between Product-Line Features. | Joanne M. Atlee, Uli Fahrenberg, Axel Legay |
| 2015 | MODELS | Merging Features in Featured Transition Systems. | Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay |
| 2014 | FASE | Sound Merging and Differencing for Class Diagrams. | Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski |
| 2014 | ICTAC | Structural Refinement for the Modal nu-Calculus. | Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez |
| 2014 | MODELS | Configurable Formal Methods for Extreme Modeling. | Uli Fahrenberg, Axel Legay |
| 2013 | APLAS | Generalized Quantitative Analysis of Metric Transition Systems. | Uli Fahrenberg, Axel Legay |
| 2013 | ATVA | Kleene Algebras and Semimodules for Energy Problems. | Zoltn sik, Uli Fahrenberg, Axel Legay, Karin Quaas |
| 2013 | CONCUR | Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. | Nikola Benes, Benot Delahaye, Uli Fahrenberg, Jan Kretnsk, Axel Legay |
| 2013 | ICTAC | Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. | Uli Fahrenberg, Kim G. Larsen, Axel Legay |
| 2012 | CSR | General Quantitative Specification Theories with Modalities. | Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane |
| 2012 | FORTE | Synchronous Interface Theories and Time Triggered Scheduling. | Benot Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic |
| 2011 | ICTAC | Energy Games in Multiweighted Automata. | Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jir Srba |
| 2011 | MFCS | Quantitative Refinement for Weighted Modal Transition Systems. | Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane |
| 2011 | MODELS | Vision Paper: Make a Difference! (Semantically). | Uli Fahrenberg, Axel Legay, Andrzej Wasowski |