Search - ANR - Agence nationale de la recherche Access content directly

Filter your results

29 Results
ANR project: Code decision (reference) : ANR-18-CE25-0007
Image document

Towards a formal account for software transactional memory

Doriana Medić , Claudio Antares Mezzina , Iain Phillips , Nobuko Yoshida
RC 2020 - 12th International Conference on Reversible Computation, Jul 2020, Oslo, Norway
Conference papers hal-03005449v1
Image document

Modelling Systems Biology Wide and Deep

Sébastien Légaré , Jean Krivine , Russ Harmer , Jérôme Feret
CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB
Conference poster hal-03357485v1
Image document

Causal-Consistent Debugging of Distributed Erlang Programs - Technical Report

Giovanni Fabbretti , Ivan Lanese , Jean-Bernard Stefani
[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2021
Reports hal-03247624v1
Image document

Explicit Identifiers and Contexts in Reversible Concurrent Calculus

Clément Aubert , Doriana Medić
RC 2021 - 13th International Conference on Reversible Computation, Jul 2021, Nagoya / Virtual, Japan. ⟨10.1007/978-3-030-79837-6_9⟩
Conference papers hal-03300726v1
Image document

Causality analysis and fault ascription in component-based systems

Gregor Gössler , Jean-Bernard Stefani
Theoretical Computer Science, 2020, 837, pp.158-180. ⟨10.1016/j.tcs.2020.06.010⟩
Journal articles hal-02927216v1
Image document

Reversibility in Erlang: Imperative Constructs -Technical Report

Pietro Lami , Ivan Lanese , Jean-Bernard Stefani , Claudio Sacerdoti Coen , Giovanni Fabbretti
[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-28
Reports hal-03655372v1
Image document

Generation of a Reversible Semantics for Erlang in Maude

Giovanni Fabbretti , Ivan Lanese , Jean-Bernard Stefani
ICFEM 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
Image document

Towards Causal Explanations of Property Violations in Discrete Event Systems

Gregor Gössler , Thomas Mari , Yannick Pencolé , Louise Travé-Massuyès
DX'19 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-8
Conference papers hal-02369014v1
Image document

Static versus Dynamic Reversibility in CCS

Ivan Lanese , Doriana Medić , Claudio Antares Mezzina
Acta Informatica, 2021, ⟨10.1007/s00236-019-00346-6⟩
Journal articles hal-03338675v1
Image document

Explaining Safety Violations in Real-Time Systems

Thomas Mari , Thao Dang , Gregor Gössler
[Research Report] RR-9420, INRIA; Verimag, Université Grenoble Alpes. 2021
Reports hal-03348046v1
Image document

Causal-Consistent Replay Debugging for Message Passing Programs

Ivan Lanese , Adrián Palacios , Germán Vidal
FORTE 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
Image document

Distinguishing Context Dependent Events in Quotients of Causal Stories

Sébastien Légaré , Jean Krivine , Jérôme Feret
JOBIM 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
Image document

Robust Joint Image Reconstruction from Color and Monochrome Cameras

Muxingzi Li , Peihan Tu , Wolfgang Heidrich
BMVC 2019 - 30th British Machine Vision Conference, Sep 2019, Cardiff, United Kingdom
Conference papers hal-02370233v1
Image document

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs

Ivan Lanese , Adrián Palacios , Germán Vidal
Fundamenta Informaticae, 2021, ⟨10.3233/FI-2021-2005⟩
Journal articles hal-03338674v1
Image document

Reversibility in Erlang: Imperative Constructs

Pietro Lami , Ivan Lanese , Jean-Bernard Stefani , Claudio Sacerdoti Coen , Giovanni Fabbretti
RC 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
Image document

The Reversible Temporal Process Language

Laura Bocchi , Ivan Lanese , Claudio Antares Mezzina , Shoji Yuen
FORTE 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
Image document

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

James Hoey , Ivan Lanese , Naoki Nishida , Irek Ulidowski , Germán Vidal
Reversible 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 Systems

Thomas Mari , Thao Dang , Gregor Gössler
FORMATS 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 π-calculi

Doriana Medić , Claudio Antares Mezzina , Iain Phillips , Nobuko Yoshida
Information and Computation, 2020, 275, pp.104644. ⟨10.1016/j.ic.2020.104644⟩
Journal articles hal-03132462v1
Image document

Reversible Computing in Debugging of Erlang Programs

Ivan Lanese , Ulrik Schultz , Irek Ulidowski
IT Professional, 2022, 24 (1), pp.74-80. ⟨10.1109/MITP.2021.3117920⟩
Journal articles hal-03917301v1
Image document

Reversing Unbounded Petri Nets

Lukasz Mikulski , Ivan Lanese
PETRI NETS 2019 - Applications and Theory of Petri Nets, Jun 2019, Aachen, Germany. ⟨10.1007/978-3-030-21571-2_13⟩
Conference papers hal-02376158v1
Image document

Causal-Consistent Debugging of Distributed Erlang Programs

Giovanni Fabbretti , Ivan Lanese , Jean-Bernard Stefani
RC 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
Image document

A Behavioral Theory For Crash Failures and Erlang-style Recoveries In Distributed Systems

Giovanni Fabbretti , Ivan Lanese , Jean-Bernard Stefani
RR-9511, Inria. 2023
Reports hal-04123758v1
Image document

Reversible Execution for Robustness in Embodied AI and Industrial Robots

Ivan Lanese , Ulrik P Schultz , Irek Ulidowski
IT Professional, 2021, 23, pp.12 - 17. ⟨10.1109/mitp.2021.3073757⟩
Journal articles hal-03338672v1
Image document

An Axiomatic Approach to Reversible Computation

Ivan Lanese , Iain Phillips , Irek Ulidowski
FoSSaCS 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
Image document

Forward-Reverse Observational Equivalences in CCSK

Ivan Lanese , Iain Phillips
RC 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
Image document

A General Approach to Derive Uncontrolled Reversible Semantics

Ivan Lanese , Doriana Medić
CONCUR 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 concurrency

Doriana Medic
2019
Other publications hal-02376279v1
Image document

Playing with Bisimulation in Erlang

Ivan Lanese , Davide Sangiorgi , Gianluigi Zavattaro
Models, Languages, and Tools for Concurrent and Distributed Programming, 2019, ⟨10.1007/978-3-030-21485-2_6⟩
Book sections hal-02376217v1