ENSTA Bretagne - Recherche

	1 2 Suivant Dernière	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Merci d'indiquer la raison de votre demande Pour les 56 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-01192720v1 Communication dans un congrès Jean-Philippe Schneider, Joël Champeau, Loïc Lagadec, Eric Senn. 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 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
	hal-01203701v1 Communication dans un congrès Ciprian Teodorov, Luka Leroux, Philippe Dhaussy. 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 Philippe Dhaussy. 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 Philippe Dhaussy. Formal Validation with Model-Checking Techniques ICNTC'2012, Dec 2012, Chlef, Algérie
	hal-00771758v1 Communication dans un congrès Jean-Christophe Le Lann, Joël Champeau, Papa Issa Diallo, Pierre-Laurent Lagalaye. 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 Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec. 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-01089392v1 Direction d'ouvrage, Proceedings, Dossier Loïc Lagadec, Alain Plantec. 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 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-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-00782810v1 Direction d'ouvrage, Proceedings, Dossier Alain Plantec, Loïc Lagadec. 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 Luka Leroux, Jérôme Delatour, Philippe Dhaussy. Modélisation UML d'un régulateur de vitesse automobile Génie logiciel, C & S, 2014, 109
	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. ⟨10.4108/eai.12-2-2016.151085⟩
	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-01373327v1 Article dans une revue Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. 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 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-01006676v1 Article dans une revue Philippe Dhaussy, Luka Le Roux, Ciprian Teodorov. 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 Lamia Allal, Ghalem Belalem, Philippe Dhaussy. 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 Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. A High-level Formalism to Elaborate Context for a Context-aware Verification Approach ICIST 2016, Mar 2016, Barcelone, Spain
	hal-01179474v1 Pré-publication, Document de travail Sebastián Tleye, Ciprian Teodorov, Erwan Fabiani, Loïc Lagadec. Phadeo : un environnement pour FPGA virtuel 2015
	hal-00989661v1 Communication dans un congrès Nader Khammassi, Jean-Christophe Le Lann. 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
	hal-01118931v1 Communication dans un congrès Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Oussama Kassem Zein, Joël Champeau. Domain Specific Modeling Language for Object Localization in Marine Observatories SENSORCOMM 2014, IARIA, Nov 2014, Lisbonne, Portugal
	hal-01090429v1 Poster Jean-Philippe Schneider. 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-01090362v1 Communication dans un congrès Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau. Towards a Dynamic Infrastructure for Playing withSystems of Systems ECSA 2014, Aug 2014, Vienne, Austria
	hal-01090376v1 Communication dans un congrès Jean-Philippe Schneider. Flexible Model-Based Simulation as a System’s Complex System Design & Management, Nov 2014, Paris, France
	hal-00749175v1 Communication dans un congrès Julien Heulot, K. Desnos, Jean-François Nezan, Maxime Pelcat, Raulet Mickaël et al. AN EXPERIMENTAL TOOLCHAIN BASED ON HIGH-LEVEL DATAFLOW MODELS OF COMPUTATION FOR HETEROGENEOUS MPSOC DASIP, Oct 2012, Karlsruhe, Germany
	hal-01156518v1 Communication dans un congrès Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loic Lagadec et al. 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 Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, Ingo Sander, Joël Champeau et al. 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 Papa Issa Diallo, Joël Champeau, Vincent Leilde. 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 Nader Khammassi, Jean-Christophe Le Lann, Jean-Philippe Diguet, Alexandre Skrzyniarz. MHPM : Multi-Scale Hybrid Programming Model A flexible parallelization Medthodology HPCC 2012, Jun 2012, Liverpool, United Kingdom
	1 2 Suivant Dernière	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 56 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM

hal-01192720v1 Communication dans un congrès
Jean-Philippe Schneider, Joël Champeau, Loïc Lagadec, Eric Senn. 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
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

hal-01203701v1 Communication dans un congrès
Ciprian Teodorov, Luka Leroux, Philippe Dhaussy. 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
Philippe Dhaussy. 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
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie

hal-00771758v1 Communication dans un congrès
Jean-Christophe Le Lann, Joël Champeau, Papa Issa Diallo, Pierre-Laurent Lagalaye. 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
Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec. 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-01089392v1 Direction d'ouvrage, Proceedings, Dossier
Loïc Lagadec, Alain Plantec. 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
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-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-00782810v1 Direction d'ouvrage, Proceedings, Dossier
Alain Plantec, Loïc Lagadec. 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
Luka Leroux, Jérôme Delatour, Philippe Dhaussy. Modélisation UML d'un régulateur de vitesse automobile
Génie logiciel, C & S, 2014, 109

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. ⟨10.4108/eai.12-2-2016.151085⟩

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-01373327v1 Article dans une revue
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. 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
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-01006676v1 Article dans une revue
Philippe Dhaussy, Luka Le Roux, Ciprian Teodorov. 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
Lamia Allal, Ghalem Belalem, Philippe Dhaussy. 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
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. A High-level Formalism to Elaborate Context for a Context-aware Verification Approach
ICIST 2016, Mar 2016, Barcelone, Spain

hal-01179474v1 Pré-publication, Document de travail
Sebastián Tleye, Ciprian Teodorov, Erwan Fabiani, Loïc Lagadec. Phadeo : un environnement pour FPGA virtuel
2015

hal-00989661v1 Communication dans un congrès
Nader Khammassi, Jean-Christophe Le Lann. 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

hal-01118931v1 Communication dans un congrès
Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Oussama Kassem Zein, Joël Champeau. Domain Specific Modeling Language for Object Localization in Marine Observatories
SENSORCOMM 2014, IARIA, Nov 2014, Lisbonne, Portugal

hal-01090429v1 Poster
Jean-Philippe Schneider. 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-01090362v1 Communication dans un congrès
Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau. Towards a Dynamic Infrastructure for Playing withSystems of Systems
ECSA 2014, Aug 2014, Vienne, Austria

hal-01090376v1 Communication dans un congrès
Jean-Philippe Schneider. Flexible Model-Based Simulation as a System’s
Complex System Design & Management, Nov 2014, Paris, France

hal-00749175v1 Communication dans un congrès
Julien Heulot, K. Desnos, Jean-François Nezan, Maxime Pelcat, Raulet Mickaël et al. AN EXPERIMENTAL TOOLCHAIN BASED ON HIGH-LEVEL DATAFLOW MODELS OF COMPUTATION FOR HETEROGENEOUS MPSOC
DASIP, Oct 2012, Karlsruhe, Germany

hal-01156518v1 Communication dans un congrès
Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loic Lagadec et al. 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
Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, Ingo Sander, Joël Champeau et al. 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
Papa Issa Diallo, Joël Champeau, Vincent Leilde. 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
Nader Khammassi, Jean-Christophe Le Lann, Jean-Philippe Diguet, Alexandre Skrzyniarz. MHPM : Multi-Scale Hybrid Programming Model A flexible parallelization Medthodology
HPCC 2012, Jun 2012, Liverpool, United Kingdom

Type de document Réduire

Auteur Réduire

Domaine Réduire

Laboratoire Réduire

Langue Réduire

Type de dépôt Réduire

Année Réduire

Contact

Informations