Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andy J. Wellings
@article{DBLP:journals/tc/ZhaoCWLGBW21,
author = {Shuai Zhao and
Wanli Chang and
Ran Wei and
Weichen Liu and
Nan Guan and
Alan Burns and
Andy J. Wellings},
title = {Priority Assignment on Partitioned Multiprocessor Systems With Shared
Resources},
journal = {{IEEE} Trans. Computers},
volume = {70},
number = {7},
pages = {1006--1018},
year = {2021},
url = {https://doi.org/10.1109/TC.2020.3000051},
doi = {10.1109/TC.2020.3000051},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/ZhaoCWLGBW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ZhaoGWBWP20,
author = {Shuai Zhao and
Jorge Garrido and
Ran Wei and
Alan Burns and
Andy J. Wellings and
Juan Antonio de la Puente},
title = {A complete run-time overhead-aware schedulability analysis for MrsP
under nested resources},
journal = {J. Syst. Softw.},
volume = {159},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2019.110449},
doi = {10.1016/J.JSS.2019.110449},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ZhaoGWBWP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ChangWZWWB20,
author = {Wanli Chang and
Ran Wei and
Shuai Zhao and
Andy J. Wellings and
Jim Woodcock and
Alan Burns},
title = {Development Automation of Real-Time Java: Model-Driven Transformation
and Synthesis},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {19},
number = {5},
pages = {31:1--31:26},
year = {2020},
url = {https://doi.org/10.1145/3391897},
doi = {10.1145/3391897},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/ChangWZWWB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MiyazawaCW19,
author = {Alvaro Miyazawa and
Ana Cavalcanti and
Andy J. Wellings},
title = {\emph{SCJ-Circus}: Specification and refinement of Safety-Critical
Java programs},
journal = {Sci. Comput. Program.},
volume = {181},
pages = {140--176},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.01.002},
doi = {10.1016/J.SCICO.2019.01.002},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MiyazawaCW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/ChangZWWB19,
author = {Wanli Chang and
Shuai Zhao and
Ran Wei and
Andy J. Wellings and
Alan Burns},
editor = {Jian{-}Jia Chen and
Aviral Shrivastava},
title = {From Java to real-time Java: a model-driven methodology with automated
toolchain (invited paper)},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN/SIGBED} International Conference
on Languages, Compilers, and Tools for Embedded Systems, {LCTES} 2019,
Phoenix, AZ, USA, June 23-23, 2019},
pages = {123--134},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3316482.3326360},
doi = {10.1145/3316482.3326360},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/ChangZWWB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-10710,
author = {Matt Luckcuck and
Andy J. Wellings and
Ana Cavalcanti},
title = {Safety-Critical Java: Level 2 in Practice},
journal = {CoRR},
volume = {abs/1805.10710},
year = {2018},
url = {http://arxiv.org/abs/1805.10710},
eprinttype = {arXiv},
eprint = {1805.10710},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-10710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-10711,
author = {Matt Luckcuck and
Ana Cavalcanti and
Andy J. Wellings},
title = {A Formal Model of the Safety-Critical Java Level 2 Paradigm},
journal = {CoRR},
volume = {abs/1805.10711},
year = {2018},
url = {http://arxiv.org/abs/1805.10711},
eprinttype = {arXiv},
eprint = {1805.10711},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-10711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/LuckcuckWC17,
author = {Matt Luckcuck and
Andy J. Wellings and
Ana Cavalcanti},
title = {Safety-Critical Java: level 2 in practice},
journal = {Concurr. Comput. Pract. Exp.},
volume = {29},
number = {6},
year = {2017},
url = {https://doi.org/10.1002/cpe.3951},
doi = {10.1002/CPE.3951},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/LuckcuckWC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/SchoeberlDHKRRS17,
author = {Martin Schoeberl and
Andreas Engelbredt Dalsgaard and
Ren{\'{e}} Rydhof Hansen and
Stephan Erbs Korsholm and
Anders P. Ravn and
Juan Ricardo Rios Rivas and
T{\'{o}}rur Biskopst{\o} Str{\o}m and
Hans S{\o}ndergaard and
Andy J. Wellings and
Shuai Zhao},
title = {Safety-critical Java for embedded systems},
journal = {Concurr. Comput. Pract. Exp.},
volume = {29},
number = {22},
year = {2017},
url = {https://doi.org/10.1002/cpe.3963},
doi = {10.1002/CPE.3963},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/SchoeberlDHKRRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbd/ChanWGA17,
author = {Yu Chan and
Andy J. Wellings and
Ian Gray and
Neil C. Audsley},
title = {A Distributed Stream Library for Java 8},
journal = {{IEEE} Trans. Big Data},
volume = {3},
number = {3},
pages = {262--275},
year = {2017},
url = {https://doi.org/10.1109/TBDATA.2017.2666201},
doi = {10.1109/TBDATA.2017.2666201},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tbd/ChanWGA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/GarridoZBW17,
author = {Jorge Garrido and
Shuai Zhao and
Alan Burns and
Andy J. Wellings},
editor = {Johann Blieberger and
Markus Bader},
title = {Supporting Nested Resources in MrsP},
booktitle = {Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe
International Conference on Reliable Software Technologies, Vienna,
Austria, June 12-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10300},
pages = {73--86},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60588-3\_5},
doi = {10.1007/978-3-319-60588-3\_5},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/GarridoZBW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ZhaoGBW17,
author = {Shuai Zhao and
Jorge Garrido and
Alan Burns and
Andy J. Wellings},
title = {New schedulability analysis for MrsP},
booktitle = {23rd {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2017, Hsinchu, Taiwan, August 16-18,
2017},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RTCSA.2017.8046311},
doi = {10.1109/RTCSA.2017.8046311},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/ZhaoGBW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbd/Basanta-ValAWGG16,
author = {Pablo Basanta{-}Val and
Neil C. Audsley and
Andy J. Wellings and
Ian Gray and
Norberto Fern{\'{a}}ndez Garc{\'{\i}}a},
title = {Architecting Time-Critical Big-Data Systems},
journal = {{IEEE} Trans. Big Data},
volume = {2},
number = {4},
pages = {310--324},
year = {2016},
url = {https://doi.org/10.1109/TBDATA.2016.2622719},
doi = {10.1109/TBDATA.2016.2622719},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbd/Basanta-ValAWGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MeiGW16,
author = {HaiTao Mei and
Ian Gray and
Andy J. Wellings},
editor = {Marko Bertogna and
Lu{\'{\i}}s Miguel Pinho and
Eduardo Qui{\~{n}}ones},
title = {Real-Time Stream Processing in Java},
booktitle = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
International Conference on Reliable Software Technologies, Pisa,
Italy, June 13-17, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9695},
pages = {44--57},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39083-3\_4},
doi = {10.1007/978-3-319-39083-3\_4},
timestamp = {Mon, 18 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/MeiGW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/FreitasBCW16,
author = {Leo Freitas and
James Baxter and
Ana Cavalcanti and
Andy J. Wellings},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Modelling and Verifying a Priority Scheduler for an {SCJ} Runtime
Environment},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {63--78},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_5},
doi = {10.1007/978-3-319-33693-0\_5},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/FreitasBCW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LuckcuckCW16,
author = {Matt Luckcuck and
Ana Cavalcanti and
Andy J. Wellings},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {A Formal Model of the Safety-Critical Java Level 2 Paradigm},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {226--241},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_15},
doi = {10.1007/978-3-319-33693-0\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LuckcuckCW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/MeiGW16,
author = {HaiTao Mei and
Ian Gray and
Andy J. Wellings},
title = {A Java-Based Real-Time Reactive Stream Framework},
booktitle = {19th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2016, York, United Kingdom, May 17-20, 2016},
pages = {204--211},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISORC.2016.36},
doi = {10.1109/ISORC.2016.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/MeiGW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/CavalcantiMWWZ16,
author = {Ana Cavalcanti and
Alvaro Miyazawa and
Andy J. Wellings and
Jim Woodcock and
Shuai Zhao},
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Java in the Safety-Critical Domain},
booktitle = {Engineering Trustworthy Software Systems - Second International School,
{SETSS} 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {10215},
pages = {110--150},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-56841-6\_4},
doi = {10.1007/978-3-319-56841-6\_4},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setss/CavalcantiMWWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Basanta-ValAWGG16,
author = {Pablo Basanta{-}Val and
Neil C. Audsley and
Andy J. Wellings and
Ian Gray and
Norberto Fern{\'{a}}ndez Garc{\'{\i}}a},
title = {Architecting Time-Critical Big-Data Systems},
journal = {CoRR},
volume = {abs/1611.00946},
year = {2016},
url = {http://arxiv.org/abs/1611.00946},
eprinttype = {arXiv},
eprint = {1611.00946},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Basanta-ValAWGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/Basanta-ValGWA15,
author = {Pablo Basanta{-}Val and
Norberto Fern{\'{a}}ndez Garc{\'{\i}}a and
Andy J. Wellings and
Neil C. Audsley},
title = {Improving the predictability of distributed stream processors},
journal = {Future Gener. Comput. Syst.},
volume = {52},
pages = {22--36},
year = {2015},
url = {https://doi.org/10.1016/j.future.2015.03.023},
doi = {10.1016/J.FUTURE.2015.03.023},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/Basanta-ValGWA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/ZhaoWK15,
author = {Shuai Zhao and
Andy J. Wellings and
Stephan Erbs Korsholm},
editor = {Lukasz Ziarek},
title = {Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time
Environment},
booktitle = {Proceedings of the 13th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2015, Paris, France, October
7-8, 2015},
pages = {1:1--1:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2822304.2822305},
doi = {10.1145/2822304.2822305},
timestamp = {Wed, 03 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/ZhaoWK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/BaxterCWF15,
author = {James Baxter and
Ana Cavalcanti and
Andy J. Wellings and
Leo Freitas},
editor = {Lukasz Ziarek},
title = {Safety-Critical Java Virtual Machine Services},
booktitle = {Proceedings of the 13th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2015, Paris, France, October
7-8, 2015},
pages = {7:1--7:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2822304.2822307},
doi = {10.1145/2822304.2822307},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/BaxterCWF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/MeiGW15,
author = {HaiTao Mei and
Ian Gray and
Andy J. Wellings},
editor = {Lukasz Ziarek},
title = {Integrating Java 8 Streams with The Real-Time Specification for Java},
booktitle = {Proceedings of the 13th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2015, Paris, France, October
7-8, 2015},
pages = {10:1--10:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2822304.2822314},
doi = {10.1145/2822304.2822314},
timestamp = {Mon, 18 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/MeiGW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/WoodcockWC15,
author = {Jim Woodcock and
Andy J. Wellings and
Ana Cavalcanti},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Mobile {CSP}},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {39--55},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_3},
doi = {10.1007/978-3-319-29473-5\_3},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/WoodcockWC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GrayCGAW15,
author = {Ian Gray and
Yu Chan and
Jamie Garside and
Neil C. Audsley and
Andy J. Wellings},
title = {Transparent hardware synthesis of Java for predictable large-scale
distributed systems},
journal = {CoRR},
volume = {abs/1508.07142},
year = {2015},
url = {http://arxiv.org/abs/1508.07142},
eprinttype = {arXiv},
eprint = {1508.07142},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GrayCGAW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ZeydaLCW14,
author = {Frank Zeyda and
Lalkhumsanga Lalkhumsanga and
Ana Cavalcanti and
Andy J. Wellings},
title = {\emph{Circus} Models for Safety-Critical Java Programs},
journal = {Comput. J.},
volume = {57},
number = {7},
pages = {1046--1091},
year = {2014},
url = {https://doi.org/10.1093/comjnl/bxt060},
doi = {10.1093/COMJNL/BXT060},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/ZeydaLCW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/Higuera-ToledanoW14,
author = {M. Teresa Higuera{-}Toledano and
Andy J. Wellings},
title = {Introduction to the Special Issue on Java Technologies for Real-Time
and Embedded Systems: {JTRES} 2012},
journal = {Concurr. Comput. Pract. Exp.},
volume = {26},
number = {14},
pages = {2405--2406},
year = {2014},
url = {https://doi.org/10.1002/cpe.3310},
doi = {10.1002/CPE.3310},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/Higuera-ToledanoW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BurnsW14,
author = {Alan Burns and
Andy J. Wellings},
editor = {Laurent George and
Tullio Vardanega},
title = {Deadline-Aware Programming and Scheduling},
booktitle = {Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe
International Conference on Reliable Software Technologies, Paris,
France, June 23-27, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8454},
pages = {107--118},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08311-7\_9},
doi = {10.1007/978-3-319-08311-7\_9},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BurnsW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/ChanWGA14,
author = {Yu Chan and
Andy J. Wellings and
Ian Gray and
Neil C. Audsley},
editor = {Wolfgang Puffitsch},
title = {On the Locality of Java 8 Streams in Real-Time Big Data Applications},
booktitle = {Proceedings of the 12th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2014, Niagara Falls, NY,
USA, October 13-14, 2014},
pages = {20},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661020.2661028},
doi = {10.1145/2661020.2661028},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/ChanWGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/MeiW14,
author = {HaiTao Mei and
Andy J. Wellings},
editor = {Wolfgang Puffitsch},
title = {Using JetBench to Evaluate the Efficiency of Multiprocessor Support
for Parallel Processing},
booktitle = {Proceedings of the 12th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2014, Niagara Falls, NY,
USA, October 13-14, 2014},
pages = {47},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661020.2661029},
doi = {10.1145/2661020.2661029},
timestamp = {Mon, 18 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/MeiW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pvm/GrayCAW14,
author = {Ian Gray and
Yu Chan and
Neil C. Audsley and
Andy J. Wellings},
editor = {Jack J. Dongarra and
Yutaka Ishikawa and
Atsushi Hori},
title = {Architecture-Awareness for Real-Time Big Data Systems},
booktitle = {21st European {MPI} Users' Group Meeting, EuroMPI/ASIA '14, Kyoto,
Japan - September 09 - 12, 2014},
pages = {151},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642769.2642798},
doi = {10.1145/2642769.2642798},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pvm/GrayCAW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AudsleyCGW14,
author = {Neil C. Audsley and
Yu Chan and
Ian Gray and
Andy J. Wellings},
editor = {Marisol Garc{\'{\i}}a{-}Valls and
Tommaso Cucinotta},
title = {Real-time big data: the Juniper approach},
booktitle = {{REACTION} 2014, 3rd {IEEE} International Workshop on Real-time and
distributed computing in emerging applications, Proceedings, Rome,
Italy. December 2nd, 2014},
publisher = {Universidad Carlos {III} de Madrid},
year = {2014},
url = {https://hdl.handle.net/10016/19686},
timestamp = {Wed, 04 May 2022 13:02:27 +0200},
biburl = {https://dblp.org/rec/conf/rtss/AudsleyCGW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/LinWB13,
author = {Shiyao Lin and
Andy J. Wellings and
Alan Burns},
title = {Supporting lock-based multiprocessor resource sharing protocols in
real-time programming languages},
journal = {Concurr. Comput. Pract. Exp.},
volume = {25},
number = {16},
pages = {2227--2251},
year = {2013},
url = {https://doi.org/10.1002/cpe.2882},
doi = {10.1002/CPE.2882},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/LinWB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CavalcantiWW13,
author = {Ana Cavalcanti and
Andy J. Wellings and
Jim Woodcock},
title = {The Safety-Critical Java memory model formalised},
journal = {Formal Aspects Comput.},
volume = {25},
number = {1},
pages = {37--57},
year = {2013},
url = {https://doi.org/10.1007/s00165-012-0253-4},
doi = {10.1007/S00165-012-0253-4},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/CavalcantiWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/CavalcantiZWWW13,
author = {Ana Cavalcanti and
Frank Zeyda and
Andy J. Wellings and
Jim Woodcock and
Kun Wei},
title = {Safety-critical Java programs from Circus models},
journal = {Real Time Syst.},
volume = {49},
number = {5},
pages = {614--667},
year = {2013},
url = {https://doi.org/10.1007/s11241-013-9182-4},
doi = {10.1007/S11241-013-9182-4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/CavalcantiZWWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BurnsW13,
author = {Alan Burns and
Andy J. Wellings},
title = {A Schedulability Compatible Multiprocessor Resource Sharing Protocol
- MrsP},
booktitle = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
France, July 9-12, 2013},
pages = {282--291},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ECRTS.2013.37},
doi = {10.1109/ECRTS.2013.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BurnsW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/WellingsLC13,
author = {Andy J. Wellings and
Matt Luckcuck and
Ana Cavalcanti},
editor = {Fridtjof Siebert and
Kelvin Nilsen},
title = {Safety-critical Java level 2: motivations, example applications and
issues},
booktitle = {The 11th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '13, Karlsruhe, Germany, October 9-11,
2013},
pages = {48--57},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2512989.2512991},
doi = {10.1145/2512989.2512991},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/WellingsLC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/WellingsK12,
author = {Andy J. Wellings and
MinSeong Kim},
title = {Asynchronous event handling and Safety Critical Java},
journal = {Concurr. Comput. Pract. Exp.},
volume = {24},
number = {8},
pages = {813--832},
year = {2012},
url = {https://doi.org/10.1002/cpe.1756},
doi = {10.1002/CPE.1756},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/WellingsK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/SinghWC12,
author = {Neeraj Kumar Singh and
Andy J. Wellings and
Ana Cavalcanti},
editor = {Martin Schoeberl and
Andy J. Wellings},
title = {The cardiac pacemaker case study and its implementation in safety-critical
Java and Ravenscar Ada},
booktitle = {The 10th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '12, Copenhagen, Denmark, October 24-26,
2012},
pages = {62--71},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2388936.2388948},
doi = {10.1145/2388936.2388948},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/SinghWC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2012,
editor = {Chunming Hu and
Gabor Karsai and
Jie Xu and
Andreas Polze and
Ji Wang and
Andy J. Wellings},
title = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2012, Shenzhen, China, April
11-13, 2012},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6195236/proceeding},
isbn = {978-1-4673-0499-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jtres/2012,
editor = {Martin Schoeberl and
Andy J. Wellings},
title = {The 10th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '12, Copenhagen, Denmark, October 24-26,
2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2388936},
isbn = {978-1-4503-1688-0},
timestamp = {Sat, 13 Apr 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/KimW11,
author = {MinSeong Kim and
Andy J. Wellings},
title = {Multiprocessors and Asynchronous Event Handling in the Real-Time Specification
for Java},
journal = {Comput. J.},
volume = {54},
number = {8},
pages = {1308--1324},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxr030},
doi = {10.1093/COMJNL/BXR030},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/KimW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/PourSW11,
author = {Niusha Hakimipour and
Paul A. Strooper and
Andy J. Wellings},
title = {A model-based development approach for the verification of real-time
Java code},
journal = {Concurr. Comput. Pract. Exp.},
volume = {23},
number = {13},
pages = {1583--1606},
year = {2011},
url = {https://doi.org/10.1002/cpe.1728},
doi = {10.1002/CPE.1728},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/PourSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KimW11,
author = {MinSeong Kim and
Andy J. Wellings},
title = {Applying fixed-priority preemptive scheduling with preemption threshold
to asynchronous event handling in the {RTSJ}},
journal = {Concurr. Comput. Pract. Exp.},
volume = {23},
number = {14},
pages = {1609--1622},
year = {2011},
url = {https://doi.org/10.1002/cpe.1670},
doi = {10.1002/CPE.1670},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/KimW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/RichardsonW11,
author = {Thomas Richardson and
Andy J. Wellings},
title = {On the road to real-time OSGi: extending OSGi with an admission control
protocol},
journal = {Comput. Syst. Sci. Eng.},
volume = {26},
number = {6},
year = {2011},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csse/RichardsonW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CavalcantiWW11,
author = {Ana Cavalcanti and
Andy J. Wellings and
Jim Woodcock},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {The Safety-Critical Java Memory Model: {A} Formal Account},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {246--261},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_20},
doi = {10.1007/978-3-642-21437-0\_20},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/CavalcantiWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZeydaCW11,
author = {Frank Zeyda and
Ana Cavalcanti and
Andy J. Wellings},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {The Safety-Critical Java Mission Model: {A} Formal Account},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {49--65},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_6},
doi = {10.1007/978-3-642-24559-6\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/ZeydaCW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/WellingsLB11,
author = {Andy J. Wellings and
Shiyao Lin and
Alan Burns},
editor = {Andy J. Wellings and
Anders P. Ravn},
title = {Resource sharing in {RTSJ} and {SCJ} systems},
booktitle = {The 9th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '11, York, United Kingdom, September
26-28, 2011},
pages = {11--19},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2043910.2043913},
doi = {10.1145/2043910.2043913},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/WellingsLB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/CavalcantiWWWZ11,
author = {Ana Cavalcanti and
Andy J. Wellings and
Jim Woodcock and
Kun Wei and
Frank Zeyda},
editor = {Andy J. Wellings and
Anders P. Ravn},
title = {Safety-critical Java in Circus},
booktitle = {The 9th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '11, York, United Kingdom, September
26-28, 2011},
pages = {20--29},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2043910.2043915},
doi = {10.1145/2043910.2043915},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/CavalcantiWWWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/WellingsS11,
author = {Andy J. Wellings and
Martin Schoeberl},
editor = {Andy J. Wellings and
Anders P. Ravn},
title = {User-defined clocks in the real-time specification for Java},
booktitle = {The 9th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '11, York, United Kingdom, September
26-28, 2011},
pages = {74--81},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2043910.2043923},
doi = {10.1145/2043910.2043923},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/WellingsS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jtres/2011,
editor = {Andy J. Wellings and
Anders P. Ravn},
title = {The 9th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '11, York, United Kingdom, September
26-28, 2011},
publisher = {{ACM}},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2043910},
isbn = {978-1-4503-0731-4},
timestamp = {Thu, 14 Jun 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/HorspoolW10,
author = {R. Nigel Horspool and
Andy J. Wellings},
title = {Focus Section Editorial},
journal = {Softw. Pract. Exp.},
volume = {40},
number = {12},
pages = {1105},
year = {2010},
url = {https://doi.org/10.1002/spe.1018},
doi = {10.1002/SPE.1018},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/HorspoolW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ChangW10,
author = {Yang Chang and
Andy J. Wellings},
title = {Garbage Collection for Flexible Hard Real-Time Systems},
journal = {{IEEE} Trans. Computers},
volume = {59},
number = {8},
pages = {1063--1075},
year = {2010},
url = {https://doi.org/10.1109/TC.2010.13},
doi = {10.1109/TC.2010.13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ChangW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SantosW10,
author = {Osmar Marchi dos Santos and
Andy J. Wellings},
title = {Measuring and policing blocking times in real-time systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {10},
number = {1},
pages = {2:1--2:29},
year = {2010},
url = {https://doi.org/10.1145/1814539.1814541},
doi = {10.1145/1814539.1814541},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SantosW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ZerzelidisW10,
author = {Alexandros Zerzelidis and
Andy J. Wellings},
title = {A framework for flexible scheduling in the {RTSJ}},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {10},
number = {1},
pages = {3:1--3:44},
year = {2010},
url = {https://doi.org/10.1145/1814539.1814542},
doi = {10.1145/1814539.1814542},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ZerzelidisW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KimW10,
author = {MinSeong Kim and
Andy J. Wellings},
title = {Efficient asynchronous event handling in the real-time specification
for Java},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {10},
number = {1},
pages = {5:1--5:34},
year = {2010},
url = {https://doi.org/10.1145/1814539.1814544},
doi = {10.1145/1814539.1814544},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KimW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BurnsW10,
author = {Alan Burns and
Andy J. Wellings},
editor = {Jorge Real and
Tullio Vardanega},
title = {Dispatching Domains for Multiprocessor Platforms and Their Representation
in Ada},
booktitle = {Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe
International Conference on Reliable Software Technologies, Valencia,
Spain, June 14-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6106},
pages = {41--53},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13550-7\_3},
doi = {10.1007/978-3-642-13550-7\_3},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BurnsW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/WellingsB10,
author = {Andy J. Wellings and
Alan Burns},
editor = {Jorge Real and
Tullio Vardanega},
title = {The Evolution of Real-Time Programming Revisited: Programming the
Giotto Model in Ada 2005},
booktitle = {Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe
International Conference on Reliable Software Technologies, Valencia,
Spain, June 14-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6106},
pages = {196--207},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13550-7\_14},
doi = {10.1007/978-3-642-13550-7\_14},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/WellingsB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/RichardsonW10,
author = {Thomas Richardson and
Andy J. Wellings},
title = {An Admission Control Protocol for Real-Time OSGi},
booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain,
5-6 May 2010},
pages = {217--224},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISORC.2010.19},
doi = {10.1109/ISORC.2010.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/RichardsonW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/KimW10,
author = {MinSeong Kim and
Andy J. Wellings},
editor = {Tomas Kalibera and
Jan Vitek},
title = {Using the executor framework to implement asynchronous event handling
in the {RTSJ}},
booktitle = {Proceedings of the 8th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2010, Prague, Czech Republic,
August 19-21, 2010},
series = {{ACM} International Conference Proceeding Series},
pages = {16--25},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1850771.1850774},
doi = {10.1145/1850771.1850774},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/KimW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/MalikWC10,
author = {Abdul Haseeb Malik and
Andy J. Wellings and
Yang Chang},
editor = {Tomas Kalibera and
Jan Vitek},
title = {A locality model for the real-time specification for Java},
booktitle = {Proceedings of the 8th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2010, Prague, Czech Republic,
August 19-21, 2010},
series = {{ACM} International Conference Proceeding Series},
pages = {36--45},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1850771.1850776},
doi = {10.1145/1850771.1850776},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/MalikWC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/WellingsK10,
author = {Andy J. Wellings and
MinSeong Kim},
editor = {Tomas Kalibera and
Jan Vitek},
title = {Asynchronous event handling and safety critical Java},
booktitle = {Proceedings of the 8th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2010, Prague, Czech Republic,
August 19-21, 2010},
series = {{ACM} International Conference Proceeding Series},
pages = {53--62},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1850771.1850778},
doi = {10.1145/1850771.1850778},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/WellingsK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/RichardsonWDD10,
author = {Thomas Richardson and
Andy J. Wellings and
Jose {\'{A}}ngel Dianes and
Manuel D{\'{\i}}az},
editor = {Tomas Kalibera and
Jan Vitek},
title = {Towards memory management for service-oriented real-time systems},
booktitle = {Proceedings of the 8th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2010, Prague, Czech Republic,
August 19-21, 2010},
series = {{ACM} International Conference Proceeding Series},
pages = {128--137},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1850771.1850790},
doi = {10.1145/1850771.1850790},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/RichardsonWDD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HakimipourSW10,
author = {Niusha Hakimipour and
Paul A. Strooper and
Andy J. Wellings},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi and
Andrea Maggiolo{-}Schettini},
title = {{TART:} Timed-Automata to Real-Time Java Tool},
booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
pages = {299--309},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEFM.2010.39},
doi = {10.1109/SEFM.2010.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HakimipourSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023542,
author = {Alan Burns and
Andrew J. Wellings},
title = {Real-Time Systems and Programming Languages - Ada, Real-Time Java
and {C} / Real-Time POSIX, Fourth Edition},
series = {International computer science series},
publisher = {Addison-Wesley},
year = {2009},
isbn = {978-0-321-41745-9},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0023542.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BurnsWZ09,
author = {Alan Burns and
Andy J. Wellings and
Fengxiang Zhang},
editor = {Fabrice Kordon and
Yvon Kermarrec},
title = {Combining {EDF} and {FP} Scheduling: Analysis and Implementation in
Ada 2005},
booktitle = {Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe
International Conference, Brest, France, June 8-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5570},
pages = {119--133},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01924-1\_9},
doi = {10.1007/978-3-642-01924-1\_9},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BurnsWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/KimW09,
author = {MinSeong Kim and
Andy J. Wellings},
title = {Refactoring Asynchronous Event Handling in the Real-Time Specification
for Java},
booktitle = {21st Euromicro Conference on Real-Time Systems, {ECRTS} 2009, Dublin,
Ireland, July 1-3, 2009},
pages = {25--34},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ECRTS.2009.10},
doi = {10.1109/ECRTS.2009.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/KimW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/WellingsS09,
author = {Andy J. Wellings and
Martin Schoeberl},
title = {Thread-Local Scope Caching for Real-time Java},
booktitle = {2009 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2009, Tokyo, Japan, 17-20
March 2009},
pages = {275--282},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISORC.2009.13},
doi = {10.1109/ISORC.2009.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/WellingsS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/RichardsonWDD09,
author = {Thomas Richardson and
Andy J. Wellings and
Jose {\'{A}}ngel Dianes and
Manuel D{\'{\i}}az},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {Providing temporal isolation in the OSGi framework},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {1--10},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620407},
doi = {10.1145/1620405.1620407},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/RichardsonWDD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/AlRahmawyW09,
author = {Mohammed AlRahmawy and
Andy J. Wellings},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {Design patterns for supporting {RTSJ} component models},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {11--20},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620408},
doi = {10.1145/1620405.1620408},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/AlRahmawyW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/AlrahmawyW09,
author = {Mohammed AlRahmawy and
Andy J. Wellings},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {An RTSJ-based reconfigurable server component},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {31--40},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620410},
doi = {10.1145/1620405.1620410},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/AlrahmawyW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/WellingsCR09,
author = {Andy J. Wellings and
Yang Chang and
Thomas Richardson},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {Enhancing the platform independence of the real-time specification
for Java},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {61--69},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620415},
doi = {10.1145/1620405.1620415},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/WellingsCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/KimW09,
author = {MinSeong Kim and
Andy J. Wellings},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {Applying fixed-priority preemptive scheduling with preemption threshold
to asynchronous event handling in the {RTSJ}},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {80--89},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620417},
doi = {10.1145/1620405.1620417},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/KimW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/DibbleW09,
author = {Peter C. Dibble and
Andy J. Wellings},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {{JSR-282} status report},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {179--182},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620431},
doi = {10.1145/1620405.1620431},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/DibbleW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/MasmanoRRCW08,
author = {Miguel Masmano and
Ismael Ripoll and
Jorge Real and
Alfons Crespo and
Andy J. Wellings},
title = {Implementation of a constant-time dynamic storage allocator},
journal = {Softw. Pract. Exp.},
volume = {38},
number = {10},
pages = {995--1026},
year = {2008},
url = {https://doi.org/10.1002/spe.858},
doi = {10.1002/SPE.858},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/MasmanoRRCW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/Wellings08,
author = {Andy J. Wellings},
title = {Multiprocessors and the Real-Time Specification for Java},
booktitle = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}},
pages = {255--261},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISORC.2008.22},
doi = {10.1109/ISORC.2008.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/Wellings08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/WellingsK08,
author = {Andy J. Wellings and
M. S. Kim},
editor = {Gregory Bollella and
C. Douglass Locke},
title = {Processing group parameters in the real-time specification for Java},
booktitle = {Proceedings of the 6th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2008, 24-26 September
2008, Santa Clara, California, {USA}},
series = {{ACM} International Conference Proceeding Series},
volume = {343},
pages = {3--9},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1434790.1434792},
doi = {10.1145/1434790.1434792},
timestamp = {Wed, 20 Apr 2022 10:08:38 +0200},
biburl = {https://dblp.org/rec/conf/jtres/WellingsK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/KimW08,
author = {MinSeong Kim and
Andy J. Wellings},
editor = {Gregory Bollella and
C. Douglass Locke},
title = {An efficient and predictable implementation of asynchronous event
handling in the {RTSJ}},
booktitle = {Proceedings of the 6th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2008, 24-26 September
2008, Santa Clara, California, {USA}},
series = {{ACM} International Conference Proceeding Series},
volume = {343},
pages = {48--57},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1434790.1434798},
doi = {10.1145/1434790.1434798},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/KimW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/SantosW08,
author = {Osmar Marchi dos Santos and
Andy J. Wellings},
editor = {Gregory Bollella and
C. Douglass Locke},
title = {Blocking time monitoring in the real-time specification for Java},
booktitle = {Proceedings of the 6th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2008, 24-26 September
2008, Santa Clara, California, {USA}},
series = {{ACM} International Conference Proceeding Series},
volume = {343},
pages = {135--143},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1434790.1434811},
doi = {10.1145/1434790.1434811},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/SantosW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SantosW08,
author = {Osmar Marchi dos Santos and
Andy J. Wellings},
title = {Run Time Detection of Blocking Time Violations in Real-Time Systems},
booktitle = {The Fourteenth {IEEE} Internationl Conference on Embedded and Real-Time
Computing Systems and Applications, {RTCSA} 2008, Kaohisung, Taiwan,
25-27 August 2008, Proceedings},
pages = {347--356},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTCSA.2008.39},
doi = {10.1109/RTCSA.2008.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/SantosW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0019206,
author = {Alan Burns and
Andy J. Wellings},
title = {Concurrent and real-time programming in Ada},
publisher = {Cambridge University Press},
year = {2007},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0019206.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/SantosW07,
author = {Osmar Marchi dos Santos and
Andy J. Wellings},
title = {Cost enforcement in the real-time specification for Java},
journal = {Real Time Syst.},
volume = {37},
number = {2},
pages = {139--179},
year = {2007},
url = {https://doi.org/10.1007/s11241-007-9031-4},
doi = {10.1007/S11241-007-9031-4},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/SantosW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BurnsW07,
author = {Alan Burns and
Andy J. Wellings},
editor = {Chris George and
Zhiming Liu and
Jim Woodcock},
title = {Delivering Real-Time Behaviour},
booktitle = {Domain Modeling and the Duration Calculus, International Training
School, Shanghai, China, September 17-21. 2007, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {4710},
pages = {1--50},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74964-6\_1},
doi = {10.1007/978-3-540-74964-6\_1},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/ac/BurnsW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/WellingsB07,
author = {Andy J. Wellings and
Alan Burns},
editor = {Nabil Abdennadher and
Fabrice Kordon},
title = {Real-Time Utilities for Ada 2005},
booktitle = {Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe
International Conference on Reliable Software Technologies, Geneva,
Switzerland, June 25-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4498},
pages = {1--14},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73230-3\_1},
doi = {10.1007/978-3-540-73230-3\_1},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/WellingsB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Zerzelidis0W07,
author = {Alexandros Zerzelidis and
Alan Burns and
Andy J. Wellings},
editor = {Juan Antonio de la Puente},
title = {Correcting the {EDF} protocol in Ada 2005},
booktitle = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
2007, Woodstock, Vermont, USA, April 17-19, 2007},
pages = {18--22},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1316003.1316006},
doi = {10.1145/1316003.1316006},
timestamp = {Wed, 30 Mar 2022 14:45:54 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/Zerzelidis0W07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings007,
author = {Andy J. Wellings and
Alan Burns},
editor = {Juan Antonio de la Puente},
title = {Integrating {OOP} and tasking: the missing requeue},
booktitle = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
2007, Woodstock, Vermont, USA, April 17-19, 2007},
pages = {23--28},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1316003.1316007},
doi = {10.1145/1316003.1316007},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/Wellings007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings007a,
author = {Andy J. Wellings and
Alan Burns},
editor = {Juan Antonio de la Puente},
title = {A framework for real-time utilities for Ada 2005},
booktitle = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
2007, Woodstock, Vermont, USA, April 17-19, 2007},
pages = {41--47},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1316003.1316011},
doi = {10.1145/1316003.1316011},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/Wellings007a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W07,
author = {Alan Burns and
Andy J. Wellings},
editor = {Juan Antonio de la Puente},
title = {Programming execution-time servers in Ada 2005},
booktitle = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
2007, Woodstock, Vermont, USA, April 17-19, 2007},
pages = {48--52},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1316003.1316012},
doi = {10.1145/1316003.1316012},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0001W07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W05,
author = {Alan Burns and
Andy J. Wellings},
editor = {Juan Antonio de la Puente},
title = {Introduction},
booktitle = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
2007, Woodstock, Vermont, USA, April 17-19, 2007},
pages = {59--60},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1316003.1316015},
doi = {10.1145/1316003.1316015},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0001W05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings005,
author = {Andy J. Wellings and
Alan Burns},
editor = {Juan Antonio de la Puente},
title = {Beyond Ada 2005: allocating tasks to processors in {SMP} systems},
booktitle = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
2007, Woodstock, Vermont, USA, April 17-19, 2007},
pages = {75--81},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1316003.1316020},
doi = {10.1145/1316003.1316020},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/Wellings005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/WellingsBSB07,
author = {Andy J. Wellings and
Alan Burns and
Osmar Marchi dos Santos and
Benjamin M. Brosgol},
title = {Integrating Priority Inheritance Algorithms in the Real-Time Specification
for Java},
booktitle = {Tenth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2007), 7-9 May 2007, Santorini Island,
Greece},
pages = {115--123},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISORC.2007.40},
doi = {10.1109/ISORC.2007.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/WellingsBSB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/KimW07,
author = {MinSeong Kim and
Andy J. Wellings},
editor = {Gregory Bollella},
title = {Asynchronous event handling in the real-time specification for Java},
booktitle = {Proceedings of the 5th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2007, Institute of Computer
Engineering, Vienna University of Technology, 26-28 September 2007,
Vienna, Austria},
series = {{ACM} International Conference Proceeding Series},
pages = {3--12},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1288940.1288942},
doi = {10.1145/1288940.1288942},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/KimW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/ALRahmawyW07,
author = {Mohammed AlRahmawy and
Andy J. Wellings},
editor = {Gregory Bollella},
title = {A model for real time mobility based on the {RTSJ}},
booktitle = {Proceedings of the 5th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2007, Institute of Computer
Engineering, Vienna University of Technology, 26-28 September 2007,
Vienna, Austria},
series = {{ACM} International Conference Proceeding Series},
pages = {155--164},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1288940.1288964},
doi = {10.1145/1288940.1288964},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/ALRahmawyW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/BurnsW07,
author = {Alan Burns and
Andy J. Wellings},
editor = {Sang Hyuk Son and
Insup Lee and
Joseph Y.{-}T. Leung},
title = {Real-Time Java},
booktitle = {Handbook of Real-Time and Embedded Systems},
publisher = {Chapman and Hall/CRC},
year = {2007},
url = {https://doi.org/10.1201/9781420011746.ch12},
doi = {10.1201/9781420011746.CH12},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/reference/crc/BurnsW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/BurnsW07a,
author = {Alan Burns and
Andy J. Wellings},
editor = {Sang Hyuk Son and
Insup Lee and
Joseph Y.{-}T. Leung},
title = {Programming Execution-Time Servers and Supporting {EDF} Scheduling
in Ada 2005},
booktitle = {Handbook of Real-Time and Embedded Systems},
publisher = {Chapman and Hall/CRC},
year = {2007},
url = {https://doi.org/10.1201/9781420011746.ch13},
doi = {10.1201/9781420011746.CH13},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/crc/BurnsW07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijes/BorgW06,
author = {Andrew Borg and
Andy J. Wellings},
title = {Scoped, coarse-grain memory management and the {RTSJ} scoped memory
model in the development of real-time applications},
journal = {Int. J. Embed. Syst.},
volume = {2},
number = {3/4},
pages = {166--183},
year = {2006},
url = {https://doi.org/10.1504/IJES.2006.014853},
doi = {10.1504/IJES.2006.014853},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijes/BorgW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BrosgolW06,
author = {Benjamin M. Brosgol and
Andy J. Wellings},
editor = {Lu{\'{\i}}s Miguel Pinho and
Michael Gonz{\'{a}}lez Harbour},
title = {A Comparison of Ada and Real-Time Java\({}^{\mbox{TM}}\) for Safety-Critical
Applications},
booktitle = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
International Conference on Reliable Software Technologies, Porto,
Portugal, June 5-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4006},
pages = {13--26},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767077\_2},
doi = {10.1007/11767077\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/BrosgolW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BorgWGC06,
author = {Andrew Borg and
Andy J. Wellings and
Christopher D. Gill and
Ron K. Cytron},
title = {Real-Time Memory Management: Life and Times},
booktitle = {18th Euromicro Conference on Real-Time Systems, ECRTS'06, 5-7 July
2006, Dresden, Germany, Proceedings},
pages = {237--250},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ECRTS.2006.21},
doi = {10.1109/ECRTS.2006.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BorgWGC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/ZerzelidisW06,
author = {Alexandros Zerzelidis and
Andy J. Wellings},
title = {Getting More Flexible Scheduling in the {RTSJ}},
booktitle = {Ninth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2006), 24-26 April 2006, Gyeongju,
Korea},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISORC.2006.38},
doi = {10.1109/ISORC.2006.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/ZerzelidisW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/SantosW06,
author = {Osmar Marchi dos Santos and
Andy J. Wellings},
editor = {Marc Richard{-}Foy},
title = {Formal analysis of aperiodic and sporadic real-time threads in the
{RTSJ}},
booktitle = {Proceedings of the 4th international workshop on Java technologies
for real-time and embedded systems, {JTRES} '06, Paris, France, October
11-13, 2006},
pages = {10--19},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167999.1168004},
doi = {10.1145/1167999.1168004},
timestamp = {Fri, 28 Jan 2022 11:57:21 +0100},
biburl = {https://dblp.org/rec/conf/jtres/SantosW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/ZerzelidisW06,
author = {Alexandros Zerzelidis and
Andy J. Wellings},
editor = {Marc Richard{-}Foy},
title = {Model-based verification of a framework for flexible scheduling in
the real-time specification for Java},
booktitle = {Proceedings of the 4th international workshop on Java technologies
for real-time and embedded systems, {JTRES} '06, Paris, France, October
11-13, 2006},
pages = {20--29},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167999.1168005},
doi = {10.1145/1167999.1168005},
timestamp = {Fri, 28 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/ZerzelidisW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/ChangW06,
author = {Yang Chang and
Andy J. Wellings},
editor = {Marc Richard{-}Foy},
title = {Low memory overhead real-time garbage collection for Java},
booktitle = {Proceedings of the 4th international workshop on Java technologies
for real-time and embedded systems, {JTRES} '06, Paris, France, October
11-13, 2006},
pages = {85--94},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167999.1168014},
doi = {10.1145/1167999.1168014},
timestamp = {Fri, 28 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/ChangW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BurnsW06,
author = {Alan Burns and
Andy J. Wellings},
title = {Programming Execution-Time Servers in Ada 2005},
booktitle = {Proceedings of the 27th {IEEE} Real-Time Systems Symposium {(RTSS}
2006), 5-8 December 2006, Rio de Janeiro, Brazil},
pages = {47--56},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RTSS.2006.39},
doi = {10.1109/RTSS.2006.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/BurnsW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ChangW06,
author = {Yang Chang and
Andy J. Wellings},
title = {Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements},
booktitle = {Proceedings of the 27th {IEEE} Real-Time Systems Symposium {(RTSS}
2006), 5-8 December 2006, Rio de Janeiro, Brazil},
pages = {77--88},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RTSS.2006.25},
doi = {10.1109/RTSS.2006.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ChangW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/KwonW06,
author = {Jagun Kwon and
Andy J. Wellings},
title = {Motivations and support for single nested scoping in Ravenscar-Java},
booktitle = {The Fourth {IEEE} Workshop on Software Technologies for Future Embedded
and Ubiquitous Systems and the Second International Workshop on Collaborative
Computing, Integration, and Assurance, {SEUS} 2006 / {WCCIA} 2006,
Gyeongju, South Korea, April 27-28, 2006},
pages = {43--48},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEUS-WCCIA.2006.30},
doi = {10.1109/SEUS-WCCIA.2006.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seus/KwonW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KwonWK05,
author = {Jagun Kwon and
Andy J. Wellings and
Steve King},
title = {Ravenscar-Java: a high-integrity profile for real-time Java},
journal = {Concurr. Pract. Exp.},
volume = {17},
number = {5-6},
pages = {681--713},
year = {2005},
url = {https://doi.org/10.1002/cpe.843},
doi = {10.1002/CPE.843},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/KwonWK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/ZerzelidisW05,
author = {Alexandros Zerzelidis and
Andy J. Wellings},
title = {Requirements for a real-time .NET framework},
journal = {{ACM} {SIGPLAN} Notices},
volume = {40},
number = {2},
pages = {41--50},
year = {2005},
url = {https://doi.org/10.1145/1052659.1052666},
doi = {10.1145/1052659.1052666},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/ZerzelidisW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05,
author = {Paul Caspi and
Alberto L. Sangiovanni{-}Vincentelli and
Lu{\'{\i}}s Almeida and
Albert Benveniste and
Bruno Bouyssounouse and
Giorgio C. Buttazzo and
Ivica Crnkovic and
Werner Damm and
Jakob Engblom and
Gerhard Fohler and
Marisol Garc{\'{\i}}a{-}Valls and
Hermann Kopetz and
Yassine Lakhnech and
Fran{\c{c}}ois Laroussinie and
Luciano Lavagno and
Giuseppe Lipari and
Florence Maraninchi and
Philipp Peti and
Juan Antonio de la Puente and
Norman Scaife and
Joseph Sifakis and
Robert de Simone and
Martin T{\"{o}}rngren and
Paulo Ver{\'{\i}}ssimo and
Andy J. Wellings and
Reinhard Wilhelm and
Tim A. C. Willemse and
Wang Yi},
title = {Guidelines for a graduate curriculum on embedded software and systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {587--611},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086526},
doi = {10.1145/1086519.1086526},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RogersW05,
author = {Patrick Rogers and
Andy J. Wellings},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {The Application of Compile-Time Reflection to Software Fault Tolerance
Using Ada 95},
booktitle = {Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International
Conference on Reliable Software Technologies, York, UK, June 20-24,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3555},
pages = {236--247},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_19},
doi = {10.1007/11499909\_19},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/RogersW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/CaiW05,
author = {Hao Cai and
Andy J. Wellings},
title = {Temporal Isolation in Ravenscar-Java},
booktitle = {Eighth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2005), 18-20 May 2005, Seattle, WA,
{USA}},
pages = {364--371},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISORC.2005.55},
doi = {10.1109/ISORC.2005.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/CaiW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ChangW05,
author = {Yang Chang and
Andy J. Wellings},
title = {Integrating Hybrid Garbage Collection with Dual Priority Scheduling},
booktitle = {11th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications {(RTCSA} 2005), 17-19 August 2005, Hong Kong,
China},
pages = {185--188},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTCSA.2005.56},
doi = {10.1109/RTCSA.2005.56},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/ChangW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/SantosW05,
author = {Osmar Marchi dos Santos and
Andy J. Wellings},
title = {Cost Monitoring and Enforcement in the Real-Time Specification for
Java - {A} Formal Evaluation},
booktitle = {Proceedings of the 26th {IEEE} Real-Time Systems Symposium {(RTSS}
2005), 6-8 December 2005, Miami, FL, {USA}},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTSS.2005.14},
doi = {10.1109/RTSS.2005.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/SantosW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adaEurope/2005,
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International
Conference on Reliable Software Technologies, York, UK, June 20-24,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3555},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b137344},
doi = {10.1007/B137344},
isbn = {3-540-26286-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0012001,
author = {Andy J. Wellings},
title = {Concurrent and real-time programming in Java},
publisher = {Wiley},
year = {2004},
isbn = {978-0-470-84437-3},
timestamp = {Thu, 14 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0012001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/PinhoVW04,
author = {Lu{\'{\i}}s Miguel Pinho and
Francisco Vasques and
Andy J. Wellings},
title = {Replication Management in Reliable Real-Time Systems},
journal = {Real Time Syst.},
volume = {26},
number = {3},
pages = {261--296},
year = {2004},
url = {https://doi.org/10.1023/B:TIME.0000018248.18519.46},
doi = {10.1023/B:TIME.0000018248.18519.46},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/PinhoVW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BurnsWT04,
author = {Alan Burns and
Andy J. Wellings and
S. Tucker Taft},
editor = {Albert Llamos{\'{\i}} and
Alfred Strohmeier},
title = {Supporting Deadlines and {EDF} Scheduling in Ada},
booktitle = {Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International
Conference on Reliable Software Technologies, Palma de Mallorca, Spain,
June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3063},
pages = {156--165},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24841-5\_12},
doi = {10.1007/978-3-540-24841-5\_12},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BurnsWT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RogersW04,
author = {Patrick Rogers and
Andy J. Wellings},
editor = {Albert Llamos{\'{\i}} and
Alfred Strohmeier},
title = {OpenAda: Compile-Time Reflection for Ada 95},
booktitle = {Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International
Conference on Reliable Software Technologies, Palma de Mallorca, Spain,
June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3063},
pages = {166--177},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24841-5\_13},
doi = {10.1007/978-3-540-24841-5\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/RogersW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/DibbleW04,
author = {Peter C. Dibble and
Andy J. Wellings},
title = {The Real-Time Specification for Java: Current Status and Future Work},
booktitle = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria},
pages = {71--77},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISORC.2004.1300331},
doi = {10.1109/ISORC.2004.1300331},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/DibbleW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/WellingsBDH04,
author = {Andy J. Wellings and
Gregory Bollella and
Peter C. Dibble and
David Holmes},
title = {Cost Enforcement and Deadline Monitoring in the Real-Time Specification
for Java},
booktitle = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria},
pages = {78--85},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISORC.2004.1300332},
doi = {10.1109/ISORC.2004.1300332},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/WellingsBDH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/CaiW04,
author = {Hao Cai and
Andy J. Wellings},
title = {A Real-Time Isolate Specification for Ravenscar-Java},
booktitle = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria},
pages = {325--328},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISORC.2004.1300396},
doi = {10.1109/ISORC.2004.1300396},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/CaiW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/CaiW04,
author = {Hao Cai and
Andy J. Wellings},
editor = {Robert Meersman and
Zahir Tari and
Angelo Corsaro},
title = {Supporting Mixed Criticality Applications in a Ravenscar-Java Environment},
booktitle = {On the Move to Meaningful Internet Systems 2004: {OTM} 2004 Workshops:
{OTM} Confederated International Workshops and Posters, GADA, JTRES,
MIOS, WORM, WOSE, PhDS, and {INTEROP} 2004, Agia Napa, Cyprus, October
25-29, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3292},
pages = {278--291},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30470-8\_45},
doi = {10.1007/978-3-540-30470-8\_45},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/otm/CaiW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/BorgW04,
author = {Andrew Borg and
Andy J. Wellings},
editor = {Robert Meersman and
Zahir Tari and
Angelo Corsaro},
title = {Towards an Understanding of the Expressive Power of the {RTSJ} Scoped
Memory Model},
booktitle = {On the Move to Meaningful Internet Systems 2004: {OTM} 2004 Workshops:
{OTM} Confederated International Workshops and Posters, GADA, JTRES,
MIOS, WORM, WOSE, PhDS, and {INTEROP} 2004, Agia Napa, Cyprus, October
25-29, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3292},
pages = {315--332},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30470-8\_48},
doi = {10.1007/978-3-540-30470-8\_48},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/BorgW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/KwonW04,
author = {Jagun Kwon and
Andy J. Wellings},
editor = {Robert Meersman and
Zahir Tari and
Angelo Corsaro},
title = {Memory Management Based on Method Invocation in {RTSJ}},
booktitle = {On the Move to Meaningful Internet Systems 2004: {OTM} 2004 Workshops:
{OTM} Confederated International Workshops and Posters, GADA, JTRES,
MIOS, WORM, WOSE, PhDS, and {INTEROP} 2004, Agia Napa, Cyprus, October
25-29, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3292},
pages = {333--345},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30470-8\_49},
doi = {10.1007/978-3-540-30470-8\_49},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/KwonW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/WellingsP03,
author = {Andy J. Wellings and
Peter P. Puschner},
title = {Evaluating the Expressive Power of the Real-Time Specification for
Java},
journal = {Real Time Syst.},
volume = {24},
number = {3},
pages = {319--359},
year = {2003},
url = {https://doi.org/10.1023/A:1022816701710},
doi = {10.1023/A:1022816701710},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/WellingsP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/KwonWK03,
author = {Jagun Kwon and
Andy J. Wellings and
Steve King},
title = {Assessment of the Java programming language for use in high integrity
systems},
journal = {{ACM} {SIGPLAN} Notices},
volume = {38},
number = {4},
pages = {34--46},
year = {2003},
url = {https://doi.org/10.1145/844091.844099},
doi = {10.1145/844091.844099},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/KwonWK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BrosgolW03,
author = {Benjamin M. Brosgol and
Andy J. Wellings},
editor = {Jean{-}Pierre Rosen and
Alfred Strohmeier},
title = {A Comparison of the Asynchronous Transfer of Control Features in Ada
and the Real-Time Speci.cation for Java},
booktitle = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International
Conference on Reliable Software Technologies, Toulouse, France, June
16-20, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2655},
pages = {113--128},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44947-7\_8},
doi = {10.1007/3-540-44947-7\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/BrosgolW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BurnsHW03,
author = {Alan Burns and
Michael Gonz{\'{a}}lez Harbour and
Andy J. Wellings},
editor = {Jean{-}Pierre Rosen and
Alfred Strohmeier},
title = {A Round Robin Scheduling Policy for Ada},
booktitle = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International
Conference on Reliable Software Technologies, Toulouse, France, June
16-20, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2655},
pages = {334--343},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44947-7\_25},
doi = {10.1007/3-540-44947-7\_25},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BurnsHW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BorgW03,
author = {Andrew Borg and
Andy J. Wellings},
title = {A Real-Time {RMI} Framework for the {RTSJ}},
booktitle = {15th Euromicro Conference on Real-Time Systems {(ECRTS} 2003), 2-4
July 2003, Porto, Portugal, Proceedings},
pages = {238},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/EMRTS.2003.1212749},
doi = {10.1109/EMRTS.2003.1212749},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BorgW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/WellingsT03,
author = {Andy J. Wellings and
Joyce L. Tokar},
editor = {Tullio Vardanega},
title = {Session summary: integration versus orthogonality {(RTSJ} scheduling
policies versus Ada's)},
booktitle = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
2003, Viana do Castelo, Portugal, September 15-19, 2003},
pages = {13--15},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/959222.959224},
doi = {10.1145/959222.959224},
timestamp = {Thu, 31 Mar 2022 11:12:58 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/WellingsT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings03,
author = {Andy J. Wellings},
editor = {Tullio Vardanega},
title = {Is Java augmented with the {RTSJ} a better real-time systems implementation
technology than Ada 95?},
booktitle = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
2003, Viana do Castelo, Portugal, September 15-19, 2003},
pages = {16--21},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/959222.959225},
doi = {10.1145/959222.959225},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/Wellings03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001WV03,
author = {Alan Burns and
Andy J. Wellings and
Tullio Vardanega},
editor = {Tullio Vardanega},
title = {Report of session: flexible scheduling in Ada},
booktitle = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
2003, Viana do Castelo, Portugal, September 15-19, 2003},
pages = {32--35},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/959222.959229},
doi = {10.1145/959222.959229},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0001WV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W03,
author = {Alan Burns and
Andy J. Wellings},
editor = {Tullio Vardanega},
title = {Task attribute-based scheduling: extending Ada's support for scheduling},
booktitle = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
2003, Viana do Castelo, Portugal, September 15-19, 2003},
pages = {36--41},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/959222.959230},
doi = {10.1145/959222.959230},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0001W03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/HuWB03,
author = {Erik Yu{-}Shing Hu and
Andy J. Wellings and
Guillem Bernat},
title = {Gain Time Reclaiming in High Performance Real-Time Java Systems},
booktitle = {6th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2003), 14-16 May 2003, Hakodate, Hokkaido, Japan},
pages = {249--256},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISORC.2003.1199260},
doi = {10.1109/ISORC.2003.1199260},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/HuWB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KwonWK03,
author = {Jagun Kwon and
Andy J. Wellings and
Steve King},
title = {Predictable Memory Utilization in the Ravenscar-Java Profile},
booktitle = {6th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2003), 14-16 May 2003, Hakodate, Hokkaido, Japan},
pages = {267--276},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISORC.2003.1199262},
doi = {10.1109/ISORC.2003.1199262},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KwonWK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/CaiW03,
author = {Hao Cai and
Andy J. Wellings},
editor = {Robert Meersman and
Zahir Tari},
title = {Towards a High Integrity Real-Time Java Virtual Machine},
booktitle = {On The Move to Meaningful Internet Systems 2003: {OTM} 2003 Workshops,
{OTM} Confederated International Workshops, HCI-SWWA, IPW, JTRES,
WORM, WMS, and {WRSM} 2003, Catania, Sicily, Italy, November 3-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2889},
pages = {319--334},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39962-9\_41},
doi = {10.1007/978-3-540-39962-9\_41},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/otm/CaiW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/BurnsW03,
author = {Alan Burns and
Andy J. Wellings},
editor = {Robert Meersman and
Zahir Tari},
title = {Processing Group Parameters in the Real-Time Specification for Java},
booktitle = {On The Move to Meaningful Internet Systems 2003: {OTM} 2003 Workshops,
{OTM} Confederated International Workshops, HCI-SWWA, IPW, JTRES,
WORM, WMS, and {WRSM} 2003, Catania, Sicily, Italy, November 3-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2889},
pages = {360--370},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39962-9\_44},
doi = {10.1007/978-3-540-39962-9\_44},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/otm/BurnsW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/BorgW03,
author = {Andrew Borg and
Andy J. Wellings},
editor = {Robert Meersman and
Zahir Tari},
title = {Reference Objects for {RTSJ} Memory Areas},
booktitle = {On The Move to Meaningful Internet Systems 2003: {OTM} 2003 Workshops,
{OTM} Confederated International Workshops, HCI-SWWA, IPW, JTRES,
WORM, WMS, and {WRSM} 2003, Catania, Sicily, Italy, November 3-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2889},
pages = {397--410},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39962-9\_47},
doi = {10.1007/978-3-540-39962-9\_47},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/BorgW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/HuWB03,
author = {Erik Yu{-}Shing Hu and
Andy J. Wellings and
Guillem Bernat},
editor = {Robert Meersman and
Zahir Tari},
title = {Deriving Java Virtual Machine Timing Models for Portable Worst-Case
Execution Time Analysis},
booktitle = {On The Move to Meaningful Internet Systems 2003: {OTM} 2003 Workshops,
{OTM} Confederated International Workshops, HCI-SWWA, IPW, JTRES,
WORM, WMS, and {WRSM} 2003, Catania, Sicily, Italy, November 3-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2889},
pages = {411--424},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39962-9\_48},
doi = {10.1007/978-3-540-39962-9\_48},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/HuWB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/HuWB03,
author = {Erik Yu{-}Shing Hu and
Andy J. Wellings and
Guillem Bernat},
editor = {Jing Chen and
Seongsoo Hong},
title = {{XRTJ:} An Extensible Distributed High-Integrity Real-Time Java Environment},
booktitle = {Real-Time and Embedded Computing Systems and Applications, 9th International
Conference, {RTCSA} 2003, Tainan, Taiwan, February 18-20, 2003. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2968},
pages = {208--228},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24686-2\_13},
doi = {10.1007/978-3-540-24686-2\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/rtcsa/HuWB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/RealCW002,
author = {Jorge Real and
Alfons Crespo and
Andy J. Wellings and
Alan Burns},
editor = {William Currie Colket},
title = {Protected ceiling changes},
booktitle = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
pages = {66--71},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/584418.584427},
doi = {10.1145/584418.584427},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/RealCW002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W02,
author = {Alan Burns and
Andy J. Wellings},
editor = {William Currie Colket},
title = {Accessing delay queues},
booktitle = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
pages = {72--76},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/584418.584428},
doi = {10.1145/584418.584428},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0001W02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/WellingsV02,
author = {Andy J. Wellings and
Tullio Vardanega},
editor = {William Currie Colket},
title = {Report of session: language changes for scheduling, modeling and analysis},
booktitle = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
pages = {125--127},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/584418.584435},
doi = {10.1145/584418.584435},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/WellingsV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/WellingsCJW02,
author = {Andy J. Wellings and
Roy Clark and
E. Douglas Jensen and
Douglas Wells},
title = {A Framework for Integrating the Real-Time Specification for Java and
Java's Remote Method Invocation},
booktitle = {5th International Symposiun on Object Oriented Real-Time Distributed
Computing, {ISORC} 2002, Washington, DC, USA, April 29 - May 1, 2002},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISORC.2002.1003655},
doi = {10.1109/ISORC.2002.1003655},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/WellingsCJW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/HuBW02,
author = {Erik Yu{-}Shing Hu and
Guillem Bernat and
Andy J. Wellings},
title = {Addressing Dynamic Dispatching Issues in {WCET} Analysis for Object-Oriented
Hard Real-Time Systems},
booktitle = {5th International Symposiun on Object Oriented Real-Time Distributed
Computing, {ISORC} 2002, Washington, DC, USA, April 29 - May 1, 2002},
pages = {109--118},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISORC.2002.1003667},
doi = {10.1109/ISORC.2002.1003667},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/HuBW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/KwonWK02,
author = {Jagun Kwon and
Andy J. Wellings and
Steve King},
editor = {Jos{\'{e}} E. Moreira and
Geoffrey C. Fox and
Vladimir Getov},
title = {Ravenscar-Java: a high integrity profile for real-time Java},
booktitle = {Proceedings of the 2002 Joint {ACM-ISCOPE} Conference on Java Grande
2002, Seattle, Washington, USA, November 3-5, 2002},
pages = {131--140},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/583810.583825},
doi = {10.1145/583810.583825},
timestamp = {Tue, 06 Nov 2018 11:07:44 +0100},
biburl = {https://dblp.org/rec/conf/java/KwonWK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/WellingsB02,
author = {Andy J. Wellings and
Alan Burns},
title = {Asynchronous Event Handling and Real-time Threads in the Real-time
Specification for Java},
booktitle = {Proceedings of the 8th {IEEE} Real-Time and Embedded Technology and
Applications Symposium {(RTAS} 2002), 24-27 September 2002, San Jose,
CA, {USA}},
pages = {81--89},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/RTTAS.2002.1137383},
doi = {10.1109/RTTAS.2002.1137383},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/WellingsB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/HuBW02,
author = {Erik Yu{-}Shing Hu and
Guillem Bernat and
Andy J. Wellings},
title = {A Static Timing Analysis Environment Using Java Architecture for Safety
Critical Real-Time Systems},
booktitle = {7th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} 2002), 7-9 January 2002, San Diego, CA, {USA}},
pages = {77--84},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/WORDS.2002.1000039},
doi = {10.1109/WORDS.2002.1000039},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/HuBW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/BurnsWBKKRY01,
author = {Alan Burns and
Andy J. Wellings and
Frank P. Burns and
Albert Koelmans and
Maciej Koutny and
Alexander B. Romanovsky and
Alexandre Yakovlev},
title = {Modelling and verification of an atomic action protocol implemented
in Ada},
journal = {Comput. Syst. Sci. Eng.},
volume = {16},
number = {3},
pages = {173--182},
year = {2001},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csse/BurnsWBKKRY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PuschnerW01,
author = {Peter P. Puschner and
Andy J. Wellings},
title = {A Profile for High-Integrity Real-Time Java Programs},
booktitle = {4th International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2001), 2-4 May 2001, Magdeburg, Germany},
pages = {15--22},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISORC.2001.922813},
doi = {10.1109/ISORC.2001.922813},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/PuschnerW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/Busquets-MataixGGW00,
author = {Jos{\'{e}} V. Busquets{-}Mataix and
Daniel Gil and
Pedro J. Gil and
Andy J. Wellings},
title = {Techniques to increase the schedulable utilization of cache-based
preemptive real-time systems},
journal = {J. Syst. Archit.},
volume = {46},
number = {4},
pages = {357--378},
year = {2000},
url = {https://doi.org/10.1016/S1383-7621(99)00011-9},
doi = {10.1016/S1383-7621(99)00011-9},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/Busquets-MataixGGW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/RogersW00,
author = {Patrick Rogers and
Andy J. Wellings},
title = {State restoration in Ada 95: a portable approach to supporting software
fault tolerance},
journal = {J. Syst. Softw.},
volume = {50},
number = {3},
pages = {237--255},
year = {2000},
url = {https://doi.org/10.1016/S0164-1212(99)00100-4},
doi = {10.1016/S0164-1212(99)00100-4},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/RogersW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/PolednaBWB00,
author = {Stefan Poledna and
Alan Burns and
Andy J. Wellings and
Peter Barrett},
title = {Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable
Systems},
journal = {{IEEE} Trans. Computers},
volume = {49},
number = {2},
pages = {100--111},
year = {2000},
url = {https://doi.org/10.1109/12.833107},
doi = {10.1109/12.833107},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/PolednaBWB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/WellingsJSKWM00,
author = {Andy J. Wellings and
Bob Johnson and
Bo Ingvar Sand{\'{e}}n and
J{\"{o}}rg Kienzle and
Thomas Wolf and
Stephen Michell},
title = {Integrating object-oriented programming and protected objects in Ada
95},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {22},
number = {3},
pages = {506--539},
year = {2000},
url = {https://doi.org/10.1145/353926.353938},
doi = {10.1145/353926.353938},
timestamp = {Wed, 03 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/WellingsJSKWM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/WellingsJSKWM00,
author = {Andy J. Wellings and
Bob Johnson and
Bo Ingvar Sand{\'{e}}n and
J{\"{o}}rg Kienzle and
Thomas Wolf and
Stephen Michell},
editor = {Hubert B. Keller and
Erhard Pl{\"{o}}dereder},
title = {Object-Oriented Programming and Protected Objects in Ada 95},
booktitle = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1845},
pages = {16--28},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722060\_5},
doi = {10.1007/10722060\_5},
timestamp = {Wed, 03 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/WellingsJSKWM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BernatBW00,
author = {Guillem Bernat and
Alan Burns and
Andy J. Wellings},
title = {Portable worst-case execution time analysis using Java Byte Code},
booktitle = {12th Euromicro Conference on Real-Time Systems {(ECRTS} 2000), 19-21
June 2000, Stockholm, Sweden, Proceedings},
pages = {81--88},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EMRTS.2000.853995},
doi = {10.1109/EMRTS.2000.853995},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BernatBW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings00,
author = {Andy J. Wellings},
editor = {Benjamin M. Brosgol and
Michael Gonz{\'{a}}lez Harbour},
title = {Status and future of the Ravenscar profile session summary},
booktitle = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
2000, {\'{A}}vila, Spain, 2000},
pages = {5--8},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/374370.374371},
doi = {10.1145/374370.374371},
timestamp = {Mon, 04 Apr 2022 11:10:22 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/Wellings00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/AudsleyW00,
author = {Neil C. Audsley and
Andy J. Wellings},
editor = {Benjamin M. Brosgol and
Michael Gonz{\'{a}}lez Harbour},
title = {Issues with using Ravenscar and the Ada distributed systems annex
for high-integrity systems},
booktitle = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
2000, {\'{A}}vila, Spain, 2000},
pages = {33--39},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/374370.374378},
doi = {10.1145/374370.374378},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/AudsleyW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001WKKRY00,
author = {Alan Burns and
Andy J. Wellings and
Albert Koelmans and
Maciej Koutny and
Alexander B. Romanovsky and
Alexandre Yakovlev},
editor = {Benjamin M. Brosgol and
Michael Gonz{\'{a}}lez Harbour},
title = {On developing and verifying design abstractions for reliable concurrent
programming in Ada},
booktitle = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
2000, {\'{A}}vila, Spain, 2000},
pages = {48--55},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/374370.374381},
doi = {10.1145/374370.374381},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/irtaw/0001WKKRY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/WellingsJSK0M00,
author = {Andy J. Wellings and
Bob Johnson and
Bo Ingvar Sand{\'{e}}n and
J{\"{o}}rg Kienzle and
Thomas Wolf and
Stephen Michell},
editor = {Benjamin M. Brosgol and
Michael Gonz{\'{a}}lez Harbour},
title = {Extensible protected types: proposal status},
booktitle = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
2000, {\'{A}}vila, Spain, 2000},
pages = {105--110},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/374370.374390},
doi = {10.1145/374370.374390},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/WellingsJSK0M00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/PowellABBCFJRW99,
author = {David Powell and
Jean Arlat and
Ljerka Beus{-}Dukic and
Andrea Bondavalli and
P. Coppola and
Alessandro Fantechi and
Eric Jenn and
Christophe Rab{\'{e}}jac and
Andy J. Wellings},
title = {{GUARDS:} {A} Generic Upgradable Architecture for Real-Time Dependable
Systems},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {10},
number = {6},
pages = {580--599},
year = {1999},
url = {https://doi.org/10.1109/71.774908},
doi = {10.1109/71.774908},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/PowellABBCFJRW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RealW99,
author = {Jorge Real and
Andy J. Wellings},
editor = {Michael Gonz{\'{a}}lez Harbour and
Juan Antonio de la Puente},
title = {The Ceiling Protocol in Multi-moded Real-Time Systems},
booktitle = {Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International
Conference on Reliable Software Technologies, Santander, Spain, June
7-11, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1622},
pages = {275--286},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48753-0\_24},
doi = {10.1007/3-540-48753-0\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/RealW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RogersW99,
author = {Patrick Rogers and
Andy J. Wellings},
editor = {Michael Gonz{\'{a}}lez Harbour and
Juan Antonio de la Puente},
title = {An Incremental RecoveryCache Supporting Sotware Fault Tolerance},
booktitle = {Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International
Conference on Reliable Software Technologies, Santander, Spain, June
7-11, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1622},
pages = {385--396},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48753-0\_33},
doi = {10.1007/3-540-48753-0\_33},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/RogersW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/RealW99,
author = {Jorge Real and
Andy J. Wellings},
title = {Implementing mode changes with shared resources in Ada},
booktitle = {11th Euromicro Conference on Real-Time Systems {(ECRTS} 1999), 9-11
June 1999, York, England, UK, Proceedings},
pages = {86--93},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/EMRTS.1999.777454},
doi = {10.1109/EMRTS.1999.777454},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/RealW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings99,
author = {Andy J. Wellings},
editor = {Alan Burns},
title = {New language features and other language issues (session summary)},
booktitle = {Proceedings of the Ninth International Workshop on Real-Time Ada,
{IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
pages = {19--20},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/329607.335407},
doi = {10.1145/329607.335407},
timestamp = {Tue, 19 Apr 2022 16:50:58 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/Wellings99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/RealW99,
author = {Jorge Real and
Andy J. Wellings},
editor = {Alan Burns},
title = {Dynamic ceiling priorities and Ada 95},
booktitle = {Proceedings of the Ninth International Workshop on Real-Time Ada,
{IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
pages = {41--48},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/329607.334736},
doi = {10.1145/329607.334736},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/RealW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W99,
author = {Alan Burns and
Andy J. Wellings},
editor = {Alan Burns},
title = {How to verify concurrent Ada programs: the application of model checking},
booktitle = {Proceedings of the Ninth International Workshop on Real-Time Ada,
{IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
pages = {78--83},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/329607.334743},
doi = {10.1145/329607.334743},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0001W99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/MitchellWR98,
author = {Stuart E. Mitchell and
Andy J. Wellings and
Alexander B. Romanovsky},
title = {Distributed Atomic Actions in Ada 95},
journal = {Comput. J.},
volume = {41},
number = {7},
pages = {486--502},
year = {1998},
url = {https://doi.org/10.1093/comjnl/41.7.486},
doi = {10.1093/COMJNL/41.7.486},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/MitchellWR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/Beus-DukicW98,
author = {Ljerka Beus{-}Dukic and
Andy J. Wellings},
title = {Requirements for a {COTS} software component: {A} case study},
journal = {Requir. Eng.},
volume = {3},
number = {1},
pages = {115--120},
year = {1998},
url = {https://doi.org/10.1007/bf02919971},
doi = {10.1007/BF02919971},
timestamp = {Mon, 05 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/Beus-DukicW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/MitchellBW98,
author = {Stuart E. Mitchell and
Alan Burns and
Andy J. Wellings},
editor = {Serge Demeyer and
Jan Bosch},
title = {MOPping up Exceptions},
booktitle = {Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops,
Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1543},
pages = {365--366},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49255-0\_104},
doi = {10.1007/3-540-49255-0\_104},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoopw/MitchellBW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/WellingsBP98,
author = {Andy J. Wellings and
Ljerka Beus{-}Dukic and
David Powell},
title = {Real-Time Scheduling in a Generic Fault-Tolerant Architecture},
booktitle = {Proceedings of the 19th {IEEE} Real-Time Systems Symposium, Madrid,
Spain, December 2-4, 1998},
pages = {390--398},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/REAL.1998.739772},
doi = {10.1109/REAL.1998.739772},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/WellingsBP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/KiddleW98,
author = {O. P. Kiddle and
Andy J. Wellings},
editor = {Ed Seidewitz and
William Thomas and
Michael B. Feldman},
title = {Extensible Protected Types},
booktitle = {Proceedings of the {ACM} SIGAda Annual International Conference on
Ada Technology, SIGAda 1998, Washington, DC, USA, November 8-12, 1998},
pages = {229--239},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289524.289629},
doi = {10.1145/289524.289629},
timestamp = {Fri, 02 Jun 2023 17:16:28 +0200},
biburl = {https://dblp.org/rec/conf/sigada/KiddleW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0089933,
author = {Alan Burns and
Andrew J. Wellings},
title = {Real-time systems and their programming languages {(2.} ed.)},
publisher = {Addison-Wesley},
year = {1997},
isbn = {978-0-201-40365-7},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0089933.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FidgeW97,
author = {Colin J. Fidge and
Andy J. Wellings},
title = {An Action-Based Formal Model for Concurrent Real-Time Systems},
journal = {Formal Aspects Comput.},
volume = {9},
number = {2},
pages = {175--207},
year = {1997},
url = {https://doi.org/10.1007/BF01211618},
doi = {10.1007/BF01211618},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FidgeW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/BurnsW97,
author = {Alan Burns and
Andy J. Wellings},
title = {Synchronous sessions and fixed priority scheduling},
journal = {J. Syst. Archit.},
volume = {44},
number = {2},
pages = {107--118},
year = {1997},
url = {https://doi.org/10.1016/S1383-7621(97)00002-7},
doi = {10.1016/S1383-7621(97)00002-7},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/BurnsW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WellingsB97,
author = {Andy J. Wellings and
Alan Burns},
title = {Implementing Atomic Actions in Ada 95},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {2},
pages = {107--123},
year = {1997},
url = {https://doi.org/10.1109/32.585500},
doi = {10.1109/32.585500},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/WellingsB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/WellingsBP97,
author = {Andy J. Wellings and
Alan Burns and
Offer Pazy},
editor = {Keith Hardy and
James S. Briggs},
title = {Task Termination in Ada 95},
booktitle = {Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International
Conference on Reliable Software Technologies, London, UK, June 2-6,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1251},
pages = {149--160},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63114-3\_14},
doi = {10.1007/3-540-63114-3\_14},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/WellingsBP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RomanovskyMW97,
author = {Alexander B. Romanovsky and
Stuart E. Mitchell and
Andy J. Wellings},
editor = {Keith Hardy and
James S. Briggs},
title = {On Programming Atomic Actions in Ada 95},
booktitle = {Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International
Conference on Reliable Software Technologies, London, UK, June 2-6,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1251},
pages = {254--265},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63114-3\_23},
doi = {10.1007/3-540-63114-3\_23},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/RomanovskyMW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/MitchellBW97,
author = {Stuart E. Mitchell and
Alan Burns and
Andy J. Wellings},
editor = {Jan Bosch and
Stuart Mitchell},
title = {Adaptive Scheduling Using Reflection},
booktitle = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops,
Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997},
series = {Lecture Notes in Computer Science},
volume = {1357},
pages = {74--79},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-69687-3\_14},
doi = {10.1007/3-540-69687-3\_14},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoopw/MitchellBW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/Busquets-MataixSW97,
author = {Jos{\'{e}} V. Busquets{-}Mataix and
Juan Jos{\'{e}} Serrano and
Andy J. Wellings},
title = {Hybrid instruction cache partitioning for preemptive real-time systems},
booktitle = {Proceedings of the Ninth Euromicro Workshop on Real-Time Systems,
{RTS} 1997, 11-13 June, 1997, Toledo, Spain},
pages = {56--63},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/EMWRTS.1997.613764},
doi = {10.1109/EMWRTS.1997.613764},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/Busquets-MataixSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/WellingsP97,
author = {Andy J. Wellings and
Juan Antonio de la Puente},
editor = {Andy J. Wellings},
title = {Object-oriented programming and real-time (session summary)},
booktitle = {Proceedings of the Eighth International Workshop on Real-Time Ada,
{IRTAW} 1997, Ravenscar, United Kingdom, 1997},
pages = {16--17},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/271658.271673},
doi = {10.1145/271658.271673},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/WellingsP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W97,
author = {Alan Burns and
Andy J. Wellings},
editor = {Andy J. Wellings},
title = {Feature interactions with dynamic priorities},
booktitle = {Proceedings of the Eighth International Workshop on Real-Time Ada,
{IRTAW} 1997, Ravenscar, United Kingdom, 1997},
pages = {24--26},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/271658.271677},
doi = {10.1145/271658.271677},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0001W97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W97a,
author = {Alan Burns and
Andy J. Wellings},
editor = {Andy J. Wellings},
title = {Restricted tasking models},
booktitle = {Proceedings of the Eighth International Workshop on Real-Time Ada,
{IRTAW} 1997, Ravenscar, United Kingdom, 1997},
pages = {27--32},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/271658.271679},
doi = {10.1145/271658.271679},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0001W97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings0P97,
author = {Andy J. Wellings and
Alan Burns and
Offer Pazy},
editor = {Andy J. Wellings},
title = {Task termination and Ada 95},
booktitle = {Proceedings of the Eighth International Workshop on Real-Time Ada,
{IRTAW} 1997, Ravenscar, United Kingdom, 1997},
pages = {100--105},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/271658.271719},
doi = {10.1145/271658.271719},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/Wellings0P97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/FowlerW97,
author = {Simon Fowler and
Andy J. Wellings},
title = {Formal development of a real-time kernel},
booktitle = {Proceedings of the 18th {IEEE} Real-Time Systems Symposium {(RTSS}
'97), December 3-5, 1997, San Francisco, CA, {USA}},
pages = {220--229},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/REAL.1997.641284},
doi = {10.1109/REAL.1997.641284},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/FowlerW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/MitchellBW97,
author = {Stuart E. Mitchell and
Alan Burns and
Andrew J. Wellings},
title = {Developing a real-time metaobject protocol},
booktitle = {3rd Workshop on Object-Oriented Real-Time Dependable Systems {(WORDS}
'97), 5-7 February 1997, Newport Beach, CA, {USA}},
pages = {323--330},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/WORDS.1997.609974},
doi = {10.1109/WORDS.1997.609974},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/MitchellBW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irtaw/1997,
editor = {Andy J. Wellings},
title = {Proceedings of the Eighth International Workshop on Real-Time Ada,
{IRTAW} 1997, Ravenscar, United Kingdom, 1997},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/271658},
doi = {10.1145/271658},
isbn = {978-1-4503-7311-1},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/WellingsB96,
author = {Andy J. Wellings and
Alan Burns},
title = {Programming Replicated Systems in Ada 95},
journal = {Comput. J.},
volume = {39},
number = {5},
pages = {361--373},
year = {1996},
url = {https://doi.org/10.1093/comjnl/39.5.361},
doi = {10.1093/COMJNL/39.5.361},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/WellingsB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/MitchellW96,
author = {Stuart E. Mitchell and
Andy J. Wellings},
title = {Synchronisation, Concurrent Object-Oriented Programming and the Inheritance
Anomaly},
journal = {Comput. Lang.},
volume = {22},
number = {1},
pages = {15--26},
year = {1996},
url = {https://doi.org/10.1016/0096-0551(96)00002-1},
doi = {10.1016/0096-0551(96)00002-1},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/MitchellW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/AudsleyBDSW96,
author = {Neil C. Audsley and
Alan Burns and
Robert I. Davis and
D. J. Scholefield and
Andy J. Wellings},
title = {Integrating optional software components into hard real-time systems},
journal = {Softw. Eng. J.},
volume = {11},
number = {3},
pages = {133--140},
year = {1996},
url = {https://doi.org/10.1049/sej.1996.0019},
doi = {10.1049/SEJ.1996.0019},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/AudsleyBDSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ChapmanBW96,
author = {Roderick Chapman and
Alan Burns and
Andy J. Wellings},
title = {Combining Static Worst-Case Timing Analysis and Program Proof},
journal = {Real Time Syst.},
volume = {11},
number = {2},
pages = {145--171},
year = {1996},
url = {https://doi.org/10.1007/BF00365316},
doi = {10.1007/BF00365316},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/ChapmanBW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BurnsW96,
author = {Alan Burns and
Andy J. Wellings},
editor = {Alfred Strohmeier},
title = {Ada 95: An Effective Concurrent Programming Language},
booktitle = {Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International
Conference on Reliable Software Technologies, Montreux, Switzerland,
June 10-14, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1088},
pages = {58--77},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0013478},
doi = {10.1007/BFB0013478},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BurnsW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/Busquets-MataixSCGW96,
author = {Jos{\'{e}} V. Busquets{-}Mataix and
Juan Jos{\'{e}} Serrano and
Rafael Ors Carot and
Pedro J. Gil and
Andrew J. Wellings},
title = {Adding Instruction Cache Effect to an Exact Schedulability Analysis
of Preemptive Real-Time Systems},
booktitle = {Proceedings of the Eighth Euromicro Workshop on Real-Time Systems,
{RTS} 1996, L'Aquila, Italy, June 12-14, 1996},
pages = {271--276},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/EMWRTS.1996.557940},
doi = {10.1109/EMWRTS.1996.557940},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/Busquets-MataixSCGW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FowlerW96,
author = {Simon Fowler and
Andy J. Wellings},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Formal Analysis of a Real-Time Kernel Specification},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
pages = {440--458},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_55},
doi = {10.1007/3-540-61648-9\_55},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/FowlerW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/ZhangBW96,
author = {Sijing Zhang and
Alan Burns and
Andy J. Wellings},
title = {An Efficient and Practical Local Synchronous Bandwidth Allocation
Scheme for the Timed-Token {MAC} Protocol},
booktitle = {Proceedings {IEEE} {INFOCOM} '96, The Conference on Computer Communications,
Fifteenth Annual Joint Conference of the {IEEE} Computer and Communications
Societies, Networking the Next Generation, San Francisco, CA, USA,
March 24-28, 1996},
pages = {920--927},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/INFCOM.1996.493392},
doi = {10.1109/INFCOM.1996.493392},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/ZhangBW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/Busquets-MataixSOGW96,
author = {Jos{\'{e}} V. Busquets{-}Mataix and
Juan Jos{\'{e}} Serrano and
Rafael Ors and
Pedro J. Gil and
Andy J. Wellings},
title = {Adding instruction cache effect to schedulability analysis of preemptive
real-time systems},
booktitle = {2nd {IEEE} Real-Time Technology and Applications Symposium, {RTAS}
'96, Boston, MA, USA, June 10-12, 1996},
pages = {204--212},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/RTTAS.1996.509537},
doi = {10.1109/RTTAS.1996.509537},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/Busquets-MataixSOGW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Busquets-MataixSOGW96,
author = {Jos{\'{e}} V. Busquets{-}Mataix and
Juan Jos{\'{e}} Serrano and
Rafael Ors and
Pedro J. Gil and
Andy J. Wellings},
title = {Using harmonic task-sets to increase the schedulable utilization of
cache-based preemptive real-time systems},
booktitle = {Third International Workshop on Real-Time Computing Systems Application
{(RTCSA} '96), October 30 - November 01, 1996, Seoul, Korea},
pages = {195--202},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/RTCSA.1996.554977},
doi = {10.1109/RTCSA.1996.554977},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Busquets-MataixSOGW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtdb/ByunWB96,
author = {Jeongyoujng Byun and
Andy J. Wellings and
Alan Burns},
editor = {Kwei{-}Jay Lin},
title = {A Worst-Case Behavior Analysis for Hard Real-Time Transactions},
booktitle = {Online-Proceedings of the First International Workshop on Real-Time
Databases: Issues and Applications, March 7-8, 1996, Newport Beach,
California, {USA}},
pages = {144--149},
year = {1996},
url = {http://www.eng.uci.edu/faculty/klin/rtdb/BWB.ps},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtdb/ByunWB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AudsleyW96,
author = {Neil C. Audsley and
Andy J. Wellings},
title = {Analysing {APEX} applications},
booktitle = {Proceedings of the 17th {IEEE} Real-Time Systems Symposium {(RTSS}
'96), December 4-6, 1996, Washington, DC, {USA}},
pages = {39--44},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/REAL.1996.563698},
doi = {10.1109/REAL.1996.563698},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AudsleyW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/MitchellW96,
author = {Stuart E. Mitchell and
Andy J. Wellings},
title = {Real-time programming in the concurrent object-oriented language {TAO}},
booktitle = {Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time
Dependable Systems, February 1-2, 1996, Laguna Beach, California,
{USA}},
pages = {179--181},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/WORDS.1996.506280},
doi = {10.1109/WORDS.1996.506280},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/MitchellW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/AudsleyBRW95,
author = {Neil C. Audsley and
Alan Burns and
Mike F. Richardson and
Andy J. Wellings},
title = {Data Consistency in Hard Real-Time Systems},
journal = {Informatica (Slovenia)},
volume = {19},
number = {2},
year = {1995},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/AudsleyBRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/AudsleyBDTW95,
author = {Neil C. Audsley and
Alan Burns and
Robert I. Davis and
Ken Tindell and
Andy J. Wellings},
title = {Fixed Priority Pre-emptive Scheduling: An Historical Perspective},
journal = {Real Time Syst.},
volume = {8},
number = {2-3},
pages = {173--198},
year = {1995},
url = {https://doi.org/10.1007/BF01094342},
doi = {10.1007/BF01094342},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/AudsleyBDTW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/TindellBW95,
author = {Ken Tindell and
Alan Burns and
Andy J. Wellings},
title = {Analysis of Hard Real-Time Communications},
journal = {Real Time Syst.},
volume = {9},
number = {2},
pages = {147--171},
year = {1995},
url = {https://doi.org/10.1007/BF01088855},
doi = {10.1007/BF01088855},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/TindellBW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BurnsW95,
author = {Alan Burns and
Andy J. Wellings},
title = {Engineering a Hard Real-time System: From Theory to Practice},
journal = {Softw. Pract. Exp.},
volume = {25},
number = {7},
pages = {705--726},
year = {1995},
url = {https://doi.org/10.1002/spe.4380250702},
doi = {10.1002/SPE.4380250702},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/BurnsW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BurnsTW95,
author = {Alan Burns and
Ken Tindell and
Andy J. Wellings},
title = {Effective Analysis for Engineering Real-Time Fixed Priority Schedulers},
journal = {{IEEE} Trans. Software Eng.},
volume = {21},
number = {5},
pages = {475--480},
year = {1995},
url = {https://doi.org/10.1109/32.387477},
doi = {10.1109/32.387477},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/BurnsTW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/CornwellW95,
author = {Pete Cornwell and
Andy J. Wellings},
editor = {Marcel Toussaint},
title = {Transaction Specification for Object-Oriented Real-Time Systems in
{HRT-HOOD}},
booktitle = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1031},
pages = {365--378},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015508},
doi = {10.1007/BFB0015508},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/CornwellW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftdcs/BurnsAW95,
author = {Alan Burns and
Neil C. Audsley and
Andy J. Wellings},
title = {Real-time distributed computing},
booktitle = {5th {IEEE} Workshop on Future Trends of Distributed Computing Systems
{(FTDCS} 1995), August 28-30, 1995, Chenju, Korea, Proceedings},
pages = {34--40},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/FTDCS.1995.524966},
doi = {10.1109/FTDCS.1995.524966},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftdcs/BurnsAW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/DavisW95,
author = {Robert I. Davis and
Andy J. Wellings},
title = {Dual Priority Scheduling},
booktitle = {16th {IEEE} Real-Time Systems Symposium, Palazzo dei Congressi, Via
Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/REAL.1995.495200},
doi = {10.1109/REAL.1995.495200},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/DavisW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dse/GargaroGHVWW94,
author = {Anthony B. Gargaro and
Stephen J. Goldsack and
A. A. Holzbacher{-}Valero and
Richard A. Volz and
Raymond Waldrop and
Andy J. Wellings},
title = {Supporting distribution and dynamic reconfiguration in AdaPT},
journal = {Distributed Syst. Eng.},
volume = {1},
number = {3},
pages = {145--161},
year = {1994},
url = {https://doi.org/10.1088/0967-1846/1/3/003},
doi = {10.1088/0967-1846/1/3/003},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dse/GargaroGHVWW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BurnsW94,
author = {Alan Burns and
Andy J. Wellings},
title = {{HRT-HOOD:} {A} Structured Design Method for Hard Real-Time Systems},
journal = {Real Time Syst.},
volume = {6},
number = {1},
pages = {73--114},
year = {1994},
url = {https://doi.org/10.1007/BF01245300},
doi = {10.1007/BF01245300},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/BurnsW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/TindellBW94,
author = {Ken Tindell and
Alan Burns and
Andy J. Wellings},
title = {An Extendible Approach for Analyzing Fixed Priority Hard Real-Time
Tasks},
journal = {Real Time Syst.},
volume = {6},
number = {2},
pages = {133--151},
year = {1994},
url = {https://doi.org/10.1007/BF01088593},
doi = {10.1007/BF01088593},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/TindellBW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/AudsleyBRW94,
author = {Neil C. Audsley and
Alan Burns and
Mike F. Richardson and
Andy J. Wellings},
title = {{STRESS:} a Simulator for Hard Real-time Systems},
journal = {Softw. Pract. Exp.},
volume = {24},
number = {6},
pages = {543--564},
year = {1994},
url = {https://doi.org/10.1002/spe.4380240603},
doi = {10.1002/SPE.4380240603},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/AudsleyBRW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BurnsTW94,
author = {Alan Burns and
Ken Tindell and
Andrew J. Wellings},
title = {Fixed priority scheduling with deadlines prior to completion},
booktitle = {Sixth Euromicro Workshop on Real-Time Systems, {RTS} 1994, Vaesteraas,
Sweden, June 15-17, 1994. Proceedings},
pages = {138--142},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/EMWRTS.1994.336852},
doi = {10.1109/EMWRTS.1994.336852},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BurnsTW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/TindellHW94,
author = {Ken Tindell and
H. Hanssmon and
Andy J. Wellings},
title = {Analysing Real-Time Communications: Controller Area Network {(CAN)}},
booktitle = {Proceedings of the 15th {IEEE} Real-Time Systems Symposium {(RTSS}
'94), San Juan, Puerto Rico, December 7-9, 1994},
pages = {259--263},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/REAL.1994.342710},
doi = {10.1109/REAL.1994.342710},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/TindellHW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/AudsleyBRTW93,
author = {Neil C. Audsley and
Alan Burns and
Mike M. Richardson and
Ken Tindell and
Andy J. Wellings},
title = {Applying new scheduling theory to static priority pre-emptive scheduling},
journal = {Softw. Eng. J.},
volume = {8},
number = {5},
pages = {284--292},
year = {1993},
url = {https://doi.org/10.1049/sej.1993.0034},
doi = {10.1049/SEJ.1993.0034},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/AudsleyBRTW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BurnsWBF93,
author = {Alan Burns and
Andy J. Wellings and
C. M. Bailey and
E. Fyfe},
editor = {Michel Gauthier},
title = {The Olympus Attitude and Orbital Control System: {A} Case Study in
Hard Real-Time System Design and Implementation},
booktitle = {Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans
Fronti{\`{e}}res, Paris, France, June 14-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {688},
pages = {19--35},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56802-6\_3},
doi = {10.1007/3-540-56802-6\_3},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BurnsWBF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BurnsWH93,
author = {Alan Burns and
Andy J. Wellings and
A. D. Hutcheon},
editor = {Michel Gauthier},
title = {The Impact of an Ada Run-Time System's Performance Characteristics
on Scheduling Models},
booktitle = {Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans
Fronti{\`{e}}res, Paris, France, June 14-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {688},
pages = {240--248},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56802-6\_19},
doi = {10.1007/3-540-56802-6\_19},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BurnsWH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BurnsW93,
author = {Alan Burns and
Andrew J. Wellings},
title = {Dual Priority Assignment: {A} Practical Method For Increasing Processor
Utilisation},
booktitle = {Fifth Euromicro Workshop on Real-Time Systems, {RTS} 1993, Oulu, Finland,
June 22-24, 1993. Proceedings},
pages = {48--53},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/EMWRT.1993.639052},
doi = {10.1109/EMWRT.1993.639052},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BurnsW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BaileyFVW93,
author = {C. M. Bailey and
E. Fyfe and
Tullio Vardanega and
Andy J. Wellings},
title = {The use of preemptive priority-based scheduling for space applications},
booktitle = {Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC,
USA, December 1993},
pages = {253--257},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/REAL.1993.393492},
doi = {10.1109/REAL.1993.393492},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/BaileyFVW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/AustinMW92,
author = {Paul Baden Austin and
Kevin Murray and
Andy J. Wellings},
title = {File system caching in large point-to-point networks},
journal = {Softw. Eng. J.},
volume = {7},
number = {1},
pages = {65--80},
year = {1992},
url = {https://doi.org/10.1049/sej.1992.0007},
doi = {10.1049/SEJ.1992.0007},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/AustinMW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/TindellBW92,
author = {Ken Tindell and
Alan Burns and
Andy J. Wellings},
title = {Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy},
journal = {Real Time Syst.},
volume = {4},
number = {2},
pages = {145--165},
year = {1992},
url = {https://doi.org/10.1007/BF00365407},
doi = {10.1007/BF00365407},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/TindellBW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BurnsW92,
author = {Alan Burns and
Andy J. Wellings},
editor = {Jan van Katwijk},
title = {Designing Hard Real-Time Systems},
booktitle = {Ada: Moving Towards 2000, 11th Ada-Europe International Conference,
Zandvoort, The Netherlands, June 1-5, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {603},
pages = {116--127},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55585-4\_11},
doi = {10.1007/3-540-55585-4\_11},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BurnsW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/AudsleyBRW92,
author = {Neil C. Audsley and
Alan Burns and
Mike F. Richardson and
Andrew J. Wellings},
title = {Absolute and relative temporal constraints in hard real-time databases},
booktitle = {Fourth Euromicro workshop on Real-Time Systems, {RTS} 1992, Athens,
Greece, June 3-5, 1992, Proceedings},
pages = {148--153},
publisher = {{IEEE}},
year = {1992},
url = {https://doi.org/10.1109/EMWRT.1992.637486},
doi = {10.1109/EMWRT.1992.637486},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/AudsleyBRW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepc/DobsonW92,
author = {Simon A. Dobson and
Andy J. Wellings},
editor = {Nigel P. Topham and
Roland N. Ibbett and
Thomas Bemmerl},
title = {A System for Building Scalable Parallel Applications},
booktitle = {Programming Environments for Parallel Computing, Proceedings of the
{IFIP} {WG} 10.3 Workshop on Programming Environments for Parallel
Computing, Edinburgh, Scotland, 6-8 April, 1992},
series = {{IFIP} Transactions},
volume = {{A-11}},
pages = {215--230},
publisher = {North-Holland},
year = {1992},
timestamp = {Fri, 17 May 2002 14:33:28 +0200},
biburl = {https://dblp.org/rec/conf/pepc/DobsonW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/TindellBW92,
author = {Ken Tindell and
Alan Burns and
Andy J. Wellings},
title = {Mode Changes In Priority Pre-Emptively Scheduled Systems},
booktitle = {Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona,
USA, December 1992},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/REAL.1992.242672},
doi = {10.1109/REAL.1992.242672},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/TindellBW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BurnsW91,
author = {Alan Burns and
Andy J. Wellings},
title = {Priority Inheritance and Message Passing Communication: {A} Formal
Treatment},
journal = {Real Time Syst.},
volume = {3},
number = {1},
pages = {19--44},
year = {1991},
url = {https://doi.org/10.1007/BF00365391},
doi = {10.1007/BF00365391},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/BurnsW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BurnsW91a,
author = {Alan Burns and
Andy J. Wellings},
title = {Criticality and Utility in the Next Generation},
journal = {Real Time Syst.},
volume = {3},
number = {4},
pages = {351--354},
year = {1991},
url = {https://doi.org/10.1007/BF00365997},
doi = {10.1007/BF00365997},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/BurnsW91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/AustinMW91,
author = {Paul Baden Austin and
Kevin Murray and
Andy J. Wellings},
title = {The Design of an Operating System for a Scalable Parallel Computing
Engine},
journal = {Softw. Pract. Exp.},
volume = {21},
number = {10},
pages = {989--1013},
year = {1991},
url = {https://doi.org/10.1002/spe.4380211002},
doi = {10.1002/SPE.4380211002},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/AustinMW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/Beus-DukicW91,
author = {Ljerka Beus{-}Dukic and
Andy J. Wellings},
title = {Scheduling time constrained messages on miniMAP},
booktitle = {Euromicro '91 Workshop on Real Time Systems, {RTS} 1991, Universit{\'{e}}
Paris XI, Paris-Orsay, France, June 12-14, 1991, Proceedings},
pages = {106--110},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/EMWRT.1991.144090},
doi = {10.1109/EMWRT.1991.144090},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/Beus-DukicW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BurnsW90,
author = {Alan Burns and
Andy J. Wellings},
title = {The Notion of Priority in Real-Time Programming Languages},
journal = {Comput. Lang.},
volume = {15},
number = {3},
pages = {153--162},
year = {1990},
url = {https://doi.org/10.1016/0096-0551(90)90008-D},
doi = {10.1016/0096-0551(90)90008-D},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/BurnsW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/MurrayW90,
author = {Kevin Murray and
Andy J. Wellings},
title = {Wisdom: {A} distributed operating system for transputers},
journal = {Comput. Syst. Sci. Eng.},
volume = {5},
number = {1},
pages = {13--20},
year = {1990},
timestamp = {Fri, 07 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csse/MurrayW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HutcheonW90,
author = {Andrew D. Hutcheon and
Andy J. Wellings},
title = {Specifying restrictions on imperative programming languages for use
in a distributed embedded environment},
journal = {Softw. Eng. J.},
volume = {5},
number = {2},
pages = {93--104},
year = {1990},
url = {https://doi.org/10.1049/sej.1990.0012},
doi = {10.1049/SEJ.1990.0012},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/HutcheonW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings90,
author = {Andy J. Wellings},
editor = {John Barnes},
title = {Real-time requirements},
booktitle = {Proceedings of the Fourth International Workshop on Real-Time Ada
Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
pages = {1--16},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/102454.102458},
doi = {10.1145/102454.102458},
timestamp = {Mon, 04 Apr 2022 11:10:38 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/Wellings90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001WD90,
author = {Alan Burns and
Andy J. Wellings and
Gordon Davies},
editor = {John Barnes},
title = {Asynchronous transfer of control in Ada 9X},
booktitle = {Proceedings of the Fourth International Workshop on Real-Time Ada
Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
pages = {75--84},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/102454.102476},
doi = {10.1145/102454.102476},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0001WD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/GargaroGPVW90,
author = {Anthony B. Gargaro and
Stephen J. Goldsack and
R. K. Powers and
Richard A. Volz and
Andy J. Wellings},
editor = {John Barnes},
title = {Adapting Ada distribution and fault tolerance},
booktitle = {Proceedings of the Fourth International Workshop on Real-Time Ada
Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
pages = {111--117},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/102454.102480},
doi = {10.1145/102454.102480},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/GargaroGPVW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/BurnsW89,
author = {Alan Burns and
Andy J. Wellings},
title = {Dynamic change management and Ada},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {1},
number = {2},
pages = {121--131},
year = {1989},
url = {https://doi.org/10.1002/smr.4360010205},
doi = {10.1002/SMR.4360010205},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/BurnsW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W89,
author = {Alan Burns and
Andy J. Wellings},
editor = {John B. Goodenough},
title = {Real-time Ada: outstanding problem areas},
booktitle = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
{IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
pages = {5--14},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/91354.91365},
doi = {10.1145/91354.91365},
timestamp = {Fri, 01 Apr 2022 12:29:11 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0001W89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W89a,
author = {Alan Burns and
Andy J. Wellings},
editor = {John B. Goodenough},
title = {Usability of the Ada tasking-model},
booktitle = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
{IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
pages = {49--56},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/91354.91369},
doi = {10.1145/91354.91369},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0001W89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/MurrayW88,
author = {Kevin Murray and
Andy J. Wellings},
title = {Issues in the design and implementation of a distributed operating
system for a network of transputers},
journal = {Microprocess. Microprogramming},
volume = {24},
number = {1-5},
pages = {169--177},
year = {1988},
url = {https://doi.org/10.1016/0165-6074(88)90049-X},
doi = {10.1016/0165-6074(88)90049-X},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/MurrayW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BurnsDW88,
author = {Alan Burns and
Gordon Davies and
Andy J. Wellings},
title = {A Modula-2 implementation of a real-time process abstraction},
journal = {{ACM} {SIGPLAN} Notices},
volume = {23},
number = {10},
pages = {49--58},
year = {1988},
url = {https://doi.org/10.1145/51607.51608},
doi = {10.1145/51607.51608},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/BurnsDW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/HutcheonW88,
author = {Andrew D. Hutcheon and
Andy J. Wellings},
editor = {John Barnes},
title = {Supporting Ada in a distributed environment},
booktitle = {Proceedings of the Second International Workshop on Real-Time Ada
Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
pages = {113--117},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/58612.59383},
doi = {10.1145/58612.59383},
timestamp = {Thu, 31 Mar 2022 11:11:48 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/HutcheonW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Burns87,
author = {Alan Burns and
Andrew M. Lister and
Andy J. Wellings},
title = {A Review of Ada Tasking},
series = {Lecture Notes in Computer Science},
volume = {262},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18008-7},
doi = {10.1007/3-540-18008-7},
isbn = {3-540-18008-7},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/Burns87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W87,
author = {Alan Burns and
Andy J. Wellings},
editor = {John Barnes},
title = {Real-time Ada issues},
booktitle = {Proceedings of the First International Workshop on Real-Time Ada Issues,
{IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
pages = {43--46},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/36821.36800},
doi = {10.1145/36821.36800},
timestamp = {Wed, 30 Mar 2022 14:40:38 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0001W87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/HutcheonSW87,
author = {Andrew D. Hutcheon and
David S. Snowden and
Andy J. Wellings},
editor = {John Barnes},
title = {Programming and debugging distributed real-time applications in Ada},
booktitle = {Proceedings of the First International Workshop on Real-Time Ada Issues,
{IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
pages = {73--76},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/36821.36808},
doi = {10.1145/36821.36808},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/HutcheonSW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0070524,
author = {Alan Burns and
Andy J. Wellings},
title = {Real-time systems and their programming languages},
series = {International computer science series},
publisher = {Addison-Wesley},
year = {1986},
isbn = {978-0-201-17529-5},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0070524.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/TomlinsonKWW85,
author = {G. M. Tomlinson and
D. Keeffe and
I. C. Wand and
Andy J. Wellings},
title = {The {PULSE} Distributed File System},
journal = {Softw. Pract. Exp.},
volume = {15},
number = {11},
pages = {1087--1101},
year = {1985},
url = {https://doi.org/10.1002/spe.4380151106},
doi = {10.1002/SPE.4380151106},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/TomlinsonKWW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
