Ulrich Fahrenberg

Uli Fahrenberg

	2012
21		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)
	2011
20		Uli Fahrenberg, Stavros Tripakis: Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings Springer 2011
19		Uli Fahrenberg, Axel Legay, Claus R. Thrane: The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS 2011: 103-114
18		Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba: Energy Games in Multiweighted Automata. ICTAC 2011: 95-115
17		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
16		Uli Fahrenberg, Axel Legay, Andrzej Wasowski: Vision Paper: Make a Difference! (Semantically). MoDELS 2011: 490-500
15		Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen: Distances for Weighted Transition Systems: Games and Properties QAPL 2011: 134-147
14		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
13		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)
12		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
11		Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey: Timed automata with observers under energy constraints. HSCC 2010: 61-70
10		Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen: Quantitative analysis of weighted transition systems. J. Log. Algebr. Program. 79(7): 689-703 (2010)
	2009
9		Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane: Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN 2009: 34-61
8		Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane: A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS 2009
7		Ulrich Fahrenberg, Kim Guldstrand Larsen: Discount-Optimal Infinite Runs in Priced Timed Automata. Electr. Notes Theor. Comput. Sci. 239: 179-191 (2009)
6		Ulrich Fahrenberg, Kim Guldstrand Larsen: Discounting in Time. Electr. Notes Theor. Comput. Sci. 253(3): 25-31 (2009)
	2008
5		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
4		Ulrich Fahrenberg: A Category of Higher-Dimensional Automata. FoSSaCS 2005: 187-201
	2004
3		Ulrich Fahrenberg: Directed Homology. Electr. Notes Theor. Comput. Sci. 100: 111-125 (2004)
2		Eric Goubault, Ulrich Fahrenberg: Preface. Electr. Notes Theor. Comput. Sci. 100: 47-48 (2004)
	2003
1		Ulrich Fahrenberg: The Geometry of Timed PV Programs. Electr. Notes Theor. Comput. Sci. 81: 1-14 (2003)

Coauthor Index

1	Sebastian S. Bauer	[17]
2	Patricia Bouyer (Patricia Bouyer-Decitre)	[5] [11] [13]
3	Eric Goubault	[2]
4	Line Juhl	[17] [18]
5	Kim Guldstrand Larsen (Kim G. Larsen)	[5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [18] [21]
6	Axel Legay	[16] [17] [19]
7	Qi Lu	[21]
8	Michael Madsen	[21]
9	Nicolas Markey	[5] [11] [13]
10	Martin Milata	[21]
11	Søren Ravn	[21]
12	Jirí Srba	[5] [18]
13	Claus R. Thrane	[8] [9] [10] [12] [14] [15] [17] [19]
14	Stavros Tripakis	[20]
15	Andrzej Wasowski	[16]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page