Author of the publication

Symbolic Unfolding of Parametric Stopwatch Petri Nets.

, , , , and . ATVA, volume 6252 of Lecture Notes in Computer Science, page 291-305. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Lime, Didier
add a person with the name Lime, Didier
 

Other publications of authors with the same name

The EPOC Project - Energy Proportional and Opportunistic Computing System., , , , , , , , , and 7 other author(s). SMARTGREENS, page 388-394. SciTePress, (2015)Shrinking of Time Petri nets., , and . Discrete Event Dynamic Systems, 23 (4): 419-438 (2013)Blending Timed Formal Models with Clock Transition Systems., , and . Fundam. Inform., 129 (1-2): 85-100 (2014)Probabilistic Time Petri Nets., , , and . Petri Nets, volume 9698 of Lecture Notes in Computer Science, page 261-280. Springer, (2016)Efficient On-the-Fly Algorithms for the Analysis of Timed Games., , , , and . CONCUR, volume 3653 of Lecture Notes in Computer Science, page 66-80. Springer, (2005)Parameter Synthesis for Parametric Interval Markov Chains., , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 372-390. Springer, (2016)Optimal Reachability in Cost Time Petri Nets., , , , and . FORMATS, volume 10419 of Lecture Notes in Computer Science, page 58-73. Springer, (2017)Liveness in L/U-Parametric Timed Automata., and . ACSD, page 9-18. IEEE Computer Society, (2017)State class timed automaton of a time Petri net., and . PNPM, page 124-133. IEEE, (2003)Comparison of Different Semantics for Time Petri Nets., , , , and . ATVA, volume 3707 of Lecture Notes in Computer Science, page 293-307. Springer, (2005)