Nir Piterman
My research interests include formal verification and automata theory. I have worked (and still am) on model checking of various types of systems, different aspects of temporal logic, as well as synthesis and game solving. I also worked on applications of formal methods to biological modeling.
Showing 23 publications
Engineering an LTLf Synthesis Tool
Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology
Attributed Point-to-Point Communication in R-CHECK
Full LTL Synthesis over Infinite-State Arenas
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis
A Direct Translation from LTL with Past to Deterministic Rabin Automata
Adding Reconfiguration to Zielonka’s Asynchronous Automata
Faster and Smaller Solutions of Obliging Games
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
Language Support for Verifying Reconfigurable Interacting Systems
Games for Efficient Supervisor Synthesis
Model Checking Reconfigurable Interacting Systems
Runtime Verification Meets Controller Synthesis
A Survey on Satisfiability Checking forthe μ -Calculus Through Tree Automata
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
A PO Characterisation ofReconfiguration
Actions over Core-closed Knowledge Bases
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security
Incorporating Monitors in Reactive Synthesis without Paying the Price
Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning
Synthesis of Run-To-Completion Controllers for Discrete Event Systems
Modelling and verification of reconfigurable multi-agent systems
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.