( en | de | ru )

 

Disambiguation of "Godary-Dejean, Karen"

Author of the publication

copydeleteadd this publication to your clipboard
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems.

, , , , and . FMAS/ASYDE@SEFM, volume 371 of EPTCS, page 120-138. (2022)

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.

Thomas-Andreas Karenberg

Axel Karenberg

Alexandra Karentzos

Stefan Dimitri Karentzopoulos

Dagobert Karenberg

 

Other publications of authors with the same name

Testing an Underwater Robot Executing Transect Missions in Mayotte., , , , , and . TAROS, volume 12228 of Lecture Notes in Computer Science, page 116-127. Springer, (2020)Model-checking precision agriculture logistics: the case of the differential harvest., , , and . Discret. Event Dyn. Syst., 30 (4): 579-604 (2020)SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive., , and . FDL, page 672-684. ECSI, (2004)A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions., , , and . ICRA, page 2127-2133. IEEE, (2021)Temporal bounds verication of the STIMAP protocol., , and . RTNS, page 97-106. (2011)Global methodology in control architecture to improve mobile robot reliability., , , and . IROS, page 1018-1023. IEEE, (2010)SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems., , , , and . FMAS/ASYDE@SEFM, volume 371 of EPTCS, page 120-138. (2022)Formal Validation of a Deterministic MAC Protocol., and . ACM Trans. Embed. Comput. Syst., 12 (1): 6:1-6:23 (2013)Formal Method for Mission Controller Generation of a Mobile Robot., , , , and . TAROS, volume 10454 of Lecture Notes in Computer Science, page 586-600. Springer, (2017)Temporal Bounds for TTA: Validation., , and . DIPES, volume 150 of IFIP, page 73-82. Kluwer/Springer, (2004)