Bernhard H. C. Sputh

According to our database, Bernhard H. C. Sputh authored at least 23 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Hubs for VirtuosoNext: Online verification of real-time coordinators.

Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst

Sci. Comput. Program., 2021

2019

Coordination of Tasks on a Real-Time OS.

Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst

Proceedings of the Coordination Models and Languages, 2019

2015

Antifragility: systems engineering at its best.

Eric Verhulst, Bernhard H. C. Sputh, Pieter Van Schaik

J. Reliab. Intell. Environ., 2015

2013

ARRL: A Criterion for Composable Safety and Systems Engineering.

Eric Verhulst, José Luis de la Vara, Bernhard H. C. Sputh, Vincenzo De Florio

Proceedings of the SAFECOMP 2013, 2013

ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components.

Eric Verhulst, Bernhard H. C. Sputh

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012

A systematic approach to embedded biomedical decision making.

Zhe Song, Zhongkai Ji, Jianguo Ma, Bernhard H. C. Sputh, U. Rajendra Acharya, Oliver Faust

Comput. Methods Programs Biomed., 2012

An Unified Meta-model for Trustworthy Systems Engineering.

Eric Verhulst, Bernhard H. C. Sputh

Proceedings of the Computer Safety, Reliability, and Security, 2012

Transparent Programming of Many/Multi Cores with OpenComRTOS: Comparing Intel 48-core SCC and TI 8-core TMS320C6678.

Bernhard H. C. Sputh, Andrew Lukin, Eric Verhulst

Proceedings of the 6th Many-core Applications Research Community (MARC) Symposium. Proceedings of the 6th MARC Symposium, 2012

2011

Systems engineering principles for the design of biomedical signal processing systems.

Oliver Faust, U. Rajendra Acharya, Bernhard H. C. Sputh, Lim Choo Min

Comput. Methods Programs Biomed., 2011

2010

Automatic Identification of Epileptic and Background EEG Signals Using Frequency Domain Parameters.

Oliver Faust, U. Rajendra Acharya, Lim Choo Min, Bernhard H. C. Sputh

Int. J. Neural Syst., 2010

Alting barriers: synchronisation with choice in Java using JCSP.

Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh

Concurr. Comput. Pract. Exp., 2010

2009

OpenComRTOS: A Runtime Environment for Interacting Entities.

Bernhard H. C. Sputh, Oliver Faust, Eric Verhulst, Vitaliy Mezhuyev

Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

2008

RRABP: Point-to-Point Communication over Unreliable Components.

Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks.

Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

Transfer Request Broker: Resolving Input-Output Choice.

Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

2007

Integrating and Extending JCSP.

Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh

Proceedings of the 30th Communicating Process Architectures Conference, 2007

A Versatile Hardware-Software Platform for In-Situ Monitoring Systems.

Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen

Proceedings of the 30th Communicating Process Architectures Conference, 2007

2006

Portable CSP Based Design for Embedded Multi-Core Systems.

Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen

Proceedings of the 29th Communicating Process Architectures Conference, 2006

A Study of Percolation Phenomena in Process Networks.

Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen

Proceedings of the 29th Communicating Process Architectures Conference, 2006

2005

JCSP-Poison: Safe Termination of CSP Process Networks.

Bernhard H. C. Sputh, Alastair R. Allen

Proceedings of the 28th Communicating Process Architectures Conference, 2005

2003

A Single-Chip Supervised Partial Self-Reconfigurable Architecture for Software Defined Radio.

Oliver Faust, Bernhard H. C. Sputh, Darran Nathan, Sana Rezgui, Andreas Weisensee, Alastair R. Allen

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Design and features of an intelligent PC-based DAB receiver.

Darran Nathan, Bernhard H. C. Sputh, Oliver Faust, Chua Beng Koon

IEEE Trans. Consumer Electron., 2002

Real-time decoding and streaming of DAB audio frames by a user-space program running on a non-real-time OS.

Darran Nathan, Bernhard H. C. Sputh, Oliver Faust, Chua Beng Koon

IEEE Trans. Consumer Electron., 2002