Publications de
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud
Hybrid possibilistic systems with nondeterministic continous evolutions and switching
Dans : Acta Electrotechnica et Informatica, Faculty of Electrical Engineering and Informatics, Košice – Slovaquie, Vol. 12 N. 1, (support électronique), 2012.
Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
Attribute Computations in the DPoPb Graph Transformation Engine
Dans : Electronic Communications of the EASST (ECEASST), Electronic Communications of the EASST, Berlin – Germany, Vol. 32, (en ligne), 2010.
Accès : http://journal.ub.tu-berlin.de/eceasst/article/view/511
BibTeXIleana Ober, Louis Féraud, Christian Percebois
Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques
Dans : Innovations in Systems and Software Engineering, Springer, Vol. 6 N. 1, p. 21-28, janvier 2010.
Résumé Accès : http://www.springerlink.com/content/y78373u877564110/
BibTeXErwann Poupart, Ali Abou Dib, Louis Féraud, Pierre Bazex, Ileana Ober, Christian Percebois, Thierry Millan
Vers une abstraction d’une famille de DSL
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 81, p. 24-31, juin 2007.
Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
Une approche pour réduire la complexité du flot de contrôle dans les programmes C
Dans : Technique et science informatiques, Hermès, Vol. 21, N. 7, p. 1009-1032, 2002.
Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
Using Abstract Interpretation Techniques for Static Pointer Analysis
Dans : Computer Architecture News, ACM, ISSN 0163-5694, Vol. 27 N. 1, p. 47-50, mars 1999.
Résumé Accès : http://www.irit.fr/publis/APARA/March/208.ps.gz
BibTeXInteropérabilité et granularité : quelques limites de CORBA
Dans : Calculateurs Parallèles, Hermès, Vol. 10, N. 5, p. 537-553, 1998.
Jean-Paul Bahsoun, Louis Féraud
Designing Reusable Parallel Software Components
Dans : Journal of Computers and Artificial Intelligence, Vol. 13 N. 1, p. 73-90, 1994.
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification (regular paper)
Dans : International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), Barcelone, 19/02/13-21/02/13, Slimane Hammoudi, Luis Ferreira Pires, Joaquim Filipe, Rui Cesar das Neves (Eds.), SciTePress, p. 62-77, février 2013.
Accès : http://www.irit.fr/~Sergei.Soloviev/modelsward3-4.pdf – https://oatao.univ-toulouse.fr/12726/
BibTeXBertrand Boisvert, Louis Féraud, Sergei Soloviev
Graph Transformations, Proofs and Grammars (regular paper)
Dans : Philosophy, Mathematics, Linguistics: Aspects of Interaction, Saint-Petersbourg, Russie, 22/05/12-25/05/12, Oleg Prozorov (Eds.), Euler International Math. Institute, St.-Petersburg Division of Steklov Math. Institute, Russian Academy of Sciences, p. 195-204, mai 2012.
Accès : http://www.irit.fr/~Sergei.Soloviev/soloviev_phml.pdf
BibTeXIevgen Ivanov, Mykola Nikitchenko, Louis Féraud
Possibilistic modeling of a special class of hybrid systems (regular paper)
Dans : International scientific conference "Dynamical system modeling and stability investigation" (DMSI 2011), Kiev Ukraine, 25/05/11-27/05/11, DMSI, p. 90-95, mai 2011.
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud
Possibilistic models of hybrid systems with nondeterministic continuous evolutions and switchings (regular paper)
Dans : International scientific conference INFORMATICS’2011, Roznava Slovakia, 16/11/11-18/11/11, Faculty of Electrical Engineering and Informatics, p. 14-25, novembre 2011.
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Single pushout and lambda-terms for computation in attributed graph rewriting (regular paper)
Dans : International Seminar "Specification and Verification of Hybrid Systems", Kyiv, Ukraine, 10/10/11-12/10/11, Mykola Nikitchenko (Eds.), Taras Shevchenko National University of Kyiv, p. 20-34, octobre 2011.
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed lambda-terms in categorical attributed graph rewriting (regular paper)
Dans : WorKshop on Algebraic Methods in Model-Based Software Engineering @ TOOLS 2011, Zurich, Switzerland, 30/06/11-30/06/11, Vol. 56, Francisco Durand, Vlad Rusu (Eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), EPTCS, (en ligne), juin 2011.
Sergey Baranov, Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed Lambda Terms in Categorical Graph Rewriting (regular paper)
Dans : The International Conference Polynomial Computer Algebra, Saint-Petersburg, Russia, Euler International Mathematical Institute, 17/04/11-22/04/11, Nikolay Vasyliev (Eds.), Euler International Mathematical Institute, p. 9-17, avril 2011.
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud, Martin Strecker
Modeling programs over complex-named data by term rewriting systems (regular paper)
Dans : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2010), Univ. Taras Shevchenko, Kiev (Ukraine), 04/10/10-08/10/10, Presses universitaires de l’Université Taras Shevchenko, p. 40-49, octobre 2010.
Ileana Ober, Louis Féraud, Christian Percebois
Dealing with Variability within a family of Domain Specific Languages: comparative analysis of different techniques (regular paper)
Dans : UML&FM, Rio de Janeiro, 08/12/09-08/12/09, Agusti Canals, Isabelle Perseil (Eds.), Télécom ParisTech, p. 17-23, décembre 2009.
Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev
Computations in Graph Rewriting: Inductive types and Pullbacks in DPO Approach (regular paper)
Dans : IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET 2009), Krakow, Pologne, 12/10/09-14/10/09, Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (Eds.), Springer-Verlag, p. 164-177, 2009.
Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois
Towards interoperability in component based development with a family of DSLs
Dans : European Conference on Software Architecture (ECSA 2008), Chypre, 29/09/08-01/10/08, Vol. LNCS, R. Morrison, D. Balasubramaniam, K. Falkner (Eds.), Springer-Verlag, p. 148-163, septembre 2008.
Résumé Accès : http://www.springer.com/computer/programming/book/978-3-540-88029-5
BibTeXAli Abou Dib, Louis Féraud, Christian Percebois, Ileana Ober
Towards a Rigorous Framework for dealing with Domain Specific Language Families
Dans : International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT 2008), Damascus, Syria, 07/04/08-11/04/08, IEEE Computer Society, (support électronique), avril 2008 (First Best Paper Award).
Maxime Rebout, Louis Féraud, Sergei Soloviev
A Unified Categorical Approach for Attributed Graph Rewriting
Dans : International Computer Science Symposium in Russia (CSR 2008), Moscou, 07/06/08-12/06/08, Vol. 5010, E. Hirsch, A. Razborov (Eds.), Springer, p. 398-410, juin 2008.
Christian Percebois, Pierre Bazex, Arlette Sebatware, Hervé Leblanc, Ali Abou Dib, Ileana Ober, Louis Féraud
Modélisation en UML et OCL de langages dédiés
Dans : Journée KERMETA 2006, Rennes, France, 10/10/06.
Marjorie Couzinier, Louis Féraud, Ralph Sobek, Sergei Soloviev
A framework for increasing program design reliability
Dans : Contemporary information and education space. St. Petersburg pedagogical state university 2005, St. Petersburg, 22/11/05-02/12/05, Sovremennoe informatsionno-obrazovatelnoe prostranstvo (Editions de L’Université Pédagogique d’Etat), p. 67-70, 2005.
Marjorie Couzinier, Louis Féraud
Formal verification of dynamic UML diagrams using TLA+
Dans : Second IASTED International Multiconference Software Engineering (ACIT-SE), Novosibirsk, 20/06/05-24/06/05, ACTA Press, p. 85-91, juin 2005.
Marjorie Couzinier, Louis Féraud
Une approche formelle des diagrammes dynamiques d’UML via TLA+
Dans : FAC’05 Journées Formalisation des activités concurrentes, Toulouse, 09/03/05-10/03/05.
Raymonde Le Delliou , Nicolas Ploquin, Mariano Belaunde, Reda Bendraou, Louis Féraud
A Model Driven Approach For Information System Migration
Dans : Workshop on ODP for Entreprise Computing, Monterey Californie Etats Unis, 20/09/04-20/09/04, IEEE Computer society, p. 90-97, septembre 2004.
Attribute grammars as tools for model-to-model transformations
Dans : International Workshop Model Driven Architecture Foundations and Applications, Université de Twente Enshede, 26/06/03-27/06/03, Université de Twente CTIT-03-27, p. 73-84, juin 2003.
An approach of model transformation based on attribute grammars
Dans : 9th international Conference on Object Oriented Information Systems, Geneve, 02/09/03-05/09/03, Springer Verlag (LNCS 2817), p. 412-423, septembre 2003.
Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Christophe Le Camus, Pierre Bazex, Louis Féraud, Ralph Sobek
Extending OCL for verifying UML models consistency
Dans : Workshop on Consistency Problems in UM- based Software Development in conjonction with the fifth International Conference on the Unified Modelling Language “UML” 2002 “Modelling Languages, Concepts and Tools”, Dresden, Allemagne, 01/10/02, Ludwik Kuzniarz – Gianna Reggio – Jean-Louis Sourrouille – Zbigniew Huzar, p. 75-91, octobre 2002.
Désenvoûter le numérique
Dans : Journées PRESCOT, Toulouse, .
Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan
Modélisation et transformations de données
Dans : Journées sur les technologies applicables à la valorisation de données, Toulouse, .
Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan, Christian Percebois
Data Design and Transformation
Dans : World Multiconference on Systemics, Cybernetics and Informatics 2000, Orlando (USA), 23/07/00-26/07/00, IIIS, 14269 Lord Barclay Dr., Orlandom FL 32837, USA, p. 587-592, juillet 2000.
Christine Rochange, Pascal Sainrat, Louis Féraud, Hugues Cassé
Using Abstract Interpretation Technics for Static Pointer Analysis
Dans : 3rd workshop on Interaction Between Compilers and Computer Architectures (INTERACT’3), San Jose, USA, 03/10/99-07/10/99, Pen-Chung Yew, University of Minnesota, octobre 1999.
Résumé Accès : http://www.irit.fr/publis/APARA/March/A_Interact3.ps.gz
BibTeXInteroperability and granularity : some limits of CORBA
Dans : Ecole ISYPAR, IRIT-Toulouse, .
Jean-Paul Bahsoun, Louis Féraud, J Pouilly, J-Christophe Sakdavong
Building distributed applications with HECTOR
Dans : ECOOP’96 Workshop on Concurrent and Distributed Object-Oriented Programming, Linz, Austria, -, juillet 1996.
J-Christophe Sakdavong, Jean-Paul Bahsoun, Louis Féraud
A model for designing distributed Object-Oriented Programming
Dans : IWOOS 95 IEEE Proceedings, Malmoe, Sweeden, -, p. 200-210, juillet 1995.
Jean-Paul Bahsoun, Louis Féraud, J Pouilly
Programmation Orientée Objet Distribuée : les perspectives du modèle HECTOR
Dans : Actes des Journées du GDR programamtion, Lille, .
Jean-Paul Bahsoun, Jean-Pierre Briot, Louis Féraud, Denis Caromel, O Nierstrasz, P Wegner
How could object-oriented concepts and parallelism cohabit?
Dans : Actes de IEEE ICCL’94, –, .
Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Pierre Bazex, Louis Féraud
NEPTUNE : Method, Checking and documentation generation for UML application
, NEPTUNE Consortium, 2003.