MOMPES - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 68 from 68

2013

Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised PapersRicardo Jorge Machado, Rita Suzana Pitangueira Maciel, Julia Rubin, Goetz Botterweck, editors, Volume 7706 of Lecture Notes in Computer Science, Springer, 2013. [doi]

2012

A Graphical Specification of Model Composition with Triple Graph GrammarsAdil Anwar, Amine Benelallam, Mahmoud Nassar, Bernard Coulette. MOMPES 2013: 1-18 [doi]

MapIt: A Model Based Pattern Recovery ToolRui Couto, Antonio Nestor Ribeiro, José Creissac Campos. MOMPES 2013: 19-37 [doi]

Combining Testing and Runtime Verification TechniquesKevin Falzon, Gordon J. Pace. MOMPES 2013: 38-57 [doi]

Guidelines for Modelling Reactive Systems with Coloured Petri NetsMadalena Gonçalves, João M. Fernandes. MOMPES 2013: 126-137 [doi]

A Lightweight, Composable Metamodelling Language for Specification and Validation of Internal Domain Specific LanguagesMarkus Klotzbücher, Herman Bruyninckx. MOMPES 2013: 58-68 [doi]

Analysis of Simulink Models Using Databases and Model TransformationsDaniel Merschen, Robert Gleis, Julian Pott, Stefan Kowalewski. MOMPES 2013: 69-84 [doi]

Feature-Based Adaptation of Database SchemasMarco Mori, Anthony Cleve. MOMPES 2013: 85-105 [doi]

Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol ModelsKent Inge Fagerland Simonsen, Lars Michael Kristensen. MOMPES 2013: 106-125 [doi]

2010

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010ACM, 2010. [doi]

Support for variability in use case modeling with refinementSofia Azevedo, Ricardo J. Machado, Alexandre Bragança, Hugo Ribeiro. MOMPES 2010: 1-8 [doi]

Automating test cases generation: from xtUML system models to QML test modelsFederico Ciccozzi, Antonio Cicchetti, Toni Siljamäki, Jenis Kavadiya. MOMPES 2010: 9-16 [doi]

Design space abstraction and metamodeling for embedded systems design space explorationMarcio F. da S. Oliveira, Francisco Assis M. do Nascimento, Wolfgang Müller 0003, Flávio Rech Wagner. MOMPES 2010: 29-36 [doi]

A new modeling approach for IMA platform early validationMichaël Lafaye, David Faura, Marc Gatti, Laurent Pautet. MOMPES 2010: 17-20 [doi]

Modular synthesis of mobile device applications from domain-specific modelsRaphael Mannadiar, Hans Vangheluwe. MOMPES 2010: 21-28 [doi]

View-supported rollout and evolution of model-based ECU applicationsAndreas Polzer, Bernd Hedenetz, Daniel Merschen, Goetz Botterweck, Jacques Thomas, Stefan Kowalewski. MOMPES 2010: 37-44 [doi]

Assertion-based test oracles for home automation systemsAjitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier. MOMPES 2010: 45-52 [doi]

PicOS tuples: easing event based programming in tiny pervasive systemsBenny Shimony, Ioanis Nikolaidis, Pawel Gburzynski, Eleni Stroulia. MOMPES 2010: 53-60 [doi]

Simulink analysis of component-based embedded applicationsFeng Zhou, Søren Top, Krzysztof Sierszecki, Christo Angelov. MOMPES 2010: 61-68 [doi]

2009

ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, CanadaIEEE Computer Society, 2009.

ArcheOpterix: An extendable tool for architecture optimization of AADL modelsAldeida Aleti, Stefan BjÃ¶rnander, Lars Grunske, Indika Meedeniya. MOMPES 2009: 61-71 [doi]

A relationship-based approach to model managementMarsha Chechik. MOMPES 2009: 1 [doi]

Verification of an abstract component using communication patternsYunja Choi. MOMPES 2009: 42-52 [doi]

MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representationFrancisco Assis M. do Nascimento, Marcio F. da S. Oliveira, FlÃ¡vio Rech Wagner. MOMPES 2009: 53-60 [doi]

Reliable operating modes for distributed embedded systemsWolfgang Haberl, Stefan Kugele, Uwe Baumgarten. MOMPES 2009: 11-21 [doi]

