The space where software solutions take shape

Professional Experience (Addendum)

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, “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.
  • 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 SystemC”, 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.

** I agree to disclose my personal information according to the Italian legislative decree “Codice in materia di protezione dei dati personali” D.L. 196/2003 **