default search action

combined dblp search
author search
venue search
publication search

ask others

MoDeVVa@MoDELS 2015: Ottawa, Canada

> 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/2015modevva
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2015modevva
Michalis Famelis, Daniel Ratiu, Martina Seidl, Gehan M. K. Selim:
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. CEUR Workshop Proceedings 1514, CEUR-WS.org 2015
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/AndrewsAG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AndrewsAG15
Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario:
Active World Model for Testing Autonomous Systems Using CEFSM. 1-10
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/DemuthRLE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/DemuthRLE15
Andreas Demuth, Markus Riedl-Ehrenleitner, Roberto E. Lopez-Herrejon, Alexander Egyed:
Towards Safe Model Transformation for Constraint-driven Modeling. 11-17
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/GerkingSDH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/GerkingSDH15
Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann:
Domain-Specific Model Checking for Cyber-Physical Systems. 18-27
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/WangRL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/WangRL15
Xiaoliang Wang, Adrian Rutle, Yngve Lamo:
Towards User-Friendly and Efficient Analysis with Alloy. 28-37
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/AtleeBFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AtleeBFL15
Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay:
Merging Features in Featured Transition Systems. 38-43
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/PrzigodaPSWD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PrzigodaPSWD15
Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler:
Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses. 44-47

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.