Louis Féraud

According to our database, Louis Féraud authored at least 17 papers between 1984 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification.

Bertrand Boisvert, Louis Féraud, Sergei Soloviev

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

2011

Typed lambda-terms in categorical attributed graph transformation

Bertrand Boisvert, Louis Féraud, Sergei Soloviev

Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

2010

Une approche formelle de l'interopérabilité en modélisation orientée métier.

Ali Abou Dib, Louis Féraud, Ileana Ober, Christian Percebois

Tech. Sci. Informatiques, 2010

Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques.

Ileana Ober, Louis Féraud, Christian Percebois

Innov. Syst. Softw. Eng., 2010

Attribute Computations in the DPoPb Graph Transformation Engine.

Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach.

Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev

Proceedings of the Advances in Software Engineering Techniques, 2009

2008

Towards Interoperability in Component Based Development with a Family of DSLs.

Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois

Proceedings of the Software Architecture, Second European Conference, 2008

A Unified Categorical Approach for Attributed Graph Rewriting.

Maxime Rebout, Louis Féraud, Sergei Soloviev

Proceedings of the Computer Science, 2008

2005

Formal Verification of Dynamic UML Diagrams using TLA+.

M. Couzinier, Louis Féraud

Proceedings of the Second IASTED International Multi-Conference on Automation, 2005

2003

An Approach of Model Transformation Based on Attribute Grammars.

May Dehayni, Louis Féraud

Proceedings of the Object-Oriented Information Systems, 9th International Conference, 2003

2002

Une approche pour réduire la complexité du flot de contrôle dans les programmes C.

Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat

Tech. Sci. Informatiques, 2002

1999

Using the abstract interpretation technique for static pointer analysis.

Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat

SIGARCH Comput. Archit. News, 1999

1994

How could object-oriented concepts and parallelism cohabit?

Jean Paul Bahsoun, Jean-Pierre Briot, Denis Caromel, Louis Féraud, Oscar Nierstrasz, Peter Wegner

Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1993

Designing and Implementing Synchronization: an Object Oriented Approach.

Jean Paul Bahsoun, Louis Féraud, Jean-Christophe Sakdavong

Proceedings of the TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, 1993

1992

A Model to Design Reusable Parallel Software Components.

Jean Paul Bahsoun, Louis Féraud

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

1990

A "Two Degrees of Freedom" Approach for Parallel Programming.

Jean Paul Bahsoun, Louis Féraud, Claude Bétourné

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1984

Une expression de la synchronisatin et de l'oronnancement des processus concurrents par variables partagées.

H. Bahsoun, Claude Bétourné, Louis Féraud

Proceedings of the International Symposium on Programming, 1984