More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Christopher M. Poskitt

> Home > Persons

Person information

affiliation: Singapore Management University, Singapore
affiliation (former): Singapore University of Technology and Design, Singapore
affiliation (former): ETH Zurich, Department of Computer Science
affiliation (former): University of York, Department of Computer Science, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/aied/DinushkaPKML24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aied/DinushkaPKML24
Dilan Dinushka, Christopher M. Poskitt, Kwan Chin Koh, Heng Ngee Mok, Hady W. Lauw:
Towards Automated Slide Augmentation to Discover Credible and Relevant Links. AIED Companion (2) 2024: 200-208
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icse/SunP00024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SunP00024
Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen:
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. ICSE 2024: 102:1-102:13
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/0008P0024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/0008P0024
Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun:
REDriver: Runtime Enforcement for Autonomous Vehicles. ICSE 2024: 176:1-176:12
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/TanP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/TanP24
Ivan Tan, Christopher M. Poskitt:
Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring. SIGCSE (1) 2024: 1307-1313
[i29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-01011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-01011
Ivan Tan, Christopher M. Poskitt:
Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring. CoRR abs/2401.01011 (2024)
[i28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-02253
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-02253
Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun:
REDriver: Runtime Enforcement for Autonomous Vehicles. CoRR abs/2401.02253 (2024)
[i27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-07063
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-07063
Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen:
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. CoRR abs/2401.07063 (2024)
[i26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-07527
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-07527
Shaofei Huang, Christopher M. Poskitt, Lwin Khin Shar:
Security Modelling for Cyber-Physical Systems: A Systematic Literature Review. CoRR abs/2404.07527 (2024)
[i25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-13201
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-13201
Kun Wang, Christopher M. Poskitt, Yang Sun, Jun Sun, Jingyi Wang, Peng Cheng, Jiming Chen:
μDrive: User-Controlled Autonomous Driving. CoRR abs/2407.13201 (2024)
[i24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-10562
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-10562
Yang Sun, Christopher M. Poskitt, Jun Sun:
Are Existing Road Design Guidelines Suitable for Autonomous Vehicles? CoRR abs/2409.10562 (2024)
2023
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/PoskittP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/PoskittP23
Christopher M. Poskitt, Detlef Plump:
Monadic second-order incorrectness logic for GP 2. J. Log. Algebraic Methods Program. 130: 100825 (2023)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/JiaPZWSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/JiaPZWSC23
Yifan Jia, Christopher M. Poskitt, Peixin Zhang, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay:
Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection. IEEE Robotics Autom. Lett. 8(12): 8350-8357 (2023)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/MaitiYPSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/MaitiYPSP23
Rajib Ranjan Maiti, Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt:
Mitigating Adversarial Attacks on Data-Driven Invariant Checkers for Cyber-Physical Systems. IEEE Trans. Dependable Secur. Comput. 20(4): 3378-3391 (2023)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ZhouSTCSPLY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ZhouSTCSPLY23
Yuan Zhou, Yang Sun, Yun Tang, Yuqi Chen, Jun Sun, Christopher M. Poskitt, Yang Liu, Zijiang Yang:
Specification-Based Autonomous Driving System Testing. IEEE Trans. Software Eng. 49(6): 3391-3410 (2023)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/WangWPCSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/WangWPCSC23
Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng:
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. IEEE Trans. Software Eng. 49(10): 4796-4813 (2023)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ZhangWXCLPSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ZhangWXCLPSC23
Fan Zhang, Qianmei Wu, Bohan Xuan, Yuqi Chen, Wei Lin, Christopher M. Poskitt, Jun Sun, Binbin Chen:
Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing. IEEE Trans. Software Eng. 49(11): 4829-4845 (2023)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PoskittCSJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PoskittCSJ23
Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. ICSE 2023: 2578-2590
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/tale/KurniawanPHLJS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tale/KurniawanPHLJS23
Oka Kurniawan, Christopher M. Poskitt, Ismam Al Hoque, Norman Tiong Seng Lee, Cyrille Jégourel, Nachamma Sockalingam:
How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool? TALE 2023: 1-6
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/2023
Maribel Fernández, Christopher M. Poskitt:
Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings. Lecture Notes in Computer Science 13961, Springer 2023, ISBN 978-3-031-36708-3 [contents]
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-04175
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-04175
Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. CoRR abs/2302.04175 (2023)
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-04177
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-04177
Boquan Li, Jun Sun, Christopher M. Poskitt:
How Generalizable are Deepfake Detectors? An Empirical Study. CoRR abs/2308.04177 (2023)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-00954
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-00954
Oka Kurniawan, Christopher M. Poskitt, Ismam Al Hoque, Norman Tiong Seng Lee, Cyrille Jégourel, Nachamma Sockalingam:
How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool? CoRR abs/2310.00954 (2023)
2022
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/JiaPSC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/JiaPSC22
Yifan Jia, Christopher M. Poskitt, Jun Sun, Sudipta Chattopadhyay:
Physical Adversarial Attack on a Robotic Arm. IEEE Robotics Autom. Lett. 7(4): 9334-9341 (2022)
[c25]
- view
  - electronic edition via handle.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/hicss/KurniawanJLMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/KurniawanJLMP22
Oka Kurniawan, Cyrille Jégourel, Norman Tiong Seng Lee, Matthieu De Mari, Christopher M. Poskitt:
Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. HICSS 2022: 1-10
[c24]
- view
  - electronic edition via handle.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/hicss/PoskittSLO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/PoskittSLO22
Christopher M. Poskitt, Kyong Jin Shim, Yi Meng Lau, Hong Seng Ong:
Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid Classroom. HICSS 2022: 1-10
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/SharPSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/SharPSW22
Lwin Khin Shar, Christopher M. Poskitt, Kyong Jin Shim, Li Ying Leonard Wong:
XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner. ITiCSE (1) 2022: 463-469
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/0008P00Y22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/0008P00Y22
Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang:
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. ASE 2022: 62:1-62:12
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-10975
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-10975
Reiko Heckel, Christopher M. Poskitt:
Proceedings of the Thirteenth International Workshop on Graph Computation Models, GCM@STAF 2022, Nantes, France, 6th July 2022. EPTCS 374, 2022 [contents]
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-04076
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-04076
Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng:
K-ST: A Formal Executable Semantics of PLC Structured Text Language. CoRR abs/2202.04076 (2022)
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-12416
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-12416
Lwin Khin Shar, Christopher M. Poskitt, Kyong Jin Shim, Li Ying Leonard Wong:
XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner. CoRR abs/2204.12416 (2022)
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-14656
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-14656
Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang:
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. CoRR abs/2208.14656 (2022)
2021
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cybersec/YoongPMSP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cybersec/YoongPMSP21
Cheah Huei Yoong, Venkata Reddy Palleti, Rajib Ranjan Maiti, Arlindo Silva, Christopher M. Poskitt:
Deriving invariant checkers for critical infrastructure using axiomatic design principles. Cybersecur. 4(1): 6 (2021)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcip/JiaWPCSC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcip/JiaWPCSC21
Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen:
Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems. Int. J. Crit. Infrastructure Prot. 34: 100452 (2021)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/MegargelPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/MegargelPS21
Alan Megargel, Christopher M. Poskitt, Venky Shankararaman:
Microservices Orchestration vs. Choreography: A Decision Framework. EDOC 2021: 134-141
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Poskitt21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Poskitt21
Christopher M. Poskitt:
Incorrectness Logic for Graph Programs. ICGT 2021: 81-101
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/0001P021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/0001P021
Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Code integrity attestation for PLCs using black box neural network predictions. ESEC/SIGSOFT FSE 2021: 32-44
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-04501
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-04501
Christopher M. Poskitt:
Incorrectness Logic for Graph Programs. CoRR abs/2105.04501 (2021)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-10707
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-10707
Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen:
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems. CoRR abs/2105.10707 (2021)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-07851
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-07851
Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions. CoRR abs/2106.07851 (2021)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-08896
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-08896
Oka Kurniawan, Cyrille Jégourel, Norman Tiong Seng Lee, Matthieu De Mari, Christopher M. Poskitt:
Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. CoRR abs/2109.08896 (2021)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-09073
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-09073
Christopher M. Poskitt, Kyong Jin Shim, Yi Meng Lau, Hong Seng Ong:
Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid Classroom. CoRR abs/2109.09073 (2021)
2020
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/YoongPSP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/YoongPSP20
Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt:
Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems. CPSS@AsiaCCS 2020: 11-22
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/0001XP0020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/0001XP0020
Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang:
Active fuzzing for testing and securing cyber-physical systems. ISSTA 2020: 14-26
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/KurniawanLP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/KurniawanLP20
Oka Kurniawan, Norman Tiong Seng Lee, Christopher M. Poskitt:
Securing Bring-Your-Own-Device (BYOD) Programming Exams. SIGCSE 2020: 880-886
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-03942
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-03942
Oka Kurniawan, Norman Tiong Seng Lee, Christopher M. Poskitt:
Securing Bring-Your-Own-Device (BYOD) Programming Exams. CoRR abs/2001.03942 (2020)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-14124
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-14124
Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang:
Active Fuzzing for Testing and Securing Cyber-Physical Systems. CoRR abs/2005.14124 (2020)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-03651
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-03651
Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt:
Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems. CoRR abs/2007.03651 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/0001P0A019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/0001P0A019
Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, Fan Zhang:
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. ASE 2019: 962-973
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-05410
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-05410
Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, Fan Zhang:
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. CoRR abs/1909.05410 (2019)
2018
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/CorrodiHP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/CorrodiHP18
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt:
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language. Formal Aspects Comput. 30(1): 163-192 (2018)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/ChenP018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/ChenP018
Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. IEEE Symposium on Security and Privacy 2018: 648-660
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-00903
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-00903
Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. CoRR abs/1801.00903 (2018)
2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/KolesnichenkoPN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/KolesnichenkoPN17
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz:
SafeGPU: Contract- and library-based GPGPU for object-oriented languages. Comput. Lang. Syst. Struct. 48: 68-88 (2017)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icdm/InoueYCP017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdm/InoueYCP017
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. ICDM Workshops 2017: 1058-1065
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-05342
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-05342
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. CoRR abs/1709.05342 (2017)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-03928
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-03928
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt:
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language. CoRR abs/1710.03928 (2017)
2016
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/SchillPM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/SchillPM16
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer:
An Interference-Free Programming Model for Network Objects. COORDINATION 2016: 227-244
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/CorrodiHP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/CorrodiHP16
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt:
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. FASE 2016: 31-48
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ChenP016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ChenP016
Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. FM 2016: 155-163
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CorrodiHP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CorrodiHP16
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt:
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. CoRR abs/1603.00307 (2016)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SchillPM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SchillPM16
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer:
An Interference-Free Programming Model for Network Objects. CoRR abs/1604.04591 (2016)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChenPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChenPS16
Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. CoRR abs/1609.01491 (2016)
2015
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/KolesnichenkoPN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/KolesnichenkoPN15
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer:
Contract-based general-purpose GPU programming. GPCE 2015: 75-84
[c8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HeussnerPCM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeussnerPCM15
Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi:
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. GaM 2015: 32-47
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FuriaPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FuriaPT15
Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen:
The AutoProof Verifier: Usability by Non-Experts and on Standard Code. F-IDE 2015: 42-55
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/PoskittP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/PoskittP14
Christopher M. Poskitt, Detlef Plump:
Verifying Monadic Second-Order Properties of Graph Programs. ICGT 2014: 33-48
[c5]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/PoskittDPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PoskittDPR14
Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink:
Towards Rigorously Faking Bidirectional Model Transformations. AMT@MoDELS 2014: 70-75
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/PoskittP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PoskittP14
Christopher M. Poskitt, Detlef Plump:
Verifying Monadic Second-Order Properties of Graph Programs. CoRR abs/1405.5927 (2014)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KolesnichenkoPNM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KolesnichenkoPNM14
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer:
Contract-Based General-Purpose GPU Programming. CoRR abs/1410.6685 (2014)
2013
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Poskitt13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Poskitt13
Christopher M. Poskitt:
Verification of graph programs. University of York, UK, 2013
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/PoskittP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/PoskittP12
Christopher M. Poskitt, Detlef Plump:
Verifying Total Correctness of Graph Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/PoskittP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/PoskittP13
Christopher M. Poskitt, Simon M. Poulding:
Using Contracts to Guide the Search-Based Verification of Concurrent Programs. SSBSE 2013: 263-268
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/KolesnichenkoPM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/KolesnichenkoPM13
Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer:
Applying Search in an Automatic Contract-Based Testing Tool. SSBSE 2013: 318-323
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/PoskittP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/PoskittP12
Christopher M. Poskitt, Detlef Plump:
Hoare-Style Verification of Graph Programs. Fundam. Informaticae 118(1-2): 135-175 (2012)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Poskitt12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Poskitt12
Christopher M. Poskitt:
Verification of Graph Programs. ICGT 2012: 420-422
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/PoskittP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/PoskittP10
Christopher M. Poskitt, Detlef Plump:
A Hoare Calculus for Graph Programs. ICGT 2010: 139-154

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.