Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ulrich Fahrenberg
Uli Fahrenberg
2010 – today
- 2013
[j10]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Weighted modal transition systems. Formal Methods in System Design 42(2): 193-220 (2013)- [c17]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas: Kleene Algebras and Semimodules for Energy Problems. ATVA 2013: 102-117
- [c16]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
- [c15]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
- [c14]Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay: Refinement and Difference for Probabilistic Automata. QEST 2013: 22-38
- [i6]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)
- [i5]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas: Kleene Algebras and Semimodules for Energy Problems. CoRR abs/1307.0635 (2013)
- [i4]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
- [j9]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. Algebr. Program. 81(3): 298-313 (2012)
- [c13]Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane: General Quantitative Specification Theories with Modalities. CSR 2012: 18-30
- [c12]Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic: Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE 2012: 203-218
- [c11]Uli Fahrenberg, Axel Legay: A Robust Specification Theory for Modal Event-Clock Automata. FIT 2012: 5-16
- [e2]Uli Fahrenberg, Axel Legay, Claus R. Thrane (Eds.): Proceedings Quantities in Formal Methods. EPTCS 103, 2012
- [i3]Uli Fahrenberg, Axel Legay: History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. CoRR abs/1209.4927 (2012)
- [i2]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Weighted Modal Transition Systems. CoRR abs/1210.5659 (2012)
- [i1]Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay: Refinement and Difference for Probabilistic Automata. CoRR abs/1212.4288 (2012)
- 2011
- [j8]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)
- [j7]Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane: Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. 412(28): 3358-3369 (2011)
- [c10]Uli Fahrenberg, Axel Legay, Claus R. Thrane: The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS 2011: 103-114
- [c9]Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba: Energy Games in Multiweighted Automata. ICTAC 2011: 95-115
- [c8]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
- [c7]Uli Fahrenberg, Axel Legay, Andrzej Wasowski: Vision Paper: Make a Difference! (Semantically). MoDELS 2011: 490-500
- [c6]Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen: Distances for Weighted Transition Systems: Games and Properties. QAPL 2011: 134-147
- [p1]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
- [e1]Uli Fahrenberg, Stavros Tripakis (Eds.): 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
- 2010
- [j6]Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen: Quantitative analysis of weighted transition systems. J. Log. Algebr. Program. 79(7): 689-703 (2010)
- [c5]Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey: Timed automata with observers under energy constraints. HSCC 2010: 61-70
2000 – 2009
- 2009
- [j5]Ulrich Fahrenberg, Kim Guldstrand Larsen: Discount-Optimal Infinite Runs in Priced Timed Automata. Electr. Notes Theor. Comput. Sci. 239: 179-191 (2009)
- [j4]Ulrich Fahrenberg, Kim Guldstrand Larsen: Discounting in Time. Electr. Notes Theor. Comput. Sci. 253(3): 25-31 (2009)
- [c4]Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane: Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN 2009: 34-61
- [c3]Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane: A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS 2009
- 2008
- [c2]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
- [c1]
- 2004
- [j3]
- [j2]
- 2003
- [j1]Ulrich Fahrenberg: The Geometry of Timed PV Programs. Electr. Notes Theor. Comput. Sci. 81: 1-14 (2003)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:19 CEST by the dblp team