Teaching Experience:

• Contract Professor of Software Engineering, the Seat of Mantova, University of Pavia (2007 to 2010).
• Contract Professor, Computer Science Department of Verona University. Courses: C, C++, C# & Java Programming Languages, Real Time Systems, XML & Related Technologies (2000 to 2006).
• Teacher/Trainer, European Space Agency. Courses: C, C++, C# & Java Programming Languages, Object Oriented Programming Techniques, Real Time Systems, XML & Related Technologies (1997 to 2004).

Selected Publications (complete list available upon request):

• Martignano, Damiani, Gui, Magalini, Nucciarelli, Santoro, “Homomorphic Encryption in Clinical Research: an Empirical Study on some Software Libraries”, Poster, 45th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, July 2023.
• Martignano, “Static Analysis for Ada, C/C++ and Python: Different Languages, Different Needs”, Ada User Journal, Volume 42, Number 3, December 2021.
• Martignano,  “A “New” C Static Analyzer: the Compiler“,  Ada User Journal, Volume 40, Number 2, June 2019.
• Martignano,  “C Guidelines Compliance and Deviations (the MISRA and CERT Cases)“,  Ada User Journal, Volume 39, Number 3, March 2018.
• Martignano, “Bounded Model Checking and Abstract Interpretation of Large C Codebases“, Proceedings of the 4th IEEE International Workshop on Metrology for Aerospace, Padua, Italy, June 2017.
• Martignano, Jung, Lehmann, Schmidt, “Source Code Analysis of Flight Software using a SonarQube based Code Quality Platform“,  Ada User Journal, Volume 36, Number 2, June 2015.
• Martignano, “Source code static analysis of the IXV OBSW (on board software) using a SonarQube based code quality platform”, TEC-ED & TEC-SW Final Presentation Days, December, 2014.
• Brauer, Kiernan, Martignano, Plassmeier, Wolff, “Software Assisted Authoring and Viewing of ISS Crew Procedures”, Acta Astronautica, Janaury 2007.
• Martignano, “Use of Speech Technologies in Space Operations”, IAC-06-B4.4.07, 57th International Astronautical Congress, Valencia, Spain, October 2006.
• Martignano, “PDAs in Space: on the prototyping of onboard PDA based applications and some related methodological findings”, Data Systems in Aerospace 2006, Berlin, Germany.
• Brauer, Kiernan, Martignano, Plassmeier, Wolff, “Automated execution of crew procedures and Combination of Flight + Ground Procedures”, IAC-05-B4.2.03, 56th International Astronautical Congress, Fukuoka, Japan, October 2005.
• Brauer, Kiernan, Martignano, Plassmeier, Wolff, “Software Assisted Authoring and Viewing of ISS Crew Procedures”, IAC-04-T.3.06, 55th International Astronautical Congress, Vancouver, Canada, October 2004.
• Brauer, Kiernan, Martignano, Plassmeier, Wolff, “Authoring and Viewing of Electronic ISS Crew Procedures”, ESA-STM-268, December 2003, ISBN 92-9092-366-0.
• Drago, Fummi, Martignano, “Using SystemC and NS-2 to Validate the Design of Embedded Network Devices”, 12th Great Lakes Symposium on VLSI, New York, The United States, April 2002.
• Drago, Fummi, Martignano, Martini, “Modeling Network Embedded Systems with NS-2 and System”, 4th European SystemC User Group Meeting, Copenhagen, Denmark, October 2001.
• Agliada, Fin, Fummi, Martignano, Pravadelli, “On the Reuse of VHDL Modules into SystemC Design”?, IEEE proc. of FDL 2001, Lyon, France, September 2001.
• Fin, Fummi, Martignano, Signoretto, “SystemC: A Homogeneous Environment to Test Embedded Systems“, CODES 2001, International Symposium on Hardware / Software Co-Design, Copenhagen, Denmark, April 2001.