Author of the publication

An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.

, , , and . IFM, volume 10510 of Lecture Notes in Computer Science, page 111-126. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Executable modelling of dynamic software product lines in the ABS language., , and . FOSD, page 17-24. ACM, (2013)A UML profile for delta-oriented programming to support software product line engineering., , , and . SPLC, page 45-49. ACM, (2016)Towards Incremental Validation of Railway Systems., and . ISoLA (2), volume 9953 of Lecture Notes in Computer Science, page 433-446. (2016)Multiple dispatch in practice., , , and . OOPSLA, page 563-582. ACM, (2008)Feature Petri Nets., , and . SPLC Workshops, page 99-106. Lancaster University, (2010)Identifying and Analyzing Web Server Attacks., , , , , and . IFIP Int. Conf. Digital Forensics, volume 285 of IFIP, page 151-161. Springer, (2008)Feature Nets: behavioural modelling of software product lines., , and . Softw. Syst. Model., 15 (4): 1181-1206 (2016)Delta modeling in practice: a Fredhopper case study., , and . VaMoS, page 139-148. ACM, (2012)Modular Modelling of Software Product Lines with Feature Nets., , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 318-333. Springer, (2011)The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems., , , , , and . Int. J. Softw. Tools Technol. Transf., 14 (5): 567-588 (2012)