John Shackleton

According to our database1, John Shackleton authored at least 9 papers between 1996 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Model-driven development for the seL4 microkernel using the HAMR framework.
J. Syst. Archit., 2023

2022
Cyberassured Systems Engineering at Scale.
IEEE Secur. Priv., 2022

2015
A Framework for Compositional Timing Analysis of Embedded Computer Systems.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2010
Tracking People with a 360-Degree Lidar.
Proceedings of the Seventh IEEE International Conference on Advanced Video and Signal Based Surveillance, 2010

1997
Performance Modeling of System Architectures.
J. VLSI Signal Process., 1997

Measuring the Effectiveness of Reinforcement Learning for Behavior-Based Robots.
Adapt. Behav., 1997

1996
A methodology and toolset for the design of parallel embedded systems.
OOPS Messenger, 1996

A Design Notation and Toolset for High-Performance Embedded Systems Development.
Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

A Model for the Coanalysis of Hardware and Software Architectures.
Proceedings of the Forth International Workshop on Hardware/Software Codesign, 1996


  Loading...