default search action

combined dblp search
author search
venue search
publication search

ask others

5th ACES-MB@MoDELS 2012: Innsbruck, Austria

> Home > Conferences and Workshops > MoDELS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/models/2012acesmb
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2012acesmb
Iulian Ober:
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012. ACM 2012, ISBN 978-1-4503-1800-6
- view
  authority control:
- export record
  dblp key:
  - conf/models/PflugerGQ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PflugerGQ12
André Pflüger, Wolfgang Golubski, Stefan Queins:
Tool-supported model-driven validation process for system architectures. 1-6
- view
  authority control:
- export record
  dblp key:
  - conf/models/HoyosCJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HoyosCJ12
Horacio Hoyos, Rubby Casallas, Fernando Jiménez:
HiLeS-T: an ADL for early requirement verification of embedded systems. 7-12
- view
  authority control:
- export record
  dblp key:
  - conf/models/BomelBLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BomelBLS12
Pierre Bomel, Dominique Blouin, Mickael Lanoe, Eric Senn:
Functional validation of AADL models via model transformation to SystemC with ATL. 13-18
- view
  authority control:
- export record
  dblp key:
  - conf/models/Helle12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/Helle12
Philipp Helle:
Automatic SysML-based safety analysis. 19-24
- view
  authority control:
- export record
  dblp key:
  - conf/models/MzidMBA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/MzidMBA12
Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid:
Real-time design models to RTOS-specific models refinement verification. 25-30
- view
  authority control:
- export record
  dblp key:
  - conf/models/SchwalbSGM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SchwalbSGM12
Tobias Schwalb, Johannes Schmid, Tobias Gädeke, Klaus D. Müller-Glaser:
Component-based models for runtime control and monitoring of embedded systems. 31-36
- view
  authority control:
- export record
  dblp key:
  - conf/models/BarthWA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BarthWA12
Jelena Barth, Bernd Westphal, Stephan Arlt:
Model-based development of embedded systems' user interfaces. 37-42
- view
  authority control:
- export record
  dblp key:
  - conf/models/ZhouJL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ZhouJL12
Jiale Zhou, Andreas Johnsen, Kristina Lundqvist:
Formal execution semantics for asynchronous constructs of AADL. 43-48
- view
  authority control:
- export record
  dblp key:
  - conf/models/PenilPNV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PenilPNV12
Pablo Peñil, Héctor Posadas, Alejandro Nicolás, Eugenio Villar:
Automatic synthesis from UML/MARTE models using channel semantics. 49-54
- view
  authority control:
- export record
  dblp key:
  - conf/models/0002KW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/0002KW12
Stefan Neumann, Norman Kluge, Sebastian Wätzoldt:
Automatic transformation of abstract AUTOSAR architectures to timed automata. 55-60

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.