default search action

combined dblp search
author search
venue search
publication search

ask others

6th MOMPES@ICSE 2009: Vancouver, BC, Canada

> Home > Conferences and Workshops > MOMPES
> Home > Conferences and Workshops > ICSE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/mompes/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/2009
ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada. IEEE Computer Society 2009, ISBN 978-1-4244-3721-4

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/mompes/Chechik09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/Chechik09
Marsha Chechik:
A relationship-based approach to model management. 1

Distributed Embedded Systems

- view
  authority control:
- export record
  dblp key:
  - conf/mompes/PolzerKB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/PolzerKB09
Andreas Polzer, Stefan Kowalewski, Goetz Botterweck:
Applying software product line techniques in model-based embedded systems engineering. 2-10
- view
  authority control:
- export record
  dblp key:
  - conf/mompes/HaberlKB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/HaberlKB09
Wolfgang Haberl, Stefan Kugele, Uwe Baumgarten:
Reliable operating modes for distributed embedded systems. 11-21
- view
  authority control:
- export record
  dblp key:
  - conf/mompes/ShokryH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/ShokryH09
Hesham Shokry, Mike Hinchey:
On practical Service-Based Computing in distributed embedded automotive systems. 22-30

Formal Approaches

- view
  authority control:
- export record
  dblp key:
  - conf/mompes/OceanKB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/OceanKB09
Michael J. Ocean, Assaf J. Kfoury, Azer Bestavros:
A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. 31-41
- view
  authority control:
- export record
  dblp key:
  - conf/mompes/Choi09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/Choi09
Yunja Choi:
Verification of an abstract component using communication patterns. 42-52

Tools

- view
  authority control:
- export record
  dblp key:
  - conf/mompes/NascimentoOW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/NascimentoOW09
Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner:
MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation. 53-60
- view
  authority control:
- export record
  dblp key:
  - conf/mompes/AletiBGM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/AletiBGM09
Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya:
ArcheOpterix: An extendable tool for architecture optimization of AADL models. 61-71

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.