( en | de | ru )

 

Disambiguation of "Schobbens, Pierre-Yves"

Author of the publication

copydeleteadd this publication to your clipboard
Model checking lots of systems: efficient verification of temporal properties in software product lines.

, , , , and . ICSE (1), page 335-344. ACM, (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.

Pierre-Yves Vandenbussche

Pierre-Yves Chevalier

Pierre-Yves Laffont

Pierre-Yves Lucas

Pierre-Yves Lastic

 

Other publications of authors with the same name

Towards an incremental automata-based approach for software product-line model checking., , , and . SPLC (2), page 74-81. ACM, (2012)Formal Models of Agents: An Introduction., and . ModelAge Workshop, volume 1760 of Lecture Notes in Computer Science, page 1-7. Springer, (1997)Model checking lots of systems: efficient verification of temporal properties in software product lines., , , , and . ICSE (1), page 335-344. ACM, (2010)Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time., and . TACAS, volume 1217 of Lecture Notes in Computer Science, page 165-182. Springer, (1997)Memory Event Clocks., , and . FORMATS, volume 6246 of Lecture Notes in Computer Science, page 198-212. Springer, (2010)ProVeLines: a product line of verifiers for software product lines., , , , and . SPLC Workshops, page 141-146. ACM, (2013)The Logic of Event Clocks - Decidability, Complexity and Expressiveness., and . Journal of Automata, Languages and Combinatorics, 4 (3): 247-282 (1999)Towards Multi-view Feature-Based Configuration., , , and . REFSQ, volume 6182 of Lecture Notes in Computer Science, page 106-112. Springer, (2010)From Live Sequence Charts to State Machines and Back: A Guided Tour., , and . IEEE Trans. Software Eng., 31 (12): 999-1014 (2005)Achieving, Satisficing, and Excelling., , and . ER Workshops, volume 4802 of Lecture Notes in Computer Science, page 286-295. Springer, (2007)