|
||
---|---|---|
hal-01192720v1
Communication dans un congrès
Role Framework to Support Collaborative Virtual Prototyping of System of Systems WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus |
||
hal-00771748v1
Communication dans un congrès
Relationships in Variability Modeling Approaches: A Survey and Classification 5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France |
||
hal-01203701v1
Communication dans un congrès
Context-Aware Verification of a Cruise-Control System MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩ |
||
hal-01206522v1
Communication dans un congrès
Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués JDIM’14, Jun 2014, Mostaganem, Algeria |
||
hal-01206527v1
Communication dans un congrès
Formal Validation with Model-Checking Techniques ICNTC'2012, Dec 2012, Chlef, Algérie |
||
hal-00771758v1
Communication dans un congrès
From system-level models to heterogeneous embedded systems RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX |
||
hal-00944548v1
Communication dans un congrès
A Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators ISCAS 2014 - IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX |
||
hal-01156518v1
Communication dans un congrès
A Role Language to Interpret Multi-Formalism System of Systems Models Syscon 2015, IEEE, Apr 2015, Vancouver, Canada |
||
hal-01156537v1
Communication dans un congrès
A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation SIES 2015, University of Siegen, Jun 2015, Siegen, Germany |
||
hal-01156533v1
Communication dans un congrès
An approach for describing concurrency and communication of heterogeneous systems BM-FA'11, Jun 2011, Birmingham, United Kingdom |
||
hal-00728364v1
Communication dans un congrès
MHPM : Multi-Scale Hybrid Programming Model A flexible parallelization Medthodology HPCC 2012, Jun 2012, Liverpool, United Kingdom |
||
hal-01089392v1
Direction d'ouvrage, Proceedings, Dossier
Preface to the special issue on advances in Smalltalk based systems France. 96 (1), pp.1-3, 2014, Science of Computer Programming, ⟨10.1016/j.scico.2014.07.004⟩ ![]() |
||
hal-00862485v1
Chapitre d'ouvrage
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-01373317v1
Article dans une revue
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-00782810v1
Direction d'ouvrage, Proceedings, Dossier
International workshop on smalltalk technologies 2011 special issue (Journal of Software: Practice and Experience) Wiley, pp.91, 2014, ⟨10.1002/spe.2172⟩ ![]() |
||
hal-01006647v1
Article dans une revue
Modélisation UML d'un régulateur de vitesse automobile Génie logiciel, C & S, 2014, 109 |
||
hal-01298623v1
Article dans une revue
Context-aware approach for formal verification EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩ ![]() |
||
hal-00862488v1
Chapitre d'ouvrage
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-01373327v1
Article dans une revue
Sequential and Parallel Algorithms for the State Space Exploration Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩ ![]() |
||
hal-00821955v1
Chapitre d'ouvrage
Case Study Modeling Using MARTE Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013 |
||
hal-01006676v1
Article dans une revue
Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS Génie logiciel, C & S, 2014, 109 |
||
hal-01298895v1
Communication dans un congrès
Towards Distributed Solution to the State Explosion Problem INDIA 2016, Jan 2016, Vishakapatnam, India. ⟨10.1007/978-81-322-2755-7_56⟩ |
||
hal-01298704v1
Communication dans un congrès
A High-level Formalism to Elaborate Context for a Context-aware Verification Approach ICIST 2016, Mar 2016, Barcelone, Spain |
||
hal-00782814v1
Article dans une revue
Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse Software: Practice and Experience, Wiley, 2013, 44 (4), pp.455-482. ⟨10.1002/spe.2190⟩ ![]() |
||
hal-01119571v1
Communication dans un congrès
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-01203649v1
Communication dans un congrès
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-01118931v1
Communication dans un congrès
Domain Specific Modeling Language for Object Localization in Marine Observatories SENSORCOMM 2014, IARIA, Nov 2014, Lisbonne, Portugal |
||
hal-01090429v1
Poster
Role Framework for Systems of Systems Forum Académie Entreprise de l'Association Française d'Ingénierie Système 2014, Dec 2014, Cergy, France |
||
|
||
hal-00989661v1
Communication dans un congrès
A High-Level Programming Model to Ease Pipeline Parallelism Expression On Shared Memory Multicore Architectures HPC 2014, Apr 2014, Tampa, FL, United States. pp.XX |
||
|