E-LIB Suche - Ergebnisse für: Timperley, Christopher Steven

1

ROSInfer: Statically Inferring Behavioral Component Models ..:

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

Dürschmid, Tobias ; Timperley, Christopher Steven ; Garlan, David. - p. 1-13 , 2024

2

Mithra: Anomaly Detection as an Oracle for Cyberphysical Sy..:

Afzal, Afsoon ; Le Goues, Claire ; Timperley, Christopher Steven
IEEE Transactions on Software Engineering. 48 (2022) 11 - p. 4535-4552 , 2022

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

3

A Study on Challenges of Testing Robotic Systems:

, In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),

Afzal, Afsoon ; Goues, Claire Le ; Hilton, Michael. - p. 96-107 , 2020

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

4

It Takes a Village to Build a Robot: An Empirical Study of ..:

, In: 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Kolak, Sophia ; Afzal, Afsoon ; Le Goues, Claire.. - p. 430-440 , 2020

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

5

Model-Based Adaptation for Robotics Software:

Aldrich, Jonathan ; Garlan, David ; Kaestner, Christian...
IEEE Software. 36 (2019) 2 - p. 83-90 , 2019

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

6

BugZoo : a platform for studying software bugs:

, In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings,

Timperley, Christopher Steven ; Stepney, Susan ; Goues, Claire Le - p. 446-447 , 2018

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

7

It Takes a Village to Build a Robot: An Empirical Study of ..:

Kolak, Sophia ; Afzal, Afsoon ; Le Goues, Claire..
doi:10.5281/zenodo.3997719. , 2020

Link: https://zenodo.org/recor..

8

A Study on Challenges of Testing Robotic Systems - Intervie..:

Afzal, Afsoon ; Le Goues, Claire ; Hilton, Michael.
doi:10.5281/zenodo.3625198. , 2020

Link: https://zenodo.org/recor..

9

Replication package:

Afsoon Afzal (10825449) ; Claire Le Goues (3882955) ; Timperley, Christopher Steven (8408703)
https://figshare.com/articles/dataset/Replication_package/14619177. , 2021

Link: https://doi.org/10.6084/..

10

The risk associated with organophosphorus nerve agents: fro..:

Voros, Camille ; Dias, José ; Timperley, Christopher M....
Chemico-Biological Interactions. 395 (2024) - p. 110973 , 2024

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

11

The use of bispyridinium non-oxime analogues for the restor..:

Amend, Niko ; Timperley, Christopher M. ; Bird, Mike...
Toxicology Letters. 397 (2024) - p. 42-47 , 2024

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

12

ROBUST: 221 bugs in the Robot Operating System:

Timperley, Christopher S. ; van der Hoorn, Gijs ; Santos, André..
Empirical Software Engineering. 29 (2024) 3 - p. , 2024

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

13

Restoration of nerve agent impaired neuromuscular transmiss..:

Amend, Niko ; Timperley, Christopher M. ; Bird, Mike...
Toxicology. 503 (2024) - p. 153741 , 2024

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

14

ROSInfer: Statically Inferring Behavioral Component Models ..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Durschmid, Tobias ; Timperley, Christopher S. ; Garlan, David. - p. 1774-1786 , 2024

Link: https://doi.org/10.1145/..

15

Biochemical and Structural Insights into FIH‐Catalysed Hydr..:

Saward, Benjamin G. ; Leissing, Thomas M. ; Clifton, Ian J....
ChemBioChem. 24 (2023) 4 - p. , 2023

Link: https://doi.org/10.1002/..