Filter your results
- 29
- 1
- 29
- 1
- 1
- 5
- 11
- 6
- 6
- 15
- 6
- 4
- 2
- 1
- 1
- 28
- 1
- 15
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 28
- 1
- 22
- 21
- 10
- 10
- 2
- 2
- 2
- 1
- 1
- 26
- 3
|
|
sorted by
|
|
Towards a formal account for software transactional memoryRC 2020 - 12th International Conference on Reversible Computation, Jul 2020, Oslo, Norway
Conference papers
hal-03005449v1
|
||
|
Modelling Systems Biology Wide and DeepCMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB
Conference poster
hal-03357485v1
|
||
|
Causal-Consistent Debugging of Distributed Erlang Programs - Technical Report[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2021
Reports
hal-03247624v1
|
||
|
Explicit Identifiers and Contexts in Reversible Concurrent CalculusRC 2021 - 13th International Conference on Reversible Computation, Jul 2021, Nagoya / Virtual, Japan. ⟨10.1007/978-3-030-79837-6_9⟩
Conference papers
hal-03300726v1
|
||
|
Causality analysis and fault ascription in component-based systemsTheoretical Computer Science, 2020, 837, pp.158-180. ⟨10.1016/j.tcs.2020.06.010⟩
Journal articles
hal-02927216v1
|
||
|
Reversibility in Erlang: Imperative Constructs -Technical Report[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-28
Reports
hal-03655372v1
|
||
|
Generation of a Reversible Semantics for Erlang in MaudeICFEM 2022 - 23rd International Conference on Formal Engineering Methods, Oct 2022, Madrid, Spain. pp.106-122, ⟨10.1007/978-3-031-17244-1_7⟩
Conference papers
hal-03916227v1
|
||
|
Towards Causal Explanations of Property Violations in Discrete Event SystemsDX'19 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-8
Conference papers
hal-02369014v1
|
||
|
Static versus Dynamic Reversibility in CCSActa Informatica, 2021, ⟨10.1007/s00236-019-00346-6⟩
Journal articles
hal-03338675v1
|
||
|
Explaining Safety Violations in Real-Time Systems[Research Report] RR-9420, INRIA; Verimag, Université Grenoble Alpes. 2021
Reports
hal-03348046v1
|
||
|
Causal-Consistent Replay Debugging for Message Passing ProgramsFORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.167-184, ⟨10.1007/978-3-030-21759-4_10⟩
Conference papers
hal-02313745v1
|
||
|
Distinguishing Context Dependent Events in Quotients of Causal StoriesJOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Sophie Schbath; Denis Thieffry, Jul 2021, Virtuel, France. pp.54-61
Conference papers
hal-03389052v1
|
||
|
Robust Joint Image Reconstruction from Color and Monochrome CamerasBMVC 2019 - 30th British Machine Vision Conference, Sep 2019, Cardiff, United Kingdom
Conference papers
hal-02370233v1
|
||
|
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent ProgramsFundamenta Informaticae, 2021, ⟨10.3233/FI-2021-2005⟩
Journal articles
hal-03338674v1
|
||
|
Reversibility in Erlang: Imperative ConstructsRC 2022 - 14th International Conference on Reversible Computation, Jul 2022, Urbino, Italy. pp.187-203, ⟨10.1007/978-3-031-09005-9_13⟩
Conference papers
hal-03915947v1
|
||
|
The Reversible Temporal Process LanguageFORTE 2022 - 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2022, Lucca, Italy. pp.31-49, ⟨10.1007/978-3-031-08679-3_3⟩
Conference papers
hal-03917240v1
|
||
|
A Case Study for Reversible Computing: Reversible Debugging of Concurrent ProgramsReversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp.108 - 127, 2020, ⟨10.1007/978-3-030-47361-7_5⟩
Book sections
hal-03005383v1
|
||
|
Explaining Safety Violations in Real-Time SystemsFORMATS 2021 - Formal Modeling and Analysis of Timed Systems, Aug 2021, Paris, France. pp.100-116, ⟨10.1007/978-3-030-85037-1_7⟩
Conference papers
hal-03348010v1
|
||
|
A parametric framework for reversible π-calculiInformation and Computation, 2020, 275, pp.104644. ⟨10.1016/j.ic.2020.104644⟩
Journal articles
hal-03132462v1
|
||
|
Reversible Computing in Debugging of Erlang ProgramsIT Professional, 2022, 24 (1), pp.74-80. ⟨10.1109/MITP.2021.3117920⟩
Journal articles
hal-03917301v1
|
||
|
Reversing Unbounded Petri NetsPETRI NETS 2019 - Applications and Theory of Petri Nets, Jun 2019, Aachen, Germany. ⟨10.1007/978-3-030-21571-2_13⟩
Conference papers
hal-02376158v1
|
||
|
Causal-Consistent Debugging of Distributed Erlang ProgramsRC 2021 - 13th Conference on Reversible Computation, Jul 2021, Nagoya, Japan. pp.79-95, ⟨10.1007/978-3-030-79837-6_5⟩
Conference papers
hal-03338670v1
|
||
|
A Behavioral Theory For Crash Failures and Erlang-style Recoveries In Distributed SystemsRR-9511, Inria. 2023
Reports
hal-04123758v1
|
||
|
Reversible Execution for Robustness in Embodied AI and Industrial RobotsIT Professional, 2021, 23, pp.12 - 17. ⟨10.1109/mitp.2021.3073757⟩
Journal articles
hal-03338672v1
|
||
|
An Axiomatic Approach to Reversible ComputationFoSSaCS 2020 - 23rd International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland. pp.442 - 461, ⟨10.1007/978-3-030-45231-5_23⟩
Conference papers
hal-03004421v1
|
||
|
Forward-Reverse Observational Equivalences in CCSKRC 2021 - 13th Conference on Reversible Computation, Jul 2021, Nagoya, Japan. pp.126 - 143, ⟨10.1007/978-3-030-79837-6_8⟩
Conference papers
hal-03338669v1
|
||
|
A General Approach to Derive Uncontrolled Reversible SemanticsCONCUR 2020 - 31st International Conference on Concurrency Theory, Sep 2020, Wien / Online, Austria. ⟨10.4230/LIPIcs.CONCUR.2020.33⟩
Conference papers
hal-03005374v1
|
||
Relative expressiveness of calculi for reversible concurrency2019
Other publications
hal-02376279v1
|
|||
|
Playing with Bisimulation in ErlangModels, Languages, and Tools for Concurrent and Distributed Programming, 2019, ⟨10.1007/978-3-030-21485-2_6⟩
Book sections
hal-02376217v1
|