Sign in
MOMPES
2006
2008
2011
2013
2006
2013
Keyphrases
Publications
volume 7706, 2013
Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
MOMPES
7706 (2013)
2012
Kent Inge Fagerland Simonsen
,
Lars Michael Kristensen
Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models.
MOMPES
(2012)
Adil Anwar
,
Amine Benelallam
,
Mahmoud Nassar
,
Bernard Coulette
A Graphical Specification of Model Composition with Triple Graph Grammars.
MOMPES
(2012)
Marco Mori
,
Anthony Cleve
Feature-Based Adaptation of Database Schemas.
MOMPES
(2012)
Markus Klotzbücher
,
Herman Bruyninckx
A Lightweight, Composable Metamodelling Language for Specification and Validation of Internal Domain Specific Languages.
MOMPES
(2012)
Madalena Gonçalves
,
João M. Fernandes
Guidelines for Modelling Reactive Systems with Coloured Petri Nets.
MOMPES
(2012)
Kevin Falzon
,
Gordon J. Pace
Combining Testing and Runtime Verification Techniques.
MOMPES
(2012)
Rui Couto
,
António Nestor Ribeiro
,
José Creissac Campos
MapIt: A Model Based Pattern Recovery Tool.
MOMPES
(2012)
Daniel Merschen
,
Robert Gleis
,
Julian Pott
,
Stefan Kowalewski
Analysis of Simulink Models Using Databases and Model Transformations.
MOMPES
(2012)
2010
Michaël Lafaye
,
David Faura
,
Marc Gatti
,
Laurent Pautet
A new modeling approach for IMA platform early validation.
MOMPES
(2010)
Benny Shimony
,
Ioanis Nikolaidis
,
Pawel Gburzynski
,
Eleni Stroulia
PicOS tuples: easing event based programming in tiny pervasive systems.
MOMPES
(2010)
Sofia Azevedo
,
Ricardo J. Machado
,
Alexandre Bragança
,
Hugo Ribeiro
Support for variability in use case modeling with refinement.
MOMPES
(2010)
Raphael Mannadiar
,
Hans Vangheluwe
Modular synthesis of mobile device applications from domain-specific models.
MOMPES
(2010)
Andreas Polzer
,
Bernd Hedenetz
,
Daniel Merschen
,
Goetz Botterweck
,
Jacques Thomas
,
Stefan Kowalewski
View-supported rollout and evolution of model-based ECU applications.
MOMPES
(2010)
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010
MOMPES
(2010)
Federico Ciccozzi
,
Antonio Cicchetti
,
Toni Siljamäki
,
Jenis Kavadiya
Automating test cases generation: from xtUML system models to QML test models.
MOMPES
(2010)
Ajitha Rajan
,
Lydie du Bousquet
,
Yves Ledru
,
Germán Vega
,
Jean-Luc Richier
Assertion-based test oracles for home automation systems.
MOMPES
(2010)
Feng Zhou
,
Søren Top
,
Krzysztof Sierszecki
,
Christo Angelov
Simulink analysis of component-based embedded applications.
MOMPES
(2010)
Marcio F. da S. Oliveira
,
Francisco Assis Moreira do Nascimento
,
Wolfgang Müller
,
Flávio Rech Wagner
Design space abstraction and metamodeling for embedded systems design space exploration.
MOMPES
(2010)
2009
Wolfgang Haberl
,
Stefan Kugele
,
Uwe Baumgarten
Reliable operating modes for distributed embedded systems.
MOMPES
(2009)
Francisco Assis Moreira do Nascimento
,
Marcio F. da S. Oliveira
,
Flávio Rech Wagner
MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation.
MOMPES
(2009)
Yunja Choi
Verification of an abstract component using communication patterns.
MOMPES
(2009)
Michael J. Ocean
,
Assaf J. Kfoury
,
Azer Bestavros
A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems.
MOMPES
(2009)
Aldeida Aleti
,
Stefan Björnander
,
Lars Grunske
,
Indika Meedeniya
ArcheOpterix: An extendable tool for architecture optimization of AADL models.
MOMPES
(2009)
Marsha Chechik
A relationship-based approach to model management.
MOMPES
(2009)
Andreas Polzer
,
Stefan Kowalewski
,
Goetz Botterweck
Applying software product line techniques in model-based embedded systems engineering.
MOMPES
(2009)
Hesham Shokry
,
Mike Hinchey
On practical Service-Based Computing in distributed embedded automotive systems.
MOMPES
(2009)
2008
Cormac Driver
,
Vinny Cahill
,
Siobhán Clarke
Separation of Distributed Real-Time Embedded Concerns with Theme/UML.
MOMPES
(2008)
Marco A. Wehrmeister
,
Edison Pignaton de Freitas
,
Dalimir Orfanus
,
Carlos Eduardo Pereira
,
Franz-Josef Rammig
A Case Study to Evaluate Pros/Cons of Aspect- and Object-Oriented Paradigms to Model Distributed Embedded Real-Time Systems.
MOMPES
(2008)
Lidia Fuentes
,
Nadia Gámez
,
Pablo Sánchez
Aspect-Oriented Executable UML Models for Context-Aware Pervasive Applications.
MOMPES
(2008)
Jeff Dallien
,
Wendy MacCaull
,
Allen Tien
Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care.
MOMPES
(2008)
Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings
MOMPES
(2008)
Javier Cubo
,
Carlos Canal
,
Ernesto Pimentel
Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET.
MOMPES
(2008)
Marcio F. da S. Oliveira
,
Ricardo Miotto Redin
,
Luigi Carro
,
Luís da Cunha Lamb
,
Flávio Rech Wagner
Software Quality Metrics and their Impact on Embedded Software.
MOMPES
(2008)
Iván García-Magariño
,
Jorge J. Gómez-Sanz
Framework for Defining Model Language Metamodels for CASE Tools.
MOMPES
(2008)
Dionisio de Niz
Architectural Concurrency Equivalence with Chaotic Models.
MOMPES
(2008)
2007
Alberto Rodrigues da Silva
,
João de Sousa Saraiva
,
Rui Silva
,
Carlos Martins
XIS-UML Profile for eXtreme Modeling Interactive Systems.
MOMPES
(2007)
Carlos Cetina
,
Estefanía Serral
,
Javier Muñoz
,
Vicente Pelechano
Tool Support for Model Driven Development of Pervasive Systems.
MOMPES
(2007)
Jens Bæk Jørgensen
Executable Use Cases: A Supplement to Model-Driven Development?.
MOMPES
(2007)
Philippa Conmy
,
Richard F. Paige
Model-driven Development of Particle System Families.
MOMPES
(2007)
Elvinia Riccobene
,
Patrizia Scandurra
,
Alberto Rosti
,
Sara Bocchio
Designing a Unified Process for Embedded Systems.
MOMPES
(2007)
Alexandre Bragança
,
Ricardo Jorge Machado
Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines.
MOMPES
(2007)
Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings
MOMPES
(2007)
Jean Bézivin
,
Mikaël Barbero
,
Frédéric Jouault
On the Applicability Scope of Model Driven Engineering.
MOMPES
(2007)
Cécile Hardebolle
,
Frédéric Boulanger
,
Dominique Marcadet
,
Guy Vidal-Naquet
A Generic Execution Framework for Models of Computation.
MOMPES
(2007)
Michalis Anastasopoulos
,
András Balogh
Model-driven Development of Particle System Families.
MOMPES
(2007)
Francisco Assis Moreira do Nascimento
,
Marcio F. da S. Oliveira
,
Flávio Rech Wagner
ModES: Embedded Systems Design Methodology and Tools Based on MDE.
MOMPES
(2007)
Bas Graaf
,
Arie van Deursen
Model-Driven Consistency Checking of Behavioural Specifications.
MOMPES
(2007)
Nektarios Georgalas
,
Shumao Ou
,
Manooch Azmoodeh
,
Kun Yang
Towards a Model-Driven Approach for Ontology-Based Context-Aware Application Development: A Case Study.
MOMPES
(2007)
2006
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MBD/MOMPES 2006, Potsdam, Germany, March 30, 2006, Proceedings
MOMPES
(2006)