F. Loulergue

MaRDI QIDQ1566917zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An overview of the decentralized reconfiguration language Concerto-D through its Maude formalization	2025-09-03	Paper
Verified scalable parallel computing with Why3	2024-06-05	Paper
Verified runtime assertion checking for memory properties	2022-11-09	Paper
A formal semantics of nested atomic sections with thread escape Computer Languages, Systems & Structures	2018-05-15	Paper
Automated Generation of BSP Automata Parallel Processing Letters	2017-12-15	Paper
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction Interactive Theorem Proving	2014-09-08	Paper
Program calculation in Coq Algebraic Methodology and Software Technology	2011-01-21	Paper
Computational Science - ICCS 2004 Lecture Notes in Computer Science	2005-12-23	Paper
scientific article; zbMATH DE number 2102059 (Why is no real title available?)	2004-09-22	Paper
scientific article; zbMATH DE number 2009834 (Why is no real title available?)	2003-11-26	Paper
scientific article; zbMATH DE number 1760048 (Why is no real title available?)	2002-11-06	Paper
Concrete data structures and functional parallel programming Theoretical Computer Science	2001-08-20	Paper
A calculus of functional BSP programs Science of Computer Programming	2000-06-04	Paper

Research outcomes over time

This page was built for person: F. Loulergue