"A General Practitioner or a Specialist for Your Infected Smartphone?", 36th IEEE Symposium on Security and Privacy , San Jose, CA, USA, IEEE Computer Society Technical Committee on Security and Privacy, 05/2015.
"MalAware: Effective and Efficient Run-time Mobile Malware Detector", The 14th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2016), Auckland, New Zealand, IEEE Computer Society Press, 08/2016.
"Time, Accuracy and Power Consumption Tradeoff in Mobile Malware Detection Systems", Computers & Security, vol. 82, pp. 314-328, 05/2019.
"Security Challenges for Hardware Designers of Mobile Systems", 2015 Mobile Systems Technologies Workshop (MST), May, 2015.
"UML-based Specifications of an Embedded System Oriented to HW/SW Partitioning: a Case Study", FDL'03, Frankfurt, pp. 226-237, September 23-26, 2003.
"System-level design of embedded applications by UML: the Wireless Meter Reading case", MSy2002 Workshop, Winterthur, pp. 181-187, October 3-4, 2002.
"Intelligent, low-power and low-cost measurement system for energy consumption", VECIMS 2003, Lugano, pp. 125-130, July 27-29, 2003.
"Executable Models and Verification from MARTE and SysML: a Comparative Study of Code Generation Capabilities", Proceedings of MARTE Workshop (DATE08), Munich, Germany, March, 2008.
"Ultra-low power optimizations for the IEEE 802.15.4 networking protocol", proceedings of MASS, October, 2007.
"Progettazione e valutazione di soluzioni wireless multi-hop per il monitoraggio ambientale", MIARIA: Techologia e Conoscenza al Servizio della Sicurezza, Missaglia, Italy, Bellavite, pp. 108-120, 2011.
"Power Modeling and Power Analysis for IEEE 802.15.4: a Concurrent State Machine Approach", Proceedings of CCNC 2007, Las Vegas, USA, January 11-13, 2007.
"Modelling the Power Cost of Security in Wireless Sensor Networks : the Case of 802.15.4", Proceedings of IEEE ICT08, Saint Petersburg, Russia, June, 2008.
"Model-based Design Space Exploration for RTES with SysML and MARTE", Proceedings of FDL08, Stuttgart, Germany, September, 2008.
"Code Generation from Statecharts: Simulation of Wireless Sensor Networks", Proceedings of DSD08, Parma, Italy, September, 2008.
"SC2: State Charts to System C: Automatic Executable Models Generation", proceedings FDL07, Barcelona, Spain, September, 2007.
"StateCharts to SystemC: a High Level Hardware Simulation Approach", Proceedings of GLSVLSI 2007, Stresa, Italy, March 11-13, 2007.
"Semi-Automated HW/SW Co-design for Embedded Systems: from MARTE Models to SystemC Simulators", FDL'09 Proceedings, Sophia-Antipolis, France, September 22-24, 2009.
"MDE Support for HW/SW Codesign: a UML-based Design Flow", Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's, Dordrecht, The Netherlands, Springer, pp. 19-37, 2010.
"HardwareScheduling Support in SMP Architecture", Design, Automation and Test in Europe(DATE), Nice, France, April 16-20, 2007.
"Flexible Power Modeling for Wireless Systems: Power Modeling and Optimization of two Bluetooth Implementations", WOWMOM '05: Proceedings of the Sixth IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks (WoWMoM'05), Washington, DC, USA, IEEE Computer Society, pp. 408–416, 2005.