Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

28 résultats
Page :
triés par
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
Communication dans un congrès hal-01295229v1
Image document

Model Checking of Distributed Algorithms using Synchronous Programs

 Erwan Jahier , Karine Altisen , Stéphane Devismes , Gabriel B. Sant'Anna
25th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2023), Shlomi Dolev, Baruch Schieber, Oct 2023, Jersey City, NJ, United States
Communication dans un congrès hal-04172396v1
Image document

Generic Program Monitoring by Trace Analysis

 Erwan Jahier , Mireille Ducassé
[Research Report] RR-4323, INRIA. 2001
Rapport 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
Communication dans un congrès hal-00933179v1
Image document

Virtual Execution of AADL Models via a Translation into Synchronous Programs

 Erwan Jahier , Nicolas Halbwachs , Pascal Raymond , Xavier Nicollin , David Lesens
EMSOFT 2007, Oct 2007, Salzburg, Austria. pp.134 - 143, ⟨10.1145/1289927.1289951⟩
Communication dans un congrès hal-00189563v1
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⟩
Communication dans un congrès hal-01465776v1
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⟩
Communication dans un congrès hal-01465756v1
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
Rapport inria-00069941v1
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⟩
Article dans une revue hal-00389799v1
Image document

Exploring Worst Cases of Self-stabilizing Algorithms using Simulations

 Erwan Jahier , Stéphane Devismes , Karine Altisen
25th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Shlomi Dolev, Baruch Schieber, Oct 2023, New Jersey, United States
Communication dans un congrès hal-04172383v1
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
Communication dans un congrès 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
Chapitre d'ouvrage hal-00389766v1
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
Rapport inria-00072246v1

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
2002, pp.Pr5-159, ⟨10.1051/jp420020118⟩
Communication dans un congrès hal-00002714v1

A generic approach to monitor program executions

 Erwan Jahier , Mireille Ducassé
International Conference on Logic Programming, 1999, Las Cruces, United States
Communication dans un congrès hal-00756844v1
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
Communication dans un congrès hal-00384389v1
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 : ⟩
Thèse tel-00000883v1

Generic Program Monitoring by Trace Analysis

 Erwan Jahier , Mireille Ducassé
Theory and Practice of Logic Programming, 2002
Article dans une revue hal-00756826v1
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
Rapport hal-02531058v1

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
The European Physical Journal D : Atomic, molecular, optical and plasma physics, 2001, 13, pp.221. ⟨10.1051/jp420020118⟩
Article dans une revue 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
Article dans une revue hal-00002715v1

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⟩
Article dans une revue istex hal-00002709v1
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
Communication dans un congrès hal-00000840v1

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
Communication dans un congrès 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⟩
Communication dans un congrès hal-01590442v1
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⟩
Article dans une revue hal-03013987v1

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
Communication dans un congrès 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
Communication dans un congrès hal-00389838v1
Page :