Michael Meisinger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2000–2010
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICRA | Spatiotemporal path planning in strong, dynamic, uncertain currents. | David R. Thompson, Steve A. Chien, Yi Chao, Peggy Li, Bronwyn Cahill, Julia Levin, Oscar Schofield, Arjuna P. Balasuriya, Stephanie Petillo, Matt Arrott, Michael Meisinger |
| 2007 | RV | Runtime Verification of Interactions: From MSCs to Aspects. | Ingolf H. Krger, Michael Meisinger, Massimiliano Menarini |
| 2006 | IRI | Rapid systems of systems integration - combining an architecture-centric approach with enterprise service bus infrastructure. | Ingolf Krger, Michael Meisinger, Massimiliano Menarini, Stephen Pasco |
| 2006 | ICSE | Efficient exploration of service-oriented architectures using aspects. | Ingolf H. Krger, Reena Mathew, Michael Meisinger |
| 2006 | ICSE | Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM). | Jon Whittle, Leif Geiger, Michael Meisinger |
| 2005 | EMSOFT | Model-based run-time monitoring of end-to-end deadlines. | Jaswinder Ahluwalia, Ingolf H. Krger, Walter Phillips, Michael Meisinger |
| 2000 | ISSTA | UML-Based integration testing. | Jean Hartmann, Claudio Imoberdorf, Michael Meisinger |