@inproceedings{bhk99,
author = {Bradley,S. and Henderson,W. and Kendall,D.},
title = {Using Timed Automata for Response Time Analysis of
Distributed Real-Time Systems},
booktitle = {Proceedings 24th IFAC/IFIP Workshop on Real-Time
Programming (WRTP'99), Schlos Dagstuhl, Saarland,
Germany},
year = 1999,
month = {May},
publisher = {IFAC},
keywords = {Timed Automata, Response Time Analysis},
url = {bhk99.pdf}
}
@inproceedings{bhk99a,
author = {Bradley,S. and Henderson,W. and Kendall,D.},
title = {Reducing conservatism in response time analysis of
distributed systems},
booktitle = {IEE Colloquium in Applicable Modelling, Verification
and Analysis Techniques for Real-Time Systems},
pages = {7/1--4},
year = 1999,
month = jan,
series = {Ref. No. 1999/006},
address = {London, UK},
publisher = {IEE},
keywords = {Timed Automata, Response Time Analysis},
url = {bhk99a.pdf}
}
@article{bhkr01,
author = {Bradley,S. and Henderson,W. and Kendall,D. and
Robson,A.},
title = {A formal design language for real-time systems with
data},
journal = {Science of Computer Programming},
year = 2001,
volume = 40,
number = 1,
pages = {3--29},
keywords = {AORTA}
}
@article{bhkr94,
author = {Bradley,S. and Henderson,W. and Kendall,D. and
Robson,A.},
title = {A formally based hard real-time kernel},
journal = {Microprocessors and Microsystems},
year = 1994,
volume = 18,
number = 9,
pages = {513-521},
month = {November},
annote = {Also appears as NPC-TRS-94-3},
keywords = {AORTA},
url = {bhkr94.pdf}
}
@inproceedings{bhkr94a,
author = {Bradley,S. and Henderson,W. and Kendall,D. and
Robson,A.},
title = {Practical Formal Development of Real-Time Systems},
booktitle = {11th IEEE Workshop on Real-Time Operating Systems
and Software, RTOSS '94, Seattle},
year = 1994,
pages = {44-48},
month = {May},
keywords = {AORTA},
url = {bhkr94a.pdf}
}
@inproceedings{bhkr94b,
author = {Bradley,S. and Henderson,W. and Kendall,D. and
Robson,A.},
title = {Designing and Implementing Correct Real-Time
Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant
Systems FTRTFT '94, Lubeck, Lecture Notes in
Computer Science 863},
year = 1994,
editor = {H Langmaack and W-P de Roever and J Vytopil},
pages = {228-246},
publisher = {Springer-Verlag},
month = {September},
keywords = {AORTA},
url = {bhkr94b.pdf}
}
@article{bhkr94c,
author = {Bradley,S. and Henderson,W. and Kendall,D. and
Robson,A.},
title = {{A}pplication-{O}riented {R}eal-{T}ime {A}lgebra},
journal = {Software Engineering Journal},
year = 1994,
volume = 9,
number = 5,
pages = {201-212},
month = {September},
keywords = {AORTA},
url = {bhkr94c.pdf}
}
@inproceedings{bhkr95b,
author = {Bradley,S. and Henderson,W. and Kendall,D. and
Robson,A.},
title = {Validation, Verification and Implementation of Timed
Protocols using {AORTA}},
booktitle = {Proceedings of the Fifteenth International Symposium
on Protocol Specification, Testing and Verification},
pages = {205--220},
editor = {P. Dembinski},
publisher = {Chapman and Hall},
year = 1995,
month = {June},
keywords = {AORTA},
url = {bhkr95b.pdf}
}
@inproceedings{bhkr98,
author = {Bradley,S. and Henderson,W. and Kendall,D. and
Robson,A.},
title = {Integrating {AORTA} with Model-Based Data
Specification Languages},
booktitle = {Proceedings of Conference on Fundamental Approaches
to Software Engineering (FASE'98)},
editor = {Astesiano,E.},
year = 1998,
series = {LNCS},
volume = 1382,
month = {March},
publisher = {Springer Verlag},
keywords = {AORTA},
url = {bhkr98.pdf}
}
@inproceedings{bhkrh96,
author = {Bradley,S. and Henderson,W. and Kendall,D. and
Robson,A. and Hawkes,S.},
title = {A Formal Design and Implementation Method For
Systems With Predictable Performance},
booktitle = {Proc. 22nd Euromicro Conference (EUROMICRO'96)
Beyond 2000: HArdware and Software Design
Strategies},
pages = {77--84},
year = 1996,
publisher = {IEEE Computer Society Press},
month = {September},
keywords = {AORTA},
url = {bhkr96.pdf}
}
@inproceedings{hkr00,
author = {Henderson,W. and Kendall,D. and Robson,A.},
title = {Accounting for clock frequency variation in the
analysis of distributed factory control systems},
booktitle = {3rd IEEE International Workshop on Factory
Communication Systems, Porto, Portugal},
year = 2000,
month = {September},
publisher = {IEEE, Piscataway, NJ, USA}
}
@article{hkr01,
author = {Henderson,W. and Kendall,D. and Robson,A.},
title = {Improving the Accuracy of Scheduling Analysis
applied to Distributed Systems -- Computing Minimal
Response Times and Reducing Jitter},
journal = {Journal of Real-Time Systems},
year = 2001,
volume = 20,
number = 1,
pages = {5--25},
keywords = {Response Time Analysis},
url = {hkr01.pdf}
}
@inproceedings{hkrb:98,
author = {Henderson,W. and Kendall,D. and Robson,A. and
Bradley,S.},
title = {$\Chi$rma: An holistic approach to performance
prediction of distributed real-time {CAN} systems},
booktitle = {Proceedings of the 5th International CAN Conference
(iCC'98), San Jose, California, USA},
pages = {917--924},
year = 1998,
month = {November},
publisher = {CiA},
keywords = {Response Time Analysis},
url = {hkrb98.pdf}
}
@inproceedings{kbhr97,
author = {Kendall,D. and Bradley,S. and Henderson,W. and
Robson,A.},
title = {A Formal Basis for Tool-supported Simulation and
Verification of Real-Time {CAN} Systems},
booktitle = {Proceedings of 4th International {CAN} Conference
{(iCC'97)}},
pages = {719--727},
year = 1997,
address = {Berlin},
month = {October},
organization = {{CAN} in Automation},
keywords = {CANDLE},
url = {kbhr97.pdf}
}
@inproceedings{kbhr98a,
author = {Kendall,D. and Bradley,S. and Henderson,W. and
Robson,A.},
title = {\bcandle: Formal Modelling and Analysis of {CAN}
Control Systems},
booktitle = {Proceedings of 4th IEEE Real Time Technology and
Applications Symposium (RTAS'98)},
pages = {171--177},
year = 1998,
month = {June},
publisher = {IEEE Press},
keywords = {CANDLE},
url = {kbhr98a.pdf}
}
@inproceedings{kbhr98b,
author = {Kendall,D. and Bradley,S. and Henderson,W. and
Robson,A.},
title = {\candle: A High Level Language and Development
Environment for High Integrity {CAN} Control
Systems},
booktitle = {Proceedings of 4th IEE Workshop on Discrete Event
Systems, Cagliari},
pages = {58--63},
year = 1998,
month = {August},
keywords = {CANDLE},
url = {kbhr98b.pdf}
}
@phdthesis{ken01,
author = {Kendall,D.},
title = {Formal Modelling and Analysis of Broadcasting
Embedded Control Systems},
school = {Department of Computing Science, University of
Newcastle upon Tyne},
year = 2001,
month = sep,
keywords = {CANDLE},
url = {ken01.pdf}
}
@inproceedings{ken01a,
author = {Kendall,D.},
title = {\candle: A tool for efficient analysis of {CAN}
control systems},
booktitle = {Proceedings of the 1st Workshop on Real-Time Tools
(RT-TOOLS'2001), Aalborg, Denmark},
year = 2001,
series = {Technical Report 2001-014},
address = {University of Uppsala},
month = aug,
keywords = {CANDLE},
url = {ken01a.pdf}
}
@inproceedings{khr98,
author = {Kendall,D. and Henderson,W. and Robson,A.},
title = {Modelling and Analysis of Broadcasting Embedded
Control Systems},
booktitle = {IEE Colloquium on "Real-Time Systems: Can we meet
future challenges?"},
series = {Digest No. 1998/306},
pages = {8/1--4},
year = 1998,
month = {April},
publisher = {IEE},
address = {London, UK},
keywords = {CANDLE},
url = {khr98.pdf}
}
@inproceedings{khr99,
author = {Kendall,D. and Henderson,W. and Robson,A.},
title = {Using {Sharing Trees} in the Automated Analysis of
Real-Time Systems with Data},
booktitle = {IEE Colloquium on Applicable Modelling, Verification
and Analysis Techniques for Real-Time Systems},
series = {Ref. No. 1999/006},
pages = {6/1--4},
year = 1999,
month = {January},
publisher = {IEE},
address = {London, UK},
keywords = {CANDLE},
url = {khr99.pdf}
}
@inproceedings{khr99a,
author = {Kendall,D. and Henderson,W. and Robson,A.},
title = {Space Efficient Reachability Analysis for a Value
Passing, Timed Process Algebra},
booktitle = {Internal report},
year = 1999,
month = {July},
keywords = {CANDLE},
url = {khr99a.pdf}
}
@inproceedings{shkb10,
author = {Saghar,K. and Henderson,W. and Kendall,D. and
Bouridane,A.},
title = {Formal modelling of a robust Wireless Sensor Network
routing protocol},
booktitle = {ASA/ESA Conference on Adaptive Hardware and Systems
(AHS)},
pages = {281 -- 288},
year = 2010,
url = {shkb10.pdf}
}
@inproceedings{shkb10a,
author = {Saghar,K. and Henderson,W. and Kendall,D. and
Bouridane,A.},
title = {Applying formal modelling to detect {DoS} attacks in
wireless medium},
booktitle = {7th International Symposium on Communication Systems
Networks and Digital Signal Processing (CSNDSP)},
pages = {896 -- 900},
year = 2010,
url = {shkb10a.pdf}
}
@inproceedings{skb11,
author = {Saghar,K. and Kendall,D. and Bouridane,A.},
title = {Vulnerability of {INSENS} to denial of service
attacks},
booktitle = {IEEE International Conference on Acoustics, Speech
and Signal Processing (ICASSP)},
pages = {1896 -- 1899},
year = 2011,
url = {skb11.pdf}
}
This file was generated by bibtex2html 1.97.