Line Juhl

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Transition Systems

Practical Reasoning

Top Venues

Theories of Programming and Formal Methods

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

Publications

Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi
Synchronizing Words for Weighted and Timed Automata. FSTTCS (2014)
Line Juhl, Kim Guldstrand Larsen, Jean-François Raskin
Optimal Bounds for Multiweighted and Parametrised Energy Games. Theories of Programming and Formal Methods (2013)
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) (2013)
Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba
Extending modal transition systems with structured labels. Math. Struct. Comput. Sci. 22 (4) (2012)
Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE (2012)
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
Weighted Modal Transition Systems CoRR (2012)
Line Juhl, Kim G. Larsen, Jirí Srba
Modal transition systems with weight intervals. J. Log. Algebraic Methods Program. 81 (4) (2012)
Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba
Energy Games in Multiweighted Automata. ICTAC (2011)
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
Quantitative Refinement for Weighted Modal Transition Systems. MFCS (2011)