Nir Piterman

Chalmers University of Technology — Sweden

Computer Science · Physical Sciences

36h-index5.0kcitations199works0.72yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(119), Logic, programming, and type systems(66), Software Testing and Debugging Techniques(30), Gene Regulatory Network Analysis(29), Model-Driven Software Engineering Techniques(28)

Publications199 total

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
2025Open Access
Engineering an $$\mathsf {LTL_f}$$ Synthesis Tool
Lecture notes in computer science·2025Open Access
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
arXiv (Cornell University)·2025Open Access
On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
arXiv (Cornell University)·2025Open Access
Full LTL Synthesis over Infinite-State Arenas
Lecture notes in computer science·2025· 1 citedOpen Access
Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology
Lecture notes in computer science·2025
Adding Reconfiguration to Zielonka's Asynchronous Automata
Electronic Proceedings in Theoretical Computer Science·2024· 1 citedOpen Access
Attributed Point-to-Point Communication in R-CHECK
Lecture notes in computer science·2024· 1 citedOpen Access
Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
arXiv (Cornell University)·2024· 1 citedOpen Access
A workbench for preprocessor design and evaluation: toward benchmarks for parity games
Technische Universität Berlin – Universitätsbibliothek·2024· 3 citedOpen Access
Faster and Smaller Solutions of Obliging Games
arXiv (Cornell University)·2024Open Access
A Direct Translation from LTL with Past to Deterministic Rabin Automata
arXiv (Cornell University)·2024Open Access
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis
Lecture notes in computer science·2024· 1 citedOpen Access
Fair $$\omega $$-Regular Games
Lecture notes in computer science·2024· 2 citedOpen Access
Language support for verifying reconfigurable interacting systems
International Journal on Software Tools for Technology Transfer·2023· 4 citedOpen Access
Doubly Fair Parity Games
arXiv (Cornell University)·2023Open Access
Full LTL Synthesis over Infinite-state Arenas
arXiv (Cornell University)·2023· 4 citedOpen Access
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
arXiv (Cornell University)·2023· 1 citedOpen Access
Adding Reconfiguration to Zielonka's Asynchronous Automata
arXiv (Cornell University)·2023Open Access
Correct-by-Design Teamwork Plans for Multi-Agent Systems
arXiv (Cornell University)·2023Open Access
page 1 of 10Next →

Frequent Co-authors

Jasmin Fisher(15), Amir Pnueli(10), Moshe Y. Vardi(8), Thomas A. Henzinger(7), Orna Kupferman(5), Byron Cook(5), Roderick Bloem(4), Barbara Jobstmann(4), Krishnendu Chatterjee(4), Nicolás D’Ippolito(4), Vı́ctor Braberman(4), Steven Woodhouse(3), Berthold Göttgens(3), Stefan Galler(3), Martin Weiglhofer(3), Sebastián Uchitel(3), Yaniv Saʼar(2), Alex Hajnal(2), E. Jane Albert Hubbard(2), Michael Stern(2)