Ulrich Fahrenberg

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 1

Top Topics

Arbitrary Dimension

Specification Language

Qualitative And Quantitative

Heterogeneous Systems

Top Venues

Sci. Comput. Program.

Publications

Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay
A tag contract framework for modeling heterogeneous systems. Sci. Comput. Program. (2016)
Ulrich Fahrenberg, Axel Legay
Partial Higher-dimensional Automata. CALCO (2015)
Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
Compositionality for Quantitative Specifications. FACS (2014)
Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay
Tag Machines for Modeling Heterogeneous Systems. ACSD (2013)
Ulrich Fahrenberg, Kim Guldstrand Larsen
Discounting in Time. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Ulrich Fahrenberg, Kim Guldstrand Larsen
Discount-Optimal Infinite Runs in Priced Timed Automata. INFINITY (2009)
Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba
Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS (2008)
Ulrich Fahrenberg
A Category of Higher-Dimensional Automata. FoSSaCS (2005)
Eric Goubault, Ulrich Fahrenberg
Preface. Electron. Notes Theor. Comput. Sci. 100 (2004)
Ulrich Fahrenberg
Directed Homology. Electron. Notes Theor. Comput. Sci. 100 (2004)
Ulrich Fahrenberg
The Geometry of Timed PV Programs. Electron. Notes Theor. Comput. Sci. 81 (2003)