


default search action
ACESMB@MoDELS 2013: Miami, FL, USA
- Iulian Ober, Florian Noyrit, Susanne Graf, Gabor Karsai:

Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013. CEUR Workshop Proceedings 1084, CEUR-WS.org 2013 - Hamza Chouh, Charlotte Callon, Ghita Jalal, Frédéric Boulanger, Safouan Taha:

Modeling and Verification of Redundancy Policies. - Julie S. Fant, Hassan Gomaa, Robert G. Pettit IV:

Modeling Executable Architectural Design Patterns for Software Product Lines. - Ramin Etemaadi, Michel R. V. Chaudron:

Combinations of Antipattern Heuristics in Software Architecture Optimization for Embedded Systems. - Markus Voelter, Daniel Ratiu, Federico Tomassetti:

Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts. - Shin Nakajima:

Model-based Power Consumption Analysis of Smartphone Applications. - Federico Ciccozzi:

Automatic Synthesis of Heterogeneous CPU-GPU Embedded Applications from a UML Profile. - Christian Drabek, Thomas Pramsohler, Marc Zeller, Gereon Weiss:

Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment. - Iulia Dragomir, Iulian Ober, Christian Percebois:

Integrating verifiable Assume/Guarantee contracts in UML/SysML.

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














