|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 50 publication records. Showing 50 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ricardo Jorge Machado 0001, Rita Suzana Pitangueira Maciel, Julia Rubin, Goetz Botterweck (eds.) |
Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers |
MOMPES |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adil Anwar, Amine Benelallam, Mahmoud Nassar, Bernard Coulette |
A Graphical Specification of Model Composition with Triple Graph Grammars. |
MOMPES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kent Inge Fagerland Simonsen, Lars Michael Kristensen |
Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. |
MOMPES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Markus Klotzbücher, Herman Bruyninckx |
A Lightweight, Composable Metamodelling Language for Specification and Validation of Internal Domain Specific Languages. |
MOMPES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marco Mori, Anthony Cleve |
Feature-Based Adaptation of Database Schemas. |
MOMPES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Merschen, Robert Gleis, Julian Pott, Stefan Kowalewski |
Analysis of Simulink Models Using Databases and Model Transformations. |
MOMPES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Madalena Gonçalves, João M. Fernandes |
Guidelines for Modelling Reactive Systems with Coloured Petri Nets. |
MOMPES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rui Couto, António Nestor Ribeiro, José Creissac Campos |
MapIt: A Model Based Pattern Recovery Tool. |
MOMPES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Falzon, Gordon J. Pace |
Combining Testing and Runtime Verification Techniques. |
MOMPES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sofia Azevedo, Ricardo J. Machado 0001, Alexandre Bragança, Hugo Ribeiro |
Support for variability in use case modeling with refinement. |
MOMPES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Raphael Mannadiar, Hans Vangheluwe |
Modular synthesis of mobile device applications from domain-specific models. |
MOMPES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Feng Zhou, Søren Top, Krzysztof Sierszecki, Christo Angelov |
Simulink analysis of component-based embedded applications. |
MOMPES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier |
Assertion-based test oracles for home automation systems. |
MOMPES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marcio F. da S. Oliveira, Francisco Assis Moreira do Nascimento, Wolfgang Müller 0003, Flávio Rech Wagner |
Design space abstraction and metamodeling for embedded systems design space exploration. |
MOMPES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benny Shimony, Ioanis Nikolaidis, Pawel Gburzynski, Eleni Stroulia |
PicOS tuples: easing event based programming in tiny pervasive systems. |
MOMPES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Lafaye, David Faura, Marc Gatti, Laurent Pautet |
A new modeling approach for IMA platform early validation. |
MOMPES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Polzer, Bernd Hedenetz, Daniel Merschen, Goetz Botterweck, Jacques Thomas, Stefan Kowalewski |
View-supported rollout and evolution of model-based ECU applications. |
MOMPES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Federico Ciccozzi, Antonio Cicchetti, Toni Siljamäki, Jenis Kavadiya |
Automating test cases generation: from xtUML system models to QML test models. |
MOMPES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | |
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 |
DBLP DOI BibTeX RDF |
|
1 | Hesham Shokry, Mike Hinchey |
On practical Service-Based Computing in distributed embedded automotive systems. |
MOMPES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yunja Choi |
Verification of an abstract component using communication patterns. |
MOMPES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Haberl, Stefan Kugele, Uwe Baumgarten |
Reliable operating modes for distributed embedded systems. |
MOMPES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik |
A relationship-based approach to model management. |
MOMPES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya |
ArcheOpterix: An extendable tool for architecture optimization of AADL models. |
MOMPES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Polzer, Stefan Kowalewski, Goetz Botterweck |
Applying software product line techniques in model-based embedded systems engineering. |
MOMPES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Javier Cubo, Carlos Canal, Ernesto Pimentel 0001 |
Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET. |
MOMPES |
2008 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Lidia Fuentes, Nadia Gámez, Pablo Sánchez 0002 |
Aspect-Oriented Executable UML Models for Context-Aware Pervasive Applications. |
MOMPES |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Iván García-Magariño, Jorge J. Gómez-Sanz |
Framework for Defining Model Language Metamodels for CASE Tools. |
MOMPES |
2008 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Jorge Machado 0001, João M. Fernandes, Flávio Rech Wagner, Rick Kazman (eds.) |
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 |
DBLP BibTeX RDF |
|
1 | Dionisio de Niz |
Architectural Concurrency Equivalence with Chaotic Models. |
MOMPES |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cormac Driver, Vinny Cahill, Siobhán Clarke |
Separation of Distributed Real-Time Embedded Concerns with Theme/UML. |
MOMPES |
2008 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Anastasopoulos, András Balogh |
Model-driven Development of Particle System Families. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
1 | João M. Fernandes, Ricardo Jorge Machado 0001, Ridha Khédri, Siobhán Clarke (eds.) |
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 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Rodrigues da Silva, João de Sousa Saraiva, Rui Silva, Carlos Martins |
XIS-UML Profile for eXtreme Modeling Interactive Systems. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jean Bézivin, Mikaël Barbero, Frédéric Jouault |
On the Applicability Scope of Model Driven Engineering. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet |
A Generic Execution Framework for Models of Computation. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bas Graaf, Arie van Deursen |
Model-Driven Consistency Checking of Behavioural Specifications. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Cetina, Estefanía Serral, Javier Muñoz, Vicente Pelechano |
Tool Support for Model Driven Development of Pervasive Systems. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jens Bæk Jørgensen |
Executable Use Cases: A Supplement to Model-Driven Development?. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Philippa Conmy, Richard F. Paige |
Model-driven Development of Particle System Families. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
Designing a Unified Process for Embedded Systems. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Bragança, Ricardo Jorge Machado 0001 |
Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Jorge Machado 0001, João M. Fernandes, Matthias Riebisch, Bernhard Schätz (eds.) |
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 |
DBLP BibTeX RDF |
|
Displaying result #1 - #50 of 50 (100 per page; Change: )
|
|