Image de couverture de livre

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bowen, Jonathan P., Habrias, Henri
Format:	Preprint
Publié:	2026
Sujets:	General Literature Computers and Society Logic in Computer Science Software Engineering 01A70 (Primary) 01A60, 01A61, 68N30, 68Q60 (Secondary) K.2; D.2.1; D.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Robert V. Kohn (1953-2026)
par: Epshteyn, Yekaterina, et autres
Publié: (2026)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
par: Huisman, Marieke, et autres
Publié: (2020)

An interview with Bernard Teissier
par: Popescu-Pampu, Patrick
Publié: (2026)

Refutability as Recursive as Provability
par: Cattabriga, Paola
Publié: (2024)

Ordinals and recursively defined functions on the reals
par: Nivasch, Gabriel, et autres
Publié: (2023)

Exploring Felix Klein's contested modernism
par: Heinig, Peter, et autres
Publié: (2024)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
par: Iskander, Ray
Publié: (2026)

Report of the 2025 Workshop on Next-Generation Ecosystems for Scientific Computing: Harnessing Community, Software, and AI for Cross-Disciplinary Team Science
par: McInnes, Lois Curfman, et autres
Publié: (2025)

Authenticated Delegation and Authorized AI Agents
par: South, Tobin, et autres
Publié: (2025)

The Scholar-Priest and the Paradox of Service: Jozsef Sutak's Role in the Hungarian Mathematical Golden Age
par: Batkai, Andras
Publié: (2026)

Abductive explanations of classifiers under constraints: Complexity and properties
par: Cooper, Martin, et autres
Publié: (2024)

Enhancing Programming Pair Workshops: The Case of Teacher Pre-Prompting
par: Petersson, Johan
Publié: (2025)

An Efficient Algorithm for Generalized Polynomial Partitioning and Its Applications
par: Agarwal, Pankaj K., et autres
Publié: (2018)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
par: Zhang, Manqing, et autres
Publié: (2026)

Formal Verification of Imperative First-Class Functions in Move
par: Grieskamp, Wolfgang, et autres
Publié: (2026)

Understanding Student Perceptions of Flipped Linear Algebra Classrooms via Interpretable Machine Learning
par: Laudari, S., et autres
Publié: (2023)

Folding the Heighway dragon curve
par: Chang, Ting-Wu, et autres
Publié: (2026)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
par: Colomina-Alminana, Juan J.
Publié: (2026)

Trace Validation of Unmodified Concurrent Systems with OmniLink
par: Hackett, Finn, et autres
Publié: (2026)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
par: Peyrano, Ignacio
Publié: (2026)

Deciding subspace reachability problems with application to Skolem's Problem
par: Everett, Samuel
Publié: (2024)

Multiple Query Satisfiability of Constrained Horn Clauses
par: De Angelis, Emanuele, et autres
Publié: (2022)

90+ years of the Scottish Book
par: Domoradzki, Stanisław, et autres
Publié: (2026)

Block withholding resilience
par: Grunspan, Cyril, et autres
Publié: (2022)

Three variations of Heads or Tails Game for Bitcoin
par: Grunspan, Cyril, et autres
Publié: (2024)

Dancing in the Shadows: Harnessing Ambiguity for Fairer Classifiers
par: Barrainkua, Ainhize, et autres
Publié: (2024)

Dominic Welsh: his work and influence
par: Farr, Graham, et autres
Publié: (2024)

Array-Carrying Symbolic Execution for Function Contract Generation
par: Lu, Weijie, et autres
Publié: (2026)

Nelson's Logical Diagrams
par: Aberdein, Andrew
Publié: (2023)

A Mathematical Theory of Discursive Networks
par: Gutiérrez, Juan B.
Publié: (2025)

Unveiling Hidden Threats: Using Fractal Triggers to Boost Stealthiness of Distributed Backdoor Attacks in Federated Learning
par: Wang, Jian, et autres
Publié: (2025)

From Euler to Today: Universal Mathematical Fallibility A Large-Scale Computational Analysis of Errors in ArXiv Papers
par: Rivin, Igor
Publié: (2025)

Background and Intellectual Development: Supplementary Material for the Category Mistake Papers
par: Borrill, Paul
Publié: (2026)

On Chaitin's Heuristic Principle and Halting Probability
par: Salehi, Saeed
Publié: (2023)

Primitive Vector Cipher(PVC): A Hybrid Encryption Scheme based on the Vector Computational Diffie-Hellman (V-CDH) Problem
par: BİLİR, Gülçin ÇİVİ
Publié: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
par: Batten, Ben, et autres
Publié: (2024)

AI Governance InternationaL Evaluation Index (AGILE Index) 2025
par: Zeng, Yi, et autres
Publié: (2025)

Combining Mechanical and Agentic Specification Inference for Move
par: Grieskamp, Wolfgang, et autres
Publié: (2026)

GraphSense: Graph Embedding Based Code Suggestion Framework
par: Peiris, H. R Navod Thisura
Publié: (2025)

Algebraic Machine Learning: Learning as computing an algebraic decomposition of a task
par: Martin-Maroto, Fernando, et autres
Publié: (2025)