Research interests: Formal methods, testing, safety assessment	Alexandre Mota	Lecturer at Centre of Informatics (CIn-UFPE) E-mail        acm(at)cin.ufpe.br Telephone +55 81 2126-8430 (Ext 4336) Fax            +55 81 2126-8438 Office        C124 Address     Av. Jornalista Anibal Fernandes, s/n                 Cidade Universitária (Campus Recife)                 50.740-560 - Recife - PE                  Brazil
Short bio: Alexandre Mota obtained his PhD from the Centre of Informatics in 2001. Also in 2001, he won the Best PhD Thesis Award from the Brazilian Computer Society (SBC). From 2004 to 2008 he worked in a collaboration with Motorola Inc on Probabilistic Model Checking and Testing. Currently, he is working on a research project with Embraer on Model checking and Probabilistic Model Checking for Safety Assessment.
Publications (Select base year): None2010200920082007200620052004200320022001200019991998 Copyright Notice: The following material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without permission of the copyright holder.