Past Events

Paper presentation@MODELS'10: Flexible Model Element Introduction Policies for Aspect-Oriented Modeling (Foundations) (Oslo, Norway, from 2010-10-07 15:30 to 2010-10-07 16:00) — by Brice Morin

 

MODELS'10 (Oslo, Norway, from 2010-10-03 09:00 to 2010-10-08 12:30) — by Mark Hefke

The ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems is hosted by SINTEF and the University of OSLO and will be used for promoting DiVA results.

Paper Presentation @ ASE'10: Security-Driven Model-Based Dynamic Adaptation (Antwerpen, Belgium, from 2010-09-23 14:00 to 2010-09-23 14:30) — by Brice Morin

 

First International workshop on Validation and Verification of Dynamic Software Systems ViDaS' 10 (Paris, France, from 2010-04-06 10:00 to 2010-04-10 20:15) — by Nelly Bencomo

Increasingly software systems are required to survive fluctuations in their execution environment without or with only little human intervention. These modern and complex systems cannot be shutdown to be changed or updated and restarted again. Instead, these systems need to be change-enabled to fluidly reconfigure and adapt to the ongoing circumstances and to find the way to continue accomplishing their goals. Such systems, called dynamic software systems (DSS), play vital roles in society’s infrastructures. The demand for DSS appears in application domains spanning business applications (e.g., virtual organizations and dynamic service compositions), entertainment, such as mobile interactive, and also safety critical systems, such as crisis and disaster management applications, space exploration, and transportation domains among others. Different international research initiatives and projects have started creating awareness and producing initial results in the development of technologies and platforms for such systems. Nevertheless, the dynamic nature of these systems still poses challenging research questions about how to guarantee their validity and correctness, especially in the case of safety critical applications. For instance, are traditional Validation and Verification (V&V) techniques usable in this new scenario? If so, how can they be reused? Given the new circumstances, new V&V techniques must also be explored. Such techniques should exploit the dynamic nature of DSS to provide for instance, V&V at runtime. The goal of this workshop is to bring together practitioners and researchers to identify and discuss the major research questions that emerge when tackling the validation and verification of dynamic software systems. Some of these questions are: How to ensure that the dynamic changes in the running system are performed correctly? How to ensure that the changes in the system are correct? (e.g. with respect to the requirements) How to ensure that the reconfigurations yield a system whose functional and extra-functional characteristics satisfy the requirements? How to ensure that the changes will be performed when needed? Which of the existing V&V techniques can help dealing with the V&V issues of dynamic software? How can these techniques be applied in this context? What are the differences between V&V done during design and runtime? How new V&V techniques performed at runtime challenge or modify the assumptions of current techniques?

META-ASPECT 2010: Workshop on Aspect-Oriented Meta-Modeling (St-Malo/Rennes, from 2010-03-16 09:30 to 2010-03-16 19:30) — by Brice Morin

META-ASPECT 2010: Workshop on Aspect-Oriented Meta-Modeling (http://meta-aspect.inria.fr/). To be held in conjunction with AOSD 2010 (http://aosd.net/2010) March 16th, 2010, Rennes/Saint Malo, France

FOSD - First Workshop on Feature-Oriented Software Development (Denver, Colorado, from 2009-10-06 11:00 to 2009-10-06 19:00) — by Martin Viktil

in conjunction with MODELS'09, GPCE'09, and SLE'09 with a Keynote by Don Batory. Important Dates. Paper submission: August 1st, 2009. Notification: September 1st, 2009 Workshop: October 6th, 2009. We will use the easychair paper submission/review system. Submissions should be uploaded via the following URL: http://www.easychair.org/conferences/?conf=fosd2009

DiVA (WP3) Live Demo at Models@Runtime workshop (Denver, Colorado, USA, from 2009-10-05 11:00 to 2009-10-05 20:00) — by Brice Morin

 

4th International Workshop Models@run.time 2009, Colorado, USA (Colorado, USA, from 2009-10-04 18:15 to 2009-10-06 18:15) — by Nelly Bencomo

Check http://www.comp.lancs.ac.uk/~bencomo/MRT/ It looks date will be 5th October 2009

4th International Workshop on Models@run.time 2009 (, from 2009-10-04 11:00 to 2009-10-09 19:00) — by Martin Viktil

In conjunction with MODELS Conference, Denver, Colorado, USA October 2009.

[Call for Papers] 4th International Workshop on Models@run.time 2009 (http://modelsconference.org/, from 2009-08-06 10:00 to 2009-08-06 18:00) — by Martin Viktil

In conjunction with MODELS Conference, Denver, Colorado, USA October. Important Dates: Submission deadline: Wednesday August 06th. Workshop Format. The workshop participants will be selected based on their experience and ideas related to this new and emerging field. You are invited to apply for attendance by sending a paper (8-10 pages) in PDF or PS The paper must conform to the Springer LNCS formatting guidelines: http://www.springer.com/computer/lncs (it is the same format of the Conference, see conference website for more information). Submissions Will be reviewed by at least 3 PC members.

Kermeta Days 09 (IRISA Rennes, France , from 2009-04-02 10:00 to 2009-04-02 19:00) — by Martin Viktil

4th edition of Kermeta Workshop. The INRIA Triskell Group is organizing the 4th edition of Kermeta Workshop to bring together Kermeta users and developers from both academia and industry in a friendly atmosphere. As always, the attendants will enjoy tutorials, user feedbacks and demonstrations on various Kermeta, executable metamodelling cand MDE related subjects.

AOSD'09 (Charlottesville, USA, from 2009-03-01 10:00 to 2009-03-06 18:00) — by Ruzanna Chitchyan

8th International Conference on Aspect-Oriented Software Development

[Submission] Kermeta Days 09 (IRISA Rennes, France , from 2009-02-16 09:00 to 2009-02-16 17:55) — by Martin Viktil

The INRIA Triskell Group is organizing the 4th edition of Kermeta Workshop to bring together Kermeta users and developers from both academia and industry in a friendly atmosphere. As always, the attendants will enjoy tutorials, user feedbacks and demonstrations on various Kermeta, executable metamodelling cand MDE related subjects.

MODELS conference (Toulouse, France, from 2008-09-28 11:00 to 2008-10-03 20:00) — by Dirk Balfanz

ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences)

DG INFSO D3 SSA&I Concertation Meeting (Brussels, Belgium, from 2008-09-22 11:00 to 2008-09-23 20:00) — by Dirk Balfanz

DG INFSO D3 SSA&I Concertation Meeting

DiVA technical meeting @ Uni Lancaster (, from 2008-09-17 11:00 to 2008-09-18 20:00) — by Dirk Balfanz

DiVA consortium meeting in Lancaster.

DiVA technical meeting @ INRIA (Rennes, France, from 2008-06-03 09:00 to 2008-06-04 17:00) — by Dirk Balfanz

 

DiVA kickoff @ Lillehammer (Lillehammer, Norway, from 2008-03-13 09:00 to 2008-03-14 17:00) — by Dirk Balfanz