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

2020 – today

see FAQ

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

2024
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FahrenbergZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FahrenbergZ24
Uli Fahrenberg, Krzysztof Ziemianski:
Myhill-Nerode Theorem for Higher-Dimensional Automata. Fundam. Informaticae 192(3-4): 219-259 (2024)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/AmraneBCFZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/AmraneBCFZ24
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski:
Presenting Interval Pomsets with Interfaces. RAMiCS 2024: 28-45
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/AmraneBCF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AmraneBCF24
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg:
Languages of Higher-Dimensional Timed Automata. Petri Nets 2024: 197-219
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/dlt/AmraneBFF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlt/AmraneBFF24
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin:
Logic and Languages of Higher-Dimensional Automata. DLT 2024: 51-67
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/2024
Uli Fahrenberg, Wesley Fussner, Roland Glück:
Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings. Lecture Notes in Computer Science 14787, Springer 2024, ISBN 978-3-031-68278-0 [contents]
[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
[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
[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
[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)
[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
[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
[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)
[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
[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]
[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
[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)
[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
[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]
[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)

2010 – 2019

see FAQ

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

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)
[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
[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
[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)
[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
[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
[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
[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)
[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
[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
[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
[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)
[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
[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
[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
[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
[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)
[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
[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
[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)
[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
[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
[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
[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)
[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
[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]
[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)
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)
[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
[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
[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]
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)
[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

2000 – 2009

see FAQ

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

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