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

@inproceedings{BoulangerEtAl:MoDeVVa 20132013,
title = {Preface},
author = {Frédéric Boulanger and Michalis Famelis and Daniel Ratiu},
url = {http://ceur-ws.org/Vol-1069/01-preface.pdf},
crossref = {MoDeVVa 20132013},
}

@inproceedings{Chechik:MoDeVVa 20132013,
title = {Abstract of the Keynote: Partial Behavior Modeling},
author = {Marsha Chechik},
url = {http://ceur-ws.org/Vol-1069/02-keynote.pdf},
crossref = {MoDeVVa 20132013},
}

@inproceedings{MijatovEtAl:MoDeVVa 20132013,
title = {A Framework for Testing UML Activities Based on fUML},
author = {Stefan Mijatov and Philip Langer and Tanja Mayerhofer and Gerti Kappel},
pages = {1--10},
url = {http://ceur-ws.org/Vol-1069/03-paper.pdf},
crossref = {MoDeVVa 20132013},
}

@inproceedings{AndréEtAl:MoDeVVa 20132013,
title = {Building Test Harness From Service-based Component Models},
author = {Pascal André and Jean-Marie Mottu and Gilles Ardourel},
pages = {11--20},
url = {http://ceur-ws.org/Vol-1069/04-paper.pdf},
crossref = {MoDeVVa 20132013},
}

@inproceedings{Prehofer:MoDeVVa 20132013,
title = {Feature-based Development of State Transition Diagrams with Property Preservation},
author = {Christian Prehofer},
pages = {21--30},
url = {http://ceur-ws.org/Vol-1069/05-paper.pdf},
crossref = {MoDeVVa 20132013},
}

@inproceedings{KaufmannEtAl:MoDeVVa 20132013,
title = {Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines},
author = {Petra Kaufmann and Martin Kronegger and Andreas Pfandler and Martina Seidl and Magdalena Widl},
pages = {31--40},
url = {http://ceur-ws.org/Vol-1069/06-paper.pdf},
crossref = {MoDeVVa 20132013},
}

@inproceedings{TikhonovaEtAl:MoDeVVa 20132013,
title = {Applying Model Transformation and Event-B for Specifying an Industrial DSL},
author = {Ulyana Tikhonova and Maarten Manders and Mark Van Den Brand and Suzana Andova and Tom Verhoeff},
pages = {41--50},
url = {http://ceur-ws.org/Vol-1069/07-paper.pdf},
crossref = {MoDeVVa 20132013},
}

@inproceedings{Blech:MoDeVVa 20132013,
title = {Ensuring OSGi Component Based Properties at Runtime with Behavioral Types},
author = {Jan Olaf Blech},
pages = {51--60},
url = {http://ceur-ws.org/Vol-1069/08-paper.pdf},
crossref = {MoDeVVa 20132013},
}

@inproceedings{NachtigallEtAl:MoDeVVa 20132013,
title = {Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems},
author = {Nico Nachtigall and Benjamin Braatz and Thomas Engel},
pages = {61--66},
url = {http://ceur-ws.org/Vol-1069/09-paper.pdf},
crossref = {MoDeVVa 20132013},
}

@inproceedings{DuboisEtAl:MoDeVVa 20132013,
title = {Research Questions for Validation and Verification in the Context of Model-Based Engineering},
author = {Catherine Dubois and Michalis Famelis and Martin Gogolla and Leonel Nobrega and Ileana Ober and Martina Seidl and Markus Völter},
pages = {67--76},
url = {http://ceur-ws.org/Vol-1069/10-paper.pdf},
crossref = {MoDeVVa 20132013},
}

@inproceedings{LailEtAl:MoDeVVa 20132013,
title = {An Approach to Analyzing Temporal Properties in UML Class Models},
author = {Mustafa Al Lail and Ramadan Abdunabi and Robert France and Indrakshi Ray},
pages = {77--86},
url = {http://ceur-ws.org/Vol-1069/11-paper.pdf},
crossref = {MoDeVVa 20132013},
}

@proceedings{MoDeVVa 20132013,
booktitle = {Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2013)},
title = {Proceedings of the Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2013)},
year = 2013,
editor = {Frédéric Boulanger and Michalis Famelis and Daniel Ratiu},
number = 1069,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-1069/},
venue = {Miami, Florida},
eventdate = {2013-10-01},
}

