Filter your results
- 23
- 6
- 17
- 5
- 5
- 1
- 1
- 29
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 26
- 3
- 29
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 29
- 9
- 6
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
29 Results
|
|
sorted by
|
|
From Discrete Duration Calculus to Symbolic AutomataThird 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
|
||
|
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
|
||
Démonstration de la sécurité d'une application de signalisation en mode nominal et en modes dégradés par la preuve formelleTechniques 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 proofFormal 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
|
|||
|
Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3Langage de programmation [cs.PL]. Institut National Polytechnique de Grenoble - INPG, 1991. Français. ⟨NNT : ⟩
Theses
tel-00198546v1
|
||
|
Counter-example generation in symbolic abstract model-checkingInternational Journal on Software Tools for Technology Transfer, 2004, 5 (2-3), pp.158-164. ⟨10.1007/s10009-003-0127-4⟩
Journal articles
hal-00199168v1
|
||
|
A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory2020 IEEE Real-Time Systems Symposium (RTSS), Dec 2020, Houston, TX, United States. ⟨10.1109/RTSS49844.2020.00034⟩
Conference papers
hal-03185800v1
|
||
|
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
|
||
Estimation of Execution Time and DelaysChetto, 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
|
|||
|
Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious RobotsThe Computer Journal, 2021, The Computer Journal, 64 (1), pp.132-154. ⟨10.1093/comjnl/bxz166⟩
Journal articles
hal-02363013v1
|
||
|
Response Time Analysis of Dataflow Applications on a Many-Core Processor with Shared-Memory and Network-on-ChipRTNS 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
|
||
|
Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Conference papers
hal-02156017v1
|
||
|
Automatic verification of parameterized networks of processesTheoretical Computer Science, 2001, 256 (1-2), pp.113-144
Journal articles
hal-00198649v1
|
||
|
Optimal grid exploration by asynchronous oblivious robots[Research Report] ???. 2011
Reports
hal-00591963v3
|
||
|
Parallel Code Generation of Synchronous Programs for a Many-core ArchitectureDATE 2018 - Design, Automation and Test in Europe, Mar 2018, Dresden, Germany. pp.1139-1142, ⟨10.23919/DATE.2018.8342182⟩
Conference papers
hal-01667594v2
|
||
|
Recognizing Regular Expressions by Means of Dataflow NetworksAutomata, Languages and Programming, 23rd International Colloquium (ICALP'96), 1996, Paderborn, Germany. pp.336--347
Conference papers
hal-00384443v1
|
||
|
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
|
||
|
Industrialising a proof-based verification approach of computerised interlocking systemsCOMPRAIL '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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Optimal Grid Exploration by Asynchronous Oblivious RobotsInternational 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
|
||
|
Synchronous Modeling and Validation of Priority Inheritance SchedulersFundamental Approaches to Software Engineering, Mar 2009, York, United Kingdom. pp.140-154
Conference papers
hal-00384389v1
|
||
|
Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate ModelInternational 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 formelleTechniques industrielles de modélisation formelle pour le transport, Hermes-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3
Book sections
hal-00766909v1
|
|||
|
When the worst-case execution time estimation gains from the application semantics8th European Congress on Embedded Real-Time Software and Systems, Jan 2016, Toulouse, France
Conference papers
hal-01235781v1
|
||
|
Explorer une grille avec un minimum de robots amnésiques15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Conference papers
hal-00817123v1
|