TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 14.

Damiani, Ferruccio and Lienhardt, Michael and Muschevici, Radu and Schaefer, Ina
Polikarpova, Nadia and Schneider, Steve (eds.) (2017):
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.
Springer, In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, In: Lecture Notes in Computer Science, 10510, DOI: 10.1007/978-3-319-66845-1₈,
[Online-Edition: https://doi.org/10.1007/978-3-319-66845-1_8],
[Conference or Workshop Item]

Naily, Moh. Afifun and Setyautami, Maya Retno Ayu and Muschevici, Radu and Azurat, Ade
Cerone, Antonio and Roveri, Marco (eds.) (2017):
A Framework for Modelling Variable Microservices as Software Product Lines.
Springer, In: Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, In: Lecture Notes in Computer Science, 10729, DOI: 10.1007/978-3-319-74781-1₁₈,
[Online-Edition: https://doi.org/10.1007/978-3-319-74781-1_18],
[Conference or Workshop Item]

Setyautami, Maya and Hähnle, Reiner and Muschevici, Radu and Azurat, Ade (2016):
A UML Profile for Delta-Oriented Programming to Support Software Product Line Engineering.
[Report]

Muschevici, Radu and Proenca, Jose and Clarke, Dave (2016):
Feature Nets: behavioural modelling of software product lines.
In: Software and System Modeling, pp. 1181-1206, 15, (4), DOI: 10.1007/s10270-015-0475-z,
[Online-Edition: https://doi.org/10.1007/s10270-015-0475-z],
[Article]

Hähnle, Reiner and Muschevici, Radu
Margaria, Tiziana and Steffen, Bernhard (eds.) (2016):
Towards Incremental Validation of Railway Systems.
In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, In: Lecture Notes in Computer Science, 9953, DOI: 10.1007/978-3-319-47169-3₃₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-47169-3_36],
[Conference or Workshop Item]

Setyautami, Maya R. A. and Hähnle, Reiner and Muschevici, Radu and Azurat, Ade
Mei, Hong (ed.) (2016):
A UML profile for delta-oriented programming to support software product line engineering.
ACM, In: Proceedings of the 20th International Systems and Software Product Line Conference, SPLC 2016, Beijing, China, September 16-23, 2016, DOI: 10.1145/2934466.2934479,
[Online-Edition: http://doi.acm.org/10.1145/2934466.2934479],
[Conference or Workshop Item]

Muschevici, Radu and Clarke, Dave and Proenca, Jose
Classen, Andreas and Siegmund, Norbert (eds.) (2013):
Executable modelling of dynamic software product lines in the ABS language.
ACM, In: 5th International Workshop on Feature-Oriented Software Development, FOSD '13, Indianapolis, IN, USA, October 26, 2013, DOI: 10.1145/2528265.2528266,
[Online-Edition: http://doi.acm.org/10.1145/2528265.2528266],
[Conference or Workshop Item]

Wong, Peter Y. H. and Albert, Elvira and Muschevici, Radu and Proenca, Jose and Schäfer, Jan and Schlatte, Rudolf (2012):
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
In: STTT, pp. 567-588, 14, (5), DOI: 10.1007/s10009-012-0250-1,
[Online-Edition: https://doi.org/10.1007/s10009-012-0250-1],
[Article]

Helvensteijn, Michiel and Muschevici, Radu and Wong, Peter Y. H.
Eisenecker, Ulrich W. and Apel, Sven and Gnesi, Stefania (eds.) (2012):
Delta modeling in practice: a Fredhopper case study.
ACM, In: Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings, DOI: 10.1145/2110147.2110163,
[Online-Edition: http://doi.acm.org/10.1145/2110147.2110163],
[Conference or Workshop Item]

Muschevici, Radu and Proenca, Jose and Clarke, Dave
Barthe, Gilles and Pardo, Alberto and Schneider, Gerardo (eds.) (2011):
Modular Modelling of Software Product Lines with Feature Nets.
Springer, In: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, In: Lecture Notes in Computer Science, 7041, DOI: 10.1007/978-3-642-24690-6₂₂,
[Online-Edition: https://doi.org/10.1007/978-3-642-24690-6_22],
[Conference or Workshop Item]

Muschevici, Radu and Clarke, Dave and Proenca, Jose
Botterweck, Goetz and Jarzabek, Stan and Kishi, Tomoji and Lee, Jaejoon and Livengood, Steve (eds.) (2010):
Feature Petri Nets.
Lancaster University, In: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), [Online-Edition: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf],
[Conference or Workshop Item]

Clarke, Dave and Muschevici, Radu and Proenca, Jose and Schaefer, Ina and Schlatte, Rudolf
Aichernig, Bernhard K. and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2010):
Variability Modelling in the ABS Language.
Springer, In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, In: Lecture Notes in Computer Science, 6957, DOI: 10.1007/978-3-642-25271-6₁₁,
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_11],
[Conference or Workshop Item]

Seifert, Christian and Endicott-Popovsky, Barbara and Frincke, Deborah A. and Komisarczuk, Peter and Muschevici, Radu and Welch, Ian
Ray, Indrajit and Shenoi, Sujeet (eds.) (2008):
Identifying and Analyzing Web Server Attacks.
Springer, In: Advances in Digital Forensics IV, Fourth Annual IFIP WG 11.9 Conference on Digital Forensics, Kyoto University, Kyoto, Japan, January 28-30, 2008, In: IFIP, 285, DOI: 10.1007/978-0-387-84927-0₁₃,
[Online-Edition: https://doi.org/10.1007/978-0-387-84927-0_13],
[Conference or Workshop Item]

Muschevici, Radu and Potanin, Alex and Tempero, Ewan D. and Noble, James
Harris, Gail E. (ed.) (2008):
Multiple dispatch in practice.
ACM, In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, DOI: 10.1145/1449764.1449808,
[Online-Edition: http://doi.acm.org/10.1145/1449764.1449808],
[Conference or Workshop Item]

This list was generated on Sat Aug 24 01:09:22 2019 CEST.