Model Driven Architecture – Foundations and Applications , Proceedings of the Fifth ECMDA-FA 2009, Lecture Notes in Computer Science, 5562 (Springer 2009) (Editor with R. Paige and A. Rensink).
Model Driven Architecture – Foundations and Applications , Proceedings of the Fourth ECMDA-FA 2008, Lecture Notes in Computer Science, 5095 (Springer 2008) (Editor with I. Schieferdecker).
Model Driven Architecture – Foundations and Applications , Proceedings of the First ECMDA-FA 2005, Lecture Notes in Computer Science, 3748 (Springer 2005) (Editor with D. Kreische).
Combinatorial Design Theory - A tribute to Haim Hanani , Annals of Discrete
Mathematics, 42 (1989) (Editor).
Service System Approaches: Conceptual Modeling Approaches for Services Science, (with R. Ferrario N. Guarino R. Trampus K. Laskey and G. R. Gangadharan) in Handbook of Service Description: USDL and its Methods, Chapter 4, Eds A. Barros and D. Oberle, Springer 2011.
A formal model for service delivery, (with G. Banavar, L. Ramaswamy, A. Zherebtsov) Chapter in Service Science Handbook (Editors P. Maglio, C. Kieleszewski, J. Spohrer), Springer 2010.
Software and hardware testing using combinatorial covering suites, in Graph Theory, Combinatorics and Algorithms - Interdisciplinary Applications (eds. M. C. Golumbic, I. B-A. Hartman) Springer 2005.
A Product Line of IT Service Delivery Simulation Models, (with A. Beloglazov, D. Banerjee, R. Buyya) J. Services Research (to appear).
Problems and Algorithms for Covering Arrays (with L. Raskin), in Discrete
Mathematics 284:149-156, 2004.
Using a model-based test generator to test for standards conformance (with E. Farchi, S. Pinter) IBM Systems Journal 41 (2002) 89-110.
Towards Trustworthiness Assurance in the Cloud, (with F. Di Cerbo, P. Bison, S. Keller, P. H. Meland, M. Moffie, N. G. Mohammadi, S. Paulus, S. Short) in Proceedings of CSP EU FORUM, 2013.
Conceptual Framework and Architecture for Privacy Audit, (with K. Kveler, K. Bock, P. Colombo, T. Domany, E. Ferrari) in Proceedings of Annual Privacy Forum, Limassol, 2012.
A selection and prioritisation framework for collaborative public service design, (with S. Koussouris, P. Kokkinakos, D. Panopoulos, D. Askounis, A. N. Jain, C. Zirpins, C. Georgeosopoulos) in Proceedings of 5th International Conference on Methodologies, Technologies and Tools enabling e-Government 2011.
Evaluating public service delivery in emerging markets, (with A. Sharma, G. R. Gangadharan, K. Kummamuru, J. B. Somashekara) in Proceedings of SOLI 2011.
Participatory service design in emerging markets, (with G. R. Gangadharan, A. N. Jain, N. Rajshree, A. Agrahari) in Proceedings of SOLI 2011.
Participatory design of public sector services, (with A. Jain, J. Ramanathan, A. Ramfos, et al.) in Proceedings of EGOVIS 2010, LNCS 6267, pp. 219-233.
A model for designing generic services, (with K. Dhanesha and A. N. Jain) in
Proceedings of SCC 2009.
A UML Simulator Based On a Generic Model Execution Engine, (with D. Dotan, and A. Kirshin) in Models in Software Engineering, LNCS 4364-2007 324-326.