Uli Fahrenberg

130 papers A 1B 15C 14Misc 4Journal 68Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Automata on Graph Alphabets. CoRR Hugo Bazille, Uli Fahrenberg
2026	C	`ed.`	Relational and Algebraic Methods in Computer Science - 22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7-10, 2026, Proceedings RAMICS Uli Fahrenberg, Wesley Fussner, Luigi Santocanale
2026	J	`jnl`	Variants of Higher-Dimensional Automata. CoRR Hugo Bazille, Jérémy Dubut, Uli Fahrenberg, Krzysztof Ziemianski
2025	J	`jnl`	Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata. CoRR Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Marie Fortin, Krzysztof Ziemianski
2025	J	`jnl`	Closure and decision properties for higher-dimensional automata. Theor. Comput. Sci. Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2025	J	`jnl`	Higher-Dimensional Automata : Extension to Infinite Tracks. CoRR Luc Passemard, Amazigh Amrane, Uli Fahrenberg
2025	B	`conf`	Higher-Dimensional Automata: Extension to Infinite Tracks. FSCD Luc Passemard, Amazigh Amrane, Uli Fahrenberg
2025	B	`conf`	Petri Nets and Higher-Dimensional Automata. Petri Nets Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
2025	J	`jnl`	Petri Nets and Higher-Dimensional Automata. CoRR Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
2025	J	`jnl`	ω-Regular Energy Problems. Formal Aspects Comput. Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber
2024	C	`conf`	Bisimulations and Logics for Higher-Dimensional Automata. ICTAC Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg
2024	J	`jnl`	Bisimulations and Logics for Higher-Dimensional Automata. CoRR Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg
2024	J	`jnl`	Kleene Theorem for Higher-Dimensional Automata. Log. Methods Comput. Sci. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2024	B	`conf`	Languages of Higher-Dimensional Timed Automata. Petri Nets Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
2024	J	`jnl`	Languages of Higher-Dimensional Timed Automata. CoRR Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
2024	C	`conf`	Logic and Languages of Higher-Dimensional Automata. DLT Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
2024	J	`jnl`	Logic and Languages of Higher-Dimensional Automata. CoRR Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
2024	J	`jnl`	Myhill-Nerode Theorem for Higher-Dimensional Automata. Fundam. Informaticae Uli Fahrenberg, Krzysztof Ziemianski
2024	C	`conf`	Presenting Interval Pomsets with Interfaces. RAMiCS Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2024	J	`jnl`	Presenting Interval Pomsets with Interfaces. CoRR Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2024	C	`ed.`	Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings RAMiCS Uli Fahrenberg, Wesley Fussner, Roland Glück
2023	B	`conf`	A Myhill-Nerode Theorem for Higher-Dimensional Automata. Petri Nets Uli Fahrenberg, Krzysztof Ziemianski
2023	C	`conf`	Closure and Decision Properties for Higher-Dimensional Automata. ICTAC Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2023	J	`jnl`	Developments in Higher-Dimensional Automata Theory. CoRR Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2023	B	`conf`	Energy Büchi Problems. FM Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
2022	J	`jnl`	A Generic Approach to Quantitative Verification. CoRR Uli Fahrenberg
2022	B	`conf`	A Kleene Theorem for Higher-Dimensional Automata. CONCUR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2022	J	`jnl`	A Kleene Theorem for Higher-Dimensional Automata. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2022	J	`jnl`	A Myhill-Nerode Theorem for Higher-Dimensional Automata. CoRR Uli Fahrenberg, Krzysztof Ziemianski
2022	J	`jnl`	Energy Büchi Problems. CoRR Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
2022	J	`jnl`	Featured games. Sci. Comput. Program. Uli Fahrenberg, Axel Legay
2022	J	`jnl`	Higher-Dimensional Timed and Hybrid Automata. Leibniz Trans. Embed. Syst. Uli Fahrenberg
2022	J	`jnl`	Introduction to the Special Issue on Distributed Hybrid Systems. Leibniz Trans. Embed. Syst. Alessandro Abate, Uli Fahrenberg, Martin Fränzle
2022	J	`jnl`	Posets with interfaces as a model for concurrency. Inf. Comput. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	Misc	`conf`	Featured Games. TASE Uli Fahrenberg, Axel Legay
2021	J	`jnl`	Languages of Higher-Dimensional Automata. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	J	`jnl`	Languages of higher-dimensional automata. Math. Struct. Comput. Sci. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	J	`jnl`	Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
2021	J	`jnl`	Posets with Interfaces for Concurrent Kleene Algebra. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	C	`ed.`	Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings RAMiCS Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter
2021	J	`jnl`	Sculptures in Concurrency. Log. Methods Comput. Sci. Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
2021	J	`jnl`	lr-Multisemigroups and Modal Convolution Algebras. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	C	`conf`	ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2020	J	`jnl`	A linear-time-branching-time spectrum for behavioral specification theories. J. Log. Algebraic Methods Program. Uli Fahrenberg, Axel Legay
2020	—	`conf`	Behavioral Specification Theories: An Algebraic Taxonomy. ISoLA (1) Uli Fahrenberg, Axel Legay
2020	J	`jnl`	Behavioral Specification Theories: an Algebraic Taxonomy. CoRR Uli Fahrenberg, Axel Legay
2020	J	`jnl`	Computing branching distances with quantitative games. Theor. Comput. Sci. Uli Fahrenberg, Axel Legay, Karin Quaas
2020	J	`jnl`	Domain Semirings United. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi
2020	J	`jnl`	Featured Games. CoRR Uli Fahrenberg, Axel Legay
2020	C	`conf`	Generating Posets Beyond N. RAMiCS Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
2020	J	`jnl`	Logical vs. behavioural specifications. Inf. Comput. Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2020	C	`ed.`	Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. RAMiCS Uli Fahrenberg, Peter Jipsen, Michael Winter
2019	J	`jnl`	An ωω\omega-Algebra for Real-Time Energy Problems. Log. Methods Comput. Sci. David Cachera, Uli Fahrenberg, Axel Legay
2019	C	`conf`	Computing Branching Distances Using Quantitative Games. ICTAC Uli Fahrenberg, Axel Legay, Karin Quaas
2019	J	`jnl`	Computing Branching Distances Using Quantitative Games. CoRR Uli Fahrenberg, Axel Legay, Karin Quaas
2019	J	`jnl`	Generating Posets Beyond N. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
2019	J	`jnl`	Quantitative properties of featured automata. Int. J. Softw. Tools Technol. Transf. Uli Fahrenberg, Axel Legay
2018	J	`jnl`	Compositionality for quantitative specifications. Soft Comput. Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2018	—	`conf`	Energiautomater, energifunktioner og Kleene-algebra. NIK Uli Fahrenberg, Kim G. Larsen
2018	—	`conf`	Higher-Dimensional Timed Automata. ADHS Uli Fahrenberg
2018	J	`jnl`	Higher-Dimensional Timed Automata. CoRR Uli Fahrenberg
2018	—	`ch.`	Model Checking Real-Time Systems. Handbook of Model Checking Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell
2018	B	`conf`	Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. FM Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
2018	J	`jnl`	Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. CoRR Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
2018	J	`jnl`	Sculptures in Concurrency. CoRR Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
2018	—	`conf`	Trace checking for dynamic software product lines. SEAMS@ICSE Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg
2017	B	`conf`	A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. SOFSEM Uli Fahrenberg, Axel Legay
2017	J	`jnl`	An Algebraic Approach to Energy Problems I - Acta Cybern. Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
2017	J	`jnl`	An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions. Acta Cybern. Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
2017	J	`jnl`	An ω-Algebra for Real-Time Energy Problems. CoRR David Cachera, Uli Fahrenberg, Axel Legay
2017	Misc	`conf`	Compatibility flooding: measuring interaction of services interfaces. SAC Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün
2017	—	`conf`	Featured Weighted Automata. FormaliSE@ICSE Uli Fahrenberg, Axel Legay
2017	J	`jnl`	Featured Weighted Automata. CoRR Uli Fahrenberg, Axel Legay
2017	—	`ch.`	From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Dependable Software Systems Engineering Kim G. Larsen, Uli Fahrenberg, Axel Legay
2016	J	`jnl`	A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories. CoRR Uli Fahrenberg, Axel Legay
2016	J	`jnl`	Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. ACM Trans. Embed. Comput. Syst. Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
2016	J	`jnl`	Long-Term Average Cost in Featured Transition Systems. CoRR Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay
2016	B	`conf`	Long-term average cost in featured transition systems. SPLC Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay
2015	—	`conf`	*-Continuous Kleene ω-Algebras for Energy Problems. FICS Zoltán Ésik, Uli Fahrenberg, Axel Legay
2015	C	`conf`	*-Continuous Kleene ω-Algebras. DLT Zoltán Ésik, Uli Fahrenberg, Axel Legay
2015	J	`jnl`	*-Continuous Kleene ω-Algebras. CoRR Zoltán Ésik, Uli Fahrenberg, Axel Legay
2015	—	`conf`	An omega-Algebra for Real-Time Energy Problems. FSTTCS David Cachera, Uli Fahrenberg, Axel Legay
2015	—	`conf`	Measuring Behaviour Interactions between Product-Line Features. FormaliSE@ICSE Joanne M. Atlee, Uli Fahrenberg, Axel Legay
2015	—	`conf`	Merging Features in Featured Transition Systems. MoDeVVa@MoDELS Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay
2014	J	`jnl`	Compositionality for Quantitative Specifications. CoRR Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2014	—	`conf`	Configurable Formal Methods for Extreme Modeling. XM@MoDELS Uli Fahrenberg, Axel Legay
2014	J	`jnl`	General quantitative specification theories with modal transition systems. Acta Informatica Uli Fahrenberg, Axel Legay
2014	J	`jnl`	Homotopy Bisimilarity for Higher-Dimensional Automata. CoRR Uli Fahrenberg, Axel Legay
2014	—	`conf`	Measuring Global Similarity Between Texts. SLSP Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
2014	J	`jnl`	Measuring Structural Distances between Texts. CoRR Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
2014	—	`conf`	Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	Refinement and Difference for Probabilistic Automata Log. Methods Comput. Sci. Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay
2014	B	`conf`	Sound Merging and Differencing for Class Diagrams. FASE Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski
2014	—	`conf`	Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
2014	C	`conf`	Structural Refinement for the Modal nu-Calculus. ICTAC Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	Structural Refinement for the Modal nu-Calculus. CoRR Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	The quantitative linear-time-branching-time spectrum. Theor. Comput. Sci. Uli Fahrenberg, Axel Legay
2014	J	`jnl`	Tropical Fourier-Motzkin elimination, with an application to real-time verification. Int. J. Algebra Comput. Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
2013	—	`conf`	A Tag Contract Framework for Heterogeneous Systems. ESOCC Workshops Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
2013	B	`conf`	Generalized Quantitative Analysis of Metric Transition Systems. APLAS Uli Fahrenberg, Axel Legay
2013	B	`conf`	Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
2013	J	`jnl`	Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
2013	B	`conf`	History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. MFPS Uli Fahrenberg, Axel Legay
2013	B	`conf`	Kleene Algebras and Semimodules for Energy Problems. ATVA Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
2013	J	`jnl`	Kleene Algebras and Semimodules for Energy Problems. CoRR Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
2013	—	`conf`	Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC Training School on Software Engineering Uli Fahrenberg, Kim G. Larsen, Axel Legay
2013	—	`ch.`	Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. Engineering Dependable Software Systems Uli Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane
2013	—	`conf`	Refinement and Difference for Probabilistic Automata. QEST Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay
2013	J	`jnl`	Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
2013	J	`jnl`	Weighted modal transition systems. Formal Methods Syst. Des. Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2012	Misc	`conf`	A Robust Specification Theory for Modal Event-Clock Automata FIT Uli Fahrenberg, Axel Legay
2012	Misc	`conf`	General Quantitative Specification Theories with Modalities. CSR Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane
2012	J	`jnl`	History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps CoRR Uli Fahrenberg, Axel Legay
2012	—	`ed.`	Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. QFM Uli Fahrenberg, Axel Legay, Claus R. Thrane
2012	J	`jnl`	Reachability analysis for timed automata using max-plus algebra. J. Log. Algebraic Methods Program. Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen
2012	—	`conf`	Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
2012	J	`jnl`	Weighted Modal Transition Systems CoRR Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2011	—	`conf`	Distances for Weighted Transition Systems: Games and Properties QAPL Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen
2011	C	`conf`	Energy Games in Multiweighted Automata. ICTAC Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba
2011	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings FORMATS Uli Fahrenberg, Stavros Tripakis
2011	J	`jnl`	Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane
2011	—	`ch.`	Model-Based Verification and Analysis for Real-Time Systems. Software and Systems Safety - Specification and Verification Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
2011	B	`conf`	Quantitative Refinement for Weighted Modal Transition Systems. MFCS Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2011	J	`jnl`	Quantitative analysis of real-time systems using priced timed automata. Commun. ACM Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey
2011	—	`conf`	The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS Uli Fahrenberg, Axel Legay, Claus R. Thrane
2011	A	`conf`	Vision Paper: Make a Difference! (Semantically). MoDELS Uli Fahrenberg, Axel Legay, Andrzej Wasowski
2010	J	`jnl`	Quantitative analysis of weighted transition systems. J. Log. Algebraic Methods Program. Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen
2010	—	`conf`	Timed automata with observers under energy constraints. HSCC Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey
2009	—	`conf`	A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane
2009	—	`conf`	Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane