Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Control Improvisation with Probabilistic Temporal Specifications., , , , , and . CoRR, (2015)Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications., , and . IEEE Trans. Services Computing, 9 (2): 174-185 (2016)Coordinated Actors for Reliable Self-adaptive Systems., , , , , , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 241-259. (2016)Machine Improvisation with Formal Specifications., , , , , and . ICMC, Michigan Publishing, (2014)Modeling uncertainty for middleware-based streaming power grid applications., , , and . MW4NextGen@Middleware, page 4:1-4:6. ACM, (2013)A particle filter framework for the estimation of heart rate from ECG signals corrupted by motion artifacts., , and . EMBC, page 6560-6565. IEEE, (2015)PTIDES model on a distributed testbed emulating smart grid real-time applications., , , , and . ISGT Europe, page 1-8. IEEE, (2011)Specification Mining for Machine Improvisation with Formal Specifications., , , , , , and . Computers in Entertainment, 14 (3): 6:1-6:20 (2016)System simulation from operational data., , , , , and . DAC, page 3:1-3:6. ACM, (2015)Systems Engineering for Industrial Cyber-Physical Systems Using Aspects., , , and . Proceedings of the IEEE, 104 (5): 997-1012 (2016)