Institut National Polytechnique de Toulouse

researchers with a paper here

A. Cernuschi2 · h 2
L. Garrigues2 · h 4
Pascal Marquet2 · h 1
T. Thuillier2 profiles2 · h 16
Alejandro Garc'ia Pis1 · h 0
Alexandre Heintzmann1 · h 1
Amos C. Pomp1 · h 0
Antonio Manenti1 · h 3
C'ecile Rottner Edf1 · h 0
Christian Artigues1 · h 3
D. Osiris1 · h 0
Driss Chraibi1 · h 0

collaborating institutions

École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des TélécommunicationsFR3 papers
Université Fédérale de Toulouse Midi-PyrénéesFR3 papers
Institut de Recherche en Informatique de ToulouseFR2 papers
Institut des langues et cultures d'Europe, Amérique, Afrique, Asie et AustralieFR2 papers
Institut polytechnique de GrenobleFR2 papers
Laboratoire de Physique Subatomique et de CosmologieFR2 papers
Laboratoire Plasma et Conversion d'EnergieFR2 papers
Technology International Incorporated of Virginia (United States)US2 papers
Université Grenoble AlpesFR2 papers
Centre National de la Recherche ScientifiqueFR1 paper
East China Normal UniversityCN1 paper
École Nationale de la MétéorologieFR1 paper

Showing cs.SEShow all

1 paper · 1 filter

cs.SE2026

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair

Hongshu Wang, Xinyue Zuo, Yuhan Sun +3

Building software that is correct by construction is a long-standing goal in software engineering, as it ensures reliability during design and development rather than after deploym…