Publications
Export 17 results:
Author Title [ Type
] Year Filters: First Letter Of Last Name is M [Clear All Filters]
.
2015. Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC 2015. :74-83.
.
2016. Online and Compositional Learning of Controllers with Application to Floor Heating.. TACAS 2016. :244-259.
.
2016. Online and Compositional Learning of Controllers with Application to Floor Heating.. TACAS 2016. :244-259.
.
2015. Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015. :91-100.
.
2015. Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.
.
2015. Charge Dynamics and Spin Blockade in a Hybrid Double Quantum Dot in Silicon. Phys. Rev. X. 5:031024.
.
2015. Charge Dynamics and Spin Blockade in a Hybrid Double Quantum Dot in Silicon. Phys. Rev. X. 5:031024.
.
2015. Fundamental energy limits in the physics of nanomagnetic binary switches. Nano Energy. 15:313–320.
.
2015. Hybrid optical–electrical detection of donor electron spins with bound excitons in silicon. Nature Materials. (14)
.
2015. Hybrid optical–electrical detection of donor electron spins with bound excitons in silicon. Nature Materials. (14)
.
2016. On the infeasibility of analysing worst-case dynamic energy. ACM Transactions on Embedded Computing Systems (TECS).
.
2016. A novel absorptive/reflective solar concentrator for heat and electricity generation: An optical and thermal analysis. Energy Conversion Systems. 114
.
2014. Power consumption assessment in wireless sensor networks. ICT-Energy-Concepts Towards Zero-Power Information and Communication Technology.
.
2015. A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Science of Computer Programming. 113:236-260.
.
2016. Statistical and exact schedulability analysis of hierarchical scheduling systems. . Science of Computer Programming. 127:103-130.
.
2015. Towards zero-power ICT. Nanotechnology. 26:222001.
.
2015. Power and Energy Characterization of Finite Element Matrices on IBM Power.. ICT-Energy Letters . (10)

