1. Recherche
59 résultats  enregistrer la recherche


  • 1
  • 2
...
hal-00865993v1  Communication dans un congrès
Anthony Fiche, Arnaud Martin, Jean-Christophe Cexus, Ali Khenchaf. Estimation d'un mélange de distributions alpha-stables à partir de l'algorithme EM
Rencontre francophone sur la Logique Floue et ses Applications (LFA), Oct 2010, Lannion, France. 8 p
hal-01206527v1  Communication dans un congrès
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie
hal-00862488v1  Chapitre d'ouvrage
Frédéric Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Analyse à partir du modèle
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
hal-01121845v1  Article dans une revue
Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Joël Champeau, Oussama Kassem Zein. A Modeling Approach for Marine Observatory
Sensors & Transducers Journal, International Frequency Sensor Association (IFSA), 2015, Sensors & Transducers Journal, 185 (2), pp.129-139
hal-01371484v1  Communication dans un congrès
Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Viability kernel computation based on interval methods
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
hal-01371498v1  Communication dans un congrès
Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Inner and Outer Computation of the Viability Kernel based on Interval Analysis
International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
hal-01406641v1  Communication dans un congrès
Xuan Sang Le, Jean-Christophe Le Lann, Loïc Lagadec, Luc Fabresse, Noury Bouraqadi et al.  CaRDIN: An Agile Environment for EdgeComputing on Reconfigurable Sensor Networks
3rd IEEE International Conference on Computational Science and Computational Intelligence (CSCI 2016), Dec 2016, Las Vegas, United States
hal-00913335v1  Communication dans un congrès
Jean-Philippe Schneider, Zoé Drey, Jean-Christophe Le Lann. Early exploring design alternatives of smart sensor software with Model of Computation implemented with actors
ESUG 2013 - 21th International Smalltalk Conference, Sep 2013, Annecy, France
hal-01006128v1  Communication dans un congrès
Loïc Lagadec, Jean-Christophe Le Lann, Théotime Bollengier. A Prototyping Platform for Virtual Reconfigurable Units
RECOSOC 2014, May 2014, Montpellier, France
hal-01090466v1  Chapitre d'ouvrage
Nader Khammassi, Jean-Christophe Le Lann. XPU: A C++ Metaprogramming Approach to Ease Parallelism Expression: Parallelization Methodology, Internal Design and Practical Application
Parallel Programming: Practical Aspects, Models and Current Limitations, NOVA publishers, pp.175-198, 2014, 978-1-60741-263-2
...
hal-02441878v1  Communication dans un congrès
Mihal Brumbulli, Emmanuel Gaudin, Ciprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
...
hal-00628532v1  Communication dans un congrès
Jean-Philippe Schneider, Joël Champeau, Dominique Kerjean. Domain-specific modelling applied to inteegration of smart sensors into an information system
ICEIS 2011, Jun 2011, Lille, France. pp.XX
hal-00738772v1  Communication dans un congrès
Stephen Creff, Joël Champeau, Jean-Marc Jezequel. Model-Based Product Line Evolution: an Incremental Growing by Extension
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
hal-00912574v1  Communication dans un congrès
Papa Issa Diallo, Joël Champeau, Loïc Lagadec. A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation
SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
hal-00912857v1  Communication dans un congrès
Nadia Menad, Philippe Dhaussy. A Transformation Approach for Multiform Time Requirements
SEFM'13, Sep 2013, Madrid, Spain. pp.16-30
hal-00912587v1  Communication dans un congrès
Papa Issa Diallo, Joël Champeau, Loïc Lagadec. Enhance the reusability of Models and their Behavioral correctness
MODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States
...
tel-00541784v1  Thèse
Theurer Wolfgang. Une méthodologie de modélisation multi-modèles distribués par métier pour les systèmes embarqués
Modélisation et simulation. ENSAE, 2006. Français
...
hal-00914367v1  Communication dans un congrès
Joël Champeau, Vincent Leilde, Papa Issa Diallo. Model Federation in toolchains
MODELS 2013, Sep 2013, Miami, United States
...
hal-00914377v1  Communication dans un congrès
Stephen Creff, Joël Champeau. PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines
MODELS 2013, Sep 2013, Miami, United States
...
hal-01406604v1  Communication dans un congrès
Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
hal-00862485v1  Chapitre d'ouvrage
Jérôme Delatour, Joël Champeau. Modélisation de l'étude de cas avec MARTE
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
hal-00821955v1  Chapitre d'ouvrage
Jérôme Delatour, Joël Champeau. Case Study Modeling Using MARTE
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
hal-00771748v1  Communication dans un congrès
Stephen Creff, Joël Champeau. Relationships in Variability Modeling Approaches: A Survey and Classification
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
  • 1
  • 2

Contact

Informations

CCSD