Organizing Web Search Results Using Clustering By Compression

Exploring Multi-Paradigm Modeling Techniques

Simulation of Multi-Formalism Models with ModHel'X

Modeling Heterogeneous Points of View with ModHel'X

ModHel'X, un outil expérimental pour la modélisation multi-paradigmes

An Overall Specification of a Meta-Model of Computation For Model- Driven Embedded Systems

Issues of Hierarchical Heterogeneous Modeling in Component Reusability

Modélisation multiparadigme pour la conception des systèmes

Minimum Tree Cost Quartet Puzzling

Integration of Dependability Features in a Synchronous Application

ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling

Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS

Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMS

Flat Heterogeneous Modeling

Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS

ModHel'X : A Component-Oriented Approach to Multi-Formalism Modeling

Modèles, systèmes, hétérogénéité

Modeling Heterogeneous Points of View with ModHel'X

A formal abstract framework for modelling and testing complex software systems

Le paradigme acteur dans la modélisation des systèmes embarqués

Abstraction qualitative pour l'optimisation de la surveillance des systèmes cyber-physiques.

Heterogeneous Modeling of Gesture-Based 3D Applications

A model of domain-polymorph component for heterogeneous system design

An Approach of Domain Polymorph Component Design

Complex Systems Design & Management

TESL: A language for reconciling heterogeneous execution traces

A DSL for Explicit Semantic Adaptation

A Primitive Execution Model for Heterogeneous Modeling

Timed Discrete-Event Simulation of Aviation Scenarios

Testing of Abstract Components

Multi-Formalism Modelling and Model Execution

Heterogeneous Model Composition in ModHel'X: the Power Window Case Study

Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent Environments

Testing of component-based systems

A Formal Development of a Polychronous Polytimed Coordination Language

TESL: a Model with Metric Time for Modeling and Simulation

Bridging the Chasm between Executable Metamodeling and Models of Computation

MoDeVVa 2012 workshop summary

A New Qualitative Language for Qualitative Simulation

Simulation des Systèmes d'Information des Smart Grids - Une approche par points de vue

Qualitative Simulation of Hybrid Systems with an Application to SysML Models

Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation

Simulation orientée utilisateur des Systèmes d'Information des Smart Grids

A New Approach of Qualitative Simulation for the Validation of Hybrid Systems

Qualitative Reasoning and Design Space Exploration

Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation

Qualitative tendencies for hybrid system simulation

Abstraction qualitative et surveillance de systèmes cyber-physiques

An executable model driven framework for enterprise architecture application to the Smart Grids context

Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulation