|
Home « Team « Publications
» Publications of
Mohamed Bawadekji
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
|
CONFERENCES |
|
» Supporting Clinical Guidelines Using DL-Temporal Reasoning
|
|
|
|
Author:
|
|
Serge Autexier, Mohamed Bawadekji, Dieter Hutter, Regine Wolters |
| Conference: |
|
International Conference & Expo on Emerging Technologies for a Smarter World (CEWIT) |
Reference:
|
| Melville, NY, USA, 2013
| Hyperlink:
|
| [To the Site of this Conference]
|
» TLM Protocol Compliance Checking at the Electronic System Level
|
|
|
|
Author:
|
|
Mohamed Bawadekji, Daniel Große, Rolf Drechsler |
| Conference: |
|
14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Reference:
|
| pp. 435-440, Cottbus, 2011
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» Protocol Compliance Checking of SystemC TLM Models
|
|
|
|
Author:
|
|
Mohamed Bawadekji, Daniel Große, Rolf Drechsler |
| Workshop: |
|
8. GMM/ITG/GI-Workshop Cyber-Physical Systems – Enabling Multi-Nature Systems (CPMNS) |
Reference:
|
| pp. 27-32, Bremen, 2011
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
