FRANÇAIS
|
 |
Modeling and Information Processing
Publications 2008
Formal Evaluation
[DWW 08] G. Durrieu, Hélène Waeselynck, V. Wiels
LETO - A Lustre-based Test Oracle for Airbus critical systems
Formal Methods for industrial Critical systems (FMICS) - L'Aquila, Italie (15-16 Septembre 2008)
[BBD08] P.Bieber, JP.Blanquart, G.Durrieu, D.Lesens, J.Lucotte, F.Tardy, M.Turin, C.Seguin, E.Conquet,
Integration of formal fault analysis in ASSERT: Case studies and lessons learnt
ERTS 2008 Toulouse January 2008
[BMP08] R.Bernard, S.Metge, F.Pouzolz, P.Bieber, A.Griffault, M.Zeitoun
Altarica refinement for Heterogeneous Granularity Model Analysis
Lambda-Mu 16, Avignon, October 2008
[BBC+08] P. Bieber, J.P Bodeveix, C. Castel, D. Doose, M.Filali, F. Minot, C. Pralet
Constraint-based Design of Avionics Platform - Preliminary Design Exploration
ERTS 2008 Toulouse January 2008
[JBB+08] R. Jacquart, Ph. Bouteilloux, St. Burkhart, J. Burman, L. Thaning.
A case study in applying the GM-VV VV&A methodology
Spring SIW workshop, Providence, Rhode Island USA, 14-18 avril 2008
Engineering of Models
[CCMP08] Benoît Combemale, Xavier Crégut, Pierre Michel, Marc Pantel
SéMo'07 : Premier atelier sur la sémantique des modèles
Journal « L'Objet : logiciel, base de données, réseaux », volume 13 - n°4/2007, numéro spécial « Ingénierie dirigée par les modèles » - Hermès-Lavoisier (1er Février 2008)
[CCG+08] Benoît Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit
4th European Congress on Embedded Real Time Software (ERTS'08) - Toulouse (29 Janvier-1er Février 2008)
Architecture of Embedded and Distributed Systems
[BR08] M. Boyer, O.H. Roux
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets
Fundamenta Informaticae, Volume 88, Number 3, 2008
[FBLP08] J. Forget, F. Boniol, D. Lesens, and C. Pagetti.
A Multi-Periodic Synchronous Data-Flow Language
In 11th IEEE High Assurance Systems Engineering Symposium (HASE'08), December 2008.
[BHPAV08] F. Boniol, P.-E. Hladik, C. Pagetti, F. Aspro and V. Jégu.
A Framework for Distributing Real-Time Functions.
In Proceedings of the 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08), Saint-Malo, France, September 2008, LNCS 5215. Springer-Verlag. Pages 155-169.
[FBLPP08] J. Forget, F. Boniol, D. Lesens, C. Pagetti and M. Pouzet.
Programming Languages For Hard Real-Time Embedded Systems.
In Embedded Real Time Software (ERTS'08), 2008.
[DPSBD08] X. Dumas, C. Pagetti, L. Sagaspe, P. Bieber et P. Dhaussy.
Vers la génération de modèles de sûreté de fonctionnement.
In 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), Canada. Revue des Nouvelles Technologies de l'Information RNTI-L-2 Cepaduès-Editions. Pages 157-172. 2008.
Distributed Simulation
[ASN08a] B. d'Ausbourg, P. Siron, E. Noulard.
Running real time simulations under Linux and CERTI.
European Simulation Interoperability Workshop, Edimbourg, June 16-19, 2008
Modelization of Regulation
[CS08a] L. Cholvy, Cl . Saurel
Checking compliance of a system with regulations : towards a formalisation
ReMOD’08 (Regulations Modelling and Deployment), Montpellier, 17 juin 2008
[CR08a] L. Cholvy, S. Roussel
Raisonner avec une réglementation incomplète: le cas d'une politique d'échange d'informations
16ième congrès francophone “Reconnaissance des Formes et Intelligence Artificielle” (RFIA'08) Amiens, 22-25 janvier 2008.
[CR08b] L. Cholvy, S. Roussel
Consistency and completeness of regulations.
3rd international workshop on “Normative MultiAgent Systems (NorMAS'08)”, Luxembourg, 15-16 juillet 2008
Modelization of Systems and Systems of Systems
[ABD08] S. Angelliaume, M. Barat, P. Dubois-Fernandez
ENVIRO, an ONERA research project and the associated Data Base and Portal
JIGOT'08 (Informations Géographiques et Observation de la Terre, Marseille, 24 et 25 Novembre 2008 : journées conjointes GDR Sigma-Cassini et GDR I3.)
[BL08] S. Bouveret, J. Lang
Efficiency and Envy-freeness in Fair Division of Indivisible Goods: Logical Representation and Complexity.
Journal of Artificial Intelligence Research (JAIR), Volume 32, pages 525-564, juin 2008
[BM08] S. Bouveret, M. Lemaitre
Computing Leximin-Optimal Solutions in Constraint Networks.
Accepté en novembre 2008 pour publication dans Artificial
Intelligence Journal (AIJ).
[CR08c] L. Cholvy, S. Roussel
Towards Agent-Oriented relevant Information.
13th international conference on “Artificial Intelligence: Methodology, Systems, Applications (AIMSA'08)”. Varna, 4-6 septembre 2008
[MLS+08] M. Morel, A. Littaye, Cl. Saurel, G. Proutitere Maulion, A. Napoli, St. Vales
Sécurité et sûreté maritime : traitement et authentification des menaces et des risques en mer
Dans « Gestion de la complexité et de l’information dans les grands systèmes critiques », monographie SEE, Direction A. Appriou, Editeur CNRS Editions, Janvier 2009
[RC08] S. Roussel, L Cholvy
Vers une pertinence orientée agent des informations.
Deuxièmes Journées d'Intelligence Artificielle Fondamentale (IAF'08), Paris, 21-23 octobre 2008
[S08] Cl. Saurel
Approche formelle pour la définition et l’analyse de politiques d’échanges d’informations dans un système de systèmes.
Présentation à l’Ecole DGA Systèmes de Systèmes, Paris, 23 avril 2008
Fusion
[C08a] L Cholvy
Utilisation de la logique pour mettre en relation la DsmT et la théorie de Dempster-Shafer.
Rencontres sur la logique Floue et ses applications (LFA'08), Lens, 16-17 octobre 2008
[LDD+08] X. Li, X. Dai X., J. Dezert, F. Smarandache F.,
DSmT qualitative reasoning based on 2-Tuple linguistic representation model,
Proceedings of 9th International Conference for Young Computer Scientists (ICYCS 2008), Zhang Jia Jie, Hunan, China, November 18-21, 2008 (paper ID 320).
[DMS08] J. Dezert, A. Martin, F. Smarandache,
Comments on "A new combination of evidence based on compromise" by K. Yamada,
Fuzzy Sets and Systems (2008)
[DM08] J. Dezert, F. Smarandache,
A New Probabilistic Transformation of Belief Mass Assignment (DSmP),
(co-chairs of the special session "Advances and Applications of DSmT for Information Fusion"), Fusion 2008 International Conference, June 30-July 3, 2008, Cologne, Germany.
[PDP08] B. Pannetier, J. Dezert, E. Pollard,
Improvement of Multiple Ground Targets Tracking with GMTI Sensor and Fusion of Identification Attributes,
Aeroconf 2008, March 1-9, 2008, Big Sky, MT, USA.
[PPR08a] E. Pollard, B. Pannetier, M. Rombaut
A Particle-Filtering Approach to Convoy Tracking in the Midst of Civilian Traffic,
Signal processing, sensor fusion, and target recognition XVII, SPIE Vol 6968, paper 3.
SPIE, Orlando, Floride, 17-20 mars
[PPR08b] E. Pollard, B. Pannetier, M. Rombaut
Pistage multicible par l'utilisation des Ensembles Finis Aléatoires et de la Densité de Probabilité Jointe
Revue Traitement du Signal - soumis
[PPR08c] E. Pollard, B. Pannetier, M. Rombaut
Hybrid algorithms for Multitarget Tracking using the MHT and the GMCPHD
IEEE Transactions on Aerospace and Electronic System- soumis
[TDS08] A. Tchamova, J. Dezert, F. Smarandache,
A New Class Fusion Rule for solving Blackman's Association Problem,
Proceedings of 4th International IEEE Conference "Intelligent Systems", pp. 8-23 to 8-28, September 6-8, 2008, Varna, Bulgaria.
Assistance au renseignement
[BR08] J. Besombes, A. Revault d'Allonnes,
An Extension of STANAG2022 for Information Scoring,
Fusion 2008.11th International Conference on Information Fusion, Cologne, Allemagne,
30 juin - 3 juillet 2008
Thèmes Vision et Filtrage & Détection et Interprétation
[G&All08] J. Guinet ; S. Herbin ; G. Le Besnerais, S. Philipp-Foliguet
Extrapolation d'aspect pour la reconnaissance d'objets sur séquences d'images
21ème colloque GRETSI, Troyes, 2008
[L&all08] A. Letienne ; F. Champagnat ; G. Le Besnerais ; P. Viaris De Lesegno ; C. Kulcsar
Fast super-resolution on moving objects in video sequences
Eusipco2008, Lausanne, 25-29 août 2008
[H&All108] S. Herbin ; D. Duclos ; J. Lonnoy ; Q. Guillerm ; F. Jurie ; E. D'angelo
ROBIN: a platform for evaluating Automatic Target Recognition algorithms. Part 1: Overview of the project and presentation of the SAGEM DS competition.SPIE, Orlando, 2008
[H&All208] S. Herbin ; D. Duclos ; J. Lonnoy ; Q. Guillerm ; F. Jurie ; E. D'angelo
ROBIN: a platform for evaluating Automatic Target Recognition algorithms. Part 2: protocols used for evaluating algorithms and results obtained on the SAGEM DS database.
SPIE, Orlando, 2008
[S&All08] B Le Saux ; B. Chalmond ; Y. Yu ; A. Trouvé ; O. Renaud ; S. Shorte
Micro-rotation Imaging Deconvolution
International Symposium on Biomedical Imaging (ISBI'08), Paris, 2008
[HTA08] S. Herbin ; A.-M. Tousch ; J.Y. Audibert
Semantic Lattices for Multiple Annotation of Images
ACM Multimedia 2008, Vancouver, 2008
[LS08] B. Le Saux
Participation au comité de programme de VISUAL 2008 :
10th International Conference on Visual Information Systems (Salerno, Italie – Sept. 2008)
[BSC08] G. Le Besnerais ; M. Sanfourche ; F. Champagnat
Dense height map estimation from oblique aerial image sequences
Computer Vision and Image Understanding
Volume 109, Issue 2, pp. 204-225, February 2008.
[MBM08] L. Mugnier ; G. Le Besnerais ; S. Meimon
Inversion in Optical Imaging through Atmospheric Turbulence
Book: "Bayesian Approach to Inverse Problems"
Chapter 10, 243-283, Editor: J. Idier, Publisher: John Wiley
[BMM08] G. Le Besnerais ; L. Mugnier ; S. Meimon ; S. Lacour ; E. Thiébaut ; G. Perrin
Advanced Imaging Methods for Long-Baseline Optical Interferometry
IEEE Journal of Selected Topics in Signal Processing
Thème Modélisation multi-physique et multi-échelle
[AR-RDRR08] Roussel J.-F ,Rogier F., Dufour G, Mateo-Velez J.-C, Forest J, Hilgers A, Rodgers D, Girard L, PayanD.,
SPIS Open-Source Code: Methods, Capabilities, Achievements, and Prospects, IEEE Transactions on Plasma Science, Vol. 36 (5), pp. 2360-2368, Oct. 2008
[AR-SRD] P. Seimandi, F. Rogier et G. Dufour, An asymptotic model for wire-to-wire corona discharges in air at atmospheric pressure,
à paraitre dans Computer and Mathematical Modelling
[CO-D07] T. Unfer, J-P Boeuf, F. Rogier, F. Thivet,
Modeling of Dielectric Barrier Discharge and Coupling with Computational Fluid Dynamics, AIAA paper, 2008-1375, 46th
[AR-ER08] H. Ben Dhia, N. Elkhodja, F.X. Roux,
Multimodeling of multi-alterated structures in the Arlequin framework, Solution with a Domain-Decomposition solver, European Journal of Computational Mechanics 17 (2008) 969 – 980
[CO-ER08] N. Elkhodja, F.X. Roux, Hachmi Ben Dhia,
Solution with a domain-decomposition solver of a multi-alterated structures modeled in the Arlequin framework, 8th World Congress on Computational Mechanics (WCCM 2008), Venise, ITALIE (30 Juin- 4 Juillet 2008)
Thème Optimisation
[AR-FFS08] O. Faugeras, Y. Frégnac, M. Samuelides,
A future for systems and computational neuroscience in France, J. Physiol Paris. ;101 (1-3):1-8 , (2008).
[AR-SMG08] M. Samuelides, A. Merval, S. Grihon, Lagrange-Kuhn-Tucker decomposition/ coordination for multilevel optimization of aeronautical structures,
accepted for publication, Schamburg, Illinois (2008).
[AR-KBL08] P. Klotz, N. Bartoli, R. Lecourt,
LPP optimization using response surface method, Second colloque INCA, CORIA - UMR 6614, Rouen, France 23-24 Octobre 2008
Thème Méthodes d’approximation et Problèmes Inverses
[AR-PFSMRD] FL Pebernet, X. Ferrières, S. pernet, B.L. Michielsen, F. Rogier, P. Degond, A Discontinuous Galerkin method to solve electromagnetic problems, IET Sci. Meas., pp 1-7, August 2008
[CO-RY08] M. Borrel, J. Ryan,
A new discontinuous Galerkin method for the Navier-Stokes equation, 8th World Congress on Computational Mechanics (WCCM 2008), Venise, ITALIE (30 Juin- 4 Juillet 2008)
Thème Méthodes de résolution par sous-domaines et couplage de codes
[AR-RO08-1] F. Magoulès, F.-X. Roux,
Algorithms and theory of substructuring and domain decomposition methods, Mesh Partitioning Techniques and Domain Decomposition Methods, chapter 4, 89 - 118, Saxe- Coburg Publications, Stirlingshire, UK, 2008.
[AR-RO08-2] F. Magoulès, F.-X. Roux,
Domain decomposition approaches for coupled vibro-acoustic problems, Computational Methods for Acoustics Problems, chapter 6, 159 - 180, Saxe-Coburg Publications, Stirlingshire, UK, 2008.
[CO-RO08] F.-X. Roux
Domain Decomposition Methodology with Robin Interface Matching Conditions for Solving Strongly Coupled Problems, ICCS 2008, Cracovie, Pologne, Juin 2008
Thème Méthodes de résolution parallèles pour des grands systèmes linéaires et pour le traitement numérique des données
[CO-J08] X. Juvigny,
A Fast algebraic boundary integral solver, 8th World Congress on Computational Mechanics (WCCM 2008), Venise, ITALIE (30 Juin- 4 Juillet 2008)
[AR-GU08] I. Gueye,
A parallel Algorithm for Direct Solution of Large Sparse Linear Systems, well suitable to Domain Decomposition Methods, soumis à European Journal of Computational Mechanics
Liste des thèses et HDR soutenues en 2008
[LS08] Laurent Sagaspe
Allocation sûre dans les systèmes aéronautique: modélisation, vérification et génération
Thèse de l'Université Bordeaux 1 soutenue le 4 décembre 2008,
[AC08] Alexandre Cortier
Contribution à la validation formelle de systèmes interactifs Java
Thèse ISAE-Supaéro, 6 juin 2008
[JG08] Jonathan Guinet
Reconnaissance multi-vues de véhicules sur séquences d’images
Thèse de l’Université de Cergy-Pontoise, soutenue le 7 octobre 2008.
[GlB08] Guy Le Besnerais
Habilitation à Diriger des Recherches Univ. Paris 13
Soutenue le 4/12/2008 « Modèle d'observation et inversion en imagerie et vision »
[AM08] Antoine Merval, soutenue le 11 juin 2008
« Application des modèles réduits à l'optimisation multiniveaux d'une structure aéronautique »
Thèse ISAE, soutenue 11 juin 2008
|
 |
|
