Остановите войну!
for scientists:
default search action
Uli Fahrenberg
- > Home > Persons > Uli Fahrenberg
Publications
- 2022
- [j23]Uli Fahrenberg, Axel Legay:
Featured games. Sci. Comput. Program. 223: 102874 (2022) - 2021
- [c51]Uli Fahrenberg, Axel Legay:
Featured Games. TASE 2021: 167-174 - 2020
- [j19]Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Logical vs. behavioural specifications. Inf. Comput. 271: 104487 (2020) - [j18]Uli Fahrenberg, Axel Legay:
A linear-time-branching-time spectrum for behavioral specification theories. J. Log. Algebraic Methods Program. 110 (2020) - [j17]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing branching distances with quantitative games. Theor. Comput. Sci. 847: 134-146 (2020) - [c49]Uli Fahrenberg, Axel Legay:
Behavioral Specification Theories: An Algebraic Taxonomy. ISoLA (1) 2020: 262-274 - [i22]Uli Fahrenberg, Axel Legay:
Featured Games. CoRR abs/2005.05666 (2020) - [i21]Uli Fahrenberg, Axel Legay:
Behavioral Specification Theories: an Algebraic Taxonomy. CoRR abs/2009.11011 (2020) - 2019
- [j16]David Cachera, Uli Fahrenberg, Axel Legay:
An ωω\omega-Algebra for Real-Time Energy Problems. Log. Methods Comput. Sci. 15(2) (2019) - [j15]Uli Fahrenberg, Axel Legay:
Quantitative properties of featured automata. Int. J. Softw. Tools Technol. Transf. 21(6): 667-677 (2019) - [c48]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing Branching Distances Using Quantitative Games. ICTAC 2019: 59-75 - [i18]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing Branching Distances Using Quantitative Games. CoRR abs/1910.08943 (2019) - 2018
- [j14]Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for quantitative specifications. Soft Comput. 22(4): 1139-1158 (2018) - [c45]Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg:
Trace checking for dynamic software product lines. SEAMS@ICSE 2018: 69-75 - 2017
- [j13]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]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]Uli Fahrenberg, Axel Legay:
Featured Weighted Automata. FormaliSE@ICSE 2017: 51-57 - [c42]Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün:
Compatibility flooding: measuring interaction of services interfaces. SAC 2017: 1334-1340 - [c41]Uli Fahrenberg, Axel Legay:
A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. SOFSEM 2017: 49-61 - [p3]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]David Cachera, Uli Fahrenberg, Axel Legay:
An ω-Algebra for Real-Time Energy Problems. CoRR abs/1701.08524 (2017) - [i13]Uli Fahrenberg, Axel Legay:
Featured Weighted Automata. CoRR abs/1702.07484 (2017) - 2016
- [j11]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]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]Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay:
Long-term average cost in featured transition systems. SPLC 2016: 109-118 - [i12]Uli Fahrenberg, Axel Legay:
A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories. CoRR abs/1604.06503 (2016) - [i11]Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay:
Long-Term Average Cost in Featured Transition Systems. CoRR abs/1604.06781 (2016) - 2015
- [c39]Ulrich Fahrenberg, Axel Legay:
Partial Higher-dimensional Automata. CALCO 2015: 101-115 - [c38]Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras. DLT 2015: 240-251 - [c37]David Cachera, Uli Fahrenberg, Axel Legay:
An omega-Algebra for Real-Time Energy Problems. FSTTCS 2015: 394-407 - [c36]Joanne M. Atlee, Uli Fahrenberg, Axel Legay:
Measuring Behaviour Interactions between Product-Line Features. FormaliSE@ICSE 2015: 20-25 - [c35]Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay:
Merging Features in Featured Transition Systems. MoDeVVa@MoDELS 2015: 38-43 - [c34]Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras for Energy Problems. FICS 2015: 48-59 - [i10]Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras. CoRR abs/1501.01118 (2015) - 2014
- [j9]Uli Fahrenberg, Axel Legay:
General quantitative specification theories with modal transition systems. Acta Informatica 51(5): 261-295 (2014) - [j8]Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay:
Refinement and Difference for Probabilistic Automata. Log. Methods Comput. Sci. 10(3) (2014) - [j7]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]Uli Fahrenberg, Axel Legay:
The quantitative linear-time-branching-time spectrum. Theor. Comput. Sci. 538: 54-69 (2014) - [c33]Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez:
Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS 2014: 84-97 - [c32]Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS 2014: 98-117 - [c31]Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for Quantitative Specifications. FACS 2014: 306-324 - [c30]Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski:
Sound Merging and Differencing for Class Diagrams. FASE 2014: 63-78 - [c29]Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Structural Refinement for the Modal nu-Calculus. ICTAC 2014: 169-187 - [c28]Uli Fahrenberg, Axel Legay:
Configurable Formal Methods for Extreme Modeling. XM@MoDELS 2014: 52-57 - [c27]Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay:
Measuring Global Similarity Between Texts. SLSP 2014: 220-232 - [i9]Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Structural Refinement for the Modal nu-Calculus. CoRR abs/1402.2143 (2014) - [i8]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]Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for Quantitative Specifications. CoRR abs/1408.1256 (2014) - [i6]Uli Fahrenberg, Axel Legay:
Homotopy Bisimilarity for Higher-Dimensional Automata. CoRR abs/1409.5865 (2014) - 2013
- [j5]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]Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay:
Tag Machines for Modeling Heterogeneous Systems. ACSD 2013: 186-195 - [c25]Uli Fahrenberg, Axel Legay:
Generalized Quantitative Analysis of Metric Transition Systems. APLAS 2013: 192-208 - [c24]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. ATVA 2013: 102-117 - [c23]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]Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay:
A Tag Contract Framework for Heterogeneous Systems. ESOCC Workshops 2013: 204-217 - [c21]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]Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay:
Refinement and Difference for Probabilistic Automata. QEST 2013: 22-38 - [c19]Uli Fahrenberg, Axel Legay:
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. MFPS 2013: 165-178 - [p2]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]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]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. CoRR abs/1307.0635 (2013) - [i3]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
- [c18]Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane:
General Quantitative Specification Theories with Modalities. CSR 2012: 18-30 - [c17]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]Uli Fahrenberg, Axel Legay:
A Robust Specification Theory for Modal Event-Clock Automata. FIT 2012: 5-16 - [e3]Uli Fahrenberg, Axel Legay, Claus R. Thrane:
Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. EPTCS 103, 2012 [contents] - [i2]Uli Fahrenberg, Axel Legay:
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. CoRR abs/1209.4927 (2012) - [i1]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
- [c15]Uli Fahrenberg, Axel Legay, Claus R. Thrane:
The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS 2011: 103-114 - [c13]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]Uli Fahrenberg, Axel Legay, Andrzej Wasowski:
Vision Paper: Make a Difference! (Semantically). MoDELS 2011: 490-500
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-10 23:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint