Filtrer vos résultats
- 69
- 21
- 62
- 16
- 7
- 2
- 1
- 1
- 1
- 1
- 85
- 3
- 3
- 1
- 1
- 2
- 14
- 8
- 25
- 15
- 16
- 8
- 1
- 86
- 4
- 90
- 24
- 17
- 12
- 11
- 6
- 3
- 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
- 29
- 25
- 22
- 16
- 14
- 9
- 8
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
|
Improving Model Checking with Context ModellingAdvances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩
Article dans une revue
hal-00738735v1
|
||
|
Overlay Architectures For FPGA Resource VirtualizationGDR SOC SIP, Jun 2016, Nantes, France
Communication dans un congrès
hal-01405912v1
|
||
Formalisation d’une Approche Compositionnelle de Patrons de PropriétésAFADL 2016, i, Jun 2016, Besançon, France
Communication dans un congrès
hal-01326333v1
|
|||
|
Model Checking of SCADE Designed Systems8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès
hal-01289454v1
|
||
|
PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product LinesMODELS 2013, Sep 2013, Miami, United States
Communication dans un congrès
hal-00914377v1
|
||
Early exploring design alternatives of smart sensor software with Model of Computation implemented with actorsESUG 2013 - 21th International Smalltalk Conference, Sep 2013, Annecy, France
Communication dans un congrès
hal-00913335v1
|
|||
Fast Prototyping of a New Reconfigurable Architecture : Toward Tailored Space FPGAConférence d’informatique en Parallélisme, Architecture et Système (Compas), Jun 2015, Villeneuve d'Ascq, France. pp.10
Communication dans un congrès
hal-01153568v1
|
|||
A Role Language to Interpret Multi-Formalism System of Systems ModelsSyscon 2015, IEEE, Apr 2015, Vancouver, Canada
Communication dans un congrès
hal-01156518v1
|
|||
|
Phadeo : un environnement pour FPGA virtuel2015
Pré-publication, Document de travail
hal-01179474v1
|
||
A Prototyping Platform for Virtual Reconfigurable UnitsRECOSOC 2014, May 2014, Montpellier, France
Communication dans un congrès
hal-01006128v1
|
|||
An approach for describing concurrency and communication of heterogeneous systemsBM-FA'11, Jun 2011, Birmingham, United Kingdom
Communication dans un congrès
hal-01156533v1
|
|||
Context-aware Veri cation of a Landing Gear SystemABZ 2014, Jun 2014, Toulouse, France. pp.52-65
Communication dans un congrès
hal-01006697v1
|
|||
Validation formelle d’implantation de patrons de sécurité : Application aux SCADAAFADL 2016, Jun 2016, Besançon, France
Communication dans un congrès
hal-01326340v1
|
|||
Model-Based Product Line Evolution: an Incremental Growing by Extension16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
Communication dans un congrès
hal-00738772v1
|
|||
A Model based Methodology for SCA Waveform Design Enhancing Portability: Application to the FM3TR Waveform ApplicationSDR'11 WInnComm Europe, Jun 2011, Washington, United States
Communication dans un congrès
hal-00676745v1
|
|||
New reconfigurable fault tolerant FPGA architecture: A design for mission critical applicationsWorkshop on Reconfigurable Computing (WRC), Jan 2014, Vienne, Austria. pp.WRC 2014
Communication dans un congrès
hal-00921552v1
|
|||
Model Based Engineering for the support of Models of Computation: The Cometa ApproachInternational Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
Communication dans un congrès
hal-00635594v1
|
|||
International workshop on smalltalk technologies 2011 special issue (Journal of Software: Practice and Experience)Wiley, pp.91, 2014, ⟨10.1002/spe.2172⟩
Ouvrages
istex
hal-00782810v1
|
|||
A High-level Formalism to Elaborate Context for a Context-aware Verification ApproachICIST 2016, Mar 2016, Barcelone, Spain
Communication dans un congrès
hal-01298704v1
|
|||
A High-Level Programming Model to Ease Pipeline Parallelism Expression On Shared Memory Multicore ArchitecturesHPC 2014, Apr 2014, Tampa, FL, United States. pp.XX
Communication dans un congrès
hal-00989661v1
|
|||
|
Preface to the special issue on advances in Smalltalk based systems96 (1), pp.1-3, 2014, Science of Computer Programming, Science direct, ⟨10.1016/j.scico.2014.07.004⟩
Ouvrages
hal-01089392v1
|
||
MHPM : Multi-Scale Hybrid Programming Model A flexible parallelization MedthodologyHPCC 2012, Jun 2012, Liverpool, United Kingdom
Communication dans un congrès
hal-00728364v1
|
|||
A Design Approach to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware AcceleratorGLSVLSI 2014, May 2014, Houston, United States
Communication dans un congrès
hal-01009551v1
|
|||
A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of ComputationSLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
Communication dans un congrès
hal-00912574v1
|
|||
Une organisation des Lignes de Produits Logiciels autour d'un motif architecturalCAL 2012, May 2012, Montpellier, France
Communication dans un congrès
hal-00704312v1
|
|||
|
Overlay Architectures for Heterogeneous FPGA Cluster Management.DASIP 2016, Oct 2016, Rennes, France
Communication dans un congrès
hal-01405890v1
|
||
Model-Based AnalysisEmbedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
Chapitre d'ouvrage
hal-00843139v1
|
|||
|
KriQL: a query language for the diagnosis of transition systems15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
Communication dans un congrès
hal-01203649v1
|
||
|
Techniques and Challenges for Trace Processing from a Model-Checking PerspectiveInternational Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
Communication dans un congrès
hal-01119571v1
|
||
|
From Smalltalk to Silicon: Towards a methodology to turn Smalltalk code into FPGAIWST 14, Aug 2014, Cambridge, United Kingdom
Communication dans un congrès
hal-01326520v1
|