Marie-Laure Potet

Available identifiers

zbMath Open potet.marie-laureMaRDI QIDQ2999321

List of research outcomes

Publication	Date of Publication	Type
Output-sensitive information flow analysis	2024-02-06	Paper
Model generation for quantified formulas: a taint-based approach	2023-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q5856419	2021-03-26	Paper
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence	2011-05-12	Paper
Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#	2010-01-28	Paper
ZB 2005: Formal Specification and Development in Z and B	2005-11-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marie-Laure Potet