A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systemsMichael J. Ocean, Assaf J. Kfoury, Azer Bestavros. MOMPES 2009: 31-41 [doi]

Applying software product line techniques in model-based embedded systems engineeringAndreas Polzer, Stefan Kowalewski, Goetz Botterweck. MOMPES 2009: 2-10 [doi]

On practical Service-Based Computing in distributed embedded automotive systemsHesham Shokry, Mike Hinchey. MOMPES 2009: 22-30 [doi]

2008

Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NETJavier Cubo, Carlos Canal, Ernesto Pimentel. MOMPES 2008: 3-13 [doi]

Software Quality Metrics and their Impact on Embedded SoftwareMarcio F. da S. Oliveira, Ricardo Miotto Redin, Luigi Carro, LuÃs da Cunha Lamb, FlÃ¡vio Rech Wagner. MOMPES 2008: 68-77 [doi]

Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health CareJeff Dallien, Wendy MacCaull, Allen Tien. MOMPES 2008: 78-91 [doi]

Architectural Concurrency Equivalence with Chaotic ModelsDionisio de Niz. MOMPES 2008: 57-67 [doi]

Separation of Distributed Real-Time Embedded Concerns with Theme/UMLCormac Driver, Vinny Cahill, siobhÃ¡n-clarke. MOMPES 2008: 27-33 [doi]

Aspect-Oriented Executable UML Models for Context-Aware Pervasive ApplicationsLidia Fuentes, Nadia GÃ¡mez, Pablo SÃ¡nchez. MOMPES 2008: 34-43 [doi]

Framework for Defining Model Language Metamodels for CASE ToolsIvÃ¡n GarcÃa-MagariÃ±o, Jorge J. GÃ³mez-Sanz. MOMPES 2008: 14-23 [doi]

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, ProceedingsRicardo Jorge Machado, JoÃ£o M. Fernandes, FlÃ¡vio Rech Wagner, Rick Kazman, editors, IEEE Computer Society, 2008.

A Case Study to Evaluate Pros/Cons of Aspect- and Object-Oriented Paradigms to Model Distributed Embedded Real-Time SystemsMarco A. Wehrmeister, Edison Pignaton de Freitas, Dalimir Orfanus, Carlos Eduardo Pereira, Franz-Josef Rammig. MOMPES 2008: 44-54 [doi]

2007

Model-driven Development of Particle System FamiliesMichalis Anastasopoulos, AndrÃ¡s Balogh. MOMPES 2007: 102-114 [doi]

Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product LinesAlexandre BraganÃ§a, Ricardo Jorge Machado. MOMPES 2007: 91-101 [doi]

On the Applicability Scope of Model Driven EngineeringJean BÃ©zivin, MikaÃ«l Barbero, FrÃ©dÃ©ric Jouault. MOMPES 2007: 3-7 [doi]

Tool Support for Model Driven Development of Pervasive SystemsCarlos Cetina, EstefanÃa Serral, Javier MuÃ±oz, Vicente Pelechano. MOMPES 2007: 33-44 [doi]

Model-driven Development of Particle System FamiliesPhilippa Conmy, Richard F. Paige. MOMPES 2007: 127-136 [doi]

XISUML Profile for eXtreme Modeling Interactive SystemsAlberto Rodrigues da Silva, JoÃ£o de Sousa Saraiva, Rui Silva, Carlos Martins. MOMPES 2007: 55-66 [doi]

ModES: Embedded Systems Design Methodology and Tools Based on MDEFrancisco Assis M. do Nascimento, Marcio F. da S. Oliveira, FlÃ¡vio Rech Wagner. MOMPES 2007: 67-76 [doi]

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, ProceedingsJoÃ£o M. Fernandes, Ricardo Jorge Machado, Ridha KhÃ©dri, siobhÃ¡n-clarke, editors, IEEE Computer Society, 2007.

Towards a Model-Driven Approach for Ontology-Based Context-Aware Application Development: A Case StudyNektarios Georgalas, Shumao Ou, Manooch Azmoodeh, Kun Yang. MOMPES 2007: 21-32 [doi]

