Massimiliano Menarini

According to our database, Massimiliano Menarini authored at least 27 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Efficient Sparse Processing in Smart Home Applications.

Rishikanth Chandrasekaran, Yunhui Guo, Anthony Thomas, Massimiliano Menarini, Michael H. Ostertag, Yeseong Kim, Tajana Rosing

Proceedings of the 1st Workshop on Machine Learning on Edge in Sensor Systems, 2019

2018

Inferring Loop Invariants through Gamification.

Dimitar Bounov, Anthony DeRossi, Massimiliano Menarini, William G. Griswold, Sorin Lerner

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017

Semantics-assisted code review: an efficient toolchain and a user study.

Massimiliano Menarini, Yan Yan, William G. Griswold

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

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, Yannis Papakonstantinou, Besa Smith, Konstantinos Zarifis, Steven H. Woolf, Kevin Patrick

Proceedings of the Second IEEE/ACM International Conference on Connected Health: Applications, 2017

2014

Mining Software Contracts for Software Evolution.

Yan Yan, Massimiliano Menarini, William G. Griswold

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

A Comprehensive Resource Management Solution for Web-based Systems.

Filippo Seracini, Massimiliano Menarini, Ingolf Krueger, Luciano Baresi, Sam Guinea, Giovanni Quattrocchi

Proceedings of the 11th International Conference on Autonomic Computing, 2014

2013

Green web services: Improving energy efficiency in data centers via workload predictions.

Massimiliano Menarini, Filippo Seracini, Xiang Zhang, Tajana Rosing, Ingolf Krüger

Proceedings of the 2nd International Workshop on Green and Sustainable Software, 2013

2012

Composing crosscutting concerns : a service-oriented view.

Massimiliano Menarini

PhD thesis, 2012

Improving the development process for automotive diagnostics.

Ingolf H. Krüger, Massimiliano Menarini, Filippo Seracini, Maximilian Fuchs, Jens Kohl

Proceedings of the 2012 International Conference on Software and System Process, 2012

Dynamic Service Composition and Deployment with OpenRichServices.

Ingolf Krüger, Barry Demchak, Massimiliano Menarini

Proceedings of the Software Service and Application Engineering, 2012

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

Interaction-based Runtime Verification for Systems of Systems Integration.

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini

J. Log. Comput., 2010

2009

Model Composition Contracts.

Jon Oldevik, Massimiliano Menarini, Ingolf Krüger

Proceedings of the Model Driven Engineering Languages and Systems, 2009

2008

A Service-Oriented Approach to Failure Management.

Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Aspect-oriented modeling approach to define routing in enterprise service bus architectures.

Vina Ermagan, Ingolf H. Krüger, Massimiliano Menarini

Proceedings of the International Workshop on Modeling in Software Engineering, 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

Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, 2008

A Fault Tolerance Approach for Enterprise Applications.

Vina Ermagan, Ingolf Krüger, Massimiliano Menarini

Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007

Runtime Verification of Interactions: From MSCs to Aspects.

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini

Proceedings of the Runtime Verification, 7th International Workshop, 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

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 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

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Requirements Modeling for Embedded Realtime Systems.

Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

A Rich Services Approach to CoCoME.

Barry Demchak, Vina Ermagan, Emilia Farcas, To-ju Huang, Ingolf H. Krüger, Massimiliano Menarini

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Model-Based Failure Management for Distributed Reactive Systems.

Vina Ermagan, Ingolf Krüger, Massimiliano Menarini

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Queries and Constraints: A Comprehensive Semantic Model for UML2.

Ingolf H. Krüger, Massimiliano Menarini

Proceedings of the Models in Software Engineering, 2006

Rapid systems of systems integration - combining an architecture-centric approach with enterprise service bus infrastructure.

Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, Stephen Pasco

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

2005

A Verification Approach for GALS Integration of Synchronous Components.

Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

Applying Service-Oriented Development to Complex Systems: BART Case Study.

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005