| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jonathan Tate, Benjamin Woolford-Lim, Iain Bate, Xin Yao |
Evolutionary and Principled Search Strategies for Sensornet Protocol Optimization.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part B  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | HuiKeng Lau, Iain Bate, Paul Cairns, Jon Timmis |
Adaptive data-driven error detection in swarm robotics with statistical classifiers. |
Robotics and Autonomous Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Usman Khan |
WCET analysis of modern processors using multi-criteria optimisation. |
Empirical Software Engineering |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Simon M. Poulding |
Editorial for the special issue on search-based software engineering. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Drozda, Iain Bate, Jon Timmis |
Bio-inspired Error Detection for Complex Systems. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippa Conmy, Iain Bate |
Efficient Task Allocation to FPGAs in the Safety Critical Domain. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate |
A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sitsofe Wheeler, Iain Bate, Mark Bartlett |
Video subset selection for measurement based Worst Case Execution Time analysis. |
SIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean |
A statistical response-time analysis of complex real-time embedded systems by using timing traces. |
SIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Lu, Thomas Nolte, Iain Bate, Johan Kraft, Christer Norström |
Assessment of trace-differences in timing analysis for Complex Real-Time Embedded Systems. |
SIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bartlett, Iain Bate, James Cussens, Dimitar Kazakov |
Probabilistic Instruction Cache Analysis Using Bayesian Networks. |
RTCSA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Tate, Iain Bate |
LIPS: A Protocol Suite for Homeostatic Sensornet Management. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | HuiKeng Lau, Jon Timmis, Iain Bate |
Collective Self-detection Scheme for Adaptive Error Detection in a Foraging Swarm of Robots. |
ICARIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Yafeng Wu, John A. Stankovic |
Developing Safe and Dependable Sensornets. |
EUROMICRO-SEAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Emberson, Iain Bate |
Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bartlett, Iain Bate, Dimitar Kazakov |
Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippa Conmy, Iain Bate |
Component-Based Safety Analysis of FPGAs. |
IEEE Trans. Industrial Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Tate, Iain Bate |
Sensornet Protocol Tuning Using Principled Engineering Methods. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Tate, Iain Bate |
A feedback-driven timing synchronisation protocol for cellular sensornets. |
MASS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bartlett, Iain Bate, James Cussens |
Instruction Cache Prediction Using Bayesian Networks. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Tate, Iain Bate |
Do Sensornet Protocol Variants Yield Real Benefits?. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
wireless networks, protocols, sensornets |
| 1 | Yue Lu, Thomas Nolte, Iain Bate |
Timing analyzing for systems with execution dependencies between tasks. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
parametric worst-case execution-time estimates on tasks, TIMES, response-time analysis, complex real-time systems |
| 1 | Yue Lu, Thomas Nolte, Iain Bate, Christer Norström |
Timing Analyzing for Systems with Task Execution Dependencies. |
COMPSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bartlett, Iain Bate, James Cussens |
Learning Bayesian Networks for Improved Instruction Cache Analysis. |
ICMLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Tate, Iain Bate |
Maintaining Stable Node Populations in Long-Lifetime Sensornets. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Tate, Iain Bate |
An Improved Lightweight Synchronisation Primitive For Sensornets. |
MASS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippa Conmy, Iain Bate |
Semi-Automated Safety Analysis for Field Programmable Gate Arrays. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Tate, Iain Bate |
Tuning Complex Sensornet Systems Using Principled Engineering Methods. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Tate, Benjamin Woolford-Lim, Iain Bate, Xin Yao |
Comparing design of experiments and evolutionary approaches to multi-objective optimisation of sensornet protocols. |
IEEE Congress on Evolutionary Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | HuiKeng Lau, Jon Timmis, Iain Bate |
Anomaly detection inspired by immune network theory: A proposal. |
IEEE Congress on Evolutionary Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Tate, Iain Bate |
Understanding Behavioural Tradeoffs in Large-Scale Sensornet Design. |
AINA Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Tate, Iain Bate |
Energy Efficient Duty Allocation Protocols for Wireless Sensor Networks. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | HuiKeng Lau, Iain Bate, Jon Timmis |
An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics. |
ICARIS |
2009 |
DBLP DOI BibTeX RDF |
Immuno-engineering, swarm robotics, foraging |
| 1 | Mark Bartlett, Iain Bate, Dimitar Kazakov |
Guaranteed Loop Bound Identification from Program Traces for WCET. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate |
Systematic approaches to understanding and evaluating design trade-offs. |
Journal of Systems and Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Lay, Iain Bate |
Improving the reliability of real-time embedded systems using innate immune techniques. |
Evolutionary Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Tate, Iain Bate |
YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation. |
CPA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Dimitar Kazakov |
New Directions in Worst-Case Execution Time analysis. |
IEEE Congress on Evolutionary Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate |
Utilising Application Flexibility in Energy Aware Computing. |
RTCSA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Emberson, Iain Bate |
Extending a Task Allocation Algorithm for Graceful Degradation of Real-Time Distributed Embedded Systems. |
IEEE Real-Time Systems Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bartlett, Iain Bate, Dimitar Kazakov |
Challenges in Relational Learning for Real-Time Systems Applications. |
ILP |
2008 |
DBLP DOI BibTeX RDF |
Efficiency, Symmetry, Lazy Learning, Worst Case Execution Time (WCET), Inductive Logic Programming (ILP) |
| 1 | Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark |
An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Lay, Iain Bate |
Applying artificial immune systems to real-time embedded systems. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Emberson, Iain Bate |
Minimising Task Migration and Priority Changes in Mode Transitions. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar Kazakov, Iain Bate |
Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Paul Emberson |
Incorporating Scenarios And Heuristics To Improve Flexibility In Real-Time Embedded Systems. |
IEEE Real Time Technology and Applications Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Philippa Conmy |
Safe Composition of Real Time Software. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate |
Dealing with Emergent Properties in Embedded Systems. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Ralf Reutemann |
Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Neil C. Audsley |
Flexible Design of Complex High-Integrity Systems Using Trade Offs. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Ralf Reutemann |
Worst-Case Execution Time Analysis for Dynamic Branch Predictors. |
ECRTS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid |
Improving certification capability through automatic code generation. |
IFIP Congress Topical Sessions |
2004 |
DBLP BibTeX RDF |
|
| 1 | Iain Bate, John A. McDermid, Peter Nightingale |
Establishing timing requirements for control loops in real-time systems. |
Microprocessors and Microsystems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Alan Burns |
An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. |
Real-Time Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Richard Hawkin, John A. McDermid |
A Contract-based Approach to Designing Safe Systems. |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Iain Bate, Peter Nightingale, Anton Cervin |
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. |
ECRTS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Tim Kelly |
Architectural Considerations in the Certification of Modular Systems. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Guillem Bernat, Peter P. Puschner |
Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis. (PDF / PS) |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid |
Use of Modern Processors in Safety-Critical Applications. |
Comput. J. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner |
Low-level analysis of a portable Java byte code WCET analysis framework. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
low-level analysis, portable Java byte code, machine-independent program flow analysis, machine-dependent timing analysis, worst-case execution frequencies, platform-dependent information, processor pipeline, platform-independent approach, Java, timing, software performance evaluation, pipeline processing, software portability, program diagnostics, worst-case execution time analysis, program constructs |
| 1 | Neil C. Audsley, I. J. Bate, Alan Grigg |
Portable Code for Complex Critical Systems . |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Alan Burns |
A Framework for Scheduling in Safety-Critical Embedded Control Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Alan Burns |
An approach to task attribute assignment for uniprocessor systems. |
ECRTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Alan Burns |
Investigation of the pessimism in distributed systems timing analysis. |
ECRTS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil C. Audsley, I. J. Bate, Alan Burns |
Putting fixed priority scheduling theory into engineering practice for safety critical applications. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP DOI BibTeX RDF |
aircraft computers, engineering practice, industrial safety-critical hard real-time systems, class A systems, civil aircraft software standard DO178B, evidence gathering, technical benefits, evidence presentation, scheduling, real-time systems, timing, certification, safety-critical software, fixed-priority scheduling, aerospace computing, certification authorities, software standards, timing requirements |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")