![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Massimiliano Menarini
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [c24]Rishikanth Chandrasekaran, Yunhui Guo, Anthony Thomas, Massimiliano Menarini, Michael H. Ostertag, Yeseong Kim, Tajana Rosing:
Efficient Sparse Processing in Smart Home Applications. SenSys-ML 2019: 19-24 - 2018
- [c23]Dimitar Bounov, Anthony DeRossi, Massimiliano Menarini, William G. Griswold
, Sorin Lerner:
Inferring Loop Invariants through Gamification. CHI 2018: 231 - 2017
- [c22]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:
Big Data Techniques for Public Health: A Case Study. CHASE 2017: 222-231 - [c21]Massimiliano Menarini, Yan Yan, William G. Griswold
:
Semantics-assisted code review: an efficient toolchain and a user study. ASE 2017: 554-565 - 2014
- [c20]Filippo Seracini, Massimiliano Menarini, Ingolf Krueger, Luciano Baresi, Sam Guinea, Giovanni Quattrocchi:
A Comprehensive Resource Management Solution for Web-based Systems. ICAC 2014: 233-239 - [c19]Yan Yan, Massimiliano Menarini, William G. Griswold
:
Mining Software Contracts for Software Evolution. ICSME 2014: 471-475 - 2013
- [c18]Massimiliano Menarini, Filippo Seracini, Xiang Zhang, Tajana Rosing, Ingolf Krüger:
Green web services: Improving energy efficiency in data centers via workload predictions. GREENS 2013: 8-15 - 2012
- [b1]Massimiliano Menarini:
Composing crosscutting concerns : a service-oriented view. University of California, San Diego, USA, 2012 - [c17]Ingolf Krüger, Barry Demchak, Massimiliano Menarini:
Dynamic Service Composition and Deployment with OpenRichServices. Software Service and Application Engineering 2012: 120-146 - [c16]Ingolf H. Krüger, Massimiliano Menarini, Filippo Seracini, Maximilian Fuchs, Jens Kohl:
Improving the development process for automotive diagnostics. ICSSP 2012: 63-67 - 2010
- [j2]Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Interaction-based Runtime Verification for Systems of Systems Integration. J. Log. Comput. 20(3): 725-742 (2010) - [j1]Claudiu Farcas, Emilia Farcas
, Ingolf Krüger, Massimiliano Menarini:
Addressing the Integration Challenge for Avionics and Automotive Systems - From Components to Rich Services. Proc. IEEE 98(4): 562-583 (2010)
2000 – 2009
- 2009
- [c15]Jon Oldevik, Massimiliano Menarini, Ingolf Krüger:
Model Composition Contracts. MoDELS 2009: 531-545 - 2008
- [c14]Vina Ermagan, Ingolf Krüger, Massimiliano Menarini:
A Fault Tolerance Approach for Enterprise Applications. IEEE SCC (2) 2008: 63-72 - [c13]Vina Ermagan, Ingolf H. Krüger, Massimiliano Menarini:
Aspect-oriented modeling approach to define routing in enterprise service bus architectures. MiSE 2008: 15-20 - [c12]Barry Demchak, Vina Ermagan, Claudiu Farcas, Emilia Farcas
, Ingolf H. Krüger, Massimiliano Menarini:
Rich services: addressing challenges of ultra-large-scale software-intensive systems. ULSSIS@ICSE 2008: 29-32 - [c11]Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini:
A Service-Oriented Approach to Failure Management. MBEES 2008: 102-116 - 2007
- [c10]Barry Demchak, Vina Ermagan, Emilia Farcas, To-ju Huang, Ingolf H. Krüger, Massimiliano Menarini:
A Rich Services Approach to CoCoME. CoCoME 2007: 85-115 - [c9]Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini:
Requirements Modeling for Embedded Realtime Systems. Model-Based Engineering of Embedded Real-Time Systems 2007: 155-199 - [c8]Matthew Arrott, Barry Demchak, Vina Ermagan, Claudiu Farcas, Emilia Farcas
, Ingolf H. Krüger, Massimiliano Menarini:
Rich Services: The Integration Piece of the SOA Puzzle. ICWS 2007: 176-183 - [c7]Vina Ermagan, To-ju Huang, Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini, Praveen Moorthy:
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems. MBEES 2007: 1-24 - [c6]Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Runtime Verification of Interactions: From MSCs to Aspects. RV 2007: 63-74 - 2006
- [c5]Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, Stephen Pasco:
Rapid systems of systems integration - combining an architecture-centric approach with enterprise service bus infrastructure. IRI 2006: 51-56 - [c4]Ingolf H. Krüger, Massimiliano Menarini:
Queries and Constraints: A Comprehensive Semantic Model for UML2. MoDELS (Workshops) 2006: 327-328 - [c3]Vina Ermagan, Ingolf Krüger, Massimiliano Menarini:
Model-Based Failure Management for Distributed Reactive Systems. Monterey Workshop 2006: 53-74 - 2005
- [c2]Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Applying Service-Oriented Development to Complex Systems: BART Case Study. Monterey Workshop 2005: 26-46 - [c1]Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin:
A Verification Approach for GALS Integration of Synchronous Components. FMGALS@MEMOCODE 2005: 105-131
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint