Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Steven Bradley
@inproceedings{DBLP:conf/cep/BradleyR24,
author = {Steven Bradley and
Anousheh Ramezani},
editor = {Jane Waite and
Ryan Crosby},
title = {{PRIMM} and Proper: Authentic Investigation in {HE} Introductory Programming
with PeerWise and GitHub},
booktitle = {Proceedings of the 8th Conference on Computing Education Practice,
{CEP} 2024, Durham, United Kingdom, 5 January 2024},
pages = {33--36},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3633053.3633062},
doi = {10.1145/3633053.3633062},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cep/BradleyR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BradleyPABHKLMM23,
author = {Steven Bradley and
Miranda C. Parker and
Rukiye Altin and
Lecia Barker and
Sara Hooshangi and
Thom Kunkeler and
Ruth G. Lennon and
Fiona McNeill and
Juli{\`{a}} Minguill{\'{o}}n and
Jack Parkinson and
Svetlana Peltsverger and
Naaz Sibia},
editor = {Mattia Monga and
Mikko{-}Jussi Laakso and
Simon and
Judithe Sheard},
title = {Modeling Women's Elective Choices in Computing},
booktitle = {Proceedings of the 2023 Working Group Reports on Innovation and Technology
in Computer Science Education, ITiCSE-WGR 2023, Turku, Finland, July
7-12, 2023},
pages = {196--226},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3623762.3633497},
doi = {10.1145/3623762.3633497},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/BradleyPABHKLMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BradleyPABHKKLM23,
author = {Steven Bradley and
Miranda C. Parker and
Rukiye Altin and
Lecia Barker and
Sara Hooshangi and
Samia Kamal and
Thom Kunkeler and
Ruth G. Lennon and
Fiona McNeill and
Juli{\`{a}} Minguill{\'{o}}n and
Jack Parkinson and
Svetlana Peltsverger and
Naaz Sibia},
editor = {Mikko{-}Jussi Laakso and
Mattia Monga and
Simon and
Judithe Sheard},
title = {A Methodology for Investigating Women's Module Choices in Computer
Science},
booktitle = {Proceedings of the 2023 Conference on Innovation and Technology in
Computer Science Education V. 2, ITiCSE 2023, Turku, Finland, July
7-12, 2023},
pages = {569--570},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3587103.3594209},
doi = {10.1145/3587103.3594209},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/BradleyPABHKKLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/23/BeckerB0BCSSQ23,
author = {Brett A. Becker and
Steven Bradley and
Joseph Maguire and
Michaela Black and
Tom Crick and
Mohammed Saqr and
Sue Sentance and
Keith Quille},
editor = {Mikko Apiola and
Sonsoles L{\'{o}}pez{-}Pernas and
Mohammed Saqr},
title = {Computing Education Research in the {UK} {\&} Ireland},
booktitle = {Past, Present and Future of Computing Education Research - {A} Global
Perspective},
pages = {421--479},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-25336-2\_19},
doi = {10.1007/978-3-031-25336-2\_19},
timestamp = {Tue, 04 Jul 2023 14:43:03 +0200},
biburl = {https://dblp.org/rec/books/sp/23/BeckerB0BCSSQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cep/BradleyA22,
author = {Steven Bradley and
Eleni C. Akrida},
editor = {Rosanne English and
Craig Stewart},
title = {Narrowing and Stretching: Addressing the Challenge of Multi-track
Programming},
booktitle = {{CEP} 2022: Computing Education Practice 2022, Durham, United Kingdom,
6 January 2022},
pages = {1--4},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3498343.3498344},
doi = {10.1145/3498343.3498344},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cep/BradleyA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/GajbhiyeMB21,
author = {Amit Gajbhiye and
Noura Al Moubayed and
Steven Bradley},
editor = {Igor Farkas and
Paolo Masulli and
Sebastian Otte and
Stefan Wermter},
title = {ExBERT: An External Knowledge Enhanced {BERT} for Natural Language
Inference},
booktitle = {Artificial Neural Networks and Machine Learning - {ICANN} 2021 - 30th
International Conference on Artificial Neural Networks, Bratislava,
Slovakia, September 14-17, 2021, Proceedings, Part {V}},
series = {Lecture Notes in Computer Science},
volume = {12895},
pages = {460--472},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86383-8\_37},
doi = {10.1007/978-3-030-86383-8\_37},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icann/GajbhiyeMB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/MorrisonQBBHHKM21a,
author = {Briana B. Morrison and
Beth A. Quinn and
Steven Bradley and
Kevin Buffardi and
Brian Harrington and
Helen H. Hu and
Maria Kallia and
Fiona McNeill and
Oluwakemi Ola and
Miranda C. Parker and
Jennifer Rosato and
Jane Waite},
title = {Evidence for Teaching Practices that Broaden Participation for Women
in Computing},
booktitle = {Proceedings of the 2021 Working Group Reports on Innovation and Technology
in Computer Science Education, ITiCSE-WGR 2021, Virtual Event Germany,
26 June 2021- 1 July 2021},
pages = {57--131},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3502870.3506568},
doi = {10.1145/3502870.3506568},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/MorrisonQBBHHKM21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/MorrisonQBBHHKM21,
author = {Briana B. Morrison and
Beth A. Quinn and
Steven Bradley and
Kevin Buffardi and
Brian Harrington and
Helen H. Hu and
Maria Kallia and
Fiona McNeill and
Oluwakemi Ola and
Miranda C. Parker and
Jennifer Rosato and
Jane Waite},
editor = {Carsten Schulte and
Brett A. Becker and
Monica Divitini and
Erik Barendsen},
title = {Chronicling the Evidence for Broadening Participation},
booktitle = {ITiCSE '21: Proceedings of the 26th {ACM} Conference on Innovation
and Technology in Computer Science Education V.2, Virtual Event, Germany,
June 26 - July 1, 2021},
pages = {601--602},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3456565.3461441},
doi = {10.1145/3456565.3461441},
timestamp = {Sat, 17 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/MorrisonQBBHHKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cep/2021,
editor = {Michel Wermelinger and
Steven Bradley},
title = {{CEP} '21: Computing Education Practice 2021, Durham, United Kingdom,
January, 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3437914},
doi = {10.1145/3437914},
isbn = {978-1-4503-8959-4},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cep/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-01589,
author = {Amit Gajbhiye and
Noura Al Moubayed and
Steven Bradley},
title = {ExBERT: An External Knowledge Enhanced {BERT} for Natural Language
Inference},
journal = {CoRR},
volume = {abs/2108.01589},
year = {2021},
url = {https://arxiv.org/abs/2108.01589},
eprinttype = {arXiv},
eprint = {2108.01589},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-01589.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cep/Bradley20,
author = {Steven Bradley},
editor = {Steven Bradley and
Marie Devlin},
title = {Creative Assessment in Programming: Diversity and Divergence},
booktitle = {{CEP} 2020: Computing Education Practice 2020, Durham, UK, January
9, 2020},
pages = {13:1--13:4},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372356.3372369},
doi = {10.1145/3372356.3372369},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cep/Bradley20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/GajbhiyeWMB20,
author = {Amit Gajbhiye and
Thomas Winterbottom and
Noura Al Moubayed and
Steven Bradley},
editor = {Igor Farkas and
Paolo Masulli and
Stefan Wermter},
title = {Bilinear Fusion of Commonsense Knowledge with Attention-Based {NLI}
Models},
booktitle = {Artificial Neural Networks and Machine Learning - {ICANN} 2020 - 29th
International Conference on Artificial Neural Networks, Bratislava,
Slovakia, September 15-18, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12396},
pages = {633--646},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61609-0\_50},
doi = {10.1007/978-3-030-61609-0\_50},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icann/GajbhiyeWMB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cep/2020,
editor = {Steven Bradley and
Marie Devlin},
title = {{CEP} 2020: Computing Education Practice 2020, Durham, UK, January
9, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372356},
doi = {10.1145/3372356},
isbn = {978-1-4503-7729-4},
timestamp = {Wed, 22 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cep/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-11562,
author = {Amit Gajbhiye and
Thomas Winterbottom and
Noura Al Moubayed and
Steven Bradley},
title = {Bilinear Fusion of Commonsense Knowledge with Attention-Based {NLI}
Models},
journal = {CoRR},
volume = {abs/2010.11562},
year = {2020},
url = {https://arxiv.org/abs/2010.11562},
eprinttype = {arXiv},
eprint = {2010.11562},
timestamp = {Tue, 27 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-11562.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/Bradley19,
author = {Steven Bradley},
editor = {Petri Ihantola and
Nick Falkner},
title = {Addressing Bias to Improve Reliability in Peer Review of Programming
Coursework},
booktitle = {Koli Calling '19: 19th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 21-24, 2019},
pages = {19:1--19:10},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3364510.3364523},
doi = {10.1145/3364510.3364523},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kolicalling/Bradley19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cep/2019,
editor = {Steven Bradley and
Alexandra I. Cristea},
title = {Proceedings of the 3rd Conference on Computing Education Practice,
{CEP} 2019, Durham, United Kingdom, January 09-09, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3294016},
doi = {10.1145/3294016},
isbn = {978-1-4503-6631-1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cep/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/GajbhiyeJMBM18,
author = {Amit Gajbhiye and
Sardar F. Jaf and
Noura Al Moubayed and
Steven Bradley and
A. Stephen McGough},
editor = {Naoki Abe and
Huan Liu and
Calton Pu and
Xiaohua Hu and
Nesreen K. Ahmed and
Mu Qiao and
Yang Song and
Donald Kossmann and
Bing Liu and
Kisung Lee and
Jiliang Tang and
Jingrui He and
Jeffrey S. Saltz},
title = {{CAM:} {A} Combined Attention Model for Natural Language Inference},
booktitle = {{IEEE} International Conference on Big Data {(IEEE} BigData 2018),
Seattle, WA, USA, December 10-13, 2018},
pages = {1009--1014},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/BigData.2018.8622057},
doi = {10.1109/BIGDATA.2018.8622057},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/GajbhiyeJMBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/GajbhiyeJMMB18,
author = {Amit Gajbhiye and
Sardar F. Jaf and
Noura Al Moubayed and
A. Stephen McGough and
Steven Bradley},
editor = {Vera Kurkov{\'{a}} and
Yannis Manolopoulos and
Barbara Hammer and
Lazaros S. Iliadis and
Ilias Maglogiannis},
title = {An Exploration of Dropout with RNNs for Natural Language Inference},
booktitle = {Artificial Neural Networks and Machine Learning - {ICANN} 2018 - 27th
International Conference on Artificial Neural Networks, Rhodes, Greece,
October 4-7, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11141},
pages = {157--167},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01424-7\_16},
doi = {10.1007/978-3-030-01424-7\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icann/GajbhiyeJMMB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-08606,
author = {Amit Gajbhiye and
Sardar F. Jaf and
Noura Al Moubayed and
A. Stephen McGough and
Steven Bradley},
title = {An Exploration of Dropout with RNNs for Natural Language Inference},
journal = {CoRR},
volume = {abs/1810.08606},
year = {2018},
url = {http://arxiv.org/abs/1810.08606},
eprinttype = {arXiv},
eprint = {1810.08606},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-08606.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/Bradley16,
author = {Steven Bradley},
editor = {Judy Sheard and
Calkin Suero Montero},
title = {Managing plagiarism in programming assignments with blended assessment
and randomisation},
booktitle = {Proceedings of the 16th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 24-27, 2016},
pages = {21--30},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2999560},
timestamp = {Tue, 06 Nov 2018 16:58:30 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/Bradley16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/JohnstoneB05,
author = {David I. Johnstone and
Steven Bradley},
title = {Opportunistic scheduling in a constraint-rich world},
journal = {{SIGBED} Rev.},
volume = {2},
number = {2},
pages = {19--22},
year = {2005},
url = {https://doi.org/10.1145/1121788.1121795},
doi = {10.1145/1121788.1121795},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/JohnstoneB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/step/BennettBGB03,
author = {Keith H. Bennett and
Steven Bradley and
G. J. Glover and
D. Barnes},
title = {Software Evolution in an Interdisciplinary Environment},
booktitle = {11th International Workshop on Software Technology and Engineering
Practice {(STEP} 2003), 19-21 September 2003, Amsterdam, The Netherlands},
pages = {199--203},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/STEP.2003.30},
doi = {10.1109/STEP.2003.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/step/BennettBGB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BradleyHKR01,
author = {Steven Bradley and
William Henderson and
David Kendall and
Adrian Robson},
title = {A formal design language for real-time systems with data},
journal = {Sci. Comput. Program.},
volume = {40},
number = {1},
pages = {3--29},
year = {2001},
url = {https://doi.org/10.1016/S0167-6423(00)00025-3},
doi = {10.1016/S0167-6423(00)00025-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BradleyHKR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/BurdBD00,
author = {Elizabeth Burd and
Steven Bradley and
John Davey},
title = {Studying the Process of Software Change: An Analysis of Software Evolution},
booktitle = {Proceedings of the Seventh Working Conference on Reverse Engineering,
WCRE'00, Brisbane, Australia, November 23-25, 2000},
pages = {232--239},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/WCRE.2000.891474},
doi = {10.1109/WCRE.2000.891474},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/BurdBD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BradleyHKR98,
author = {Steven Bradley and
William Henderson and
David Kendall and
Adrian Robson},
editor = {Egidio Astesiano},
title = {Integrating {AORTA} with Model-Based Data Specification Languages},
booktitle = {Fundamental Approaches to Software Engineering, 1st Internationsl
Conference, FASE'98, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1382},
pages = {54--70},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053583},
doi = {10.1007/BFB0053583},
timestamp = {Sat, 07 Sep 2019 11:59:24 +0200},
biburl = {https://dblp.org/rec/conf/fase/BradleyHKR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/KendallBHR98,
author = {David Kendall and
Steven Bradley and
William Henderson and
Adrian Robson},
title = {bCANDLE: Formal Modelling and Analysis of {CAN} Control Systems},
booktitle = {Proceedings of the Fourth {IEEE} Real-Time Technology and Applications
Symposium, RTAS'98, Denver, Colorado, USA, June 3-5, 1998},
pages = {171--177},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/RTTAS.1998.683201},
doi = {10.1109/RTTAS.1998.683201},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/KendallBHR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/BradleyHKRH96,
author = {Steven Bradley and
William Henderson and
David Kendall and
Adrian Robson and
Stephen Hawkes},
title = {A Formal Design and Implementation Method for Real-Time Embedded Systems},
booktitle = {22rd {EUROMICRO} Conference '96, Beyond 2000: Hardware and Software
Design Strategies, September 2-5, 1996, Prague, Czech Republic},
pages = {77},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/EURMIC.1996.546368},
doi = {10.1109/EURMIC.1996.546368},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/BradleyHKRH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BradleyHKR95,
author = {Steven Bradley and
William Henderson and
David Kendall and
Adrian Robson},
editor = {Piotr Dembinski and
Marek Sredniawa},
title = {Validation, verification and implementation of timed protocols using
{AORTA}},
booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of
the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification,
Testing and Verification, Warsaw, Poland, June 1995},
series = {{IFIP} Conference Proceedings},
volume = {38},
pages = {205--220},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/BradleyHKR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BradleyHKR94,
author = {Steven Bradley and
William Henderson and
David Kendall and
Adrian Robson},
title = {Application-oriented real time algebra},
journal = {Softw. Eng. J.},
volume = {9},
number = {5},
pages = {201--212},
year = {1994},
url = {https://doi.org/10.1049/sej.1994.0026},
doi = {10.1049/SEJ.1994.0026},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/BradleyHKR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/BradleyHKR94,
author = {Steven Bradley and
William Henderson and
David Kendall and
Adrian Robson},
title = {A formally based hard real-time kernel},
journal = {Microprocess. Microsystems},
volume = {18},
number = {9},
pages = {513--521},
year = {1994},
url = {https://doi.org/10.1016/0141-9331(94)90074-4},
doi = {10.1016/0141-9331(94)90074-4},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/BradleyHKR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BradleyHKR94,
author = {Steven Bradley and
William Henderson and
David Kendall and
Adrian Robson},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Designing and Implementing Correct Real-Time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {228--246},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_168},
doi = {10.1007/3-540-58468-4\_168},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BradleyHKR94.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 01:54 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:
