Search dblp for Publications

export results for "toc:db/conf/mompes/mompes2012.bht:"

 download as .bib file

@proceedings{DBLP:conf/mompes/2012,
  editor    = {Ricardo Jorge Machado and
               Rita Suzana Pitangueira Maciel and
               Julia Rubin and
               Goetz Botterweck},
  title     = {Model-Based Methodologies for Pervasive and Embedded Software, 8th
               International Workshop, {MOMPES} 2012, Essen, Germany, September 4,
               2012. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7706},
  publisher = {Springer},
  year      = {2013}
}
@inproceedings{DBLP:conf/mompes/AnwarBNC12,
  author    = {Adil Anwar and
               Amine Benelallam and
               Mahmoud Nassar and
               Bernard Coulette},
  title     = {A Graphical Specification of Model Composition with Triple Graph Grammars},
  booktitle = {{MOMPES}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7706},
  pages     = {1--18},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/mompes/CoutoRC12,
  author    = {Rui Couto and
               Ant{\'{o}}nio Nestor Ribeiro and
               Jos{\'{e}} Creissac Campos},
  title     = {MapIt: {A} Model Based Pattern Recovery Tool},
  booktitle = {{MOMPES}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7706},
  pages     = {19--37},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/mompes/FalzonP12,
  author    = {Kevin Falzon and
               Gordon J. Pace},
  title     = {Combining Testing and Runtime Verification Techniques},
  booktitle = {{MOMPES}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7706},
  pages     = {38--57},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/mompes/GoncalvesF12,
  author    = {Madalena Gon{\c{c}}alves and
               Jo{\~{a}}o M. Fernandes},
  title     = {Guidelines for Modelling Reactive Systems with Coloured Petri Nets},
  booktitle = {{MOMPES}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7706},
  pages     = {126--137},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/mompes/KlotzbucherB12,
  author    = {Markus Klotzb{\"{u}}cher and
               Herman Bruyninckx},
  title     = {A Lightweight, Composable Metamodelling Language for Specification
               and Validation of Internal Domain Specific Languages},
  booktitle = {{MOMPES}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7706},
  pages     = {58--68},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/mompes/MerschenGPK12,
  author    = {Daniel Merschen and
               Robert Gleis and
               Julian Pott and
               Stefan Kowalewski},
  title     = {Analysis of Simulink Models Using Databases and Model Transformations},
  booktitle = {{MOMPES}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7706},
  pages     = {69--84},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/mompes/MoriC12,
  author    = {Marco Mori and
               Anthony Cleve},
  title     = {Feature-Based Adaptation of Database Schemas},
  booktitle = {{MOMPES}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7706},
  pages     = {85--105},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/mompes/SimonsenK12,
  author    = {Kent Inge Fagerland Simonsen and
               Lars Michael Kristensen},
  title     = {Towards a CPN-Based Modelling Approach for Reconciling Verification
               and Implementation of Protocol Models},
  booktitle = {{MOMPES}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7706},
  pages     = {106--125},
  publisher = {Springer},
  year      = {2012}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics