Michael Meisinger
Title
Cited by
Cited by
Year
UML-based integration testing
J Hartmann, C Imoberdorf, M Meisinger
Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000
2712000
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
1942007
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
1942007
CoCoME-the common component modeling example
S Herold, H Klus, Y Welsch, C Deiters, A Rausch, R Reussner, ...
The Common Component Modeling Example, 16-53, 2008
1172008
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
582010
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
462005
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
462005
Runtime verification of interactions: from MSCs to aspects
IH Krüger, M Meisinger, M Menarini
International Workshop on Runtime Verification, 63-74, 2007
402007
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
372009
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
372006
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
352010
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
302010
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
302006
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
292010
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, 177-206, 2008
292008
The uses of norms
MP Singh, M Arrott, T Balke, AK Chopra, R Christiaanse, S Cranefield, ...
Dagstuhl Follow-Ups 4, 2013
232013
Towards an integration of process modeling and project planning
M Gnatz, M Deubler, M Meisinger, A Rausch
Engineer 5, 5, 2004
172004
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
162007
Automating software architecture exploration with M2Aspects
IH Krüger, G Lee, M Meisinger
Proceedings of the 2006 international workshop on Scenarios and state …, 2006
162006
4everedit—Team‐based Process Documentation Management
M Meisinger, A Rausch, M Sihling
Software Process: Improvement and Practice 11 (6), 627-642, 2006
152006
The system can't perform the operation now. Try again later.
Articles 1–20