Follow
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
2882000
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
2152007
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
2152007
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
1112008
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
702010
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
522010
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
492005
Modeling crosscutting services with UML sequence diagrams
M Deubler, M Meisinger, S Rittmann, I Krüger
Model Driven Engineering Languages and Systems: 8th International Conference …, 2005
472005
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
452009
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
412006
Runtime verification of interactions: From MSCs to aspects
IH Krüger, M Meisinger, M Menarini
Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada …, 2007
402007
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. Marine Technology Society Journal 44 (6), 185, 2010
342010
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
342006
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
332010
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
292008
The uses of norms
MP Singh, M Arrott, T Balke, AK Chopra, R Christiaanse, S Cranefield, ...
Dagstuhl Follow-Ups 4, 2013
272013
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
192006
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
172007
Towards an integration of process modeling and project planning
M Gnatz, M Deubler, M Meisinger, A Rausch
Engineer 5, 5, 2004
172004
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
The system can't perform the operation now. Try again later.
Articles 1–20