Alysson Milanez

Research interests:

  • Formal methods
  • Software verification and evolution
  • Contract-based programs
  • Conformance checking
  • Tests

Here are my publications.

PhD Thesis

My thesis and links to the main results from it are available here.

Master Dissertation

My Master Dissertation and some details of my Master's work are available here.

Contact info

In order to contact me, please send a message to my personal email: