Filter your results
- 107
- 42
- 1
- 72
- 33
- 28
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 146
- 7
- 2
- 2
- 1
- 1
- 1
- 1
- 12
- 13
- 9
- 21
- 13
- 14
- 15
- 17
- 16
- 19
- 145
- 5
- 150
- 150
- 17
- 14
- 12
- 10
- 8
- 8
- 8
- 6
- 6
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 30
- 29
- 27
- 27
- 20
- 16
- 14
- 10
- 10
- 8
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
150 Results
|
Causal-Consistent Debugging of Distributed Erlang Programs - Technical Report[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2021
Reports
hal-03247624v1
|
||
|
A Multi-Rate Precision Timed Programming Language for Multi-CoresFDL 2019 - Forum for Specification and Design Languages, Sep 2019, Southampton, United Kingdom. pp.1-8, ⟨10.1109/FDL.2019.8876950⟩
Conference papers
hal-02399998v1
|
||
Two Mechanisations of WebAssembly 1.0FM 2021 - Formal Methods, Nov 2021, Beijing, China. pp.1-19
Conference papers
hal-03353748v1
|
|||
|
Checkpoint/rollback vs causally-consistent reversibilityRC 2018 - 10th International Conference on Reversible Computation, Sep 2018, Leicester, United Kingdom. pp.286-303, ⟨10.1007/978-3-319-99498-7_20⟩
Conference papers
hal-01953756v1
|
||
|
Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'19), Aug 2019, Hangzhou, China. pp.10, ⟨10.1109/RTCSA.2019.8864570⟩
Conference papers
hal-02400009v1
|
||
|
Abstract Acceleration of General Linear Loops2013, pp.1-18
Other publications
hal-00924264v1
|
||
|
libDGALS: A Library-based Approach to Design Dynamic GALS Systems9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014), Jun 2014, Pisa, Italy
Conference papers
hal-00996978v1
|
||
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using PolychronyScience of Computer Programming, 2014, Science of Computer Programming, pp.20
Journal articles
hal-01095010v1
|
|||
Typical Worst Case Response-Time Analysis and its Use in Automotive Network DesignThe 51st Annual Design Automation Conference 2014, Jun 2014, San Francisco, CA, United States. ⟨10.1145/2593069.2602977⟩
Conference papers
hal-01097619v1
|
|||
|
Blaming in component-based real-time systemsProceedings of the 14th International Conference on Embedded Software - EMSOFT'14, Oct 2014, Delhi, India. ⟨10.1145/2656045.2656048⟩
Conference papers
hal-01078214v1
|
||
|
Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with OffsetsRTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3
Conference papers
hal-01629288v1
|
||
|
Extending the Wait-free Hierarchy to Multi-Threaded SystemsDistributed Computing, 2022, 35, pp.375-398. ⟨10.1007/s00446-022-00425-x⟩
Journal articles
hal-03819422v1
|
||
|
RDF: A Reconfigurable Dataflow Model of Computation[Research Report] RR-9439, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2021
Reports
hal-03495883v1
|
||
|
A Linear Time Algorithm for Computing Off-line Speed Schedules Minimizing Energy ConsumptionMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France. pp.1-14
Conference papers
hal-02372136v1
|
||
|
Counterfactual Causality from First Principles?2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017), 2017, Uppsala, Sweden. pp.47 - 53, ⟨10.4204/EPTCS.259.5⟩
Conference papers
hal-01631415v1
|
||
|
Quantifying the Flexibility of Real-Time Systems10th Junior Researcher Workshop on Real-Time Computing , Oct 2016, Brest, France
Conference papers
hal-01426658v1
|
||
|
The ForeC Synchronous Deterministic Parallel Programming Language for MulticoresIEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC'16, Sep 2016, Lyon, France
Conference papers
hal-01412102v1
|
||
|
Sciences, Environnements et Sociétés[0] Inria. 2019
Reports
hal-02340948v1
|
||
CertiCAN : Certifying CAN Analyses and Their ResultsReal-Time Systems, In press
Journal articles
hal-03941096v1
|
|||
SFC Self-Modeling and Active DiagnosisIEEE Transactions on Network and Service Management, 2021, 18 (3), pp.2515-2530. ⟨10.1109/TNSM.2021.3086424⟩
Journal articles
hal-03352706v1
|
|||
|
LUMEN: A Global Fault Management Framework For Network Virtualization EnvironmentsICIN 2018 - 21st Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2018, Paris, France. pp.1-8, ⟨10.1109/ICIN.2018.8401622⟩
Conference papers
hal-01851610v1
|
||
|
Integrating Formal Schedulability Analysis into a Verified OS KernelComputer Aided Verification, Jul 2019, New York, United States. pp.496-514, ⟨10.1007/978-3-030-25543-5_28⟩
Conference papers
hal-02289494v1
|
||
A Static Analysis for the Minimization of Voters in Fault-Tolerant CircuitsLeibniz Transactions on Embedded Systems, 2018, 5 (1), pp.1-26. ⟨10.4230/LITES-v005-i001-a004⟩
Journal articles
hal-02065630v1
|
|||
|
Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLARTAS 2017 - IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2017, Pittsburgh, United States. , pp.1-2
Conference poster
hal-01674754v1
|
||
|
Budgeting Under-Specified Tasks for Weakly-Hard Real-Time SystemsECRTS 2017 - 29th Euromicro Conference on Real-Time Systems, Jun 2017, Dubrovnik, Croatia. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2017.17⟩
Conference papers
hal-01674742v1
|
||
A Survey of Parametric Dataflow Models of ComputationACM Transactions on Design Automation of Electronic Systems, 2017
Journal articles
hal-01417126v1
|
|||
|
Building Correct Cyber-Physical Systems: Why we need a Multiview Contract TheoryFMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Dublin, Ireland. pp.19-31, ⟨10.1007/978-3-030-00244-2_2⟩
Conference papers
hal-01891146v1
|
||
|
A Novel Framework for Quantifying Accuracy and Precision of Event Detection Algorithms in FES-CyclingSensors, 2021, 21 (13), pp.1-13. ⟨10.3390/s21134571⟩
Journal articles
hal-03278596v1
|
||
|
Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack HeatCNSM 2019 - 15th International Conference on Network and Service Management, Oct 2019, Halifax, Canada. pp.1-5, ⟨10.23919/CNSM46954.2019.9012739⟩
Conference papers
hal-02375386v1
|
||
|
A Linear Time Algorithm Computing the Optimal Speeds Minimizing Energy Under Real-Time Constraints[Research Report] RR-9339, Inria Grenoble Rhône-Alpes. 2020
Reports
hal-02540230v1
|