Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Research highlights
Research results
Research highlight : UNIFORM TRACE SAMPLING IN VERY LARGE MODELS
UNIFORM TRACE SAMPLING IN VERY LARGE MODELS
6 November 2007

A new algorithm makes it possible to draw traces uniformly at random in very large models of concurrent systems.
Let a system described as some parallel composition of several transition systems. The algorithm makes it possible to draw traces uniformly at random in this system, without constructing its global model: a trace is drawn from every component following an adequate probability; then these traces are composed via some specific randomised merge strategy.



Keyword
  ° Verification
  ° Model-Checking
  ° Formal Methods for Software Engineering

Group
  ° Bioinformatics
  ° Formal Testing and System Exploration

Contact
  [none]
Research highlights
MODEL TRANSFORMATION AS CONSERVATIVE THEORY-TRANSFORMATION
30 October 2020
We present a new technique to construct tool support for domain-specific languages (DSLs) inside the

BEST STUDENT PAPER AWARD (ML) AT ECML 2019
20 September 2019
Guillaume Doquet (A&O) received the Best Student Paper Award (category Machine Learning) at ECML 201

BEST PAPER AWARD - HPCS 2019 - ON SERVER-SIDE FILE ACCESS PATTERN MATCHING
17 July 2019
Francieli Zanon Boito¹ , Ramon Nou², Laércio Lima Pilla³, Jean Luca Bez⁴, Jean-François Méhaut¹, T

BEST FULL PAPER AWARD EDM 2019 - EDUCATIONAL DATA MINING
5 July 2019
DAS3H: Modeling Student Learning and Forgetting for Optimally Scheduling Distributed Practice of Ski

BEST PAPER AWARD - CODIT2019 - STOCHASTIC DUAL DYNAMIC INTEGER PROGRAMMING FOR A MULTI-ECHELON LOT-SIZING PROBLEM WITH REMANUFACTURING AND LOST SALES
14 May 2019
Franco Quezada, Céline Gicquel and Safia Kedad-Sidhoum