335 citations · 593 across the 33 of their papers we have counts for
Showing 2016 · cs.SEShow all
2 papers · 2 filters
cs.SE2016★ 26 cited
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
Yuqi Chen, Christopher M. Poskitt, Jun Sun
Cyber-physical systems (CPS), which integrate algorithmic control with physical processes, often consist of physically distributed components communicating over a network. A malfun…
cs.SE2016
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise executi…