Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/models/AndrewsAG15,
  author       = {Anneliese Andrews and
                  Mahmoud Abdelgawad and
                  Ahmed Gario},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Martina Seidl and
                  Gehan M. K. Selim},
  title        = {Active World Model for Testing Autonomous Systems Using {CEFSM}},
  booktitle    = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 18th International Conference
                  on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS
                  2015, Ottawa, Canada, September 29, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1514},
  pages        = {1--10},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1514/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/AndrewsAG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/AtleeBFL15,
  author       = {Joanne M. Atlee and
                  Sandy Beidu and
                  Uli Fahrenberg and
                  Axel Legay},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Martina Seidl and
                  Gehan M. K. Selim},
  title        = {Merging Features in Featured Transition Systems},
  booktitle    = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 18th International Conference
                  on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS
                  2015, Ottawa, Canada, September 29, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1514},
  pages        = {38--43},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1514/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/AtleeBFL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/DemuthRLE15,
  author       = {Andreas Demuth and
                  Markus Riedl{-}Ehrenleitner and
                  Roberto E. Lopez{-}Herrejon and
                  Alexander Egyed},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Martina Seidl and
                  Gehan M. K. Selim},
  title        = {Towards Safe Model Transformation for Constraint-driven Modeling},
  booktitle    = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 18th International Conference
                  on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS
                  2015, Ottawa, Canada, September 29, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1514},
  pages        = {11--17},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1514/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/DemuthRLE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/GerkingSDH15,
  author       = {Christopher Gerking and
                  Wilhelm Sch{\"{a}}fer and
                  Stefan Dziwok and
                  Christian Heinzemann},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Martina Seidl and
                  Gehan M. K. Selim},
  title        = {Domain-Specific Model Checking for Cyber-Physical Systems},
  booktitle    = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 18th International Conference
                  on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS
                  2015, Ottawa, Canada, September 29, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1514},
  pages        = {18--27},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1514/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/GerkingSDH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/PrzigodaPSWD15,
  author       = {Nils Przigoda and
                  Judith Peters and
                  Mathias Soeken and
                  Robert Wille and
                  Rolf Drechsler},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Martina Seidl and
                  Gehan M. K. Selim},
  title        = {Towards an Automatic Approach for Restricting {UML/OCL} Invariability
                  Clauses},
  booktitle    = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 18th International Conference
                  on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS
                  2015, Ottawa, Canada, September 29, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1514},
  pages        = {44--47},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1514/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/PrzigodaPSWD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/WangRL15,
  author       = {Xiaoliang Wang and
                  Adrian Rutle and
                  Yngve Lamo},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Martina Seidl and
                  Gehan M. K. Selim},
  title        = {Towards User-Friendly and Efficient Analysis with Alloy},
  booktitle    = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 18th International Conference
                  on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS
                  2015, Ottawa, Canada, September 29, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1514},
  pages        = {28--37},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1514/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/WangRL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/models/2015modevva,
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Martina Seidl and
                  Gehan M. K. Selim},
  title        = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 18th International Conference
                  on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS
                  2015, Ottawa, Canada, September 29, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1514},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1514},
  urn          = {urn:nbn:de:0074-1514-4},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2015modevva.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.