default search action

combined dblp search
author search
venue search
publication search

ask others

MoDeVVa@MoDELS 2011: Wellington, New Zealand

> 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
  authority control:
- export record
  dblp key:
  - conf/models/2011modevva
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2011modevva
Stephan Weißleder, Levi Lúcio, Harald Cichos, Frédéric Fondement:
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011. ACM 2011, ISBN 978-1-4503-0914-1

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/models/FamelisBCS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/FamelisBCS11
Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay:
Partial models: a position paper. 1:1-1:4
- view
  authority control:
- export record
  dblp key:
  - conf/models/SoekenWD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SoekenWD11
Mathias Soeken, Robert Wille, Rolf Drechsler:
Towards automatic determination of problem bounds for object instantiation in static model verification. 2:1-2:4
- view
  authority control:
- export record
  dblp key:
  - conf/models/MaraeeB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/MaraeeB11
Azzam Maraee, Mira Balaban:
On the interaction of inter-relationship constraints. 3:1-3:8
- view
  authority control:
- export record
  dblp key:
  - conf/models/RajiD11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RajiD11a
Amine Raji, Philippe Dhaussy:
Improving formal verification practicability through user oriented models and context-awareness. 4:1-4:4

Validation

- view
  authority control:
- export record
  dblp key:
  - conf/models/SvendsenHM11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SvendsenHM11a
Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen:
Specifying a testing oracle for train stations. 5:1-5:6
- view
  authority control:
- export record
  dblp key:
  - conf/models/KathayatB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/KathayatB11
Surya Bahadur Kathayat, Rolv Bræk:
Analyzing realizability of choreographies using initiating and responding flows. 6:1-6:8
- view
  authority control:
- export record
  dblp key:
  - conf/models/VajkDAML11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/VajkDAML11
Tamás Vajk, Zoltán Dávid, Márk Asztalos, Gergely Mezei, Tihamer Levendovszky:
Runtime model validation with parallel object constraint language. 7:1-7:8

Transformation

- view
  authority control:
- export record
  dblp key:
  - conf/models/BurdenH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BurdenH11
Håkan Burden, Rogardt Heldal:
Natural language generation from class diagrams. 8:1-8:8
- view
  authority control:
- export record
  dblp key:
  - conf/models/ButtnerCG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ButtnerCG11
Fabian Büttner, Jordi Cabot, Martin Gogolla:
On validation of ATL transformation rules by transformation models. 9:1-9:8

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.