Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings von Loulergue, édéric, Wotawa, Franz

Volltext

Guest Editor’s Note: High-Level Parallel Programming 2021 von Niculescu, Virginia, Loulergue, Frédéric

Volltext

Component-based Distributed Software Reconfiguration:A Verification-oriented Survey von Coullon, Héléne, Henrio, Ludovic, Loulergue, Frédéric, Robillard, Simon

Volltext

Preface to the special issue on Formal Approaches to Parallel and Distributed Systems 2018 von Loulergue, Frédéric

Volltext

Transforming powerlist-based divide-and-conquer programs for an improved execution model von Niculescu, Virginia, Loulergue, Frédéric

Volltext

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021 von Ahrendt, Wolfgang, Loulergue, Frédéric, Wehrheim, Heike

Volltext

Sound Runtime Assertion Checking for Memory Properties via Program Transformation von Ly, Dara, Kosmatov, Nikolai, Loulergue, Frédéric, Signoles, Julien

Volltext

Imperative BSPlib-style Communications in BSML von Loulergue, Frédéric

Volltext

Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings

Volltext

Introduction to the Special Issue on Practical Aspects of High-Level Parallel Programming von Loulergue, Frederic

Volltext

Calculating Parallel Programs in Coq Using List Homomorphisms von Loulergue, Frédéric, Bousdira, Wadoud, Tesson, Julien

Volltext

Verified Scalable Parallel Computing with Why3 von Proust, Olivia, Loulergue, Frédéric

Volltext

Towards Full Proof Automation in Frama-C Using Auto-active Verification von Blanchard, Allan, Loulergue, Frédéric, Kosmatov, Nikolai

Volltext

Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C von Blanchard, Allan, Kosmatov, Nikolai, Loulergue, Frédéric

Volltext

Verified High Performance Computing: The SyDPaCC Approach von Loulergue, Frédéric, Ed-Dbali, Ali

Volltext

OSL: An Algorithmic Skeleton Library with Exceptions von Legaux, Joeffrey, Loulergue, Frédéric, Jubertie, Sylvain

Volltext

Replicated Synchronization for Imperative BSP Programs von Jakobsson, Arvid, Dabrowski, Frédéric, Bousdira, Wadoud, Loulergue, Frédéric, Hains, Gaetan

Volltext

From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation von Blanchard, Allan, Loulergue, Frédéric, Kosmatov, Nikolai

Volltext

Automatic Optimization of Python Skeletal Parallel Programs von Loulergue, Frédéric, Philippe, Jolan

Volltext

Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack von Ziani, Yani, Kosmatov, Nikolai, Loulergue, Frédéric, Gracia Pérez, Daniel

Volltext