Filtrer vos résultats
- 24
- 6
- 18
- 5
- 5
- 1
- 1
- 30
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 27
- 3
- 30
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 30
- 9
- 6
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
30 résultats
|
|
triés par
|
|
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⟩
Communication dans un congrès
hal-00198433v1
|
||
|
Specifying and Executing Reactive Scenarios With LutinElectronic Notes in Theoretical Computer Science, 2008, 203 (4), pp.19-34. ⟨10.1155/2008/753821⟩
Article dans une revue
hal-00389799v1
|
||
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-02156017v1
|
||
|
Automatic verification of parameterized networks of processesTheoretical Computer Science, 2001, 256 (1-2), pp.113-144
Article dans une revue
hal-00198649v1
|
||
|
Optimal grid exploration by asynchronous oblivious robots[Research Report] ???. 2011
Rapport
hal-00591963v3
|
||
|
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⟩
Article dans une revue
hal-00199168v1
|
||
|
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 : ⟩
Thèse
tel-00198546v1
|
||
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
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
hal-01464432v1
|
|||
|
Improving WCET Evaluation using Linear Relation AnalysisLeibniz Transactions on Embedded Systems, 2019, 6 (1), pp.02:28. ⟨10.4230/LITES-v006-i001-a002⟩
Article dans une revue
hal-03013987v1
|
||
|
Case Studies with Lurette V2ISoLA (Preliminary proceedings), Oct 2004, Paphos, Cyprus. pp.296-303
Communication dans un congrès
hal-00389838v1
|
||
|
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⟩
Communication dans un congrès
hal-00934161v1
|
||
|
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⟩
Communication dans un congrès
hal-01590442v1
|
||
|
Virtual Execution of AADL Models via a Translation into Synchronous ProgramsEMSOFT 2007, Oct 2007, Salzburg, Austria. pp.134 - 143, ⟨10.1145/1289927.1289951⟩
Communication dans un congrès
hal-00189563v1
|
||
|
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⟩
Communication dans un congrès
hal-01465776v1
|
||
|
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⟩
Communication dans un congrès
hal-01667594v2
|
||
|
Recognizing Regular Expressions by Means of Dataflow NetworksAutomata, Languages and Programming, 23rd International Colloquium (ICALP'96), 1996, Paderborn, Germany. pp.336--347
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00796378v1
|
||
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⟩
Chapitre d'ouvrage
hal-03256411v1
|
|||
|
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
Chapitre d'ouvrage
hal-00389766v1
|
||
|
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⟩
Communication dans un congrès
hal-03185800v1
|
||
|
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo TheoryDATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium
Communication dans un congrès
hal-04007446v1
|
||
|
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⟩
Article dans une revue
hal-02363013v1
|
||
|
Synchronous Modeling and Validation of Priority Inheritance SchedulersFundamental Approaches to Software Engineering, Mar 2009, York, United Kingdom. pp.140-154
Communication dans un congrès
hal-00384389v1
|
||
|
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
Communication dans un congrès
hal-00817123v1
|
||
|
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
Communication dans un congrès
hal-01235781v1
|
||
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
Chapitre d'ouvrage
hal-00766909v1
|
|||
|
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⟩
Communication dans un congrès
hal-00753526v1
|