Search - Archive ouverte HAL Access content directly

Filter your results

26 Results
authIdHal_s : erwan-jahier

Parity violation in cesium - Experimental progress thanks to saphire cells

Erwan Jahier , Marie-Anne Bouchiat , Jocelyne Guéna , Philippe Jacquier , Michel Lintz et al.
2000, pp.P8-149
Conference papers hal-00002716v1
Image document

The W-SEPT Project: Towards Semantic-Aware WCET Estimation

Claire Maiza , Pascal Raymond , Catherine Parent-Vigouroux , Armelle Bonenfant , Fabienne Carrier et al.
17th 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 Setting

Annamária Szenkovits , Noémi Gaskó , Erwan Jahier
Applications 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
Image document

Case Studies with Lurette V2

Erwan Jahier , Pascal Raymond , Philippe Baufreton
ISoLA (Preliminary proceedings), Oct 2004, Paphos, Cyprus. pp.296-303
Conference papers hal-00389838v1
Image document

Improving WCET Evaluation using Linear Relation Analysis

Pascal Raymond , Claire Maiza , Catherine Parent-Vigouroux , Erwan Jahier , Nicolas Halbwachs et al.
Leibniz 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 incidence

Jocelyne Guéna , Erwan Jahier , Michel Lintz , Aram V. Papoyan , Stéfano Sanguinetti et al.
Applied 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-field

Erwan Jahier , Jocelyne Guéna , Philippe Jacquier , Michel Lintz , Marie-Anne Bouchiat et al.
The 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 cells

Erwan Jahier , Jocelyne Guéna , Philippe Jacquier , Michel Lintz , Aram V. Papoyan et al.
Applied Physics B - Laser and Optics, 2000, 71, pp.561
Journal articles hal-00002715v1
Image document

Automatic State Reaching for Debugging Reactive Programs

Fabien Gaucher , Erwan Jahier , Florence Maraninchi , Bertrand Jeannet
the 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 emission

Erwan Jahier , Jocelyne Guena , Michel Lintz , Philippe Jacquier , Marie-Anne Bouchiat et al.
2002, pp.Pr5-159, ⟨10.1051/jp420020118⟩
Conference papers hal-00002714v1

A generic approach to monitor program executions

Erwan Jahier , Mireille Ducassé
International Conference on Logic Programming, 1999, Las Cruces, United States
Conference papers hal-00756844v1
Image document

Tracing Execution of CLP(FD) Programs : A Trace Model and an Experimental Validation Environment

Ludovic Langevine , Pierre Deransart , Mireille Ducassé , Erwan Jahier
[Research Report] RR-4342, INRIA. 2001
Reports inria-00072246v1
Image document

Synchronous Modeling and Validation of Priority Inheritance Schedulers

Erwan Jahier , Nicolas Halbwachs , Pascal Raymond
Fundamental Approaches to Software Engineering, Mar 2009, York, United Kingdom. pp.140-154
Conference papers hal-00384389v1
Image document

Specifying and Executing Reactive Scenarios With Lutin

Pascal Raymond , Yvan Roux , Erwan Jahier
Electronic Notes in Theoretical Computer Science, 2008, 203 (4), pp.19-34. ⟨10.1155/2008/753821⟩
Journal articles hal-00389799v1
Image document

An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals

Mireille Ducassé , Erwan Jahier
[Research Report] RT-0231, INRIA. 1999, pp.104
Reports inria-00069941v1
Image document

Environment-Model Based Testing of Control Systems: Case Studies

Erwan Jahier , Simplice Djoko-Djoko , Chaouki Maiza , Eric Lafont
International 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
Image document

Virtual Execution of AADL Models via a Translation into Synchronous Programs

Erwan Jahier , Nicolas Halbwachs , Pascal Raymond , Xavier Nicollin , David Lesens et al.
EMSOFT 2007, Oct 2007, Salzburg, Austria. pp.134 - 143, ⟨10.1145/1289927.1289951⟩
Conference papers hal-00189563v1
Image document

Generic Program Monitoring by Trace Analysis

Erwan Jahier , Mireille Ducassé
[Research Report] RR-4323, INRIA. 2001
Reports inria-00072264v1
Image document

Engineering Functional Requirements of Reactive Systems using Synchronous Languages

Erwan Jahier , Nicolas Halbwachs , Pascal Raymond
International Symposium on Industrial Embedded Systems, 2013. SIES'13., Jun 2013, Porto, Portugal, France. pp.15
Conference papers hal-00933179v1
Image document

Describing and Executing Random Reactive Systems

Pascal Raymond , Erwan Jahier , Yvan Roux
4th 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
Image document

RDBG: a Reactive Programs Extensible Debugger

Erwan Jahier
19th 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 Analysis

Erwan Jahier , Mireille Ducassé
Theory and Practice of Logic Programming, 2002
Journal articles hal-00756826v1
Image document

Voies ouvertes par des cellules en saphir pour des expériences de violation de parité détectée par émission stimulée

Erwan Jahier
Physique Atomique [physics.atom-ph]. Université Pierre et Marie Curie - Paris VI, 2001. Français. ⟨NNT : ⟩
Theses tel-00000883v1
Image document

Assessing Software Abstractions in WCET Analysis of Reactive Programs

Erwan Jahier , Nicolas Halbwachs , Claire Maiza , Pascal Raymond , Wei-Tsun Sun et al.
[Research Report] TR-2018-2, Verimag, Université Grenoble Alpes. 2018
Reports hal-02531058v1
Image document

SASA: a SimulAtor of Self-stabilizing Algorithms

Karine Altisen , Stéphane Devismes , Erwan Jahier
14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway
Conference papers hal-02521149v5
Image document

Generating random values using Binary Decision Diagrams and Convex Polyhedra

Erwan Jahier , Pascal Raymond
Frédéric Benhamou and Narendra Jussien and Barry O'Sullivan. Trends in Constraint Programming, ISTE, 416 pp., 2007
Book sections hal-00389766v1