ACES-MB@MoDELS

Keyphrases

Publications

2014

volume 1250, 2014

Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, September 30th, 2014. ACES-MB@MoDELS 1250 (2014)

2013

Shin Nakajima
Model-based Power Consumption Analysis of Smartphone Applications. ACES-MB@MoDELS (2013)
Iulia Dragomir, Iulian Ober, Christian Percebois
Integrating verifiable Assume/Guarantee contracts in UML/SysML. ACES-MB@MoDELS (2013)
Ramin Etemaadi, Michel R. V. Chaudron
Combinations of Antipattern Heuristics in Software Architecture Optimization for Embedded Systems. ACES-MB@MoDELS (2013)
Hamza Chouh, Charlotte Callon, Ghita Jalal, Frédéric Boulanger, Safouan Taha
Modeling and Verification of Redundancy Policies. ACES-MB@MoDELS (2013)
Federico Ciccozzi
Automatic Synthesis of Heterogeneous CPU-GPU Embedded Applications from a UML Profile. ACES-MB@MoDELS (2013)
Markus Voelter, Daniel Ratiu, Federico Tomassetti
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts. ACES-MB@MoDELS (2013)
Julie S. Fant, Hassan Gomaa, Robert G. Pettit IV
Modeling Executable Architectural Design Patterns for Software Product Lines. ACES-MB@MoDELS (2013)
Christian Drabek, Thomas Pramsohler, Marc Zeller, Gereon Weiss
Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment. ACES-MB@MoDELS (2013)

volume 1084, 2013

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. ACES-MB@MoDELS 1084 (2013)

2012