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

SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
KES 2024   28th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems
VSTTE 2024   Verified Software: Theories, Tools, Experiments
VLSIE 2024   5th International Conference on VLSI & Embedded Systems
LOPSTR 2024   LOPSTR 2024 -- Deadline extended to May 19th
DX 2024   The 35th International Conference on Principles of Diagnosis and Resilient Systems (DX'24)
MoDRE 2024   Workshop on Model-Driven Requirements Engineering (MoDRE) at RE'24
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
PICOM 2024   The 22nd IEEE International Conference on Pervasive Intelligence and Computing
ICSE 2025   The 47th International Conference on Software Engineering (Second Cycle)