Esperienza di Insegnamento:

• Professore a Contratto of Ingegneria del Software, Sede di Mantova, Università  di Pavia (dal 2007 al 2010).
• Professore a Contratto, Dipartimento di Informatica dell’Università  di Verona. Corsi: C, C++, C# & Java Programming Languages, Real Time Systems, XML & Related Technologies (dal 2000 al 2006).
• Teacher/Trainer, European Space Agency. Corsi: C, C++, C# & Java Programming Languages, Object Oriented Programming Techniques, Real Time Systems, XML & Related Technologies (dal 1997 al 2004).

Elenco Selezionato di Pubblicazioni (l’elenco completo è disponibile a richiesta):

• 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.