Author of the publication

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

Operational specification languages.. ACM Annual Conference, page 214-222. ACM, (1983)Internet Evolution and the Role of Software Engineering.. The Future of Software Engineering, page 152-172. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.FAQ sheet on feature interaction. (1999)http://www.research.att.com/~pamela/faq.html.Distributed Feature Composition: A Virtual Architecture for Telecommunications Services., and . IEEE Trans. Software Eng., 24 (10): 831-847 (1998)Locked or Not?: Mental Models of IoT Feature Interaction., and . CHI, page 2993-2997. ACM, (2017)Understanding SIP through Model-Checking.. IPTComm, volume 5310 of Lecture Notes in Computer Science, page 256-279. Springer, (2008)Classification of research efforts in requirements engineering.. RE, page 214-216. IEEE Computer Society, (1995)Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial).. FMOODS, volume 139 of IFIP Conference Proceedings, Kluwer, (1999)Specification and evaluation of transparent behavior for SIP back-to-back user agents., , , and . IPTComm, page 48-58. ACM, (2010)A Formal Model of Addressing for Interoperating Networks.. FM, volume 3582 of Lecture Notes in Computer Science, page 318-333. Springer, (2005)