PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Schobbens, Pierre-Yves"

Author of the publication

copydeleteadd this publication to your clipboard
Formal semantics, modular specification, and symbolic verification of product-line behaviour.

, , , , and . Sci. Comput. Program., (2014)

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 Nacke University of Stuttgart

Yves Klett

Dr. rer. nat. Pierre Eckold University of Stuttgart

Pierre Kuna University of Stuttgart

 

Other publications of authors with the same name

Feature Diagrams: A Survey and a Formal Semantics., , and . RE, page 136-145. IEEE Computer Society, (2006)Vérification automatique de logiques orientées agent.. JFIADSMA, page 13-16. Hermès Lavoisier Editions, (2001)From Live Sequence Charts to State Machines and Back: A Guided Tour., , and . IEEE Trans. Software Eng., 31 (12): 999-1014 (2005)Beyond boolean product-line model checking: dealing with feature attributes and multi-features., , , and . ICSE, page 472-481. IEEE Computer Society, (2013)The Logic of Event Clocks - Decidability, Complexity and Expressiveness., and . Journal of Automata, Languages and Combinatorics, 4 (3): 247-282 (1999)Formal Models of Agents: An Introduction., and . ModelAge Workshop, volume 1760 of Lecture Notes in Computer Science, page 1-7. Springer, (1997)Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT., , and . SAFECOMP, volume 6894 of Lecture Notes in Computer Science, page 243-256. Springer, (2011)Achieving, Satisficing, and Excelling., , and . ER Workshops, volume 4802 of Lecture Notes in Computer Science, page 286-295. Springer, (2007)Towards Multi-view Feature-Based Configuration., , , and . REFSQ, volume 6182 of Lecture Notes in Computer Science, page 106-112. Springer, (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)