MOMPES: Model-based Methodologies for Pervasive and Embedded Software

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2014 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
MOMPES 2013 9th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Nov 11, 2013 - Nov 11, 2013 Silicon Valley Aug 23, 2013
MOMPES 2012 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Sep 4, 2012 - Sep 4, 2012 Essen, Germany Jul 16, 2012
MOMPES 2010 The 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Sep 20, 2010 - Sep 20, 2010 Antwerp, Belgium May 31, 2010
 
 

Present CFP : 2013

***********************************************************

CALL FOR PAPERS

MOMPES 2013

9th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
11 November 2013, Silicon Valley, CA, USA

Collocated with ASE 2013 (28th IEEE/ACM International Conference on
Automated Software Engineering), Silicon Valley, 11-15 November 2013

http://www.di.uminho.pt/mompes/2013/

***********************************************************

1 THEME AND TOPICS

Model-Based Development (MBD) is a software development approach that relies on modelling and on systematic transition from models to executable code. This workshop focuses on the theoretical and practical aspects related to the adoption of MBD methodologies (notations, processes, methods, and tools) for the construction of software for pervasive and embedded systems. In the context of ASE 2013, the workshop focuses on how to automate or partially automate tasks in this area to achieve significant improvements in quality and productivity.
Areas of interest include, but are not restricted to the
following topics applied to Embedded and Pervasive Systems:
* Semantics of Modelling Languages
* Meta-modelling, Domain-Specific Languages
* Model Transformation and Code Generation
* Model-based Analysis, Testing and Verification
* Test-Driven Development
* Applied Formal Methods
* Feature-oriented Techniques, Variability Modelling and Variability Realization
* Reuse and Component-based Architectures
* Modelling of Non-Functional Requirements
* Model-based Architectures
* Model-based Traceability and Consistency
* (Models for) Ultra-Large Scale Systems
* (Models for) Cyber-Physical Systems
* Integration of Models
* Model-based Evolution and Change Management
* Architectural Recovery in Legacy Systems
* Managing inconsistencies
* Pervasive systems in new contexts, e.g., Information Systems
We explicitly invite experience reports and case studies related to these topics.


2 SUBMISSIONS

We are seeking for research papers and experience reports (max. 10 pages) and short/position papers (max. 5 pages). Submissions must conform to ACM SEN's formatting guidelines http://www.sigsoft.org/SEN/subpub.html and should be submitted via the EasyChair submission system available at https://www.easychair.org/conferences/?conf=mompes2013
Submissions will be selected based on the relevance to the workshop topics and the suitability to trigger interesting discussions. Each paper will be reviewed by at least three members of the PC.
Accepted papers will be published in an ACM SIG newsletter. By submitting authors are granting permission for ACM to publish in print and digital formats for the newsletter and the ACM archive. The authors retain copyright as is the case with any ACM newsletter publication of original material. ìCopyright is held by author.It should appear on the first page of each paper.


3 IMPORTANT DATES

Paper submission: NEW DATE 22 August 2013
Notification: 15 September 2013
Early registration: 23 September 2013
Camera-ready copy: 10 October 2013
Workshop: 11 November 2013

Please note that the given dates are tentative; please check the workshops website for updates.


4 WORKSHOP FORMAT

The workshop will have a strong emphasis on interaction between participants. Hence, we intend to use a combination of (1) paper presentations with discussions on paper topics in the morning and (2) an interactive session in the afternoon.

PROGRAM COMMITTEE
* Robert Baillargeon, SODIUS, US
* Leandro Buss Becker, Federal Univ. of Santa Catarina, BR
* Gaelle Calvary, Grenoble Institute of Technology, FR
* Holger Giese, HPI, Universitat Potsdam, DE
* Luis Gomes, Universidade Nova de Lisboa, PT
* Timo D. H‰m‰l‰inen, TU Tampere, FI
* Chris Hankin, Imperial College London, UK
* Luis Lamb, Universidade Federal do Rio Grande do Sul, BR
* Pedro Jose Marron, Universitat Duisburg-Essen, DE
* Elvinia Riccobene, Universit‡ degli Studi di Milano, IT
* Pablo Sanchez, Universidad de Cantabria, ES
* Oleg Sokolsky, University of Pennsylvania, US
* Olaf Spinczyk, TU Dortmund, DE
* Jonathan Sprinkle, University of Arizona, US
(and the workshop organizers)

ORGANIZATION COMMITTEE
* João M. Fernandes, U Minho (PT)
* Goetz Botterweck, Lero and U Limerick (IE)
* Julia Rubin, IBM Research, Haifa (IL)
* Rita Suzana Maciel, U Federal da Bahia (BR)

STEERING COMMITTEE
* Ricardo J. Machado, U Minho (PT), chair
* João M. Fernandes, U Minho (PT)
* Fl·vio R. Wagner, UFRGS (BR)
* Mike Hinchey, Lero & U Limerick (IE)
* Dov Dori, Technion (IL)


5 PUBLICATION

Accepted papers will be published with ACM Software Engineering Notes (SEN) and indexed by ACM's Digital Library.
 

Related Resources

ST: Model-Based Testing 2016   Theme issue on Model-Based Testing : Software and Systems Modeling Journal (SoSyM)
ModComp 2016   3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2016
PerCom 2017   IEEE International Conference on Pervasive Computing and Communications
AMARETTO 2017   2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
COMMitMDE 2016   1st International Workshop on Collaborative Modelling in MDE
ISMIS 2017   23rd International Symposium on Methodologies for Intelligent Systems
NSDI 2017   14th USENIX Symposium on Networked Systems Design and Implementation
UbiComp 2017   2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing
ISSTA 2017   International Symposium on Software Testing and Analysis
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference