Louis Féraud

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