On the Power of Statistical Model Checking. ISoLA 2016. :843-862.. 2016.
Probing the limits of gate-based charge sensing. Nature Communications. (6). 2015.
Prospects for SiGe thermoelectric generators. Solid-State Electronics. 98:70-74.. 2014.
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015. :91-100.. 2015.
Quantum Dot Made in Metal Oxide Silicon-Nanowire Field Effect Transistor Working at Room Temperature.. Nano Letters. 15:2958-2964.. 2015.
Quantum dot ternary-valued full-adder: Logic synthesis by a multiobjective design optimization based on a genetic algorithm. Journal of Applied Physics. 116. 2014.
Radio-frequency dispersive detection of donor atoms in a field-effect transistor. Applied Physics Letters. 104. 2014.
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. 28th International Conference Computer Aided Verification - CAV 2016. :261-268.. 2016.
Reachability Problems. 10th International Workshop, RP 2016 / Lecture Notes in Computer Science 9899.. 2016.
Reconfigurable Boolean Logic Using Magnetic Single-Electron Transistors. PLoS ONE. 10:e0125142.. 2015.
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Science of Computer Programming. 113:236-260.. 2015.
Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.. 2015.
Solving non-linear Horn clauses using a linear Horn clause solver. Electronic Proceedings in Theoretical Computer Science. 219:33-48.. 2016.
A Source-level Energy Optimization Framework for Mobile Applications. IEEE International Working Conference on Source Code Analysis and Manipulation.. 2016.
Statistical and exact schedulability analysis of hierarchical scheduling systems. . Science of Computer Programming. 127:103-130.. 2016.
Sub-kBT micro-electromechanical irreversible logic gate. Nature Communications. 7. 2016.
Thermoelectric cross-plane properties on p- and n-Ge/SixGe1-x superlattices. Thin Solid Films. 602. 2016.
Thin SiGe virtual substrates for Ge heterostructures integration on silicon. Journal of Applied Physics. 115(9):093502.. 2014.
Towards zero-power ICT. Nanotechnology. 26:222001.. 2015.
Trigeneous Platforms for Energy Efficient Computing of HPC Applications. 22nd annual IEEE International Conference on High Performance Computing (HiPC 2015).. 2015.
A tunable cache for approximate computing. Nanoscale Architectures (NANOARCH), 2014 IEEE/ACM International Symposium on.. 2014.
Ultra-Low Power Estimation of Heart Rate Under Physical Activity Using a Wearable Photoplethysmographic System. 19th IEEE/Euromicro Conference On Digital System Design (DSD 2016). 1:553-560.. 2016.
The Use of Silicon-Germanium Superlattices in Thermoelectric Devices and Microfabricated Generators. ECS Transactions. 75(8). 2016.
VPM: Virtual Power Meter Tool for Low-Power Many-Core/Heterogeneous Data Center Prototypes. 33rd IEEE International Conference on Computer Design (ICCD 2015).. 2015.