| Multiple dispatch in practice R Muschevici, A Potanin, E Tempero, J Noble Acm sigplan notices 43 (10), 563-582, 2008 | 55 | 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 (5), 567-588, 2012 | 51 | 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 | 41 | 2010 |
| Feature petri nets R Muschevici, D Clarke, J Proença Proceedings of the 14th International Software Product Line Conference (SPLC …, 2010 | 39 | 2010 |
| 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 | 25 | 2011 |
| Feature Nets: behavioural modelling of software product lines R Muschevici, J Proença, D Clarke Software & Systems Modeling 15 (4), 1181-1206, 2016 | 21 | 2016 |
| 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 | 16 | 2012 |
| 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 | 14 | 2017 |
| 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 |
| 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 | 8 | 2016 |
| Towards incremental validation of railway systems R Hähnle, R Muschevici International Symposium on Leveraging Applications of Formal Methods, 433-446, 2016 | 6 | 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 | 6 | 2013 |
| 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 | 5 | 2017 |
| 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 |
| 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 |
| Modelling Diversity in Software Product Lines (Modellering van diversiteit in Software Product Lines) R Muschevici | | 2013 |
| Identifying and Analyzing Web Server Attacks B Endicott-Popovsky, P Komisarczuk, D Frincke, C Seifert, I Welch, ... IFIP International Federation for Information Processing 285 (1), 2010 | | 2010 |
Jose ProencaCISTER - ISEPVerified email at proenca.org
