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.