default search action

combined dblp search
author search
venue search
publication search

ask others

MoDeVVa@MoDELS 2014: Valencia, Spain

> Home > Conferences and Workshops > MoDELS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/models/2014modevva
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2014modevva
Frédéric Boulanger, Michalis Famelis, Daniel Ratiu:
Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014. CEUR Workshop Proceedings 1235, CEUR-WS.org 2014
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/FernandezGL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/FernandezGL14
Jesús J. López-Fernández, Esther Guerra, Juan de Lara:
Assessing the Quality of Meta-models. 3-12
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/BousseCB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BousseCB14
Erwan Bousse, Benoît Combemale, Benoit Baudry:
Towards Scalable Multidimensional Execution Traces for xDSMLs. 13-18
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/GammaitoniKM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/GammaitoniKM14
Loïc Gammaitoni, Pierre Kelsen, Fabien Mathey:
Verifying Modelling Languages using Lightning: a Case Study. 19-28
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/WangRL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/WangRL14
Xiaoliang Wang, Adrian Rutle, Yngve Lamo:
Scalable Verification of Model Transformations. 29-38
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/BrunelCRBV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BrunelCRBV14
Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée:
A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures. 39-48
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/SpichkovaBHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SpichkovaBHS14
Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt:
Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. 49-58
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/HilkenNWG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HilkenNWG14
Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla:
Towards a Base Model for UML and OCL Verification. 59-68
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/HerzigP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HerzigP14
Sebastian J. I. Herzig, Christiaan J. J. Paredis:
Bayesian Reasoning Over Models. 69-78
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/KumarDK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/KumarDK14
Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai:
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. 79-88

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.