@comment{It is strongly recommended to use BibLaTeX for these entries}

@inproceedings{Voelter:MoDeVVa2014,
title = {Language Workbenches: Opportunities and Challenges for V\&V},
author = {Voelter, Markus},
pages = {1--1},
url = {http://ceur-ws.org/Vol-1235/#paper-01},
crossref = {MoDeVVa2014},
}

@inproceedings{FernandezEtAl:MoDeVVa2014,
title = {Assessing the Quality of Meta-models},
author = {L{\'o}pez Fern{\'a}ndez, Jes{\'u}s J. and Guerra, Esther and De Lara, Juan},
pages = {3--12},
url = {http://ceur-ws.org/Vol-1235/#paper-02},
crossref = {MoDeVVa2014},
}

@inproceedings{BousseEtAl:MoDeVVa2014,
title = {Towards Scalable Multidimensional Execution Traces for xDSMLs},
author = {Bousse, Erwan and Combemale, Beno{\^i}t and Baudry, Beno{\^i}t},
pages = {13--18},
url = {http://ceur-ws.org/Vol-1235/#paper-03},
crossref = {MoDeVVa2014},
}

@inproceedings{GammaitoniEtAl:MoDeVVa2014,
title = {Verifying Modelling Languages using Lightning: a Case Study},
author = {Gammaitoni, Lo{\"i}c and Kelsen, Pierre and Mathey, Fabien},
pages = {19--28},
url = {http://ceur-ws.org/Vol-1235/#paper-04},
crossref = {MoDeVVa2014},
}

@inproceedings{WangEtAl:MoDeVVa2014,
title = {Scalable Verification of Model Transformations},
author = {Wang, Xiaoliang and Rutle, Adrian and Lamo, Yngve},
pages = {29--38},
url = {http://ceur-ws.org/Vol-1235/#paper-05},
crossref = {MoDeVVa2014},
}

@inproceedings{BrunelEtAl:MoDeVVa2014,
title = {A Viewpoint-Based Approach for Formal Safety \& Security Assessment of System Architectures},
author = {Brunel, Julien and Chemouil, David and Rioux, Laurent and Bakkali, Mohamed and Vall{\'e}e, Fr{\'e}d{\'e}rique},
pages = {39--48},
url = {http://ceur-ws.org/Vol-1235/#paper-06},
crossref = {MoDeVVa2014},
}

@inproceedings{SpichkovaEtAl:MoDeVVa2014,
title = {Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST},
author = {Spichkova, Maria and Blech, Jan Olaf and Herrmann, Peter and Schmidt, Heinz},
pages = {49--58},
url = {http://ceur-ws.org/Vol-1235/#paper-07},
crossref = {MoDeVVa2014},
}

@inproceedings{HilkenEtAl:MoDeVVa2014,
title = {Towards a Base Model for UML and OCL Verification},
author = {Hilken, Frank and Niemann, Philipp and Wille, Robert and Gogolla, Martin},
pages = {59--68},
url = {http://ceur-ws.org/Vol-1235/#paper-08},
crossref = {MoDeVVa2014},
}

@inproceedings{HerzigParedis:MoDeVVa2014,
title = {Bayesian Reasoning Over Models},
author = {Herzig, Sebastian J. I. and Paredis, Christiaan J. J.},
pages = {69--78},
url = {http://ceur-ws.org/Vol-1235/#paper-09},
crossref = {MoDeVVa2014},
}

@inproceedings{KumarEtAl:MoDeVVa2014,
title = {Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications},
author = {Kumar, Pranav Srinivas and Dubey, Abhishek and Karsai, Gabor},
pages = {79--88},
url = {http://ceur-ws.org/Vol-1235/#paper-10},
crossref = {MoDeVVa2014},
}

@proceedings{MoDeVVa2014,
booktitle = {Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2014)},
title = {Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2014)},
year = 2014,
editor = {Boulanger, Fr{\'e}d{\'e}ric and Famelis, Michalis and Ratiu, Daniel},
number = 1235,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-1235/},
venue = {Valencia, Spain},
eventdate = {2014-09-30},
}