Model-Driven Consistency Checking of Behavioural SpecificationsBas Graaf, Arie van Deursen. MOMPES 2007: 115-126 [doi]

A Generic Execution Framework for Models of ComputationCÃ©cile Hardebolle, FrÃ©dÃ©ric Boulanger, Dominique Marcadet, Guy Vidal-Naquet. MOMPES 2007: 45-54 [doi]

Executable Use Cases: A Supplement to Model-Driven Development?Jens BÃ¦k JÃ¸rgensen. MOMPES 2007: 8-15 [doi]

Designing a Unified Process for Embedded SystemsElvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio. MOMPES 2007: 77-90 [doi]

2006

From Code Centric to Model Centric Software Engineering: Practical case study of MDD infusion in a Systems Integration CompanyMargarida Afonso, Régis Vogel, Jose Teixeira. MOMPES 2006: 125-134 [doi]

Design Method Support for Domain Specific SoC designMarcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan, Ian Oliver, Kim SandstrÃ¶m. MOMPES 2006: 25-32 [doi]

Concepts for Abstracting away Object Reification at the level of Platform Independent Models (PIMs)Geert Delanote, Eric Steegmans. MOMPES 2006: 94-102 [doi]

Comparison of Model-Driven Architecture and Software Factories in the Context of Model-Driven DevelopmentAhmet Demir. MOMPES 2006: 75-83 [doi]

TowardsWeaving Software Architecture ModelsDavide Di Ruscio, Henry Muccini, Alfonso Pierantonio, Patrizio Pelliccione. MOMPES 2006: 103-112 [doi]

SODA: Not Just a Drink!Dov Dori. MOMPES 2006: 3-14 [doi]

Model-Based System Development for Embedded Mobile PlatformsBertalan Forstner, LÃ¡szlÃ³ Lengyel, Tihamer Levendovszky, Gergely Mezei, Imre KelÃ©nyi, Hassan Charaf. MOMPES 2006: 43-52 [doi]

A generic MOF metamodel for aspect-oriented modellingLidia Fuentes, Pablo SÃ¡nchez. MOMPES 2006: 113-124 [doi]

Model-Driven Development of Real-Time Systems with UML 2.0 and CMohammad Ullah Khan, Kurt Geihs, Felix Gutbrodt, Peter GÃ¶hner, Roland Trauter. MOMPES 2006: 33-42 [doi]

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 3Ricardo Jorge Machado, JoÃ£o M. Fernandes, Matthias Riebisch, Bernhard SchÃ¤tz, editors, IEEE Computer Society, 2006.

An EDOC-based Approach for Specific Middleware Services DevelopmentRita Suzana Pitangueira Maciel, Bruno Carreiro da Silva, Leandro Abreu Mascarenhas. MOMPES 2006: 135-143 [doi]

Component-oriented modeling of hybrid dynamic systems using the Generic Modeling EnvironmentEric-J. Manders, Gautam Biswas, Nagabhushan Mahadevan, Gabor Karsai. MOMPES 2006: 159-168 [doi]

Modelling and verification of BPEL business processesMarina Mongiello, Daniela Castelluccia. MOMPES 2006: 144-148 [doi]

Intelligent Instrument Design With ArchWare ADLJÃ©rÃ´me Revillard, Sorana CÃ®mpan, Eric Benoit, FlÃ¡vio Oquendo. MOMPES 2006: 63-74 [doi]

Model Patterns for Model Transformations in Model Driven DevelopmentMarkus Scheidgen. MOMPES 2006: 149-158 [doi]

CMOF-Model Semantics and Language Mapping for MOF 2.0 ImplementationsMarkus Scheidgen. MOMPES 2006: 84-93 [doi]

Model-Based Specification and Validation of Automotive ElectronicsTorsten Schultz. MOMPES 2006: 15-24 [doi]

Model-Based Engineering of Embedded Control SoftwareBernhard SchÃ¤tz. MOMPES 2006: 53-62 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

MOMPES (MOMPES)

Viewing Publication 1 - 68 from 68

2013

2012

2010

2009

2008

2007

2006

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

MOMPES (MOMPES)

Viewing Publication 1 - 68 from 68

2013

2012

2010

2009

2008

2007

2006

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1