🧑🏻‍💻 My Work

📝 Papers:

• The Reachable Simulation Problem
  P. Ganty, N. Manini, F. Ranzato. ACM ToCL.
• Computing Reachable Simulations on Transition Systems
  P. Ganty, N. Manini, F. Ranzato. RP 2024. [PDF] [arXiv]
• Deciding Program Properties via Complete Abstractions on Bounded Domains
  R. Bruni, R. Gori, N. Manini. SAS 2022. [PDF]

🖼️ Posters:

• Complete Abstraction on Bounded Domains
  My I[M]DEA Show Your Work Day 2023. [PDF]
• Online Simulation Reduction
  My I[M]DEA Show Your Work Day 2022. [PDF]