Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Uli Fahrenberg

Ulrich Fahrenberg

> Home > Persons

Person information

affiliation: LIX, École polytechnique, France
affiliation: INRIA, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/FahrenbergJSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FahrenbergJSZ22
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Posets with interfaces as a model for concurrency. Inf. Comput. 285(Part): 104914 (2022)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lites/AbateFF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lites/AbateFF22
Alessandro Abate, Uli Fahrenberg, Martin Fränzle:
Introduction to the Special Issue on Distributed Hybrid Systems. Leibniz Trans. Embed. Syst. 8(2): 00:1-00:3 (2022)
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lites/Fahrenberg22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lites/Fahrenberg22
Uli Fahrenberg:
Higher-Dimensional Timed and Hybrid Automata. Leibniz Trans. Embed. Syst. 8(2): 03:1-03:16 (2022)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/FahrenbergL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FahrenbergL22
Uli Fahrenberg, Axel Legay:
Featured games. Sci. Comput. Program. 223: 102874 (2022)
2021
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BacciBFLMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BacciBFLMR21
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): 3-25 (2021)
[j21]
- view
  - electronic edition @ episciences.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/lmcs/FahrenbergJTZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/FahrenbergJTZ21
Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski:
Sculptures in Concurrency. Log. Methods Comput. Sci. 17(2) (2021)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FahrenbergJSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FahrenbergJSZ21
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Languages of higher-dimensional automata. Math. Struct. Comput. Sci. 31(5): 575-613 (2021)
2020
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BenesFKLT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BenesFKLT20
Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Logical vs. behavioural specifications. Inf. Comput. 271: 104487 (2020)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/FahrenbergL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/FahrenbergL20
Uli Fahrenberg, Axel Legay:
A linear-time-branching-time spectrum for behavioral specification theories. J. Log. Algebraic Methods Program. 110 (2020)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/FahrenbergLQ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FahrenbergLQ20
Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing branching distances with quantitative games. Theor. Comput. Sci. 847: 134-146 (2020)
2019
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/CacheraFL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/CacheraFL19
David Cachera, Uli Fahrenberg, Axel Legay:
An ωω\omega-Algebra for Real-Time Energy Problems. Log. Methods Comput. Sci. 15(2) (2019)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FahrenbergL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FahrenbergL19
Uli Fahrenberg, Axel Legay:
Quantitative properties of featured automata. Int. J. Softw. Tools Technol. Transf. 21(6): 667-677 (2019)
2018
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/soco/FahrenbergKLT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soco/FahrenbergKLT18
Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for quantitative specifications. Soft Comput. 22(4): 1139-1158 (2018)
2017
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/actaC/EsikFLQ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/actaC/EsikFLQ17
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
An Algebraic Approach to Energy Problems I - ^*-Continuous Kleene ω-Algebras. Acta Cybern. 23(1): 203-228 (2017)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/actaC/EsikFLQ17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/actaC/EsikFLQ17a
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): 229-268 (2017)
2016
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LePFL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LePFL16
Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay:
A tag contract framework for modeling heterogeneous systems. Sci. Comput. Program. 115-116: 225-246 (2016)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/LePFL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/LePFL16
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): 33:1-33:26 (2016)
2014
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/FahrenbergL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/FahrenbergL14
Uli Fahrenberg, Axel Legay:
General quantitative specification theories with modal transition systems. Acta Informatica 51(5): 261-295 (2014)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1212-4288
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-4288
Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay:
Refinement and Difference for Probabilistic Automata. Log. Methods Comput. Sci. 10(3) (2014)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijac/AllamigeonFGKL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijac/AllamigeonFGKL14
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): 569-608 (2014)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FahrenbergL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FahrenbergL14
Uli Fahrenberg, Axel Legay:
The quantitative linear-time-branching-time spectrum. Theor. Comput. Sci. 538: 54-69 (2014)
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BauerFJLLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BauerFJLLT13
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): 193-220 (2013)
2012
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LuMMRFL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LuMMRFL12
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): 298-313 (2012)
2011
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BouyerFLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BouyerFLM11
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey:
Quantitative analysis of real-time systems using priced timed automata. Commun. ACM 54(9): 78-87 (2011)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LarsenFT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LarsenFT11
Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane:
Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. 412(28): 3358-3369 (2011)
2010
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/ThraneFL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ThraneFL10
Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen:
Quantitative analysis of weighted transition systems. J. Log. Algebraic Methods Program. 79(7): 689-703 (2010)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/FahrenbergZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/FahrenbergZ23
Uli Fahrenberg, Krzysztof Ziemianski:
A Myhill-Nerode Theorem for Higher-Dimensional Automata. Petri Nets 2023: 167-188
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DziadekFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DziadekFS23
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier:
Energy Büchi Problems. FM 2023: 222-239
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/AmraneBFZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/AmraneBFZ23
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski:
Closure and Decision Properties for Higher-Dimensional Automata. ICTAC 2023: 295-312
2022
[c53]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/FahrenbergJSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FahrenbergJSZ22
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
A Kleene Theorem for Higher-Dimensional Automata. CONCUR 2022: 29:1-29:18
2021
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/CalkFJSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/CalkFJSZ21
Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS 2021: 90-107
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/FahrenbergL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/FahrenbergL21
Uli Fahrenberg, Axel Legay:
Featured Games. TASE 2021: 167-174
2020
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/FahrenbergJST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/FahrenbergJST20
Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa:
Generating Posets Beyond N. RAMiCS 2020: 82-99
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FahrenbergL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FahrenbergL20
Uli Fahrenberg, Axel Legay:
Behavioral Specification Theories: An Algebraic Taxonomy. ISoLA (1) 2020: 262-274
2019
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FahrenbergLQ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FahrenbergLQ19
Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing Branching Distances Using Quantitative Games. ICTAC 2019: 59-75
2018
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/Fahrenberg18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/Fahrenberg18
Uli Fahrenberg:
Higher-Dimensional Timed Automata. ADHS 2018: 109-114
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/0001BFLMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/0001BFLMR18
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: 203-221
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/OlaecheaALF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/OlaecheaALF18
Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg:
Trace checking for dynamic software product lines. SEAMS@ICSE 2018: 69-75
[c44]
- view
  - electronic edition @ bibsys.no (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nik/FahrenbergL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nik/FahrenbergL18
Uli Fahrenberg, Kim G. Larsen:
Energiautomater, energifunktioner og Kleene-algebra. NIK 2018
2017
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FahrenbergL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FahrenbergL17
Uli Fahrenberg, Axel Legay:
Featured Weighted Automata. FormaliSE@ICSE 2017: 51-57
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/OuederniFLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/OuederniFLS17
Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün:
Compatibility flooding: measuring interaction of services interfaces. SAC 2017: 1334-1340
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/FahrenbergL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/FahrenbergL17
Uli Fahrenberg, Axel Legay:
A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. SOFSEM 2017: 49-61
2016
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/OlaecheaFAL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/OlaecheaFAL16
Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay:
Long-term average cost in featured transition systems. SPLC 2016: 109-118
2015
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/calco/FahrenbergL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/FahrenbergL15
Ulrich Fahrenberg, Axel Legay:
Partial Higher-dimensional Automata. CALCO 2015: 101-115
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/dlt/EsikFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlt/EsikFL15
Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras. DLT 2015: 240-251
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/CacheraFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/CacheraFL15
David Cachera, Uli Fahrenberg, Axel Legay:
An omega-Algebra for Real-Time Energy Problems. FSTTCS 2015: 394-407
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AtleeFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AtleeFL15
Joanne M. Atlee, Uli Fahrenberg, Axel Legay:
Measuring Behaviour Interactions between Product-Line Features. FormaliSE@ICSE 2015: 20-25
[c35]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/AtleeBFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AtleeBFL15
Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay:
Merging Features in Featured Transition Systems. MoDeVVa@MoDELS 2015: 38-43
[c34]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/EsikFL15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EsikFL15a
Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras for Energy Problems. FICS 2015: 48-59
2014
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/FahrenbergLLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/FahrenbergLLT14
Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez:
Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS 2014: 84-97
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/FahrenbergLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/FahrenbergLT14
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS 2014: 98-117
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/FahrenbergKLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/FahrenbergKLT14
Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for Quantitative Specifications. FACS 2014: 306-324
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/FahrenbergALW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/FahrenbergALW14
Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski:
Sound Merging and Differencing for Class Diagrams. FASE 2014: 63-78
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FahrenbergLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FahrenbergLT14
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Structural Refinement for the Modal nu-Calculus. ICTAC 2014: 169-187
[c28]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/FahrenbergL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/FahrenbergL14
Uli Fahrenberg, Axel Legay:
Configurable Formal Methods for Extreme Modeling. XM@MoDELS 2014: 52-57
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/slsp/FahrenbergBCJKL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slsp/FahrenbergBCJKL14
Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay:
Measuring Global Similarity Between Texts. SLSP 2014: 220-232
2013
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/LePFL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/LePFL13
Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay:
Tag Machines for Modeling Heterogeneous Systems. ACSD 2013: 186-195
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/FahrenbergL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/FahrenbergL13
Uli Fahrenberg, Axel Legay:
Generalized Quantitative Analysis of Metric Transition Systems. APLAS 2013: 192-208
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/EsikFLQ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/EsikFLQ13
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. ATVA 2013: 102-117
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BenesDFKL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BenesDFKL13
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: 76-90
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/LePFL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/LePFL13
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay:
A Tag Contract Framework for Heterogeneous Systems. ESOCC Workshops 2013: 204-217
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FahrenbergLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FahrenbergLL13
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: 67-108
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/DelahayeFLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/DelahayeFLL13
Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay:
Refinement and Difference for Probabilistic Automata. QEST 2013: 22-38
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FahrenbergL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FahrenbergL13
Uli Fahrenberg, Axel Legay:
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. MFPS 2013: 165-178
2012
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/csr/BauerFLT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csr/BauerFLT12
Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane:
General Quantitative Specification Theories with Modalities. CSR 2012: 18-30
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/DelahayeFHLN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DelahayeFHLN12
Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE 2012: 203-218
[c16]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-4268
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-4268
Uli Fahrenberg, Axel Legay:
A Robust Specification Theory for Modal Event-Clock Automata. FIT 2012: 5-16
2011
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/FahrenbergLT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/FahrenbergLT11
Uli Fahrenberg, Axel Legay, Claus R. Thrane:
The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS 2011: 103-114
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FahrenbergJLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FahrenbergJLS11
Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba:
Energy Games in Multiweighted Automata. ICTAC 2011: 95-115
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/BauerFJLLT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/BauerFJLLT11
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Quantitative Refinement for Weighted Modal Transition Systems. MFCS 2011: 60-71
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/models/FahrenbergLW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/FahrenbergLW11
Uli Fahrenberg, Axel Legay, Andrzej Wasowski:
Vision Paper: Make a Difference! (Semantically). MoDELS 2011: 490-500
[c11]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1205
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1205
Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen:
Distances for Weighted Transition Systems: Games and Properties. QAPL 2011: 134-147
2010
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BouyerFLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BouyerFLM10
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey:
Timed automata with observers under energy constraints. HSCC 2010: 61-70
2009
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/FahrenbergLT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/FahrenbergLT09
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane:
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN 2009: 34-61
[c8]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/memics/LarsenFT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/LarsenFT09
Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane:
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS 2009
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FahrenbergL09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FahrenbergL09a
Ulrich Fahrenberg, Kim Guldstrand Larsen:
Discounting in Time. QAPL 2009: 25-31
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FahrenbergL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FahrenbergL09
Ulrich Fahrenberg, Kim Guldstrand Larsen:
Discount-Optimal Infinite Runs in Priced Timed Automata. INFINITY 2009: 179-191
2008
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BouyerFLMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BouyerFLMS08
Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba:
Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47
2005
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/Fahrenberg05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Fahrenberg05
Ulrich Fahrenberg:
A Category of Higher-Dimensional Automata. FoSSaCS 2005: 187-201
2003
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GoubaultF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoubaultF04
Eric Goubault, Ulrich Fahrenberg:
Preface. CMCIM/GETCO@CONCUR 2003: 47-48
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Fahrenberg04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Fahrenberg04
Ulrich Fahrenberg:
Directed Homology. CMCIM/GETCO@CONCUR 2003: 111-125
2002
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Fahrenberg03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Fahrenberg03
Ulrich Fahrenberg:
The Geometry of Timed PV Programs. GETCO 2002: 1-14

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2018
[p4]
- view
  authority control:
- export record
  dblp key:
  - reference/mc/BouyerFLMO018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/mc/BouyerFLMO018
Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell:
Model Checking Real-Time Systems. Handbook of Model Checking 2018: 1001-1046
2017
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/LarsenFL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/LarsenFL17
Kim G. Larsen, Uli Fahrenberg, Axel Legay:
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Dependable Software Systems Engineering 2017: 60-103
2013
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/FahrenbergLLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/FahrenbergLLT13
Uli Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. Engineering Dependable Software Systems 2013: 235-273
2011
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/FahrenbergLT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/FahrenbergLT11
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane:
Model-Based Verification and Analysis for Real-Time Systems. Software and Systems Safety - Specification and Verification 2011: 231-259

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2021
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/2021
Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter:
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings. Lecture Notes in Computer Science 13027, Springer 2021, ISBN 978-3-030-88700-1 [contents]
2020
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/2020
Uli Fahrenberg, Peter Jipsen, Michael Winter:
Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. Lecture Notes in Computer Science 12062, Springer 2020, ISBN 978-3-030-43519-6 [contents]
2012
[e3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1212-3454
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-3454
Uli Fahrenberg, Axel Legay, Claus R. Thrane:
Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. EPTCS 103, 2012 [contents]
2011
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/2011
Uli Fahrenberg, Stavros Tripakis:
Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Lecture Notes in Computer Science 6919, Springer 2011, ISBN 978-3-642-24309-7 [contents]
2004
[e1]
- view
- export record
  dblp key:
  - conf/getco/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/getco/2003
Thomas T. Hildebrandt, Alexander Kurz, Eric Goubault, Ulrich Fahrenberg:
Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, CMCIM 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, GETCO 2003, Satellite Events of CONCUR 2003, Marseille, France, September 6, 2003. Electronic Notes in Theoretical Computer Science 100, Elsevier 2004 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-17444
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-17444
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg:
Languages of Higher-Dimensional Timed Automata. CoRR abs/2401.17444 (2024)
[i33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-01589
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-01589
Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg:
Bisimulations and Logics for Higher-Dimensional Automata. CoRR abs/2402.01589 (2024)
[i32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-16626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-16626
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski:
Presenting Interval Pomsets with Interfaces. CoRR abs/2403.16626 (2024)
[i31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-19526
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-19526
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin:
Logic and Languages of Higher-Dimensional Automata. CoRR abs/2403.19526 (2024)
2023
[i30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-02873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-02873
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski:
Developments in Higher-Dimensional Automata Theory. CoRR abs/2305.02873 (2023)
2022
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-03791
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-03791
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
A Kleene Theorem for Higher-Dimensional Automata. CoRR abs/2202.03791 (2022)
[i28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-11302
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-11302
Uli Fahrenberg:
A Generic Approach to Quantitative Verification. CoRR abs/2204.11302 (2022)
[i27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-04392
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-04392
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier:
Energy Büchi Problems. CoRR abs/2205.04392 (2022)
[i26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-08298
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-08298
Uli Fahrenberg, Krzysztof Ziemianski:
A Myhill-Nerode Theorem for Higher-Dimensional Automata. CoRR abs/2210.08298 (2022)
2021
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-07557
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-07557
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Languages of Higher-Dimensional Automata. CoRR abs/2103.07557 (2021)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-00188
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-00188
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
lr-Multisemigroups and Modal Convolution Algebras. CoRR abs/2105.00188 (2021)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-10895
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-10895
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Posets with Interfaces for Concurrent Kleene Algebra. CoRR abs/2106.10895 (2021)
2020
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-05666
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-05666
Uli Fahrenberg, Axel Legay:
Featured Games. CoRR abs/2005.05666 (2020)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-11011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-11011
Uli Fahrenberg, Axel Legay:
Behavioral Specification Theories: an Algebraic Taxonomy. CoRR abs/2009.11011 (2020)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-04704
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-04704
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi:
Domain Semirings United. CoRR abs/2011.04704 (2020)
2019
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-06162
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-06162
Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa:
Generating Posets Beyond N. CoRR abs/1910.06162 (2019)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-08943
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-08943
Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing Branching Distances Using Quantitative Games. CoRR abs/1910.08943 (2019)
2018
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-07038
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-07038
Uli Fahrenberg:
Higher-Dimensional Timed Automata. CoRR abs/1802.07038 (2018)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-00847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-00847
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 abs/1805.00847 (2018)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-02008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-02008
Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski:
Sculptures in Concurrency. CoRR abs/1812.02008 (2018)
2017
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CacheraFL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CacheraFL17
David Cachera, Uli Fahrenberg, Axel Legay:
An ω-Algebra for Real-Time Energy Problems. CoRR abs/1701.08524 (2017)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FahrenbergL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FahrenbergL17
Uli Fahrenberg, Axel Legay:
Featured Weighted Automata. CoRR abs/1702.07484 (2017)
2016
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FahrenbergL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FahrenbergL16
Uli Fahrenberg, Axel Legay:
A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories. CoRR abs/1604.06503 (2016)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/OlaecheaFAL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/OlaecheaFAL16
Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay:
Long-Term Average Cost in Featured Transition Systems. CoRR abs/1604.06781 (2016)
2015
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/EsikFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EsikFL15
Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras. CoRR abs/1501.01118 (2015)
2014
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FahrenbergLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FahrenbergLT14
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Structural Refinement for the Modal nu-Calculus. CoRR abs/1402.2143 (2014)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FahrenbergBCJKL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FahrenbergBCJKL14
Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay:
Measuring Structural Distances between Texts. CoRR abs/1403.4024 (2014)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FahrenbergKLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FahrenbergKLT14
Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for Quantitative Specifications. CoRR abs/1408.1256 (2014)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FahrenbergL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FahrenbergL14
Uli Fahrenberg, Axel Legay:
Homotopy Bisimilarity for Higher-Dimensional Automata. CoRR abs/1409.5865 (2014)
2013
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BenesDFKL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BenesDFKL13
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 abs/1306.0741 (2013)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/EsikFLQ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EsikFLQ13
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. CoRR abs/1307.0635 (2013)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AllamigeonFGKL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AllamigeonFGKL13
Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay:
Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR abs/1308.2122 (2013)
2012
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1209-4927
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-4927
Uli Fahrenberg, Axel Legay:
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. CoRR abs/1209.4927 (2012)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1210-5659
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-5659
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Weighted Modal Transition Systems. CoRR abs/1210.5659 (2012)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.