UML-based integration testing J Hartmann, C Imoberdorf, M Meisinger Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000 | 290 | 2000 |
A formal model of services M Broy, IH Krüger, M Meisinger ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (1), 5-es, 2007 | 224 | 2007 |
CoCoME-the common component modeling example S Herold, H Klus, Y Welsch, C Deiters, A Rausch, R Reussner, ... The Common Component Modeling Example: Comparing Software Component Models …, 2008 | 118 | 2008 |
Spatiotemporal path planning in strong, dynamic, uncertain currents DR Thompson, S Chien, Y Chao, P Li, B Cahill, J Levin, O Schofield, ... 2010 IEEE International Conference on Robotics and Automation, 4778-4783, 2010 | 74 | 2010 |
Automated sensor network to advance ocean science O Schofield, S Glenn, J Orcutt, M Arrott, M Meisinger, A Gangopadhyay, ... Eos, Transactions American Geophysical Union 91 (39), 345-346, 2010 | 56 | 2010 |
Model-based run-time monitoring of end-to-end deadlines J Ahluwalia, IH Krüger, W Phillips, M Meisinger Proceedings of the 5th ACM international conference on Embedded software …, 2005 | 51 | 2005 |
Modeling crosscutting services with UML sequence diagrams M Deubler, M Meisinger, S Rittmann, I Krüger International Conference on Model Driven Engineering Languages and Systems …, 2005 | 47 | 2005 |
Cyberinfrastructure for the US Ocean Observatories Initiative: Enabling interactive observation in the ocean AD Chave, M Arrott, C Farcas, E Farcas, I Krueger, M Meisinger, JA Orcutt, ... Oceans 2009-Europe, 1-10, 2009 | 43 | 2009 |
Efficient exploration of service-oriented architectures using aspects IH Krüger, R Mathew, M Meisinger Proceedings of the 28th international conference on Software engineering, 62-71, 2006 | 41 | 2006 |
Runtime verification of interactions: From MSCs to aspects IH Krüger, M Meisinger, M Menarini International Workshop on Runtime Verification, 63-74, 2007 | 39 | 2007 |
A regional Slocum glider network in the Mid-Atlantic Bight leverages broad community engagement O Schofield, J Kohut, S Glenn, J Morell, J Capella, J Corredor, J Orcutt, ... Marine Technology Society Journal 44 (6), 185-195, 2010 | 37 | 2010 |
Interaction-based runtime verification for systems of systems integration IH Krüger, M Meisinger, M Menarini Journal of Logic and Computation 20 (3), 725-742, 2010 | 33 | 2010 |
Rapid systems of systems integration-combining an architecture-centric approach with enterprise service bus infrastructure IH Krueger, M Meisinger, M Menarini, S Pasco 2006 IEEE International Conference on Information Reuse & Integration, 51-56, 2006 | 33 | 2006 |
Service-oriented modeling of CoCoME with Focus and AutoFocus M Broy, J Fox, F Hölzl, D Koss, M Kuhrmann, M Meisinger, ... The Common Component Modeling Example: Comparing Software Component Models …, 2008 | 31 | 2008 |
The uses of norms MP Singh, M Arrott, T Balke, AK Chopra, R Christiaanse, S Cranefield, ... Dagstuhl Follow-Ups 4, 2013 | 28 | 2013 |
Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers M Broy, I Krüger, M Meisinger Springer, 2006 | 19 | 2006 |
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems. V Ermagan, TJ Huang, IH Krüger, M Meisinger, M Menarini, P Moorthy MBEES, 1-24, 2007 | 18 | 2007 |
Automating software architecture exploration with M2Aspects IH Krüger, G Lee, M Meisinger Proceedings of the 2006 international workshop on Scenarios and state …, 2006 | 17 | 2006 |
Towards an integration of process modeling and project planning M Gnatz, M Deubler, M Meisinger, A Rausch Engineer 5, 5, 2004 | 17 | 2004 |
Mission planning in a dynamic ocean sensorweb DR Thompson, S Chien, M Arrott, A Balasuriya, Y Chao, P Li, M Meisinger, ... International Conference on Planning and Scheduling (ICAPS) SPARK …, 2009 | 14 | 2009 |