March 8, 2015


IEEE Systems Journal (2020)

Journal of Control, Automation and Electrical Systems (2020)

Journal of Systems and Software (JSS 2018)

21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018).

IEEE Transactions on Reliability 2018

32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)

International Symposium on Software Testing and Analysis (ISSTA 2017)

IEEE Transactions on Computers

Design Automation for Embedded Systems – Springer

IV Brazilian Symposium on Computing System Engineering (SBESC, 2014)

40th Annual Conference of the IEEE Industrial Electronics Society (IECON, 2014)

31st Brazilian Symposium on Telecommunications (SBrT, 2013)

<<<<<<< HEAD ======= >>>>>>> Upload index.html