The Geometry of Timed PV Programs. - Ulrich Fahrenberg (GETCO, 2002)

Directed Homology. - Ulrich Fahrenberg (CMCIM/GETCO@CONCUR, 2003)

Preface. - Eric Goubault; Ulrich Fahrenberg (CMCIM/GETCO@CONCUR, 2003)

A Category of Higher-Dimensional Automata. - Ulrich Fahrenberg (FoSSaCS, 2005)

Infinite Runs in Weighted Timed Automata with Energy Constraints. - Patricia Bouyer; Ulrich Fahrenberg; Kim Guldstrand Larsen; Nicolas Markey; Jirí Srba (FORMATS, 2008)

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. - Uli Fahrenberg; Kim G. Larsen; Claus R. Thrane (FSEN, 2009)

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. - Kim G. Larsen; Uli Fahrenberg; Claus R. Thrane (MEMICS, 2009)

Discount-Optimal Infinite Runs in Priced Timed Automata. - Ulrich Fahrenberg; Kim Guldstrand Larsen (INFINITY, 2009)

Discounting in Time. - Ulrich Fahrenberg; Kim Guldstrand Larsen (QAPL, 2009)

Timed automata with observers under energy constraints. - Patricia Bouyer; Uli Fahrenberg; Kim G. Larsen; Nicolas Markey (HSCC, 2010)

Quantitative analysis of weighted transition systems. - Claus R. Thrane; Uli Fahrenberg; Kim G. Larsen (J. Log. Algebraic Methods Program., 2010)

The Quantitative Linear-Time–Branching-Time Spectrum. - Uli Fahrenberg; Axel Legay; Claus R. Thrane (FSTTCS, 2011)

Energy Games in Multiweighted Automata. - Uli Fahrenberg; Line Juhl; Kim G. Larsen; Jirí Srba (ICTAC, 2011)

Quantitative Refinement for Weighted Modal Transition Systems. - Sebastian S. Bauer; Uli Fahrenberg; Line Juhl; Kim G. Larsen; Axel Legay; Claus R. Thrane (MFCS, 2011)

Vision Paper: Make a Difference! (Semantically). - Uli Fahrenberg; Axel Legay; Andrzej Wasowski (MoDELS, 2011)

Quantitative analysis of real-time systems using priced timed automata. - Patricia Bouyer; Uli Fahrenberg; Kim G. Larsen; Nicolas Markey (Commun. ACM, 2011)

Distances for Weighted Transition Systems: Games and Properties - Uli Fahrenberg; Claus R. Thrane; Kim G. Larsen (QAPL, 2011)

Metrics for weighted transition systems: Axiomatization and complexity. - Kim G. Larsen; Uli Fahrenberg; Claus R. Thrane (Theor. Comput. Sci., 2011)

Model-Based Verification and Analysis for Real-Time Systems. - Uli Fahrenberg; Kim G. Larsen; Claus R. Thrane (Software and Systems Safety - Specification and Verification, 2011)

General Quantitative Specification Theories with Modalities. - Sebastian S. Bauer; Uli Fahrenberg; Axel Legay; Claus R. Thrane (CSR, 2012)

Synchronous Interface Theories and Time Triggered Scheduling. - Benoît Delahaye; Uli Fahrenberg; Thomas A. Henzinger; Axel Legay; Dejan Nickovic (FMOODS/FORTE, 2012)

A Robust Specification Theory for Modal Event-Clock Automata - Uli Fahrenberg; Axel Legay (FIT, 2012)

Reachability analysis for timed automata using max-plus algebra. - Qi Lu; Michael Madsen; Martin Milata; Søren Ravn; Uli Fahrenberg; Kim G. Larsen (J. Log. Algebraic Methods Program., 2012)

Tag Machines for Modeling Heterogeneous Systems. - Thi Thieu Hoa Le; Roberto Passerone; Ulrich Fahrenberg; Axel Legay (ACSD, 2013)

Generalized Quantitative Analysis of Metric Transition Systems. - Uli Fahrenberg; Axel Legay (APLAS, 2013)

Kleene Algebras and Semimodules for Energy Problems. - Zoltán Ésik; Uli Fahrenberg; Axel Legay; Karin Quaas (ATVA, 2013)

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. - Nikola Benes; Benoît Delahaye; Uli Fahrenberg; Jan Kretínský; Axel Legay (CONCUR, 2013)

A Tag Contract Framework for Heterogeneous Systems. - Thi Thieu Hoa Le; Roberto Passerone; Uli Fahrenberg; Axel Legay (ESOCC Workshops, 2013)

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. - Uli Fahrenberg; Kim G. Larsen; Axel Legay (ICTAC Training School on Software Engineering, 2013)

History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. - Uli Fahrenberg; Axel Legay (MFPS, 2013)

Weighted modal transition systems. - Sebastian S. Bauer; Uli Fahrenberg; Line Juhl; Kim G. Larsen; Axel Legay; Claus R. Thrane (Formal Methods Syst. Des., 2013)

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. - Uli Fahrenberg; Kim G. Larsen; Axel Legay; Claus R. Thrane (Engineering Dependable Software Systems, 2013)

