Radu Muschevici
Radu Muschevici
Verified email at cs.tu-darmstadt.de
Title
Cited by
Cited by
Year
Multiple dispatch in practice
R Muschevici, A Potanin, E Tempero, J Noble
Acm sigplan notices 43 (10), 563-582, 2008
552008
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 (5), 567-588, 2012
482012
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
402010
Feature petri nets
R Muschevici, D Clarke, J Proença
Proceedings of the 14th International Software Product Line Conference (SPLC …, 2010
372010
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
272011
Feature nets: behavioural modelling of software product lines
R Muschevici, J Proença, D Clarke
Software & Systems Modeling 15 (4), 1181-1206, 2016
202016
Delta modeling in practice: a Fredhopper case study
M Helvensteijn, R Muschevici, PYH Wong
Proceedings of the Sixth International Workshop on Variability Modeling of …, 2012
162012
A framework for modelling variable microservices as software product lines
MA Naily, MRA Setyautami, R Muschevici, A Azurat
International Conference on Software Engineering and Formal Methods, 246-261, 2017
112017
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
72016
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
72008
Towards incremental validation of railway systems
R Hähnle, R Muschevici
International Symposium on Leveraging Applications of Formal Methods, 433-446, 2016
62016
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
62013
An extension of the ABS toolchain with a mechanism for type checking SPLs
F Damiani, M Lienhardt, R Muschevici, I Schaefer
International Conference on Integrated Formal Methods, 111-126, 2017
52017
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
22017
Multiple dispatch in practice
R Muschevici
Victoria University of Wellington, 2009
12009
HATS: Highly Adaptable and Trustworthy Software using Formal Models
R Hähnle, M Dam, R Muschevici, I Schaefer, J Schäfer
International Symposium onFormal Methods for Components and Objects; October23, 2008
12008
MetaABS and dynamic model updates
R Muschevici, J Proença, D Clarke
Submitted for publication, 0
1
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
2017
Incremental product configuration in software product line engineering
R Muschevici, A Azurat
2016 International Conference on Advanced Computer Science and Information …, 2016
2016
Dynamic, auto-adaptive software product lines using the ABS language
R Muschevici
2015 International Conference on Advanced Computer Science and Information …, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20