

|
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]
|
|
 |
|
|