Uli Fahrenberg

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 60

Top Venues

CoRR

ICTAC

RAMiCS

Log. Methods Comput. Sci.

Publications

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
Languages of Higher-Dimensional Timed Automata. Petri Nets (2024)
Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg
Bisimulations and Logics for Higher-Dimensional Automata. CoRR (2024)
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
Logic and Languages of Higher-Dimensional Automata. CoRR (2024)
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
Presenting Interval Pomsets with Interfaces. CoRR (2024)
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
Logic and Languages of Higher-Dimensional Automata. DLT (2024)
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
Languages of Higher-Dimensional Timed Automata. CoRR (2024)
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
Presenting Interval Pomsets with Interfaces. RAMiCS (2024)
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
Closure and Decision Properties for Higher-Dimensional Automata. ICTAC (2023)
Uli Fahrenberg, Krzysztof Ziemianski
A Myhill-Nerode Theorem for Higher-Dimensional Automata. Petri Nets (2023)
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
Developments in Higher-Dimensional Automata Theory. CoRR (2023)
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
Energy Büchi Problems. FM (2023)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
A Kleene Theorem for Higher-Dimensional Automata. CoRR (2022)
Uli Fahrenberg, Axel Legay
Featured games. Sci. Comput. Program. 223 (2022)
Uli Fahrenberg
A Generic Approach to Quantitative Verification. CoRR (2022)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Posets with interfaces as a model for concurrency. Inf. Comput. 285 (Part) (2022)
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
Energy Büchi Problems. CoRR (2022)
Uli Fahrenberg
Higher-Dimensional Timed and Hybrid Automata. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
A Kleene Theorem for Higher-Dimensional Automata. CONCUR (2022)
Alessandro Abate, Uli Fahrenberg, Martin Fränzle
Introduction to the Special Issue on Distributed Hybrid Systems. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Uli Fahrenberg, Krzysztof Ziemianski
A Myhill-Nerode Theorem for Higher-Dimensional Automata. CoRR (2022)
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. 33 (1) (2021)
Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Languages of higher-dimensional automata. Math. Struct. Comput. Sci. 31 (5) (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Posets with Interfaces for Concurrent Kleene Algebra. CoRR (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
lr-Multisemigroups and Modal Convolution Algebras. CoRR (2021)
Uli Fahrenberg, Axel Legay
Featured Games. TASE (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Languages of Higher-Dimensional Automata. CoRR (2021)
Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
Sculptures in Concurrency. Log. Methods Comput. Sci. 17 (2) (2021)
Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
Logical vs. behavioural specifications. Inf. Comput. 271 (2020)
Uli Fahrenberg, Axel Legay
Behavioral Specification Theories: an Algebraic Taxonomy. CoRR (2020)
Uli Fahrenberg, Axel Legay
A linear-time-branching-time spectrum for behavioral specification theories. J. Log. Algebraic Methods Program. 110 (2020)
Uli Fahrenberg, Axel Legay
Behavioral Specification Theories: An Algebraic Taxonomy. ISoLA (1) (2020)
Uli Fahrenberg, Axel Legay
Featured Games. CoRR (2020)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi
Domain Semirings United. CoRR (2020)
Uli Fahrenberg, Axel Legay, Karin Quaas
Computing branching distances with quantitative games. Theor. Comput. Sci. 847 (2020)
Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
Generating Posets Beyond N. RAMiCS (2020)
Uli Fahrenberg, Axel Legay, Karin Quaas
Computing Branching Distances Using Quantitative Games. CoRR (2019)
Uli Fahrenberg, Axel Legay, Karin Quaas
Computing Branching Distances Using Quantitative Games. ICTAC (2019)
Uli Fahrenberg, Axel Legay
Quantitative properties of featured automata. Int. J. Softw. Tools Technol. Transf. 21 (6) (2019)
Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
Generating Posets Beyond N. CoRR (2019)
David Cachera, Uli Fahrenberg, Axel Legay
An ωω\omega-Algebra for Real-Time Energy Problems. Log. Methods Comput. Sci. 15 (2) (2019)
Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
Sculptures in Concurrency. CoRR (2018)
Uli Fahrenberg
Higher-Dimensional Timed Automata. CoRR (2018)
Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
Compositionality for quantitative specifications. Soft Comput. 22 (4) (2018)
Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg
Trace checking for dynamic software product lines. SEAMS@ICSE (2018)
Uli Fahrenberg
Higher-Dimensional Timed Automata. ADHS (2018)
Uli Fahrenberg, Kim G. Larsen
Energiautomater, energifunktioner og Kleene-algebra. NIK (2018)
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. CoRR (2018)
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. FM (2018)
Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün
Compatibility flooding: measuring interaction of services interfaces. SAC (2017)
Uli Fahrenberg, Axel Legay
A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. SOFSEM (2017)
Uli Fahrenberg, Axel Legay
Featured Weighted Automata. FormaliSE@ICSE (2017)
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
-Continuous Kleene ω-Algebras. Acta Cybern. 23 (1) (2017)
David Cachera, Uli Fahrenberg, Axel Legay
An ω-Algebra for Real-Time Energy Problems. CoRR (2017)
Uli Fahrenberg, Axel Legay
Featured Weighted Automata. CoRR (2017)
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions. Acta Cybern. 23 (1) (2017)
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. ACM Trans. Embed. Comput. Syst. 15 (2) (2016)
Uli Fahrenberg, Axel Legay
A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories. CoRR (2016)
Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay
Long-Term Average Cost in Featured Transition Systems. CoRR (2016)
Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay
Long-term average cost in featured transition systems. SPLC (2016)
David Cachera, Uli Fahrenberg, Axel Legay
An omega-Algebra for Real-Time Energy Problems. FSTTCS (2015)
Zoltán Ésik, Uli Fahrenberg, Axel Legay
*-Continuous Kleene ω-Algebras. DLT (2015)
Zoltán Ésik, Uli Fahrenberg, Axel Legay
*-Continuous Kleene ω-Algebras. CoRR (2015)
Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay
Merging Features in Featured Transition Systems. MoDeVVa@MoDELS (2015)
Zoltán Ésik, Uli Fahrenberg, Axel Legay
*-Continuous Kleene ω-Algebras for Energy Problems. FICS (2015)
Joanne M. Atlee, Uli Fahrenberg, Axel Legay
Measuring Behaviour Interactions between Product-Line Features. FormaliSE@ICSE (2015)
Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
Measuring Global Similarity Between Texts. SLSP (2014)
Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
Tropical Fourier-Motzkin elimination, with an application to real-time verification. Int. J. Algebra Comput. 24 (5) (2014)
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
Structural Refinement for the Modal nu-Calculus. ICTAC (2014)
Uli Fahrenberg, Axel Legay
Configurable Formal Methods for Extreme Modeling. XM@MoDELS (2014)
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
Structural Refinement for the Modal nu-Calculus. CoRR (2014)
Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski
Sound Merging and Differencing for Class Diagrams. FASE (2014)
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS (2014)
Uli Fahrenberg, Axel Legay
General quantitative specification theories with modal transition systems. Acta Informatica 51 (5) (2014)
Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay
Refinement and Difference for Probabilistic Automata Log. Methods Comput. Sci. 10 (3) (2014)
Uli Fahrenberg, Axel Legay
The quantitative linear-time-branching-time spectrum. Theor. Comput. Sci. 538 (2014)
Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
Measuring Structural Distances between Texts. CoRR (2014)
Uli Fahrenberg, Axel Legay
Homotopy Bisimilarity for Higher-Dimensional Automata. CoRR (2014)
Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez
Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS (2014)
Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
Compositionality for Quantitative Specifications. CoRR (2014)
Uli Fahrenberg, Axel Legay
Generalized Quantitative Analysis of Metric Transition Systems. APLAS (2013)
Uli Fahrenberg, Kim G. Larsen, Axel Legay
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC Training School on Software Engineering (2013)
Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR (2013)
Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR (2013)
Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR (2013)
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
Weighted modal transition systems. Formal Methods Syst. Des. 42 (2) (2013)
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
A Tag Contract Framework for Heterogeneous Systems. ESOCC Workshops (2013)
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
Kleene Algebras and Semimodules for Energy Problems. CoRR (2013)
Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay
Refinement and Difference for Probabilistic Automata. QEST (2013)
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
Kleene Algebras and Semimodules for Energy Problems. ATVA (2013)
Uli Fahrenberg, Axel Legay
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. MFPS (2013)
Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane
General Quantitative Specification Theories with Modalities. CSR (2012)
Uli Fahrenberg, Axel Legay
A Robust Specification Theory for Modal Event-Clock Automata FIT (2012)
Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE (2012)
Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen
Reachability analysis for timed automata using max-plus algebra. J. Log. Algebraic Methods Program. 81 (3) (2012)
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
Weighted Modal Transition Systems CoRR (2012)
Uli Fahrenberg, Axel Legay
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps CoRR (2012)
Uli Fahrenberg, Axel Legay, Claus R. Thrane
The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS (2011)
Uli Fahrenberg, Axel Legay, Andrzej Wasowski
Vision Paper: Make a Difference! (Semantically). MoDELS (2011)
Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane
Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. 412 (28) (2011)

Uli Fahrenberg.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Uli Fahrenberg