Filtrer vos résultats
- 9
- 6
- 9
- 3
- 1
- 1
- 1
- 13
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 14
- 1
- 13
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 15
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
15 résultats
|
|
triés par
|
|
Stability Analysis of a Longitudinal Control Law for Autonomous VehiclesRR-3498, INRIA. 1998
Rapport
inria-00073187v1
|
||
|
Efficient Region-Based Memory Management for Resource-limited Real-Time Embedded Systems.Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, in association with the 20th ACM ECOOP conference, Jul 2006, Nantes, France
Communication dans un congrès
hal-00309688v1
|
||
|
Summary-based inference of quantitative bounds of live heap objectsScience of Computer Programming, 2014, 92, pp.56-84. ⟨10.1016/j.scico.2013.11.036⟩
Article dans une revue
hal-01196949v1
|
||
A formal approach to derivation of concurrent implementations in software product linesProcess Algebra for Parallel and Distributed Processing: Algebraic Languages in Specification-Based Software Development, CRC Press-Taylor and Francis Group, LLC, pp.11, 2008, Computational Science Series
Chapitre d'ouvrage
hal-00281753v1
|
|||
Kronos: a model-checking tool for real-time systemsFormal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Sep 1998, Lyngby, Denmark. pp.298-302
Communication dans un congrès
hal-00374788v1
|
|||
|
Algorithmic Analysis of Polygonal Hybrid Systems, Part II: Phase Portrait and ToolsTheoretical Computer Science, 2007, To appear. Manuscript Number: TCS-D-07-00065R1
Article dans une revue
hal-00172768v2
|
||
|
Méthodes et outils pour la vérification symbolique de systèmes temporisésAutre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1993. Français. ⟨NNT : ⟩
Thèse
tel-00127808v1
|
||
|
TOWARDS EFFICIENT ACTIVE LEARNING OF PDFALearnAut 2022, Jul 2022, Paris, France
Communication dans un congrès
hal-03875974v1
|
||
|
Fast Escape Analysis for Region-based Memory Management1st International Workshop on Abstract Interpretation of Object-Oriented Languages, 2005, Paris, France
Communication dans un congrès
inria-00602874v1
|
||
Verification of Asynchronous Circuits using Timed AutomataTheory and Practice of Timed Systems TPTS'02, Apr 2002, Grenoble, France. pp.47-59
Communication dans un congrès
hal-00374812v1
|
|||
|
Algorithmic Analysis of Polygonal Hybrid Systems, Part I: ReachabilityTheoretical Computer Science, 2007, 379 (1-2), pp.231-265. ⟨10.1016/j.tcs.2007.03.055⟩
Article dans une revue
hal-00157340v1
|
||
|
Some Progress in the Symbolic Verification of Timed AutomataComputer Aided Verification 9th International Conference, CAV'97, Jun 1997, Haifa, Israel. pp.179--190, ⟨10.1007/3-540-63166-6_19⟩
Communication dans un congrès
hal-00374086v1
|
||
Parametric Prediction of Heap Memory RequirementsThe 2008 International Symposium on Memory Management, Jun 2008, Tucson, AZ, United States. pp.1
Communication dans un congrès
hal-00281752v1
|
|||
|
Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2007, Daegu, South Korea. pp.RTCSA 2007, ⟨10.1109/RTCSA.2007.3⟩
Communication dans un congrès
hal-00282241v1
|
||
|
Kronos: a model-checking tool for real-time systemsComputer Aided Verification 10th International Conference, CAV'98, Jun 1998, Vancouver, BC, Canada. pp.546--549, ⟨10.1007/BFb0028779⟩
Communication dans un congrès
hal-00374784v1
|