Filter your results
- 41
- 21
- 31
- 17
- 9
- 2
- 1
- 1
- 1
- 1
- 51
- 4
- 3
- 1
- 1
- 1
- 1
- 2
- 5
- 8
- 4
- 5
- 2
- 9
- 8
- 8
- 4
- 1
- 3
- 1
- 2
- 45
- 17
- 62
- 9
- 7
- 7
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 15
- 8
- 7
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotésAutre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. ⟨NNT : 2011PA112316⟩
Theses
tel-00659063v1
|
||
|
Automatic Test Case Generation from Matlab/Simulink modelsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263453v1
|
||
|
Diagrams Editors Specification Using Reusable ComponentsMODELSWARD 2013 : International Conference on Model-Driven Engineering and Software Development, INSTICC, Feb 2013, Barcelona, Spain
Conference papers
hal-00999708v1
|
||
|
Model-based Synthesis of Distributed Real-time Automotive ArchitecturesEmbedded Systems. Université Paris Sud - Paris XI, 2014. English. ⟨NNT : 2014PA112145⟩
Theses
tel-01124003v1
|
||
An Optimized Compilation of UML State MachinesISORC - 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Apr 2012, Shenzhen, China
Conference papers
hal-00676943v1
|
|||
|
Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDMRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13 (4), pp.9-31
Journal articles
hal-01045009v1
|
||
|
A Component-Based Approach for Specifying DSML's Concrete Syntax2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩
Conference papers
hal-00829173v1
|
||
Une avancee dans la description de l'influence du Fe(III) sur la corrosion des aciers inoxydables en milieu acide nitriqueMateriaux 2018, Nov 2018, Strasbourg, France
Conference papers
cea-02338880v1
|
|||
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2019, Xi'an, China. pp.168-175, ⟨10.1109/ICSTW.2019.00047⟩
Conference papers
hal-02421125v1
|
|||
Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architecturesAutomated Software Engineering, 2019, 26 (1), pp.1-57. ⟨10.1007/s10515-018-0244-7⟩
Journal articles
hal-02060027v1
|
|||
|
Completing EAST-ADL2 with MARTE for enabling scheduling analysis for automotive applicationsEmbedded Real Time Software & Systems (ERTS² 2010), May 2010, Toulouse, France
Conference papers
hal-02264387v1
|
||
|
Diagnosability study of technological systems24th International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems IEA/AIE 2011, Jun 2011, Syracuse, United States
Conference papers
hal-00643664v1
|
||
|
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction ScenariosUsages of Symbolic Execution Workshop, Jun 2015, Oslo, Norway
Conference papers
cea-01810989v1
|
||
|
Rétro-ingénierie des plateformes pour le déploiement des applications temps réelSystème d'exploitation [cs.OS]. Ecole Nationale des Ingénieurs de Sfax; Université de Bretagne Occidentale, 2014. Français. ⟨NNT : ⟩
Theses
tel-01316089v1
|
||
Representative Safety Assessment of Autonomous Vehicle for Public Transportation21th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2018, Singapour city, Singapour, 2018, 2018, Unknown, Unknown Region
Conference papers
hal-01811824v1
|
|||
|
Robust Hashing for Models21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Oct 2018, Copenhagen, Denmark. pp.312-322, ⟨10.1145/3239372.3239405⟩
Conference papers
hal-02388808v1
|
||
|
Déploiement multiplateforme d'applications multitâche par la modélisationAutre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. ⟨NNT : 2011PA112042⟩
Theses
tel-00671383v1
|
||
|
VisUML: Live & Interactive Diagrams29ème conférence francophone sur l'Interaction Homme-Machine, AFIHM, Aug 2017, Poitiers, France. 2 p
Conference papers
hal-01577689v1
|
||
|
Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèlesGénie logiciel [cs.SE]. Université d'Evry-Val d'Essonne, 2008. Français. ⟨NNT : ⟩
Theses
tel-00382556v1
|
||
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systemsSIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, Jun 2013, Seattle, United States. pp.121-132, ⟨10.1145/2465554.2465572⟩
Conference papers
hal-00903753v1
|
|||
|
A Component-Based Approach for Specifying Reusable Visual Languages2013 IEEE Symposium on Visual Languages and Human-Centric Computing, Allen Cypher, Sep 2013, San José, CA, United States. pp.135-138, ⟨10.1109/VLHCC.2013.6645257⟩
Conference papers
hal-00860909v1
|
||
|
Process and tool support for design patterns with safety requirements18th European Conference on Pattern Language of Programs (EuroPlop 2013), Jul 2013, Kloster Irsee, Germany. pp. 1-16
Conference papers
hal-01400101v1
|
||
|
Completion of Test Models Based on Code AnalysisEmbedded Real Time Software and Systems, ERTS2 2014, Toulouse, France, February 5-7, 2014, 2014, Toulouse, France
Conference papers
hal-01810291v1
|
||
|
Timed symbolic testing framework for executable models using high-level scenariosConference on Complex Systems Design & Management, Nov 2014, Paris, France
Conference papers
cea-01810844v1
|
||
Requirements Engineering Process according to Automotive Standards in a Model-Driven FrameworkINSIGHT INCOSE, Volume 16 Special Issue 4, 2013
Journal articles
hal-01811827v1
|
|||
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis28th International Workshop on Principles of Diagnosis DX’17, Sep 2017, Brescia, Italy. pp.124-143
Conference papers
hal-01676889v1
|
|||
|
Introducing Distribution into a RTSJ-based Component Framework2nd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008), Oct 2008, Rennes, France. pp.1-4
Conference papers
inria-00327342v1
|
||
Systèmes temps réel embarqués : Conception et implémentationDunod, 2014, Technique et ingénierie, 978-2-10-071331-8
Books
hal-03368884v1
|
|||
|
de Gaulejac, V. La névrose de classe. Trajectoire sociale et conflits d’identité suivi d’une lettre d’Annie ErnauxL'Orientation scolaire et professionnelle, 2017, 46 (1), ⟨10.4000/osp.5366⟩
Journal articles
hal-04055244v1
|
||
|
Development of a SHM system by elastic guided waves applied to aeronautic structuresSignal and Image Processing. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLX021⟩
Theses
tel-02271270v1
|