( en | de | ru )

 

Disambiguation of "Gaston, Christophe"

Author of the publication

copydeleteadd this publication to your clipboard
Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems.

, , , and . ISORC, page 35-42. IEEE Computer Society, (2016)

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.

Gaston Hoffmann

Gaston Netter

Gaston Reyl

Gaston Diderrich

Gaston Buck

 

Other publications of authors with the same name

Automatic Test Generation on a (U)SIM Smart Card., , , and . CARDIS, volume 3928 of Lecture Notes in Computer Science, page 345-358. Springer, (2006)Symbolic Execution Techniques for Test Purpose Definition., , , and . TestCom, volume 3964 of Lecture Notes in Computer Science, page 1-18. Springer, (2006)Symbolic Model Based Testing for Component Oriented Systems., , and . TestCom/FATES, volume 4581 of Lecture Notes in Computer Science, page 90-106. Springer, (2007)A structural operational semantics for interactions with a look at loops., , and . CoRR, (2021)A Data Flow Model with Frequency Arithmetic., , , , and . FASE, volume 11424 of Lecture Notes in Computer Science, page 369-385. Springer, (2019)Equivalence of Denotational and Operational Semantics for Interaction Languages., , and . TASE, volume 13299 of Lecture Notes in Computer Science, page 113-130. Springer, (2022)Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing., , and . APSEC, page 219-226. IEEE Computer Society, (2011)Symbolic Execution Techniques Extended to Systems., , , and . ICSEA, page 78-85. IEEE Computer Society, (2009)Revisiting Semantics of Interactions for Trace Validity Analysis., , and . FASE, volume 12076 of Lecture Notes in Computer Science, page 482-501. Springer, (2020)Denotational and operational semantics for interaction languages: Application to trace analysis., , and . Sci. Comput. Program., (January 2024)