Parametric and Quantitative Extensions of Modal Transition Systems. - Uli Fahrenberg; Kim Guldstrand Larsen; Axel Legay; Louis-Marie Traonouez (FPS@ETAPS, 2014)

Specification Theories for Probabilistic and Real-Time Systems. - Uli Fahrenberg; Axel Legay; Louis-Marie Traonouez (FPS@ETAPS, 2014)

Sound Merging and Differencing for Class Diagrams. - Uli Fahrenberg; Mathieu Acher; Axel Legay; Andrzej Wasowski (FASE, 2014)

Structural Refinement for the Modal nu-Calculus. - Uli Fahrenberg; Axel Legay; Louis-Marie Traonouez (ICTAC, 2014)

Configurable Formal Methods for Extreme Modeling. - Uli Fahrenberg; Axel Legay (XM@MoDELS, 2014)

Measuring Global Similarity Between Texts. - Uli Fahrenberg; Fabrizio Biondi; Kevin Corre; Cyrille Jégourel; Simon Kongshøj; Axel Legay (SLSP, 2014)

General quantitative specification theories with modal transition systems. - Uli Fahrenberg; Axel Legay (Acta Informatica, 2014)

Measuring Structural Distances between Texts. - Uli Fahrenberg; Fabrizio Biondi; Kevin Corre; Cyrille Jégourel; Simon Kongshøj; Axel Legay (CoRR, 2014)

Homotopy Bisimilarity for Higher-Dimensional Automata. - Uli Fahrenberg; Axel Legay (CoRR, 2014)

Refinement and Difference for Probabilistic Automata - Benoît Delahaye; Uli Fahrenberg; Kim G. Larsen; Axel Legay (Log. Methods Comput. Sci., 2014)

Tropical Fourier-Motzkin elimination, with an application to real-time verification. - Xavier Allamigeon; Uli Fahrenberg; Stéphane Gaubert; Ricardo David Katz; Axel Legay (Int. J. Algebra Comput., 2014)

The quantitative linear-time-branching-time spectrum. - Uli Fahrenberg; Axel Legay (Theor. Comput. Sci., 2014)

Partial Higher-dimensional Automata. - Ulrich Fahrenberg; Axel Legay (CALCO, 2015)

*-Continuous Kleene ω-Algebras. - Zoltán Ésik; Uli Fahrenberg; Axel Legay (DLT, 2015)

An omega-Algebra for Real-Time Energy Problems. - David Cachera; Uli Fahrenberg; Axel Legay (FSTTCS, 2015)

Measuring Behaviour Interactions between Product-Line Features. - Joanne M. Atlee; Uli Fahrenberg; Axel Legay (FormaliSE@ICSE, 2015)

Merging Features in Featured Transition Systems. - Joanne M. Atlee; Sandy Beidu; Uli Fahrenberg; Axel Legay (MoDeVVa@MoDELS, 2015)

*-Continuous Kleene ω-Algebras for Energy Problems. - Zoltán Ésik; Uli Fahrenberg; Axel Legay (FICS, 2015)

Long-term average cost in featured transition systems. - Rafael Olaechea; Uli Fahrenberg; Joanne M. Atlee; Axel Legay (SPLC, 2016)

A tag contract framework for modeling heterogeneous systems. - Thi Thieu Hoa Le; Roberto Passerone; Ulrich Fahrenberg; Axel Legay (Sci. Comput. Program., 2016)

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. - Thi Thieu Hoa Le; Roberto Passerone; Uli Fahrenberg; Axel Legay (ACM Trans. Embed. Comput. Syst., 2016)

Featured Weighted Automata. - Uli Fahrenberg; Axel Legay (FormaliSE@ICSE, 2017)

Compatibility flooding: measuring interaction of services interfaces. - Meriem Ouederni; Uli Fahrenberg; Axel Legay; Gwen Salaün (SAC, 2017)

An Algebraic Approach to Energy Problems I - *-Continuous Kleene ω-Algebras. - Zoltán Ésik; Uli Fahrenberg; Axel Legay; Karin Quaas (Acta Cybern., 2017)

An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions. - Zoltán Ésik; Uli Fahrenberg; Axel Legay; Karin Quaas (Acta Cybern., 2017)

An ω-Algebra for Real-Time Energy Problems. - David Cachera; Uli Fahrenberg; Axel Legay (CoRR, 2017)

From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. - Kim G. Larsen; Uli Fahrenberg; Axel Legay (Dependable Software Systems Engineering, 2017)

Higher-Dimensional Timed Automata. - Uli Fahrenberg (ADHS, 2018)

Trace checking for dynamic software product lines. - Rafael Olaechea; Joanne M. Atlee; Axel Legay; Uli Fahrenberg (SEAMS@ICSE, 2018)

Energiautomater, energifunktioner og Kleene-algebra. - Uli Fahrenberg; Kim G. Larsen (NIK, 2018)

Compositionality for quantitative specifications. - Uli Fahrenberg; Jan Kretínský; Axel Legay; Louis-Marie Traonouez (Soft Comput., 2018)

