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},
  url          = {https://doi.org/10.1007/978-3-642-38209-3},
  doi          = {10.1007/978-3-642-38209-3},
  isbn         = {978-3-642-38208-6},
  timestamp    = {Wed, 09 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mompes/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mompes/AnwarBNC12,
  author       = {Adil Anwar and
                  Amine Benelallam and
                  Mahmoud Nassar and
                  Bernard Coulette},
  editor       = {Ricardo Jorge Machado and
                  Rita Suzana Pitangueira Maciel and
                  Julia Rubin and
                  Goetz Botterweck},
  title        = {A Graphical Specification of Model Composition with Triple Graph Grammars},
  booktitle    = {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},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-38209-3\_1},
  doi          = {10.1007/978-3-642-38209-3\_1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mompes/AnwarBNC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mompes/CoutoRC12,
  author       = {Rui Couto and
                  Ant{\'{o}}nio Nestor Ribeiro and
                  Jos{\'{e}} Creissac Campos},
  editor       = {Ricardo Jorge Machado and
                  Rita Suzana Pitangueira Maciel and
                  Julia Rubin and
                  Goetz Botterweck},
  title        = {MapIt: {A} Model Based Pattern Recovery Tool},
  booktitle    = {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},
  pages        = {19--37},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-38209-3\_2},
  doi          = {10.1007/978-3-642-38209-3\_2},
  timestamp    = {Mon, 18 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mompes/CoutoRC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mompes/FalzonP12,
  author       = {Kevin Falzon and
                  Gordon J. Pace},
  editor       = {Ricardo Jorge Machado and
                  Rita Suzana Pitangueira Maciel and
                  Julia Rubin and
                  Goetz Botterweck},
  title        = {Combining Testing and Runtime Verification Techniques},
  booktitle    = {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},
  pages        = {38--57},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-38209-3\_3},
  doi          = {10.1007/978-3-642-38209-3\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mompes/FalzonP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mompes/GoncalvesF12,
  author       = {Madalena Gon{\c{c}}alves and
                  Jo{\~{a}}o M. Fernandes},
  editor       = {Ricardo Jorge Machado and
                  Rita Suzana Pitangueira Maciel and
                  Julia Rubin and
                  Goetz Botterweck},
  title        = {Guidelines for Modelling Reactive Systems with Coloured Petri Nets},
  booktitle    = {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},
  pages        = {126--137},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-38209-3\_8},
  doi          = {10.1007/978-3-642-38209-3\_8},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mompes/GoncalvesF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mompes/KlotzbucherB12,
  author       = {Markus Klotzb{\"{u}}cher and
                  Herman Bruyninckx},
  editor       = {Ricardo Jorge Machado and
                  Rita Suzana Pitangueira Maciel and
                  Julia Rubin and
                  Goetz Botterweck},
  title        = {A Lightweight, Composable Metamodelling Language for Specification
                  and Validation of Internal Domain Specific Languages},
  booktitle    = {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},
  pages        = {58--68},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-38209-3\_4},
  doi          = {10.1007/978-3-642-38209-3\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mompes/KlotzbucherB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mompes/MerschenGPK12,
  author       = {Daniel Merschen and
                  Robert Gleis and
                  Julian Pott and
                  Stefan Kowalewski},
  editor       = {Ricardo Jorge Machado and
                  Rita Suzana Pitangueira Maciel and
                  Julia Rubin and
                  Goetz Botterweck},
  title        = {Analysis of Simulink Models Using Databases and Model Transformations},
  booktitle    = {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},
  pages        = {69--84},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-38209-3\_5},
  doi          = {10.1007/978-3-642-38209-3\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mompes/MerschenGPK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mompes/MoriC12,
  author       = {Marco Mori and
                  Anthony Cleve},
  editor       = {Ricardo Jorge Machado and
                  Rita Suzana Pitangueira Maciel and
                  Julia Rubin and
                  Goetz Botterweck},
  title        = {Feature-Based Adaptation of Database Schemas},
  booktitle    = {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},
  pages        = {85--105},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-38209-3\_6},
  doi          = {10.1007/978-3-642-38209-3\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mompes/MoriC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mompes/SimonsenK12,
  author       = {Kent Inge Fagerland Simonsen and
                  Lars Michael Kristensen},
  editor       = {Ricardo Jorge Machado and
                  Rita Suzana Pitangueira Maciel and
                  Julia Rubin and
                  Goetz Botterweck},
  title        = {Towards a CPN-Based Modelling Approach for Reconciling Verification
                  and Implementation of Protocol Models},
  booktitle    = {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},
  pages        = {106--125},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-38209-3\_7},
  doi          = {10.1007/978-3-642-38209-3\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mompes/SimonsenK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.