E-LIB Suche - Ergebnisse für: Poskitt, Christopher M.

1

Fixing Your Own Smells: Adding a Mistake-Based Familiarisat..:

, In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1,

Tan, Ivan ; Poskitt, Christopher M. - p. 1307-1313 , 2024

Link: https://dl.acm.org/doi/1..

2

REDriver: Runtime Enforcement for Autonomous Vehicles:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Sun, Yang ; Poskitt, Christopher M. ; Zhang, Xiaodong. - p. 1-12 , 2024

Link: https://dl.acm.org/doi/1..

3

ACAV: A Framework for Automatic Causality Analysis in Auton..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Sun, Huijia ; Poskitt, Christopher M. ; Sun, Yang.. - p. 1-13 , 2024

Link: https://dl.acm.org/doi/1..

4

Mitigating Adversarial Attacks on Data-Driven Invariant Che..:

Maiti, Rajib Ranjan ; Yoong, Cheah Huei ; Palleti, Venkata Reddy..
IEEE Transactions on Dependable and Secure Computing. 20 (2023) 4 - p. 3378-3391 , 2023

Link: https://doi.org/10.1109/..

5

Constructing Cyber-Physical System Testing Suites Using Act..:

Zhang, Fan ; Wu, Qianmei ; Xuan, Bohan...
IEEE Transactions on Software Engineering. 49 (2023) 11 - p. 4829-4845 , 2023

Link: https://doi.org/10.1109/..

6

How Helpful do Novice Programmers Find the Feedback of an A..:

, In: 2023 IEEE International Conference on Teaching, Assessment and Learning for Engineering (TALE),

Kurniawan, Oka ; Poskitt, Christopher M. ; Al Hoque, Ismam... - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

7

Graph Transformation: 16th International Conference, ICGT 2..

Lecture Notes in Computer Science, 13961

Fernández, Maribel ; Poskitt, Christopher M - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

8

Monadic second-order incorrectness logic for GP 2:

Poskitt, Christopher M. ; Plump, Detlef
Journal of Logical and Algebraic Methods in Programming. 130 (2023) - p. 100825 , 2023

Link: https://doi.org/10.1016/..

9

Finding Causally Different Tests for an Industrial Control ..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE),

Poskitt, Christopher M. ; Chen, Yuqi ; Sun, Jun. - p. 2578-2590 , 2023

Link: https://doi.org/10.1109/..

10

Specification-based Autonomous Driving System Testing:

Zhou, Yuan ; Sun, Yang ; Tang, Yun...
IEEE Transactions on Software Engineering. , 2023

Link: https://doi.org/10.1109/..

11

Boosting Adversarial Training in Safety-Critical Systems Th..:

Jia, Yifan ; Poskitt, Christopher M. ; Zhang, Peixin...
IEEE Robotics and Automation Letters. 8 (2023) 12 - p. 8350-8357 , 2023

Link: https://doi.org/10.1109/..

12

K-ST: A Formal Executable Semantics of the Structured Text ..:

Wang, Kun ; Wang, Jingyi ; Poskitt, Christopher M....
IEEE Transactions on Software Engineering. 49 (2023) 10 - p. 4796-4813 , 2023

Link: https://doi.org/10.1109/..

13

XSS for the Masses : Integrating Security in a Web Progr..:

, In: Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1,

Shar, Lwin Khin ; Poskitt, Christopher M. ; Shim, Kyong Jin. - p. 463-469 , 2022

Link: https://dl.acm.org/doi/1..

14

LawBreaker: An Approach for Specifying Traffic Laws and Fuz..:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,

Sun, Yang ; Poskitt, Christopher M. ; Sun, Jun.. - p. 1-12 , 2022

Link: https://dl.acm.org/doi/1..

15

Physical Adversarial Attack on a Robotic Arm:

Jia, Yifan ; Poskitt, Christopher M. ; Sun, Jun.
IEEE Robotics and Automation Letters. 7 (2022) 4 - p. 9334-9341 , 2022

Link: https://doi.org/10.1109/..