Model Checking Real-Time Systems. - Patricia Bouyer; Uli Fahrenberg; Kim Guldstrand Larsen; Nicolas Markey; Joël Ouaknine; James Worrell 001 (Handbook of Model Checking, 2018)

Computing Branching Distances Using Quantitative Games. - Uli Fahrenberg; Axel Legay; Karin Quaas (ICTAC, 2019)

An ωω omega-Algebra for Real-Time Energy Problems. - David Cachera; Uli Fahrenberg; Axel Legay (Log. Methods Comput. Sci., 2019)

Quantitative properties of featured automata. - Uli Fahrenberg; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2019)

Generating Posets Beyond N. - Uli Fahrenberg; Christian Johansen; Georg Struth; Ratan Bahadur Thapa (RAMiCS, 2020)

Behavioral Specification Theories: An Algebraic Taxonomy. - Uli Fahrenberg; Axel Legay (ISoLA (1), 2020)

Domain Semirings United. - Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianksi (CoRR, 2020)

Logical vs. behavioural specifications. - Nikola Benes; Uli Fahrenberg; Jan Kretínský; Axel Legay; Louis-Marie Traonouez (Inf. Comput., 2020)

A linear-time-branching-time spectrum for behavioral specification theories. - Uli Fahrenberg; Axel Legay (J. Log. Algebraic Methods Program., 2020)

Computing branching distances with quantitative games. - Uli Fahrenberg; Axel Legay; Karin Quaas (Theor. Comput. Sci., 2020)

ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. - Cameron Calk; Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (RAMiCS, 2021)

lr-Multisemigroups and Modal Convolution Algebras. - Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (CoRR, 2021)

Posets with Interfaces for Concurrent Kleene Algebra. - Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (CoRR, 2021)

Optimal and robust controller synthesis using energy timed automata with uncertainty. - Giovanni Bacci 001; Patricia Bouyer; Uli Fahrenberg; Kim G. Larsen; Nicolas Markey; Pierre-Alain Reynier (Formal Aspects Comput., 2021)

Sculptures in Concurrency. - Uli Fahrenberg; Christian Johansen; Christopher Trotter; Krzysztof Ziemianski (Log. Methods Comput. Sci., 2021)

Languages of higher-dimensional automata. - Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (Math. Struct. Comput. Sci., 2021)

A Generic Approach to Quantitative Verification. - Uli Fahrenberg (CoRR, 2022)

Posets with interfaces as a model for concurrency. - Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (Inf. Comput., 2022)

Introduction to the Special Issue on Distributed Hybrid Systems. - Alessandro Abate; Uli Fahrenberg; Martin Fränzle (Leibniz Trans. Embed. Syst., 2022)

Higher-Dimensional Timed and Hybrid Automata. - Uli Fahrenberg (Leibniz Trans. Embed. Syst., 2022)

Featured games. - Uli Fahrenberg; Axel Legay (Sci. Comput. Program., 2022)

Energy Büchi Problems. - Sven Dziadek; Uli Fahrenberg; Philipp Schlehuber-Caissier (FM, 2023)

Developments in Higher-Dimensional Automata Theory. - Amazigh Amrane; Hugo Bazille; Uli Fahrenberg; Krzysztof Ziemianski (CoRR, 2023)

Presenting Interval Pomsets with Interfaces. - Amazigh Amrane; Hugo Bazille; Emily Clement; Uli Fahrenberg; Krzysztof Ziemianski (RAMiCS, 2024)

Languages of Higher-Dimensional Timed Automata. - Amazigh Amrane; Hugo Bazille; Emily Clement; Uli Fahrenberg (Petri Nets, 2024)

Logic and Languages of Higher-Dimensional Automata. - Amazigh Amrane; Hugo Bazille; Uli Fahrenberg; Marie Fortin (DLT, 2024)

Bisimulations and Logics for Higher-Dimensional Automata. - Safa Zouari; Krzysztof Ziemianski; Uli Fahrenberg (ICTAC, 2024)

Myhill-Nerode Theorem for Higher-Dimensional Automata. - Uli Fahrenberg; Krzysztof Ziemianski (Fundam. Informaticae, 2024)

Kleene Theorem for Higher-Dimensional Automata. - Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (Log. Methods Comput. Sci., 2024)

Petri Nets and Higher-Dimensional Automata. - Amazigh Amrane; Hugo Bazille; Uli Fahrenberg; Loïc Hélouët; Philipp Schlehuber-Caissier (Petri Nets, 2025)

Higher-Dimensional Automata: Extension to Infinite Tracks. - Luc Passemard; Amazigh Amrane; Uli Fahrenberg (FSCD, 2025)

ω-Regular Energy Problems. - Sven Dziadek; Uli Fahrenberg; Philipp Schlehuber (Formal Aspects Comput., 2025)

Closure and decision properties for higher-dimensional automata. - Amazigh Amrane; Hugo Bazille; Uli Fahrenberg; Krzysztof Ziemianski (Theor. Comput. Sci., 2025)

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata. - Amazigh Amrane; Hugo Bazille; Emily Clement; Uli Fahrenberg; Marie Fortin; Krzysztof Ziemianski (CoRR, 2025)