Search dblp for Publications

export results for "toc:db/conf/models/modevva2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/models/AdesinaSL16,
  author       = {Opeyemi Adesina and
                  St{\'{e}}phane S. Som{\'{e}} and
                  Timothy Lethbridge},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Gehan M. K. Selim},
  title        = {Modeling State Diagrams with And-Cross Transitions},
  booktitle    = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 19th International Conference
                  on Model Driven Engineering Languages and Systems {(MODELS} 2016),
                  Saint-Malo, France, October 3, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1713},
  pages        = {46--53},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1713/MoDeVVa\_2016\_paper\_6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/models/AdesinaSL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/AlhwikemPRA16,
  author       = {Faisal Alhwikem and
                  Richard F. Paige and
                  Louis Rose and
                  Rob Alexander},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Gehan M. K. Selim},
  title        = {A Systematic Approach for Designing Mutation Operators for {MDE} Languages},
  booktitle    = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 19th International Conference
                  on Model Driven Engineering Languages and Systems {(MODELS} 2016),
                  Saint-Malo, France, October 3, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1713},
  pages        = {54--59},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1713/MoDeVVa\_2016\_paper\_7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/AlhwikemPRA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/Attiogbe16,
  author       = {J. Christian Attiogb{\'{e}}},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Gehan M. K. Selim},
  title        = {Mapping Component Models on Distributed Architectures: Correctness
                  Checking},
  booktitle    = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 19th International Conference
                  on Model Driven Engineering Languages and Systems {(MODELS} 2016),
                  Saint-Malo, France, October 3, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1713},
  pages        = {1--9},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1713/MoDeVVa\_2016\_paper\_1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Attiogbe16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/DernehlKK16,
  author       = {Christian Dernehl and
                  Jan K{\"{u}}hn and
                  Stefan Kowalewski},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Gehan M. K. Selim},
  title        = {Abstract Interpretation for Block Diagrams - Two Case Studies},
  booktitle    = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 19th International Conference
                  on Model Driven Engineering Languages and Systems {(MODELS} 2016),
                  Saint-Malo, France, October 3, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1713},
  pages        = {20--29},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1713/MoDeVVa\_2016\_paper\_3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/DernehlKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/PrzigodaHPWGD16,
  author       = {Nils Przigoda and
                  Frank Hilken and
                  Judith Peters and
                  Robert Wille and
                  Martin Gogolla and
                  Rolf Drechsler},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Gehan M. K. Selim},
  title        = {Integrating an SMT-Based ModelFinder into {USE}},
  booktitle    = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 19th International Conference
                  on Model Driven Engineering Languages and Systems {(MODELS} 2016),
                  Saint-Malo, France, October 3, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1713},
  pages        = {40--45},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1713/MoDeVVa\_2016\_paper\_5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/PrzigodaHPWGD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/StorrleK16,
  author       = {Harald St{\"{o}}rrle and
                  Alexander Knapp},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Gehan M. K. Selim},
  title        = {Discovering Timing Feature Interactions with Timed {UML} 2 Interactions},
  booktitle    = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 19th International Conference
                  on Model Driven Engineering Languages and Systems {(MODELS} 2016),
                  Saint-Malo, France, October 3, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1713},
  pages        = {10--19},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1713/MoDeVVa\_2016\_paper\_2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/StorrleK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/ZalilaCP16,
  author       = {Faiez Zalila and
                  Xavier Cr{\'{e}}gut and
                  Marc Pantel},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Gehan M. K. Selim},
  title        = {A {DSL} to Feedback Formal Verification Results},
  booktitle    = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 19th International Conference
                  on Model Driven Engineering Languages and Systems {(MODELS} 2016),
                  Saint-Malo, France, October 3, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1713},
  pages        = {30--39},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1713/MoDeVVa\_2016\_paper\_4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ZalilaCP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/models/2016modevva,
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Gehan M. K. Selim},
  title        = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 19th International Conference
                  on Model Driven Engineering Languages and Systems {(MODELS} 2016),
                  Saint-Malo, France, October 3, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1713},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1713},
  urn          = {urn:nbn:de:0074-1713-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2016modevva.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.