Filtrer vos résultats
- 103
- 33
- 64
- 36
- 26
- 6
- 2
- 1
- 1
- 35
- 1
- 136
- 4
- 3
- 3
- 1
- 5
- 4
- 7
- 3
- 8
- 11
- 8
- 7
- 5
- 11
- 11
- 3
- 3
- 5
- 10
- 4
- 7
- 2
- 1
- 4
- 3
- 2
- 1
- 132
- 3
- 1
- 135
- 122
- 15
- 12
- 8
- 7
- 7
- 7
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 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
- 136
- 49
- 28
- 21
- 21
- 10
- 10
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 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
- 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
136 résultats
|
|
Translation Validation for Clock Transformations in a Synchronous CompilerFASE - ETAPS 2015, Apr 2015, London, United Kingdom
Communication dans un congrès
hal-01087795v3
|
||
Model-Based Integration for Automotive Control SoftwareDigital Automation Conference, ACM, Jun 2015, San Francisco, United States
Communication dans un congrès
hal-01148905v1
|
|||
Programming models for multi-core embedded systemsGeorgios Kornaros. Multi-Core Embedded Systems, CRC Press, pp.269-305, 2010, 978-1439811610
Chapitre d'ouvrage
hal-00788506v1
|
|||
From AADL to timed abstract state machine: a certified model transformationJournal of Systems and Software, 2014, Journal of Systems and Software, pp.20
Article dans une revue
hal-01095002v1
|
|||
|
|
Pre-Order Semantics of UML State-Machines[Research Report] RR-3958, INRIA. 2000
Rapport
inria-00072690v1
|
||
|
|
Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous ProgramsInternational conference on Embedded software - EMSOFT 2009, Oct 2009, Grenoble, France. ⟨10.1145/1629335.1629356⟩
Communication dans un congrès
inria-00485007v1
|
||
|
|
Toward Polychronous Analysis and Validation for Timed Software Architectures in AADLThe Design, Automation, and Test in Europe (DATE) conference, Mar 2013, Grenoble, France. pp.6
Communication dans un congrès
hal-00763379v2
|
||
Polychrony for system designJournal of Systems Architecture, 2002, 12, pp.261--304
Article dans une revue
hal-00730480v1
|
|||
|
|
Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-bank MemoryICECCS 2019 - 24th International Conference on Engineering of Complex Computer Systems, Nov 2019, Hong Kong, China. pp.114-123, ⟨10.1109/ICECCS.2019.00020⟩
Communication dans un congrès
hal-02193639v2
|
||
A Protocol for Loosely Time-Triggered ArchitecturesEmbedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. pp.252-265, ⟨10.1007/3-540-45828-X_19⟩
Communication dans un congrès
istex
inria-00526261v1
|
|||
|
|
A Boolean algebra of contracts for logical assume-guarantee reasoning[Research Report] RR-6570, INRIA. 2008, pp.41
Rapport
inria-00292870v7
|
||
|
|
A Simplified Account of Region Inference[Research Report] RR-4104, INRIA. 2001
Rapport
inria-00072527v1
|
||
|
|
BDL: A Semantics Backbone for UML Dynamic Diagrams[Research Report] RR-4003, INRIA. 2000
Rapport
inria-00072641v1
|
||
|
|
Hierarchic Normal Forms for Desynchronization[Research Report] RR-3822, INRIA. 1999
Rapport
inria-00072836v1
|
||
|
|
The Steam Boiler Controller Problem in Signal-Coq[Research Report] RR-3773, INRIA. 1999
Rapport
inria-00072888v1
|
||
|
|
Synchronous Modeling and Asynchronous deployment of Mobile Processes[Research Report] RR-3893, INRIA. 2000
Rapport
inria-00072761v1
|
||
|
|
Polychronous modeling, analysis, verification and simulation for timed software architecturesJournal of Systems Architecture, 2013, 59 (10), pp.1157-1170. ⟨10.1016/j.sysarc.2013.08.004⟩
Article dans une revue
hal-00916418v1
|
||
|
|
A metamodel for the design of polychronous systemsJournal of Logic and Algebraic Programming, 2009, 78 (4), pp.233-259. ⟨10.1016/j.jlap.2008.11.005⟩
Article dans une revue
hal-00788580v1
|
||
|
|
Formal Verification of Synchronous Data-flow Program Transformations Toward Certified CompilersFrontiers of Computer Science, 2013
Article dans une revue
hal-00846279v1
|
||
|
|
Modeling with logical time in UML for real-time embedded system design[Research Report] RR-5895, INRIA. 2006
Rapport
inria-00071373v1
|
||
|
|
LIO*: Low Level Information Flow Control in F*2020
Autre publication scientifique
hal-03137132v1
|
||
|
|
Verified Functional Programming of an Abstract InterpreterSAS 2021 - 28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.1-20
Communication dans un congrès
hal-03342997v1
|
||
|
|
Polychronous automata and their use for formal validation of AADL modelsFrontiers of Computer Science, 2019, 13 (4), pp.677-697. ⟨10.1007/s11704-017-6134-5⟩
Article dans une revue
hal-01411257v1
|
||
|
|
Femto-Containers: Lightweight Virtualization and Fault Isolation For Small Software Functions on Low-Power IoT MicrocontrollersMiddleware 2022 - 23rd ACM/IFIP International Conference Middleware, Nov 2022, Quebec, Canada. pp.1-12, ⟨10.1145/3528535.3565242⟩
Communication dans un congrès
hal-03888109v1
|
||
|
|
Semantics Foundation for Cyber-Physical Systems Using Higher-Order UTPACM Transactions on Software Engineering and Methodology, 2022, pp.1-47. ⟨10.1145/3517192⟩
Article dans une revue
hal-03888055v1
|
||
|
|
Precise deadlock detection for polychronous data-flow specificationsESLsyn - DAC 2014, May 2014, San Francisco, United States. ⟨10.1109/ESLsyn.2014.6850379⟩
Communication dans un congrès
hal-01086843v1
|
||
|
|
Model-Driven Interoperability of Dependencies Visualizations3rd Workshop on Model-Driven Tool & Process Integration (co-located with ECMFA 2010), Jun 2010, France. pp.128--140
Communication dans un congrès
hal-00534441v1
|
||
|
|
A Modeling Paradigm for Integrated Modular Avionics Design[Research Report] PI 1748, 2005, pp.39
Rapport
inria-00000420v1
|
||
|
|
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time ApplicationsProceedings of the 2012 12th International Conference on Application of Concurrency to System Design, Jun 2012, Hamburg, Germany. pp.183-192, ⟨10.1109/ACSD.2012.16⟩
Communication dans un congrès
hal-00763387v1
|
||
|
|
Polychronous design of embedded real-time applicationsACM Transactions on Software Engineering and Methodology, 2007, 16 (2), ⟨10.1145/1217295.1217298⟩
Article dans une revue
inria-00522799v1
|