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

MLE+: a tool for integrated design and deployment of energy efficient building controls., , , and . BuildSys@SenSys, page 123-130. ACM, (2012)MLE+: design and deployment integration for energy-efficient building controls., , , and . BuildSys@SenSys, page 215-216. ACM, (2012)Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic., , , , and . NFM, volume 11460 of Lecture Notes in Computer Science, page 355-362. Springer, (2019)Scalable scheduling of energy control systems., and . EMSOFT, page 137-146. IEEE, (2015)Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks., and . EURASIP J. Wirel. Commun. Netw., (2010)Differentiable Safe Controller Design Through Control Barrier Functions., , , and . IEEE Control. Syst. Lett., (2023)MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks., , , , , , and . IEEE Trans. Wirel. Commun., 7 (1): 98-109 (2008)Towards Explainability in Modular Autonomous System Software., , , and . IV, page 1-8. IEEE, (2023)Deriving Spatial Policies for Overtaking Maneuvers with Autonomous Vehicles., , , and . COMSNETS, page 859-864. IEEE, (2022)The wireless control network: Monitoring for malicious behavior., , , , and . CDC, page 5979-5984. IEEE, (2010)