Is this you? Create Your Porfile
Avatar

Régine Laleau

Université de Sherbrooke

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Régine Laleau is active.

Explore More

Publication

Featured researches published by Régine Laleau.

Archive | 2010

iASTD : un interpr'eteur pour les ASTD

Kevin Salabert; Jérémy Milhau; Benoît Fraikin; Marc Frappier; Frédéric Gervais; Régine Laleau

Archive | 2017

The SysML/KAOS Domain Modeling Approach.

Steve Tueno; Régine Laleau; Amel Mammar; Marc Frappier

Archive | 2017

Formal Representation of SysML/KAOS Domain Model (Complete Version).

Steve Tueno; Régine Laleau; Amel Mammar; Marc Frappier

Archive | 2018

From SysML/KAOS Domain Models to B System Specifications.

Steve Jeffrey Tueno Fotso; Marc Frappier; Amel Mammar; Régine Laleau

Archive | 2011

A formal integration of access control policies into information systems

Marc Frappier; Régine Laleau; Jérémy Milhau

Actes du 29eme Congres INFORSID | 2011

Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B .

Abderrahman Matoussi; Régine Laleau

ASM | 2010

Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

Marc Frappier; Uwe Glässer; Sarfraz Khurshid; Régine Laleau; Steve Reeves

Rodin User and Developer Workshop 2009 - Extended Abstracts | 2009

Expressing KAOS Goal Refinement Patterns with Event-B

Abderrahman Matoussi; Frédéric Gervais; Régine Laleau

INFORSID | 2009

Modlisation de politiques de scurit l?aide d?une algbre de processus

Pierre Konopacki; Marc Frappier; Régine Laleau

Atelier Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2009) | 2009

De KAOS vers Event-B: approche dirigée par les buts

Abderrahman Matoussi; Frédéric Gervais; Régine Laleau

Explore More

Collaboration

Dive into the Régine Laleau's collaboration.

Top Co-Authors
Avatar

Marc Frappier

Université de Sherbrooke

View shared research outputs
Top Co-Authors
Avatar

Frédéric Gervais

University of Paris

View shared research outputs
Top Co-Authors
Avatar

Abderrahman Matoussi

University of Paris

View shared research outputs
Top Co-Authors
Avatar

Amel Mammar

Telecom SudParis

View shared research outputs
Top Co-Authors
Avatar

Jérémy Milhau

Université de Sherbrooke

View shared research outputs
Top Co-Authors
Avatar

Benoît Fraikin

Université de Sherbrooke

View shared research outputs
Top Co-Authors
Avatar

Pierre Konopacki

Université de Sherbrooke

View shared research outputs
Top Co-Authors
Avatar

Steve Jeffrey Tueno Fotso

Université de Sherbrooke

View shared research outputs
Top Co-Authors
Avatar

Uwe Glässer

Simon Fraser University

View shared research outputs
Top Co-Authors
Avatar

Sarfraz Khurshid

University of Texas at Austin

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge