"A Friend or a Foe? Detecting Malware Using Memory and CPU Features",
SECRYPT 2016, 13th International Conference on Security and Cryptography, Lisbon, Portugal, SciTePress Digital Library, 07/2016.
"Risk Assessment of Atrial Fibrillation: a Failure Prediction Approach",
41st Computing in Cardiology Conference (CinC), Cambridge, MA, USA, IEEE Computer Society, 09/2014.
"What Does the Memory Say? Towards the most indicative features for efficient malware detection",
CCNC 2016, The 13th Annual IEEE Consumer Communications & Networking Conference, Las Vegas, NV, USA, IEEE Communication Society, 01/2016.
"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.
"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.
"Ultra-low power optimizations for the IEEE 802.15.4 networking protocol",
proceedings of MASS, October, 2007.
"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.
"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.
"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.
"Executable Models and Verification from MARTE and SysML: a Comparative Study of Code Generation Capabilities",
Proceedings of MARTE Workshop (DATE08), Munich, Germany, March, 2008.
"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.
"The ALaRI Intranet: a Remote Collaboration Platform for a Worldwide Learning and Research Network",
World Conference on Educational Multimedia, Hypermedia and Telecommunications 04 (ED-MEDIA 04), Lugano, Switzerland, AACE Press, pp. 5042-5047, 2004.