Abu Naser Masud is a researcher at Computer Science and Software Engineering Division at Mälardalen University. He was a postdoctoral researcher at Mälardalen University (in the years 2013- 2015). He completed his PhD in computer science (awarded Apto Cum Laude) from Technical University of Madrid in 2013. He was one of the Erasmus Mundus scholars to complete European Masters in Computational Logic from Technical University of Madrid, Spain and University of Technology Dresden, Germany (in the years 2006-2009). He worked as an Assistant Professor at Khulna University, Bangladesh.
Current research interests include static and dynamic program analysis, program transformation, abstract interpretation, analysing high level design (UML), quantitative analysis of software resources.
Static Backward Program Slicing for Safety Critical Systems (Jun 2015) Husni Khanfar, Björn Lisper, Abu Naser Masud The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)
|APARTS - Advanced Program Analysis for Real-Time Systems||finished|
|Static Program Analysis for Complex Embedded systems||active|
|Automatically Reproducing Bugs from the Bug Report||available|