


default search action
BibTeX records: Bernhard H. C. Sputh
@article{DBLP:journals/scp/CledouPSV21,
author = {Guillermina Cledou and
Jos{\'{e}} Proen{\c{c}}a and
Bernhard H. C. Sputh and
Eric Verhulst},
title = {Hubs for VirtuosoNext: Online verification of real-time coordinators},
journal = {Sci. Comput. Program.},
volume = {203},
pages = {102566},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2020.102566},
doi = {10.1016/J.SCICO.2020.102566},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CledouPSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CledouPSV19,
author = {Guillermina Cledou and
Jos{\'{e}} Proen{\c{c}}a and
Bernhard H. C. Sputh and
Eric Verhulst},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {Coordination of Tasks on a Real-Time {OS}},
booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
pages = {250--266},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_15},
doi = {10.1007/978-3-030-22397-7\_15},
timestamp = {Sun, 19 Jan 2025 13:15:30 +0100},
biburl = {https://dblp.org/rec/conf/coordination/CledouPSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrie/VerhulstSS15,
author = {Eric Verhulst and
Bernhard H. C. Sputh and
Pieter Van Schaik},
title = {Antifragility: systems engineering at its best},
journal = {J. Reliab. Intell. Environ.},
volume = {1},
number = {2-4},
pages = {101--121},
year = {2015},
url = {https://doi.org/10.1007/s40860-015-0013-3},
doi = {10.1007/S40860-015-0013-3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrie/VerhulstSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/VerhulstS13,
author = {Eric Verhulst and
Bernhard H. C. Sputh},
title = {{ARRL:} {A} criterion for compositional safety and systems engineering:
{A} normative approach to specifying components},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental
Proceedings},
pages = {37--44},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSREW.2013.6688861},
doi = {10.1109/ISSREW.2013.6688861},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/VerhulstS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/VerhulstVSF13,
author = {Eric Verhulst and
Jos{\'{e}} Luis de la Vara and
Bernhard H. C. Sputh and
Vincenzo De Florio},
editor = {Alejandra Ruiz and
Tim Kelly and
Jos{\'{e}} Luis de la Vara},
title = {{ARRL:} {A} Criterion for Composable Safety and Systems Engineering},
booktitle = {{SAFECOMP} 2013 - Workshop {SASSUR} (Next Generation of System Assurance
Approaches for Safety-Critical Systems) of the 32nd International
Conference on Computer Safety, Reliability and Security, Toulouse,
France, 2013},
publisher = {{HAL}},
year = {2013},
url = {http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848521},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/VerhulstVSF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/SongJMSAF12,
author = {Zhe Song and
Zhongkai Ji and
Jianguo Ma and
Bernhard H. C. Sputh and
U. Rajendra Acharya and
Oliver Faust},
title = {A systematic approach to embedded biomedical decision making},
journal = {Comput. Methods Programs Biomed.},
volume = {108},
number = {2},
pages = {656--664},
year = {2012},
url = {https://doi.org/10.1016/j.cmpb.2011.11.002},
doi = {10.1016/J.CMPB.2011.11.002},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmpb/SongJMSAF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/marc/SputhLV12,
author = {Bernhard H. C. Sputh and
Andrew Lukin and
Eric Verhulst},
title = {Transparent Programming of Many/Multi Cores with OpenComRTOS: Comparing
Intel 48-core {SCC} and {TI} 8-core {TMS320C6678}},
booktitle = {6th Many-core Applications Research Community {(MARC)} Symposium.
Proceedings of the 6th {MARC} Symposium, 19-20 July 2012, Toulouse,
France},
pages = {52--58},
publisher = {ONERA, The French Aerospace Lab},
year = {2012},
url = {http://hal.archives-ouvertes.fr/hal-00719035},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/marc/SputhLV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/VerhulstS12,
author = {Eric Verhulst and
Bernhard H. C. Sputh},
editor = {Frank Ortmeier and
Peter Daniel},
title = {An Unified Meta-model for Trustworthy Systems Engineering},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2012 Workshops:
Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany,
September 25-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7613},
pages = {92--105},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33675-1\_8},
doi = {10.1007/978-3-642-33675-1\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/VerhulstS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/FaustASM11,
author = {Oliver Faust and
U. Rajendra Acharya and
Bernhard H. C. Sputh and
Lim Choo Min},
title = {Systems engineering principles for the design of biomedical signal
processing systems},
journal = {Comput. Methods Programs Biomed.},
volume = {102},
number = {3},
pages = {267--276},
year = {2011},
url = {https://doi.org/10.1016/j.cmpb.2010.05.002},
doi = {10.1016/J.CMPB.2010.05.002},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmpb/FaustASM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/WelchBMCS10,
author = {Peter H. Welch and
Neil Brown and
James Moores and
Kevin Chalmers and
Bernhard H. C. Sputh},
title = {Alting barriers: synchronisation with choice in Java using {JCSP}},
journal = {Concurr. Comput. Pract. Exp.},
volume = {22},
number = {8},
pages = {1049--1062},
year = {2010},
url = {https://doi.org/10.1002/cpe.1471},
doi = {10.1002/CPE.1471},
timestamp = {Thu, 01 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/WelchBMCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijns/FaustAMS10,
author = {Oliver Faust and
U. Rajendra Acharya and
Lim Choo Min and
Bernhard H. C. Sputh},
title = {Automatic Identification of Epileptic and Background {EEG} Signals
Using Frequency Domain Parameters},
journal = {Int. J. Neural Syst.},
volume = {20},
number = {2},
pages = {159--176},
year = {2010},
url = {https://doi.org/10.1142/S0129065710002334},
doi = {10.1142/S0129065710002334},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijns/FaustAMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/SputhFVM09,
author = {Bernhard H. C. Sputh and
Oliver Faust and
Eric Verhulst and
Vitaliy Mezhuyev},
editor = {Peter H. Welch and
Herman W. Roebbers and
Jan F. Broenink and
Fred R. M. Barnes and
Carl G. Ritson and
Adam T. Sampson and
Gardiner S. Stiles and
Brian Vinter},
title = {OpenComRTOS: {A} Runtime Environment for Interacting Entities},
booktitle = {The thirty-second Communicating Process Architectures Conference,
{CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
Netherlands, 1-6 November 2009},
series = {Concurrent Systems Engineering Series},
volume = {67},
pages = {173--184},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-60750-065-0-173},
doi = {10.3233/978-1-60750-065-0-173},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wotug/SputhFVM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/FaustSA08,
author = {Oliver Faust and
Bernhard H. C. Sputh and
Alastair R. Allen},
editor = {Peter H. Welch and
Susan Stepney and
Fiona Polack and
Fred R. M. Barnes and
Alistair A. McEwan and
Gardiner S. Stiles and
Jan F. Broenink and
Adam T. Sampson},
title = {Transfer Request Broker: Resolving Input-Output Choice},
booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA}
2008, organised under the auspices of WoTUG and the Department of
Computer Science of the University of York, York, Yorkshire, UK, 7-10
September 2008},
series = {Concurrent Systems Engineering Series},
volume = {66},
pages = {163--177},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-907-3-163},
doi = {10.3233/978-1-58603-907-3-163},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wotug/FaustSA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/SputhFA08,
author = {Bernhard H. C. Sputh and
Oliver Faust and
Alastair R. Allen},
editor = {Peter H. Welch and
Susan Stepney and
Fiona Polack and
Fred R. M. Barnes and
Alistair A. McEwan and
Gardiner S. Stiles and
Jan F. Broenink and
Adam T. Sampson},
title = {{RRABP:} Point-to-Point Communication over Unreliable Components},
booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA}
2008, organised under the auspices of WoTUG and the Department of
Computer Science of the University of York, York, Yorkshire, UK, 7-10
September 2008},
series = {Concurrent Systems Engineering Series},
volume = {66},
pages = {203--217},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-907-3-203},
doi = {10.3233/978-1-58603-907-3-203},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wotug/SputhFA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/FaustSA08a,
author = {Oliver Faust and
Bernhard H. C. Sputh and
Alastair R. Allen},
editor = {Peter H. Welch and
Susan Stepney and
Fiona Polack and
Fred R. M. Barnes and
Alistair A. McEwan and
Gardiner S. Stiles and
Jan F. Broenink and
Adam T. Sampson},
title = {{IC2IC:} a Lightweight Serial Interconnect Channel for Multiprocessor
Networks},
booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA}
2008, organised under the auspices of WoTUG and the Department of
Computer Science of the University of York, York, Yorkshire, UK, 7-10
September 2008},
series = {Concurrent Systems Engineering Series},
volume = {66},
pages = {219--235},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-907-3-219},
doi = {10.3233/978-1-58603-907-3-219},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wotug/FaustSA08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/SputhFA07,
author = {Bernhard H. C. Sputh and
Oliver Faust and
Alastair R. Allen},
editor = {Alistair A. McEwan and
Steve A. Schneider and
Wilson Ifill and
Peter H. Welch},
title = {A Versatile Hardware-Software Platform for In-Situ Monitoring Systems},
booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007,
organised under the auspices of WoTUG and the University of Surrey,
Guildford, Surrey, UK, 8-11 July 2007},
series = {Concurrent Systems Engineering Series},
volume = {65},
pages = {299--311},
publisher = {{IOS} Press},
year = {2007},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5978},
timestamp = {Fri, 23 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wotug/SputhFA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/WelchBMCS07,
author = {Peter H. Welch and
Neil Brown and
James Moores and
Kevin Chalmers and
Bernhard H. C. Sputh},
editor = {Alistair A. McEwan and
Steve A. Schneider and
Wilson Ifill and
Peter H. Welch},
title = {Integrating and Extending {JCSP}},
booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007,
organised under the auspices of WoTUG and the University of Surrey,
Guildford, Surrey, UK, 8-11 July 2007},
series = {Concurrent Systems Engineering Series},
volume = {65},
pages = {349--370},
publisher = {{IOS} Press},
year = {2007},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5982},
timestamp = {Thu, 01 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wotug/WelchBMCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/FaustSA06,
author = {Oliver Faust and
Bernhard H. C. Sputh and
Alastair R. Allen},
editor = {Peter H. Welch and
Jon M. Kerridge and
Fred R. M. Barnes},
title = {A Study of Percolation Phenomena in Process Networks},
booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006,
organised under the auspices of WoTUG and the Napier University, Edinburgh,
Scottland, UK, 17-20 September 2006},
series = {Concurrent Systems Engineering Series},
volume = {64},
pages = {109--121},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=720},
timestamp = {Fri, 23 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wotug/FaustSA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/SputhFA06,
author = {Bernhard H. C. Sputh and
Oliver Faust and
Alastair R. Allen},
editor = {Peter H. Welch and
Jon M. Kerridge and
Fred R. M. Barnes},
title = {Portable {CSP} Based Design for Embedded Multi-Core Systems},
booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006,
organised under the auspices of WoTUG and the Napier University, Edinburgh,
Scottland, UK, 17-20 September 2006},
series = {Concurrent Systems Engineering Series},
volume = {64},
pages = {123--134},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=721},
timestamp = {Fri, 23 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wotug/SputhFA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/SputhA05,
author = {Bernhard H. C. Sputh and
Alastair R. Allen},
editor = {Jan F. Broenink and
Herman W. Roebbers and
Johan P. E. Sunter and
Peter H. Welch and
David C. Wood},
title = {JCSP-Poison: Safe Termination of {CSP} Process Networks},
booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005,
organised under the auspices of WoTUG, Philips and the Technische
Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September
2005},
series = {Concurrent Systems Engineering Series},
volume = {63},
pages = {71--107},
publisher = {{IOS} Press},
year = {2005},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=688},
timestamp = {Fri, 23 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wotug/SputhA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/FaustSNRWA03,
author = {Oliver Faust and
Bernhard H. C. Sputh and
Darran Nathan and
Sana Rezgui and
Andreas Weisensee and
Alastair R. Allen},
title = {A Single-Chip Supervised Partial Self-Reconfigurable Architecture
for Software Defined Radio},
booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
pages = {191},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213354},
doi = {10.1109/IPDPS.2003.1213354},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/FaustSNRWA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tce/NathanSFK02,
author = {Darran Nathan and
Bernhard H. C. Sputh and
Oliver Faust and
Chua Beng Koon},
title = {Real-time decoding and streaming of {DAB} audio frames by a user-space
program running on a non-real-time {OS}},
journal = {{IEEE} Trans. Consumer Electron.},
volume = {48},
number = {2},
pages = {313--321},
year = {2002},
url = {https://doi.org/10.1109/TCE.2002.1010137},
doi = {10.1109/TCE.2002.1010137},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tce/NathanSFK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tce/NathanSFK02a,
author = {Darran Nathan and
Bernhard H. C. Sputh and
Oliver Faust and
Chua Beng Koon},
title = {Design and features of an intelligent PC-based {DAB} receiver},
journal = {{IEEE} Trans. Consumer Electron.},
volume = {48},
number = {2},
pages = {322--328},
year = {2002},
url = {https://doi.org/10.1109/TCE.2002.1010138},
doi = {10.1109/TCE.2002.1010138},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tce/NathanSFK02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID












