Massimiliano Menarini

27 papers A* 2A 3B 3C 1Misc 1Journal 2Unranked 14
YearRankTypeTitle / Venue / Authors
2019 — conf
Efficient Sparse Processing in Smart Home Applications.
SenSys-ML
Rishikanth Chandrasekaran, Yunhui Guo, Anthony Thomas, Massimiliano Menarini, Michael H. Ostertag, Yeseong Kim, Tajana Rosing
2018 A* conf
Inferring Loop Invariants through Gamification.
CHI
Dimitar Bounov, Anthony DeRossi, Massimiliano Menarini, William G. Griswold, Sorin Lerner
2017 B conf
Big Data Techniques for Public Health: A Case Study.
CHASE
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
2017 A* conf
Semantics-assisted code review: an efficient toolchain and a user study.
ASE
Massimiliano Menarini, Yan Yan, William G. Griswold
2014 — conf
A Comprehensive Resource Management Solution for Web-based Systems.
ICAC
Filippo Seracini, Massimiliano Menarini, Ingolf Krueger, Luciano Baresi, Sam Guinea, Giovanni Quattrocchi
2014 A conf
Mining Software Contracts for Software Evolution.
ICSME
Yan Yan, Massimiliano Menarini, William G. Griswold
2013 — conf
Green web services: Improving energy efficiency in data centers via workload predictions.
GREENS
Massimiliano Menarini, Filippo Seracini, Xiang Zhang, Tajana Rosing, Ingolf Krüger
2012 — —
Composing crosscutting concerns : a service-oriented view.
Massimiliano Menarini
2012 — conf
Dynamic Service Composition and Deployment with OpenRichServices.
Software Service and Application Engineering
Ingolf Krüger, Barry Demchak, Massimiliano Menarini
2012 B conf
Improving the development process for automotive diagnostics.
ICSSP
Ingolf H. Krüger, Massimiliano Menarini, Filippo Seracini, Maximilian Fuchs, Jens Kohl
2010 J jnl
Addressing the Integration Challenge for Avionics and Automotive Systems - From Components to Rich Services.
Proc. IEEE
Claudiu Farcas, Emilia Farcas, Ingolf Krüger, Massimiliano Menarini
2010 J jnl
Interaction-based Runtime Verification for Systems of Systems Integration.
J. Log. Comput.
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
2009 A conf
Model Composition Contracts.
MoDELS
Jon Oldevik, Massimiliano Menarini, Ingolf Krüger
2008 — conf
A Fault Tolerance Approach for Enterprise Applications.
IEEE SCC (2)
Vina Ermagan, Ingolf Krüger, Massimiliano Menarini
2008 — conf
A Service-Oriented Approach to Failure Management.
MBEES
Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini
2008 C conf
Aspect-oriented modeling approach to define routing in enterprise service bus architectures.
MiSE
Vina Ermagan, Ingolf H. Krüger, Massimiliano Menarini
2008 — conf
Rich services: addressing challenges of ultra-large-scale software-intensive systems.
ULSSIS@ICSE
Barry Demchak, Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini
2007 — conf
A Rich Services Approach to CoCoME.
CoCoME
Barry Demchak, Vina Ermagan, Emilia Farcas, To-ju Huang, Ingolf H. Krüger, Massimiliano Menarini
2007 — conf
Requirements Modeling for Embedded Realtime Systems.
Model-Based Engineering of Embedded Real-Time Systems
Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini
2007 A conf
Rich Services: The Integration Piece of the SOA Puzzle.
ICWS
Matthew Arrott, Barry Demchak, Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini
2007 B conf
Runtime Verification of Interactions: From MSCs to Aspects.
RV
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
2007 — conf
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems.
MBEES
Vina Ermagan, To-ju Huang, Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini, Praveen Moorthy
2006 — conf
Model-Based Failure Management for Distributed Reactive Systems.
Monterey Workshop
Vina Ermagan, Ingolf Krüger, Massimiliano Menarini
2006 — conf
Queries and Constraints: A Comprehensive Semantic Model for UML2.
MoDELS (Workshops)
Ingolf H. Krüger, Massimiliano Menarini
2006 Misc conf
Rapid systems of systems integration - combining an architecture-centric approach with enterprise service bus infrastructure.
IRI
Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, Stephen Pasco
2005 — conf
A Verification Approach for GALS Integration of Synchronous Components.
FMGALS@MEMOCODE
Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin
2005 — conf
Applying Service-Oriented Development to Complex Systems: BART Case Study.
Monterey Workshop
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini