1. Recherche
58 résultats  enregistrer la recherche


  • 1
  • 2
hal-01373317v1  Article dans une revue
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. A Parallel Algorithm for the State Space Exploration
Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
hal-00636875v1  Communication dans un congrès
Amine Raji, Philippe Dhaussy. Use Cases Modeling for Scalable Model-Checking
APSEC'11, Dec 2011, Minh City, Vietnam
...
hal-01933794v1  Communication dans un congrès
Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. Domain-oriented Verification Management
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
...
hal-01933792v1  Communication dans un congrès
Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
...
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-01298623v1  Article dans une revue
Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe. Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨https://doaj.org/toc/2409-0026⟩. ⟨10.4108/eai.12-2-2016.151085⟩
...
hal-01119571v1  Communication dans un congrès
Vincent Ribaud, Ciprian Teodorov, Zoé Drey, Luka Leroux, Philippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, 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-01203649v1  Communication dans un congrès
Khaoula Es-Salhi, Siham Rim Boudaoud, Ciprian Teodorov, Zoé Drey, Vincent Ribaud. KriQL: a query language for the diagnosis of transition systems
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
...
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-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-01006697v1  Communication dans un congrès
Philippe Dhaussy, Ciprian Teodorov. Context-aware Veri cation of a Landing Gear System
ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
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
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-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-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-00690459v1  Communication dans un congrès
Lahatra Rakotondrainibe, Fréderic Le Roy, Jean-Philippe Delahaye. Meta-model Driven Reverse Engineering Approach to Ensure the Waveform Portability
Workshop of Software Radio - WSR 2012, Apr 2012, Karlsruhe, Germany
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
  • 1
  • 2

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD