Doina Bucur

dr.

20062019
If you made any changes in Pure these will be visible here soon.

Research Output 2006 2019

Filter
Chapter
2013
1 Citation (Scopus)

Temporal Monitors for TinyOS

Bucur, D., 2013, Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Qadeer, S. & Tasiran, S. (eds.). Berlin, Heidelberg: Springer, p. 96-109 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Embedded systems
Visibility
Data storage equipment
2008
7 Citations (Scopus)

Secure Data Flow in a Calculus for Context Awareness

Bucur, D. & Nielsen, M., 2008, Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Degano, P., De Nicola, R. & Meseguer, J. (eds.). Berlin, Heidelberg: Springer, p. 439-456 18 p. (Lecture Notes in Computer Science; vol. 5065).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Mobile agents
Ubiquitous computing
Security systems
Access control