School of Computer Science
 

Image of Radu Muschevici

Radu Muschevici

Assistant Professor,

Contact

Biography

Radu joined UNM's School of Computer Science in October 2019. Previously he was a post-doctoral researcher in Software Engineering at Technical University Darmstadt, Germany. Radu obtained his Ph.D. in Computer Science in 2013 in the DistriNet Research Group at KU Leuven, Belgium. His PhD research focused on novel modelling language features for supporting software variability, software product lines, feature models and dynamic software updating. Radu obtained his M.Sc. in Computer Science from Victoria University of Wellington, New Zealand in 2009 and his B.Sc. from Hochschule München, Germany in 2006. He has worked as a software engineer in industry for several years.

Expertise Summary

My core research interest is in designing language concepts for programming, specification and modelling that aim at making the software developing process more efficient and the resulting software safe and trustworthy.

Applications of my research include development of advanced software engineering tools such as compilers and program analysers. These are used as part of the software development life cycle, but also in other engineering disciplines where simulation and analysis of complex behaviour is of paramount importance, such as railway operations and synthetic biology.

I am further invested in building international cooperation in higher education, e.g. through research and teaching exchanges and the development of joint degree programs.

Teaching Summary

In the current academic year (2023-2024) I am teaching:

  • Software Quality Assurance (3rd year), Fall semester
  • Compilers (3rd year), Fall Semester, jointly with Dr. Tomas Maul
  • Software Engineering (1st year), Spring semester

In previous academic years I have also taught:

  • Software Engineering Management (postgraduate module), 2019-2020

Research Summary

Final Year Project topics (academic year 2023-2024)

If you already have a well-thought-out project idea in mind, I would be happy to discuss a potential supervision with you. I am interested in topics in the following areas:

  • Software Engineering
  • Programming Languages
  • Software Modelling and Simulation
  • Applications of Machine Learning to above topics

I am looking for topics in these areas that have a research component and novelty factor. The outcome should have scientific value and should be potentially publishable. Conversely, I am not interested to supervise topics that are purely about developing a software prototype (web app, mobile app, etc.) that replicates or repackages already existing ideas.

Recent Publications

  • A. C. ACHDA, A. AZURAT, R. MUSCHEVICI and M. R. A. SETYAUTAMI, 2017. Extending the automated feature model analysis capability of the abstract behavioral specification In: icacsis. 453-458
  • FERRUCCIO DAMIANI, MICHAEL LIENHARDT, RADU MUSCHEVICI and INA SCHAEFER, 2017. An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs In: ifm. 111-126
  • NAILY, MOH. AFIFUN, SETYAUTAMI, MAYA RETNO AYU, MUSCHEVICI, RADU and AZURAT, ADE, 2017. A Framework for Modelling Variable Microservices as Software Product Lines In: sefm. 246-261
  • HÄHNLE, REINER and MUSCHEVICI, RADU, 2016. Towards Incremental Validation of Railway Systems In: isola. 433-446
  • A. C. ACHDA, A. AZURAT, R. MUSCHEVICI and M. R. A. SETYAUTAMI, 2017. Extending the automated feature model analysis capability of the abstract behavioral specification In: icacsis. 453-458
  • FERRUCCIO DAMIANI, MICHAEL LIENHARDT, RADU MUSCHEVICI and INA SCHAEFER, 2017. An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs In: ifm. 111-126
  • NAILY, MOH. AFIFUN, SETYAUTAMI, MAYA RETNO AYU, MUSCHEVICI, RADU and AZURAT, ADE, 2017. A Framework for Modelling Variable Microservices as Software Product Lines In: sefm. 246-261
  • HÄHNLE, REINER and MUSCHEVICI, RADU, 2016. Towards Incremental Validation of Railway Systems In: isola. 433-446
  • MAYA R. A. SETYAUTAMI, ADE AZURAT, REINER HÄHNLE and RADU MUSCHEVICI, 2016. A UML Profile for Delta-Oriented Programming to Support Software Product Line Engineering In: splc.
  • MAYA R. A. SETYAUTAMI, REINER HÄHNLE, RADU MUSCHEVICI and ADE AZURAT, 2016. A UML Profile for Delta-Oriented Programming to Support Software Product Line Engineering
  • TRIANDO, RADU MUSCHEVICI and ADE AZURAT, 2016. Incremental Product Configuration in Software Product Line Engineering In: icacsis.
  • RADU MUSCHEVICI, 2015. Dynamic, Auto-adaptive Software Product Lines using the ABS Language In: icacsis. 1-6
  • MUSCHEVICI, RADU, PROENC CA, JOSÉ and CLARKE, DAVE, 2015. Feature Nets, Behavioural modelling of software product lines sosym. Special Issue on Integrated Formal Methods, 1-26
  • MUSCHEVICI, RADU, CLARKE, DAVE and PROENCCA, JOS'E, 2013. Executable Modelling of Dynamic Software Product Lines in the ABS Language In: fosd. 17-24
  • MADS DAM, ANDREAS LUNDBLAD, RADU MUSCHEVICI, KARL PALMSKOG and THIAGO HENRIQUE BURGOS DE OLIVEIRA, 2013. Autonomous Evolving Systems
  • MADS DAM, EINAR BROCH JOHNSEN, MICHIEL HELVENSTEIJN, RADU MUSCHEVICI, RUDOLF SCHLATTE and LIZETH TAPIA, 2013. Evolvability Final Report
  • REINER HÄHNLE, ELVIRA ALBERT, EINAR BROCH JOHNSEN and RADU MUSCHEVICI, 2013. Abstract Behavioral Modelling of Variant-Rich, Concurrent Software Systems
  • RADU MUSCHEVICI, 2013. Modelling Diversity in Software Product Lines
  • WONG, PETER Y.H., ALBERT, ELVIRA, MUSCHEVICI, RADU, PROENC CA, JOSÉ, SCHÄFER, JAN and SCHLATTE, RUDOLF, 2012. The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems sttt. 14, 567-588
  • MICHIEL HELVENSTEIJN, RADU MUSCHEVICI and PETER Y. H. WONG, 2012. Delta modeling in practice: a Fredhopper case study In: vamos. 139-148

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit:
www.nottingham.ac.uk/enquire