Line Juhl

According to our database, Line Juhl authored at least 8 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Synchronizing Words for Weighted and Timed Automata.

Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013

Weighted modal transition systems.

Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane

Formal Methods Syst. Des., 2013

Optimal Bounds for Multiweighted and Parametrised Energy Games.

Line Juhl, Kim Guldstrand Larsen, Jean-François Raskin

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Extending modal transition systems with structured labels.

Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba

Math. Struct. Comput. Sci., 2012

Modal transition systems with weight intervals.

Line Juhl, Kim G. Larsen, Jirí Srba

J. Log. Algebraic Methods Program., 2012

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata.

Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2011

Quantitative Refinement for Weighted Modal Transition Systems.

Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

Energy Games in Multiweighted Automata.

Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011