Radu Muschevici

According to our database, Radu Muschevici authored at least 13 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

A Framework for Modelling Variable Microservices as Software Product Lines.

Moh. Afifun Naily, Maya Retno Ayu Setyautami, Radu Muschevici, Ade Azurat

Proceedings of the Software Engineering and Formal Methods, 2017

An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.

Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Feature Nets: behavioural modelling of software product lines.

Radu Muschevici, José Proença, Dave Clarke

Softw. Syst. Model., 2016

A UML profile for delta-oriented programming to support software product line engineering.

Maya R. A. Setyautami, Reiner Hähnle, Radu Muschevici, Ade Azurat

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Towards Incremental Validation of Railway Systems.

Reiner Hähnle, Radu Muschevici

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2013

Executable modelling of dynamic software product lines in the ABS language.

Radu Muschevici, Dave Clarke, José Proença

Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013

2012

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.

Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte

Int. J. Softw. Tools Technol. Transf., 2012

Delta modeling in practice: a Fredhopper case study.

Michiel Helvensteijn, Radu Muschevici, Peter Y. H. Wong

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

2011

Modular Modelling of Software Product Lines with Feature Nets.

Radu Muschevici, José Proença, Dave Clarke

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Feature Petri Nets.

Radu Muschevici, Dave Clarke, José Proença

Proceedings of the Software Product Lines - 14th International Conference, 2010

Variability Modelling in the ABS Language.

Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2008

Multiple dispatch in practice.

Radu Muschevici, Alex Potanin, Ewan D. Tempero, James Noble

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Identifying and Analyzing Web Server Attacks.

Christian Seifert, Barbara Endicott-Popovsky, Deborah A. Frincke, Peter Komisarczuk, Radu Muschevici, Ian Welch

Proceedings of the Advances in Digital Forensics IV, 2008