State-of-the-Art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems

Autor: Bozga, M., David, A., Hartmanns, A., Hermanns, H., Larsen, K.G., Legay, A., Tretmans, J., Rosenstiel, W., Thiele, L.

Publikováno v: Rosenstiel, W.; Thiele, L. (ed.), Design, Automation & Test in Europe, Dresden Germany, March 12-16, 2012, pp. 370-375
Rosenstiel, W.; Thiele, L. (ed.), Design, Automation & Test in Europe, Dresden Germany, March 12-16, 2012, 370-375. Leuven, Belgium : European Design and Automation Association (EDAA)
STARTPAGE=370;ENDPAGE=375;TITLE=Rosenstiel, W.; Thiele, L. (ed.), Design, Automation & Test in Europe, Dresden Germany, March 12-16, 2012
Bozga, M, David, A, Hartmanns, A, Larsen, K G, Legay, A & Tretmans, J 2012, ' State-of-the-art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems ', A C M / I E E E Design Automation Conference. Proceedings, pp. 370-375 . https://doi.org/10.1109/DATE.2012.6176499
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012
2012 Design, Automation & Test in Europe Conference & Exhibition
2012 Design, Automation & Test in Europe Conference & Exhibition, Mar 2012, Dresde, Germany. pp.370-375, ⟨10.1109/DATE.2012.6176499⟩

This paper surveys well-established/recent tools andtechniques developed for the design of rigorous embedded sys-tems. We will first survey U PPAAL and M ODEST, two toolscapable of dealing with both timed and stochastic aspects. Then,we will overview

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e4d89e74b656f074dd63e5deae06956
https://hdl.handle.net/2066/103781

Prediction of P300 BCI Aptitude in Severe Motor Impairment

Autor: Halder S., Ruf C.A., Furdea A., Pasqualotto E., De Massari D., van der Heiden L., Bogdan M., Rosenstiel W., Birbaumer N., Kubler A.

Publikováno v: PLoS ONE

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=ec_fp7_ict__::3ce1b3cbd4352fd7397b11310fa4ef5d

Beyond CMOS:Benchmarking for future technologies

Autor: Clivia M Sotomayor Torres, Ahopelto, J., Graef, M. W. M., Popp, R. M., Rosenstiel, W.

Publikováno v: Sotomayor Torres, C M, Ahopelto, J, Graef, M W M, Popp, R M & Rosenstiel, W 2012, Beyond CMOS : Benchmarking for future technologies . in Proceedings : Design, Automation and Test in Europe, DATE 2012 . IEEE Institute of Electrical and Electronic Engineers, pp. 129-134, 15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012. Dresden, Germany, 12-16 March 2012, 1/01/12 . https://doi.org/10.1109/DATE.2012.6176445
Scopus-Elsevier

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ddef3b3e8ec18e597ee50bda59aaaed5
https://cris.vtt.fi/en/publications/951ff610-a0fe-49b0-b6b2-609f4a2df247

Brain-Computer Interfaces for Communication in Paralysis: A Clinical Experimental Approach

Autor: Hinterberger, T., Nijboer, F., Kübler, A., Matuz, T., Furdea, A., Mochty, U., Jordan, M., Lal, T., Hill, J., Meilinger, J., Bensch, M., Tangermann, M., Widman, G., Elger, C., Rosenstiel, W., Schölkopf, B., Birbaumer, N.

Publikováno v: Toward Brain-Computer Interfacing
Neural Information Processing Series

An overview of different approaches to brain-computer interfaces (BCIs) developed in our laboratory is given. An important clinical application of BCIs is to enable communication or environmental control in severely paralyzed patients. The BCI “Tho

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1874::42a5c49b8e50a7a2dd3628842abb4560
https://hdl.handle.net/21.11116/0000-0003-E8E2-811858/00-001M-0000-0013-CBFD-6

Robust EEG Channel Selection Across Subjects for Brain Computer Interfaces

Autor: Schröder, M., Lal, T., Hinterberger, T., Bogdan, M., Hill, J., Birbaumer, N., Rosenstiel, W., Schölkopf, B., Ebrahimi, J.

Publikováno v: EURASIP Journal on Applied Signal Processing
EURASIP Journal on Advances in Signal Processing, Vol 2005, Iss 19, p 174746 (2005)
EURASIP Journal on Advances in Signal Processing, Vol 2005, Iss 19, Pp 3103-3112 (2005)

Most EEG-based brain-computer interface (BCI) paradigms come along with specific electrode positions, for example, for a visual-based BCI, electrode positions close to the primary visual cortex are used. For new BCI paradigms it is usually not known

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0bf78d108f5f70328eafbba12b1bba45
https://hdl.handle.net/11858/00-001M-0000-0013-D6BD-E