Bernhard H. C. Sputh

23 papers A 1C 1Journal 8Unranked 13
YearRankTypeTitle / Venue / Authors
2021 J jnl
Hubs for VirtuosoNext: Online verification of real-time coordinators.
Sci. Comput. Program.
Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst
2019 C conf
Coordination of Tasks on a Real-Time OS.
COORDINATION
Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst
2015 J jnl
Antifragility: systems engineering at its best.
J. Reliab. Intell. Environ.
Eric Verhulst, Bernhard H. C. Sputh, Pieter Van Schaik
2013 — conf
ARRL: A Criterion for Composable Safety and Systems Engineering.
SASSUR@SAFECOMP
Eric Verhulst, José Luis de la Vara, Bernhard H. C. Sputh, Vincenzo De Florio
2013 — conf
ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components.
ISSRE (Supplemental Proceedings)
Eric Verhulst, Bernhard H. C. Sputh
2012 J jnl
A systematic approach to embedded biomedical decision making.
Comput. Methods Programs Biomed.
Zhe Song, Zhongkai Ji, Jianguo Ma, Bernhard H. C. Sputh, U. Rajendra Acharya, Oliver Faust
2012 — conf
An Unified Meta-model for Trustworthy Systems Engineering.
SAFECOMP Workshops
Eric Verhulst, Bernhard H. C. Sputh
2012 — conf
Transparent Programming of Many/Multi Cores with OpenComRTOS: Comparing Intel 48-core SCC and TI 8-core TMS320C6678.
MARC Symposium
Bernhard H. C. Sputh, Andrew Lukin, Eric Verhulst
2011 J jnl
Systems engineering principles for the design of biomedical signal processing systems.
Comput. Methods Programs Biomed.
Oliver Faust, U. Rajendra Acharya, Bernhard H. C. Sputh, Lim Choo Min
2010 J jnl
Alting barriers: synchronisation with choice in Java using JCSP.
Concurr. Comput. Pract. Exp.
Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh
2010 J jnl
Automatic Identification of Epileptic and Background EEG Signals Using Frequency Domain Parameters.
Int. J. Neural Syst.
Oliver Faust, U. Rajendra Acharya, Lim Choo Min, Bernhard H. C. Sputh
2009 — conf
OpenComRTOS: A Runtime Environment for Interacting Entities.
CPA
Bernhard H. C. Sputh, Oliver Faust, Eric Verhulst, Vitaliy Mezhuyev
2008 — conf
IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks.
CPA
Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen
2008 — conf
RRABP: Point-to-Point Communication over Unreliable Components.
CPA
Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen
2008 — conf
Transfer Request Broker: Resolving Input-Output Choice.
CPA
Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen
2007 — conf
A Versatile Hardware-Software Platform for In-Situ Monitoring Systems.
CPA
Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen
2007 — conf
Integrating and Extending JCSP.
CPA
Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh
2006 — conf
A Study of Percolation Phenomena in Process Networks.
CPA
Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen
2006 — conf
Portable CSP Based Design for Embedded Multi-Core Systems.
CPA
Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen
2005 — conf
JCSP-Poison: Safe Termination of CSP Process Networks.
CPA
Bernhard H. C. Sputh, Alastair R. Allen
2003 A conf
A Single-Chip Supervised Partial Self-Reconfigurable Architecture for Software Defined Radio.
IPDPS
Oliver Faust, Bernhard H. C. Sputh, Darran Nathan, Sana Rezgui, Andreas Weisensee, Alastair R. Allen
2002 J jnl
Design and features of an intelligent PC-based DAB receiver.
IEEE Trans. Consumer Electron.
Darran Nathan, Bernhard H. C. Sputh, Oliver Faust, Chua Beng Koon
2002 J jnl
Real-time decoding and streaming of DAB audio frames by a user-space program running on a non-real-time OS.
IEEE Trans. Consumer Electron.
Darran Nathan, Bernhard H. C. Sputh, Oliver Faust, Chua Beng Koon