Nicolas Manini

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Simulation Models

Topological Properties

Imperative Programs

Reduction Method

Top Venues

Publications

Pierre Ganty, Nicolas Manini, Francesco Ranzato
Online Simulation Reduction. CoRR (2022)
Roberto Bruni, Roberta Gori, Nicolas Manini
Deciding Program Properties via Complete Abstractions on Bounded Domains. SAS (2022)