Search - Archive ouverte HAL Access content directly

Filter your results

29 Results
Image document

From Discrete Duration Calculus to Symbolic Automata

Laure Gonnord , Nicolas Halbwachs , Pascal Raymond
Third International Workshop on Synchronous Languages, Applications, and Programs (SLAP 2004), Mar 2003, Barcelona, Spain. pp.3-18, ⟨10.1016/j.entcs.2006.02.022⟩
Conference papers hal-00198433v1
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

Démonstration de la sécurité d'une application de signalisation en mode nominal et en modes dégradés par la preuve formelle

Jean-Marc Mota , Evguenia Dmitrieva , Amel Mammar , Paul Caspi , Salimeh Behnia et al.
Techniques industrielles de modélisation formelle pour le transport, Hermès-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3
Book sections hal-00796381v1

Safety demonstration for a rail signaling application in nominal and degraded modes using formal proof

Jean-Marc Mota , Evguenia Dmitrieva , Amel Mammar , Paul Caspi , Nicolas Breton et al.
Formal methods applied to complex systems, ISTE-Wiley, pp.71 - 113, 2014, Computer Engineering Series, 978-1-84821-632-7. ⟨10.1002/9781119004707.ch4⟩
Book sections hal-01464432v1
Image document

Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3

Pascal Raymond
Langage de programmation [cs.PL]. Institut National Polytechnique de Grenoble - INPG, 1991. Français. ⟨NNT : ⟩
Theses tel-00198546v1
Image document

Counter-example generation in symbolic abstract model-checking

Gordon Pace , Nicolas Halbwachs , Pascal Raymond
International Journal on Software Tools for Technology Transfer, 2004, 5 (2-3), pp.158-164. ⟨10.1007/s10009-003-0127-4⟩
Journal articles hal-00199168v1
Image document

A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory

Matheus Schuh , Claire Maïza , Joël Goossens , Pascal Raymond , Benoît Dupont de Dinechin et al.
2020 IEEE Real-Time Systems Symposium (RTSS), Dec 2020, Houston, TX, United States. ⟨10.1109/RTSS49844.2020.00034⟩
Conference papers hal-03185800v1
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

Estimation of Execution Time and Delays

Claire Maïza , Pascal Raymond , Christine Rochange
Chetto, Maryline. Real‐Time Systems Scheduling 1: Fundamentals, Chapter 5, ISTE - WILEY, pp.193--230, 2014, 978-1848216655. ⟨10.1002/9781118984413.ch5⟩
Book sections hal-03256411v1
Image document

Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil et al.
The Computer Journal, 2021, The Computer Journal, 64 (1), pp.132-154. ⟨10.1093/comjnl/bxz166⟩
Journal articles hal-02363013v1
Image document

Response Time Analysis of Dataflow Applications on a Many-Core Processor with Shared-Memory and Network-on-Chip

Amaury Graillat , Claire Maiza , Matthieu Moy , Pascal Raymond , Benoît Dupont de Dinechin et al.
RTNS 2019 - 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France. pp.61-69, ⟨10.1145/3356401.3356416⟩
Conference papers hal-02320463v1
Image document

Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt

Moustapha Lo , Nicolas Valot , Florence Maraninchi , Pascal Raymond
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Conference papers hal-02156017v1
Image document

Automatic verification of parameterized networks of processes

David Lesens , Nicolas Halbwachs , Pascal Raymond
Theoretical Computer Science, 2001, 256 (1-2), pp.113-144
Journal articles hal-00198649v1
Image document

Optimal grid exploration by asynchronous oblivious robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil et al.
[Research Report] ???. 2011
Reports hal-00591963v3
Image document

Parallel Code Generation of Synchronous Programs for a Many-core Architecture

Amaury Graillat , Matthieu Moy , Pascal Raymond , Benoît Dupont de Dinechin
DATE 2018 - Design, Automation and Test in Europe, Mar 2018, Dresden, Germany. pp.1139-1142, ⟨10.23919/DATE.2018.8342182⟩
Conference papers hal-01667594v2
Image document

Recognizing Regular Expressions by Means of Dataflow Networks

Pascal Raymond
Automata, Languages and Programming, 23rd International Colloquium (ICALP'96), 1996, Paderborn, Germany. pp.336--347
Conference papers hal-00384443v1
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

Industrialising a proof-based verification approach of computerised interlocking systems

Salimeh Behnia , Amel Mammar , Jean-Marc Mota , Nicolas Breton , Paul Caspi et al.
COMPRAIL '08 : Eleventh International Conference on Computer System Design and Operation in the Railway and Other Transit Systems, Sep 2008, Toledo, Spain. ⟨10.2495/CR080151⟩
Conference papers hal-00796378v1
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

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

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
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

Optimal Grid Exploration by Asynchronous Oblivious Robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil et al.
International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.64-76, ⟨10.1007/978-3-642-33536-5_7⟩
Conference papers hal-00934161v1
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

Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model

M. Alras , Paul Caspi , Alain Girault , Pascal Raymond
International Conference on Embedded Systems and Software, ICESS'09, May 2009, Hangzhou, China. pp.3--10, ⟨10.1109/ICESS.2009.36⟩
Conference papers hal-00753526v1

Démonstration de la sécurité d'une application de signalisation en mode nominal et en modes dégradés par la preuve formelle

Jean-Marc Mota , Evguenia Dmitrieva , Amel Mammar , Paul Caspi , Salimeh Behnia et al.
Techniques industrielles de modélisation formelle pour le transport, Hermes-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3
Book sections hal-00766909v1
Image document

When the worst-case execution time estimation gains from the application semantics

Armelle Bonenfant , Fabienne Carrier , Hugues Cassé , Philippe Cuenot , Denis Claraz et al.
8th European Congress on Embedded Real-Time Software and Systems, Jan 2016, Toulouse, France
Conference papers hal-01235781v1
Image document

Explorer une grille avec un minimum de robots amnésiques

Franck Petit , Anissa Lamani , Stéphane Devismes , Sébastien Tixeuil , Pascal Raymond et al.
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Conference papers hal-00817123v1