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: 7.

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

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, pp. 17-24, DOI: 10.1145/2528265.2528266,
[Online-Edition: http://doi.acm.org/10.1145/2528265.2528266],
[Conference or Workshop Item]

Clarke, Dave and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Schafer, Ina and Schäfer, Jan and Schlatte, Rudolf and Wong, Peter Bernardo, M. and Issarny, V. (eds.) (2011):
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: LNCS, In: Formal Methods for Eternal Networked Software Systems, Springer-Verlag, p. 417, [Book Section]

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.
In: Lecture Notes in Computer Science, 7041, Springer, In: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, pp. 318-333, 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), pp. 99-106, [Online-Edition: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf],
[Conference or Workshop Item]

Clarke, Dave and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Puebla, Germán and Weitzel, Balthasar and Wong, Peter Botterweck, Goetz and Jarzabek, Stan and Kishi, Tomoji and Lee, Jaejoon and Livengood, Steve (eds.) (2010):
HATS - A Formal Software Product Line Engineering Methodology.
In: Proc. International Workshop on Formal Methods in Software Product Line Engineering, Jeju Island, South Corea, 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.
In: Lecture Notes in Computer Science, 6957, Springer, In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, pp. 204-224, 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]

This list was generated on Sat Dec 14 01:25:48 2019 CET.