Louis Féraud

Publication Activity (10 Years)

Years Active: 1984-2013
Publications (10 Years): 0

Top Topics

Similarity Search

Attributed Graphs

Top Venues

Publications

Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. MODELSWARD (2013)
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed lambda-terms in categorical attributed graph transformation AMMSE (2011)
Ileana Ober, Louis Féraud, Christian Percebois
Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Ali Abou Dib, Louis Féraud, Ileana Ober, Christian Percebois
Une approche formelle de l'interopérabilité en modélisation orientée métier. Tech. Sci. Informatiques 29 (4-5) (2010)
Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
Attribute Computations in the DPoPb Graph Transformation Engine. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach. CEE-SET (2009)
Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois
Towards Interoperability in Component Based Development with a Family of DSLs. ECSA (2008)
Maxime Rebout, Louis Féraud, Sergei Soloviev
A Unified Categorical Approach for Attributed Graph Rewriting. CSR (2008)
M. Couzinier, Louis Féraud
Formal Verification of Dynamic UML Diagrams using TLA+. Automation, Control, and Information Technology (2005)
May Dehayni, Louis Féraud
An Approach of Model Transformation Based on Attribute Grammars. OOIS (2003)
Jean Paul Bahsoun, Jean-Pierre Briot, Denis Caromel, Louis Féraud, Oscar Nierstrasz, Peter Wegner
How could object-oriented concepts and parallelism cohabit? ICCL (1994)
Jean Paul Bahsoun, Louis Féraud, Jean-Christophe Sakdavong
Designing and Implementing Synchronization: an Object Oriented Approach. TOOLS (10) (1993)
Jean Paul Bahsoun, Louis Féraud
A Model to Design Reusable Parallel Software Components. PARLE (1992)
Jean Paul Bahsoun, Louis Féraud, Claude Bétourné
A "Two Degrees of Freedom" Approach for Parallel Programming. ICCL (1990)
H. Bahsoun, Claude Bétourné, Louis Féraud
Une expression de la synchronisatin et de l'oronnancement des processus concurrents par variables partagées. Symposium on Programming (1984)