Ulrich Fahrenberg

12 papers B 2Journal 1Unranked 8
YearRankTypeTitle / Venue / Authors
2016 J jnl
A tag contract framework for modeling heterogeneous systems.
Sci. Comput. Program.
Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay
2015 B conf
Partial Higher-dimensional Automata.
CALCO
Ulrich Fahrenberg, Axel Legay
2014 — conf
Compositionality for Quantitative Specifications.
FACS
Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2013 — conf
Tag Machines for Modeling Heterogeneous Systems.
ACSD
Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay
2009 — conf
Discount-Optimal Infinite Runs in Priced Timed Automata.
INFINITY
Ulrich Fahrenberg, Kim Guldstrand Larsen
2009 — conf
Discounting in Time.
QAPL
Ulrich Fahrenberg, Kim Guldstrand Larsen
2008 — conf
Infinite Runs in Weighted Timed Automata with Energy Constraints.
FORMATS
Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba
2005 B conf
A Category of Higher-Dimensional Automata.
FoSSaCS
Ulrich Fahrenberg
2004 — ed.
Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, CMCIM 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, GETCO 2003, Satellite Events of CONCUR 2003, Marseille, France, September 6, 2003
CMCIM/GETCO@CONCUR
Thomas T. Hildebrandt, Alexander Kurz, Eric Goubault, Ulrich Fahrenberg
2003 — conf
Directed Homology.
CMCIM/GETCO@CONCUR
Ulrich Fahrenberg
2003 — conf
Preface.
CMCIM/GETCO@CONCUR
Eric Goubault, Ulrich Fahrenberg
2002 — conf
The Geometry of Timed PV Programs.
GETCO
Ulrich Fahrenberg