Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Applying Search in an Automatic Contract-Based Testing Tool.

A. Kolesnichenko, C. Poskitt, and B. Meyer. SSBSE, volume 8084 of Lecture Notes in Computer Science, page 318-323. Springer, (2013)

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.

Christopher M Awambeng

Christopher Christopher

Simon M M Laimer

Marcel M M Kuypers

Bernhard M M Lang

Other publications of authors with the same name

Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection.Y. Jia, C. Poskitt, P. Zhang, J. Wang, J. Sun, and S. Chattopadhyay. IEEE Robotics Autom. Lett., 8 (12): 8350-8357 (December 2023)Specification-Based Autonomous Driving System Testing.Y. Zhou, Y. Sun, Y. Tang, Y. Chen, J. Sun, C. Poskitt, Y. Liu, and Z. Yang. IEEE Trans. Software Eng., 49 (6): 3391-3410 (June 2023)Mitigating Adversarial Attacks on Data-Driven Invariant Checkers for Cyber-Physical Systems.R. Maiti, C. Yoong, V. Palleti, A. Silva, and C. Poskitt. IEEE Trans. Dependable Secur. Comput., 20 (4): 3378-3391 (July 2023)A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs.C. Corrodi, A. Heußner, and C. Poskitt. FASE, volume 9633 of Lecture Notes in Computer Science, page 31-48. Springer, (2016)Code integrity attestation for PLCs using black box neural network predictions.Y. Chen, C. Poskitt, and J. Sun. ESEC/SIGSOFT FSE, page 32-44. ACM, (2021)Security Modelling for Cyber-Physical Systems: A Systematic Literature Review.S. Huang, C. Poskitt, and L. Shar. CoRR, (2024)Towards Automated Slide Augmentation to Discover Credible and Relevant Links.D. Dinushka, C. Poskitt, K. Koh, H. Mok, and H. Lauw. AIED Companion (2), volume 2151 of Communications in Computer and Information Science, page 200-208. Springer, (2024)ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings.H. Sun, C. Poskitt, Y. Sun, J. Sun, and Y. Chen. ICSE, page 102:1-102:13. ACM, (2024)Physical Adversarial Attack on a Robotic Arm.Y. Jia, C. Poskitt, J. Sun, and S. Chattopadhyay. IEEE Robotics Autom. Lett., 7 (4): 9334-9341 (2022)Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning.J. Inoue, Y. Yamagata, Y. Chen, C. Poskitt, and J. Sun. ICDM Workshops, page 1058-1065. IEEE Computer Society, (2017)

BibSonomy

Disambiguation of "Poskitt, Christopher M."

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Applying Search in an Automatic Contract-Based Testing Tool.

Please choose a person to relate this publication to

Christopher M Awambeng

Christopher Christopher

Simon M M Laimer

Marcel M M Kuypers

Bernhard M M Lang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Poskitt, Christopher M."

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Applying Search in an Automatic Contract-Based Testing Tool.

Please choose a person to relate this publication to

Christopher M Awambeng

Christopher Christopher

Simon M M Laimer

Marcel M M Kuypers

Bernhard M M Lang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Applying Search in an Automatic Contract-Based Testing Tool.