Papers published in 2011
A Survey of Hard Real-Time Scheduling for Multiprocessor Systems
R.I. Davis, A. Burns (2011)
ACM Computing Surveys
[ Abstract and Details ]
A model-based development approach for the verification of real-time Java code
Pour, Niusha Hakimi, Strooper, Paul, Wellings, Andy (2011)
Concurrency and Computation: Practice and Experience
[ Abstract and Details ]
Adaptive data-driven error detection in swarm robotics with statistical classifiers
H.K. Lau, I.Bate, P. Cairns, J.Timmis (2011)
Robotics and Autonomous Systems
[ Abstract and Details | Download ]
Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems
Y. Lu, T. Nolte, I. Bate, J. Kraft, C. Norstrom (2011)
Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11)
[ Abstract and Details | Download ]
Asynchronous event handling and Safety Critical Java
Andy Wellings, Minseong Kim (2011)
Concurrency and Computation: Practice and Experience
[ Abstract and Details ]
Bio-inspired Error Detection for Complex Systems
M. Drozda, I. Bate, J. Timmis (2011)
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing
[ Abstract and Details | Download ]
Cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems
S. Altmeyer, R.I. Davis, C. Maiza (2011)
Real-Time Systems Symposium (RTSS)
[ Abstract and Details | Download ]
Collective Self-detection Scheme for Adaptive Error Detection in a Foraging Swarm of Robots
H.K. Lau, J. Timmis, I. Bate (2011)
ICARIS2011
[ Abstract and Details | Download ]
Comparing Models of Nondeterministic Expression Evaluation
Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones (2011)
Newcastle University
[ Abstract and Details ]
Controller Area Network (CAN) Schedulability Analysis with FIFO queues
R.I. Davis, S. Kollmann, V. Pollex, F. Slomka (2011)
The 23rd Euromicro Conference on Real-Time Systems (ECRTS)
[ Abstract and Details | Download ]
Controller Area Network (CAN) Schedulability Analysis with FIFO queues
R. I. Davis, S. Kollmann, V. Pollex, F. Slomka (2011)
University of York, Department of Computer Science
[ Abstract and Details | Download ]
Developing Safe and Dependable Sensornets
I. Bate, Y. Wu, J. Stankovic (2011)
Proceedings of the 37th EUROMIICRO Conference on Software Engineering and Advanced Applications
[ Abstract and Details | Download ]
Dynamics for WCET
David Griffin, Alan Burns (2011)
11th Intl. Workshop on Worst-Case Execution Time Analysis
[ Abstract and Details | Download ]
Efficient Task Allocation to FPGAs in the Safety Critical Domain
P. Conmy, I. Bate (2011)
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing
[ Abstract and Details | Download ]
Evaluating the feasibility of network coding for NoCs
L. S. Indrusiak (2011)
Proc of the 6th Int Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)
[ Abstract and Details | Download ]
Exploring Heterogeneous NoC-based MPSoCs: from FPGA to High-Level Modeling
L. Ost, G. M. Almeida, M. Mandelli, E. Wachter, S. Varyani, L. S. Indrusiak, G. Sassatelli, M. Robert, F. Moraes (2011)
Proc of the 6th Int Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)
[ Abstract and Details ]
Exploring NoC-Based MPSoC Design Space with Power Estimation Models
L. Ost, G. M. Guindani, F. G. Moraes, L. S. Indrusiak, S. Maatta (2011)
IEEE Design & Test of Computers
[ Abstract and Details ]
FPZL Schedulability Analysis
R.I. Davis, A. Burns (2011)
RTAS
[ Abstract and Details | Download ]
Fast and Accurate Transaction-Level Model of a Wormhole Network-on-Chip with Priority Preemptive Virtual Channel Arbitration
L. S. Indrusiak, O. M. Santos (2011)
Design Automation and Test in Europe (DATE)
[ Abstract and Details ]
Genetic mapping of hard real-time applications onto NoC-based MPSoCs a first approach
P. Mesidis, L. S. Indrusiak (2011)
Proc of the 6th Int Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)
[ Abstract and Details | Download ]
IA3: An Interference Aware Allocation Algorithm for Multicore Hard Real-Time Systems
M. Paolieri, E. Quinones, F.J. Cazorla, R.I. Davis, M. Valero (2011)
RTAS
[ Abstract and Details | Download ]
Implementing Mixed Criticality Systems in Ada
S. Baruah, A. Burns (2011)
Proceedings of Reliable Software Technology - Ada Europe 2011
[ Abstract and Details | Download ]
LIPS: A Protocol Suite For Homeostatic Sensornet Management
J. Tate, I. Bate (2011)
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems
[ Abstract and Details | Download ]
Model-based development of embedded systems - the MADES approach
I. Gray, N. Matragkas, N. Audsley, L. S. Indrusiak, D. Kolovos, R. Paige (2011)
2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)
[ Abstract and Details | Download ]
Model-based hardware generation and programming - the MADES approach
I. Gray, N. Matragkas, N. Audsley, L. S. Indrusiak, D. Kolovos, R. Paige (2011)
2nd IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design (MoBE-RTES)
[ Abstract and Details | Download ]
Multi-Modal Routing to Tolerate Failures
T. H. Lim, I. Bate, J. Timmis (2011)
7th International Conference on Intelligent Sensors, Sensor Networks and Information Processing
[ Abstract and Details | Download ]
Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java
Minseong Kim, Andy Wellings (2011)
The Computer Journal
[ Abstract and Details ]
Optimal Priority Assignment Algorithms for Probabilistic Real-Time Systems
D. Maxim, O. Buffet, L. Santinelli, L. Cucu-Grosjean, R. I. Davis (2011)
Proceedings 19th International Conference on Real-Time and Network Systems (RTNS'11)
[ Abstract and Details | Download ]
Practical and Theoretical Considerations on Low-Power Probability-Codes for Networks-on-Chip
A. Garcia-Ortiz, L. Soares Indrusiak (2011)
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation - 20th International Workshop, PATMOS 2010
[ Abstract and Details ]
Pre-emption cost aware response time analysis for fixed priority pre-emptive systems
S. Altmeyer, R.I. Davis, C. Maiza (2011)
University of York
[ Abstract and Details | Download ]
Predictability as an Emergent Behaviour
A. Burns, D. Griffin (2011)
4th Workshop on Compositional Theory and Technology for Real‐Time Embedded Systems
[ Abstract and Details | Download ]
Probabilistic Instruction Cache Analysis using Bayesian Networks
M. Bartlett, I. Bate, J. Cussens, D. Kazakov (2011)
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2011)
[ Abstract and Details | Download ]
Programming Langugaes for Real-Time Applications Executing on Parallel hardware
A. Burns (2011)
Proceedings of Reliable Software Technology - Ada Europe 2011
[ Abstract and Details | Download ]
Response-Time Analysis for Mixed Criticality Systems
S.K. Baruah, A. Burns, R. I. Davis (2011)
Real-Time Systems Symposium (RTSS)
[ Abstract and Details | Download ]
Safety-Critical Java Technology Specification, Public draft
Doug Locke, B. Scott Andersen, Ben Brosgol, Mike Fulton, Thomas Henties, James J. Hunt, Johan Olm"utz Nielsen, Kelvin Nilsen, Martin Schoeberl, Joyce Tokar, Jan Vitek, Andy Wellings (2011)
Use of uninitialized value in split at ./paperslist.pl line 114.
[ Abstract and Details ]
Schedulability Analysis of CAN with Non-abortable Transmission Requests
D.A. Khan, R.I. Davis, N. Navet (2011)
Proceedings of the16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'11)
[ Abstract and Details | Download ]
Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling
Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah (2011)
Real-Time Systems
[ Abstract and Details ]
Targeting complex embedded architectures by combining the Multicore Communications API (MCAPI) with Compile-Time Virtualisation
Ian Gray, Neil Audsley (2011)
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES)
[ Abstract and Details | Download ]
Timing Faults and Mixed Criticality Systems
A. Burns, S. Baruah (2011)
Dependable and Historic Computing
Springer
[ Abstract and Details | Download ]
Trace-Based Statistical Response-Time Analysis of Complex Real-Time Embedded Systems
Y. Lu, T. Nolte, I. Bate, L. Cucu-Grosjean (2011)
Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11)
[ Abstract and Details | Download ]
Video Subset Selection for Measurement Based Worst Case Execution Time Analysis
Sitsofe Wheeler, Iain Bate, Mark Bartlett (2011)
Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11)
[ Abstract and Details | Download ]
WCET analysis of modern processors using multi-criteria optimisation
I. Bate, U. Khan (2011)
Empirical Software Engineering
[ Abstract and Details ]
|
