| Multiple dispatch in practice R Muschevici, A Potanin, E Tempero, J Noble Acm sigplan notices 43 (10), 563-582, 2008 | 72 | 2008 |
| 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 | 57 | 2012 |
| 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 | 56 | 2010 |
| Feature petri nets R Muschevici, D Clarke, J Proenca Proceedings of the 14th international software product line conference (SPLC …, 2010 | 55 | 2010 |
| Feature Nets: behavioural modelling of software product lines R Muschevici, J Proença, D Clarke Software & Systems Modeling 15 (4), 1181-1206, 2016 | 42 | 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 | 33 | 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 | 26 | 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 | 17 | 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 | 12 | 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 | 9 | 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 | 8 | 2017 |
| Towards incremental validation of railway systems R Hähnle, R Muschevici International Symposium on Leveraging Applications of Formal Methods, 433-446, 2016 | 7 | 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 | 7 | 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 | 2 | 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 | 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 |
| Modelling Diversity in Software Product Lines (Modellering van diversiteit in Software Product Lines) R Muschevici | | 2013 |
| 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 | | 2009 |
Jose ProencaCISTER, Faculty of Sciences, University or Porto, PortugalCorreu electrònic verificat a proenca.org
