Filter your results
- 18
- 8
- 14
- 6
- 4
- 1
- 1
- 4
- 20
- 6
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 4
- 2
- 2
- 25
- 1
- 17
- 6
- 6
- 5
- 3
- 2
- 1
- 1
- 26
- 9
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 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
|
|
sorted by
|
Parity violation in cesium - Experimental progress thanks to saphire cells2000, pp.P8-149
Conference papers
hal-00002716v1
|
|||
|
The W-SEPT Project: Towards Semantic-Aware WCET Estimation17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
Conference papers
hal-01590442v1
|
||
Environment-Model Based Testing with Differential Evolution in an Industrial SettingApplications of Evolutionary Computation - 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings, Part I, 2016, Leipzig, Germany. pp.819--830
Conference papers
hal-02279413v1
|
|||
|
Case Studies with Lurette V2ISoLA (Preliminary proceedings), Oct 2004, Paphos, Cyprus. pp.296-303
Conference papers
hal-00389838v1
|
||
|
Improving WCET Evaluation using Linear Relation AnalysisLeibniz Transactions on Embedded Systems, 2019, 6 (1), pp.02:28. ⟨10.4230/LITES-v006-i001-a002⟩
Journal articles
hal-03013987v1
|
||
Grooving an alumina surface as a means to inhibit secondary electron emission under grazing incidenceApplied Physics B - Laser and Optics, 2002, B75, pp.739. ⟨10.1007/s00340-002-1043-0⟩
Journal articles
istex
hal-00002709v1
|
|||
Implementation of a sapphire cell with external electrodes for laser excitation of a forbidden atomic transition in a pulsed E-fieldThe European Physical Journal D : Atomic, molecular, optical and plasma physics, 2001, 13, pp.221. ⟨10.1051/jp420020118⟩
Journal articles
hal-00002711v1
|
|||
Temperature-tunable sapphire windows for reflection loss-free operation of vapor cellsApplied Physics B - Laser and Optics, 2000, 71, pp.561
Journal articles
hal-00002715v1
|
|||
|
Automatic State Reaching for Debugging Reactive Programsthe Fifth International Workshop on Automated Debugging (AADEBUG 2003), Sep 2003, Ghent, France
Conference papers
hal-00000840v1
|
||
Exploration of a parity violation experiment in a transverse electric field using detection by stimulated emission2002, pp.Pr5-159, ⟨10.1051/jp420020118⟩
Conference papers
hal-00002714v1
|
|||
A generic approach to monitor program executionsInternational Conference on Logic Programming, 1999, Las Cruces, United States
Conference papers
hal-00756844v1
|
|||
|
Tracing Execution of CLP(FD) Programs : A Trace Model and an Experimental Validation Environment[Research Report] RR-4342, INRIA. 2001
Reports
inria-00072246v1
|
||
|
Synchronous Modeling and Validation of Priority Inheritance SchedulersFundamental Approaches to Software Engineering, Mar 2009, York, United Kingdom. pp.140-154
Conference papers
hal-00384389v1
|
||
|
Specifying and Executing Reactive Scenarios With LutinElectronic Notes in Theoretical Computer Science, 2008, 203 (4), pp.19-34. ⟨10.1155/2008/753821⟩
Journal articles
hal-00389799v1
|
||
|
An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals[Research Report] RT-0231, INRIA. 1999, pp.104
Reports
inria-00069941v1
|
||
|
Environment-Model Based Testing of Control Systems: Case StudiesInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014), Apr 2014, Grenoble, France. pp.636 - 650, ⟨10.1007/978-3-642-54862-8_55⟩
Conference papers
hal-01465756v1
|
||
|
Virtual Execution of AADL Models via a Translation into Synchronous ProgramsEMSOFT 2007, Oct 2007, Salzburg, Austria. pp.134 - 143, ⟨10.1145/1289927.1289951⟩
Conference papers
hal-00189563v1
|
||
|
Generic Program Monitoring by Trace Analysis[Research Report] RR-4323, INRIA. 2001
Reports
inria-00072264v1
|
||
|
Engineering Functional Requirements of Reactive Systems using Synchronous LanguagesInternational Symposium on Industrial Embedded Systems, 2013. SIES'13., Jun 2013, Porto, Portugal, France. pp.15
Conference papers
hal-00933179v1
|
||
|
Describing and Executing Random Reactive Systems4th IEEE International Conference on Software Engineering and Formal Methods, Sep 2006, Pune, India. pp.216 - 225, ⟨10.1109/SEFM.2006.15⟩
Conference papers
hal-01465776v1
|
||
|
RDBG: a Reactive Programs Extensible Debugger19th International Workshop on Software and Compilers for Embedded Systems (SCOPES'16), May 2016, Sankt Goar, Germany
Conference papers
hal-01295229v1
|
||
Generic Program Monitoring by Trace AnalysisTheory and Practice of Logic Programming, 2002
Journal articles
hal-00756826v1
|
|||
|
Voies ouvertes par des cellules en saphir pour des expériences de violation de parité détectée par émission stimuléePhysique Atomique [physics.atom-ph]. Université Pierre et Marie Curie - Paris VI, 2001. Français. ⟨NNT : ⟩
Theses
tel-00000883v1
|
||
|
Assessing Software Abstractions in WCET Analysis of Reactive Programs[Research Report] TR-2018-2, Verimag, Université Grenoble Alpes. 2018
Reports
hal-02531058v1
|
||
|
SASA: a SimulAtor of Self-stabilizing Algorithms14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway
Conference papers
hal-02521149v5
|
||
|
Generating random values using Binary Decision Diagrams and Convex PolyhedraFrédéric Benhamou and Narendra Jussien and Barry O'Sullivan. Trends in Constraint Programming, ISTE, 416 pp., 2007
Book sections
hal-00389766v1
|