Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/models/BurdenH11,
  author       = {H{\aa}kan Burden and
                  Rogardt Heldal},
  editor       = {Stephan Wei{\ss}leder and
                  Levi L{\'{u}}cio and
                  Harald Cichos and
                  Fr{\'{e}}d{\'{e}}ric Fondement},
  title        = {Natural language generation from class diagrams},
  booktitle    = {Proceedings of the 8th International Workshop on Model-Driven Engineering,
                  Verification and Validation, MoDeVVa, Wellington, New Zealand, October
                  17, 2011},
  pages        = {8:1--8:8},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095654.2095665},
  doi          = {10.1145/2095654.2095665},
  timestamp    = {Tue, 11 Jan 2022 20:51:41 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BurdenH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/ButtnerCG11,
  author       = {Fabian B{\"{u}}ttner and
                  Jordi Cabot and
                  Martin Gogolla},
  editor       = {Stephan Wei{\ss}leder and
                  Levi L{\'{u}}cio and
                  Harald Cichos and
                  Fr{\'{e}}d{\'{e}}ric Fondement},
  title        = {On validation of {ATL} transformation rules by transformation models},
  booktitle    = {Proceedings of the 8th International Workshop on Model-Driven Engineering,
                  Verification and Validation, MoDeVVa, Wellington, New Zealand, October
                  17, 2011},
  pages        = {9:1--9:8},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095654.2095666},
  doi          = {10.1145/2095654.2095666},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/models/ButtnerCG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/FamelisBCS11,
  author       = {Michalis Famelis and
                  Shoham Ben{-}David and
                  Marsha Chechik and
                  Rick Salay},
  editor       = {Stephan Wei{\ss}leder and
                  Levi L{\'{u}}cio and
                  Harald Cichos and
                  Fr{\'{e}}d{\'{e}}ric Fondement},
  title        = {Partial models: a position paper},
  booktitle    = {Proceedings of the 8th International Workshop on Model-Driven Engineering,
                  Verification and Validation, MoDeVVa, Wellington, New Zealand, October
                  17, 2011},
  pages        = {1:1--1:4},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095654.2095656},
  doi          = {10.1145/2095654.2095656},
  timestamp    = {Tue, 11 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/FamelisBCS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/KathayatB11,
  author       = {Surya Bahadur Kathayat and
                  Rolv Br{\ae}k},
  editor       = {Stephan Wei{\ss}leder and
                  Levi L{\'{u}}cio and
                  Harald Cichos and
                  Fr{\'{e}}d{\'{e}}ric Fondement},
  title        = {Analyzing realizability of choreographies using initiating and responding
                  flows},
  booktitle    = {Proceedings of the 8th International Workshop on Model-Driven Engineering,
                  Verification and Validation, MoDeVVa, Wellington, New Zealand, October
                  17, 2011},
  pages        = {6:1--6:8},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095654.2095662},
  doi          = {10.1145/2095654.2095662},
  timestamp    = {Tue, 11 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/KathayatB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/MaraeeB11,
  author       = {Azzam Maraee and
                  Mira Balaban},
  editor       = {Stephan Wei{\ss}leder and
                  Levi L{\'{u}}cio and
                  Harald Cichos and
                  Fr{\'{e}}d{\'{e}}ric Fondement},
  title        = {On the interaction of inter-relationship constraints},
  booktitle    = {Proceedings of the 8th International Workshop on Model-Driven Engineering,
                  Verification and Validation, MoDeVVa, Wellington, New Zealand, October
                  17, 2011},
  pages        = {3:1--3:8},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095654.2095658},
  doi          = {10.1145/2095654.2095658},
  timestamp    = {Tue, 11 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/MaraeeB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/RajiD11a,
  author       = {Amine Raji and
                  Philippe Dhaussy},
  editor       = {Stephan Wei{\ss}leder and
                  Levi L{\'{u}}cio and
                  Harald Cichos and
                  Fr{\'{e}}d{\'{e}}ric Fondement},
  title        = {Improving formal verification practicability through user oriented
                  models and context-awareness},
  booktitle    = {Proceedings of the 8th International Workshop on Model-Driven Engineering,
                  Verification and Validation, MoDeVVa, Wellington, New Zealand, October
                  17, 2011},
  pages        = {4:1--4:4},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095654.2095659},
  doi          = {10.1145/2095654.2095659},
  timestamp    = {Tue, 11 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/RajiD11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/SoekenWD11,
  author       = {Mathias Soeken and
                  Robert Wille and
                  Rolf Drechsler},
  editor       = {Stephan Wei{\ss}leder and
                  Levi L{\'{u}}cio and
                  Harald Cichos and
                  Fr{\'{e}}d{\'{e}}ric Fondement},
  title        = {Towards automatic determination of problem bounds for object instantiation
                  in static model verification},
  booktitle    = {Proceedings of the 8th International Workshop on Model-Driven Engineering,
                  Verification and Validation, MoDeVVa, Wellington, New Zealand, October
                  17, 2011},
  pages        = {2:1--2:4},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095654.2095657},
  doi          = {10.1145/2095654.2095657},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/models/SoekenWD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/SvendsenHM11a,
  author       = {Andreas Svendsen and
                  {\O}ystein Haugen and
                  Birger M{\o}ller{-}Pedersen},
  editor       = {Stephan Wei{\ss}leder and
                  Levi L{\'{u}}cio and
                  Harald Cichos and
                  Fr{\'{e}}d{\'{e}}ric Fondement},
  title        = {Specifying a testing oracle for train stations},
  booktitle    = {Proceedings of the 8th International Workshop on Model-Driven Engineering,
                  Verification and Validation, MoDeVVa, Wellington, New Zealand, October
                  17, 2011},
  pages        = {5:1--5:6},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095654.2095661},
  doi          = {10.1145/2095654.2095661},
  timestamp    = {Tue, 11 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/SvendsenHM11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/VajkDAML11,
  author       = {Tam{\'{a}}s Vajk and
                  Zolt{\'{a}}n D{\'{a}}vid and
                  M{\'{a}}rk Asztalos and
                  Gergely Mezei and
                  Tihamer Levendovszky},
  editor       = {Stephan Wei{\ss}leder and
                  Levi L{\'{u}}cio and
                  Harald Cichos and
                  Fr{\'{e}}d{\'{e}}ric Fondement},
  title        = {Runtime model validation with parallel object constraint language},
  booktitle    = {Proceedings of the 8th International Workshop on Model-Driven Engineering,
                  Verification and Validation, MoDeVVa, Wellington, New Zealand, October
                  17, 2011},
  pages        = {7:1--7:8},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095654.2095663},
  doi          = {10.1145/2095654.2095663},
  timestamp    = {Tue, 11 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/VajkDAML11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/models/2011modevva,
  editor       = {Stephan Wei{\ss}leder and
                  Levi L{\'{u}}cio and
                  Harald Cichos and
                  Fr{\'{e}}d{\'{e}}ric Fondement},
  title        = {Proceedings of the 8th International Workshop on Model-Driven Engineering,
                  Verification and Validation, MoDeVVa, Wellington, New Zealand, October
                  17, 2011},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095654},
  doi          = {10.1145/2095654},
  isbn         = {978-1-4503-0914-1},
  timestamp    = {Tue, 11 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2011modevva.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.