Applying Service-Oriented Development to Complex Systems: BART Case Study. - Ingolf H. Krüger; Michael Meisinger; Massimiliano Menarini (Monterey Workshop, 2005)

A Verification Approach for GALS Integration of Synchronous Components. - Frederic Doucet; Massimiliano Menarini; Ingolf H. Krüger; Rajesh K. Gupta 001; Jean-Pierre Talpin (FMGALS@MEMOCODE, 2005)

Rapid systems of systems integration - combining an architecture-centric approach with enterprise service bus infrastructure. - Ingolf Krüger; Michael Meisinger; Massimiliano Menarini; Stephen Pasco (IRI, 2006)

Queries and Constraints: A Comprehensive Semantic Model for UML2. - Ingolf H. Krüger; Massimiliano Menarini (MoDELS (Workshops), 2006)

Model-Based Failure Management for Distributed Reactive Systems. - Vina Ermagan; Ingolf Krüger; Massimiliano Menarini (Monterey Workshop, 2006)

A Rich Services Approach to CoCoME. - Barry Demchak; Vina Ermagan; Emilia Farcas; To-ju Huang; Ingolf H. Krüger; Massimiliano Menarini (CoCoME, 2007)

Requirements Modeling for Embedded Realtime Systems. - Ingolf Krüger; Claudiu Farcas; Emilia Farcas; Massimiliano Menarini (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Rich Services: The Integration Piece of the SOA Puzzle. - Matthew Arrott; Barry Demchak; Vina Ermagan; Claudiu Farcas; Emilia Farcas; Ingolf H. Krüger; Massimiliano Menarini (ICWS, 2007)

Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems. - Vina Ermagan; To-ju Huang; Ingolf H. Krüger; Michael Meisinger; Massimiliano Menarini; Praveen Moorthy (MBEES, 2007)

Runtime Verification of Interactions: From MSCs to Aspects. - Ingolf H. Krüger; Michael Meisinger; Massimiliano Menarini (RV, 2007)

A Fault Tolerance Approach for Enterprise Applications. - Vina Ermagan; Ingolf Krüger; Massimiliano Menarini (IEEE SCC (2), 2008)

Rich services: addressing challenges of ultra-large-scale software-intensive systems. - Barry Demchak; Vina Ermagan; Claudiu Farcas; Emilia Farcas; Ingolf H. Krüger; Massimiliano Menarini (ULSSIS@ICSE, 2008)

Aspect-oriented modeling approach to define routing in enterprise service bus architectures. - Vina Ermagan; Ingolf H. Krüger; Massimiliano Menarini (MiSE, 2008)

A Service-Oriented Approach to Failure Management. - Vina Ermagan; Claudiu Farcas; Emilia Farcas; Ingolf H. Krüger; Massimiliano Menarini (MBEES, 2008)

Model Composition Contracts. - Jon Oldevik; Massimiliano Menarini; Ingolf Krüger (MoDELS, 2009)

Interaction-based Runtime Verification for Systems of Systems Integration. - Ingolf H. Krüger; Michael Meisinger; Massimiliano Menarini (J. Log. Comput., 2010)

Addressing the Integration Challenge for Avionics and Automotive Systems - From Components to Rich Services. - Claudiu Farcas; Emilia Farcas; Ingolf Krüger; Massimiliano Menarini (Proc. IEEE, 2010)

Dynamic Service Composition and Deployment with OpenRichServices. - Ingolf Krüger; Barry Demchak; Massimiliano Menarini (Software Service and Application Engineering, 2012)

Improving the development process for automotive diagnostics. - Ingolf H. Krüger; Massimiliano Menarini; Filippo Seracini; Maximilian Fuchs; Jens Kohl (ICSSP, 2012)

Composing crosscutting concerns : a service-oriented view. - Massimiliano Menarini (2012)

Green web services: Improving energy efficiency in data centers via workload predictions. - Massimiliano Menarini; Filippo Seracini; Xiang Zhang; Tajana Rosing; Ingolf Krüger (GREENS, 2013)

A Comprehensive Resource Management Solution for Web-based Systems. - Filippo Seracini; Massimiliano Menarini; Ingolf Krueger; Luciano Baresi; Sam Guinea; Giovanni Quattrocchi (ICAC, 2014)

Mining Software Contracts for Software Evolution. - Yan Yan 021; Massimiliano Menarini; William G. Griswold (ICSME, 2014)

Big Data Techniques for Public Health: A Case Study. - Yannis Katsis; Natasha Balac; Derek Chapman; Madhur Kapoor; Jessica Block; William G. Griswold; Jeannie Huang; Nikos Koulouris; Massimiliano Menarini; Viswanath Nandigam; Mandy Ngo; Kian Win Ong; et al. (CHASE, 2017)

Semantics-assisted code review: an efficient toolchain and a user study. - Massimiliano Menarini; Yan Yan 021; William G. Griswold (ASE, 2017)

Inferring Loop Invariants through Gamification. - Dimitar Bounov; Anthony DeRossi; Massimiliano Menarini; William G. Griswold; Sorin Lerner (CHI, 2018)

Efficient Sparse Processing in Smart Home Applications. - Rishikanth Chandrasekaran; Yunhui Guo; Anthony Thomas; Massimiliano Menarini; Michael H. Ostertag; Yeseong Kim; Tajana Rosing (SenSys-ML, 2019)