Author of the publication

Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract).

, , , and . AAAI, page 15757-15758. AAAI Press, (2021)

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.

 

Other publications of authors with the same name

Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences., and . JFPLC, page 255-. Hermes, (1996)Generation of test sequences from formal specifications: GSM 11-11 standard case study., , , and . Softw. Pract. Exp., 34 (10): 915-948 (2004)Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning., , , , , and . IEEE Trans. Intell. Transp. Syst., 25 (2): 1166-1177 (February 2024)A domain-specific language to design false data injection tests for air traffic control systems., , , and . Int. J. Softw. Tools Technol. Transf., 24 (2): 127-158 (2022)DAE : Discriminatory Auto-Encoder for multivariate time-series anomaly detection in air transportation., , and . CoRR, (2021)Requirements traceability in the model-based testing process., and . Software Engineering (Workshops), volume P-106 of LNI, page 45-54. GI, (2007)Model-Based Testing from UML Models., , , , , , and . GI Jahrestagung (2), volume P-94 of LNI, page 223-230. GI, (2006)Identifying and Generating Missing Tests using Machine Learning on Execution Traces., , , , and . AITest, page 83-90. IEEE, (2020)Controlling test case explosion in test generation from B formal models., , and . Softw. Test. Verification Reliab., 14 (2): 81-103 (2004)A Test Generation Solution to Automate Software Testing., , , and . AST, page 45-48. ACM, (2008)