Radu Muschevici
Radu Muschevici
Verified email at
Cited by
Cited by
Multiple dispatch in practice
R Muschevici, A Potanin, E Tempero, J Noble
Acm sigplan notices 43 (10), 563-582, 2008
Variability modelling in the ABS language
D Clarke, R Muschevici, J Proença, I Schaefer, R Schlatte
International Symposium on Formal Methods for Components and Objects, 204-224, 2010
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
PYH Wong, E Albert, R Muschevici, J Proença, J Schäfer, R Schlatte
International Journal on Software Tools for Technology Transfer 14, 567-588, 2012
Feature petri nets
R Muschevici, D Clarke, J Proenca
Proceedings of the 14th international software product line conference (SPLC …, 2010
Feature nets: behavioural modelling of software product lines
R Muschevici, J Proença, D Clarke
Software & Systems Modeling 15, 1181-1206, 2016
Modular modelling of software product lines with feature nets
R Muschevici, J Proença, D Clarke
International Conference on Software Engineering and Formal Methods, 318-333, 2011
A framework for modelling variable microservices as software product lines
MA Naily, MRA Setyautami, R Muschevici, A Azurat
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018
Delta modeling in practice: a Fredhopper case study
M Helvensteijn, R Muschevici, PYH Wong
Proceedings of the 6th International Workshop on Variability Modeling of …, 2012
A UML profile for delta-oriented programming to support software product line engineering
MRA Setyautami, R Hähnle, R Muschevici, A Azurat
Proceedings of the 20th International Systems and Software Product Line …, 2016
Justifying the need for forensically ready protocols: A case study of identifying malicious web servers using client honeypots
C Seifert, B Endicott-Popovsky, DA Frincke, P Komisarczuk, R Muschevici, ...
9 International Conference on Digital Forensics, 2008
An extension of the ABS toolchain with a mechanism for type checking SPLs
F Damiani, M Lienhardt, R Muschevici, I Schaefer
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
Towards incremental validation of railway systems
R Hähnle, R Muschevici
International Symposium on Leveraging Applications of Formal Methods, 433-446, 2016
Executable modelling of dynamic software product lines in the ABS language
R Muschevici, D Clarke, J Proença
Proceedings of the 5th International Workshop on Feature-Oriented Software …, 2013
Feature grouping using the abstract behavioral specification language
R Mauliadi, A Azurat, R Muschevici, MRA Setyautami
2017 International Conference on Advanced Computer Science and Information …, 2017
HATS: Highly Adaptable and Trustworthy Software using Formal Models
R Hähnle, M Dam, R Muschevici, I Schaefer, J Schäfer
Proceedings 4th International Symposium On Leveraging Applications of Formal …, 0
Extending the automated feature model analysis capability of the abstract behavioral specification
AC Achda, A Azurat, R Muschevici, MRA Setyautami
2017 International Conference on Advanced Computer Science and Information …, 2017
Incremental product configuration in software product line engineering
R Muschevici, A Azurat
2016 International Conference on Advanced Computer Science and Information …, 2016
Dynamic, auto-adaptive software product lines using the ABS language
R Muschevici
2015 International Conference on Advanced Computer Science and Information …, 2015
Modelling Diversity in Software Product Lines (Modellering van diversiteit in Software Product Lines)
R Muschevici
Multiple Dispatch in Practice: A Thesis Submitted to the Victoria University of Wellington in Fulfilment of the Requirements for the Degree of Master of Science in Computer Science
R Muschevici
Victoria University of Wellington, 2009
The system can't perform the operation now. Try again later.
Articles 1–20