To the top

Page Manager: Webmaster
Last update: 4/19/2017 1:56 PM

Tell a friend about this page
Print version

Nir Piterman - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Nir Piterman

Senior lecturer

Nir Piterman
Senior lecturer
nir.piterman@gu.se

Visiting Address: Rännvägen 6 , 41258 Göteborg


Formal Methods at Department of Computer Science and Engineering (More Information)
412 96 Göteborg
Visiting Address: Rännvägen 6 , 412 58 Göteborg

About 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 am also working on applications of formal methods to biological modeling.

For further information, check out my personal homepage.

Latest publications

Combinations of qualitative winning for stochastic parity games
Krishnendu Chatterjee, Nir Piterman
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2019
Conference paper

Environmentally-Friendly GR(1) Synthesis
Rupak Majumdar, Nir Piterman, Anne Kathrin Schmuck
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference paper 2019
Conference paper

Equivalence of probabilistic μ-calculus and p-automata
Claudia Cauli, Nir Piterman
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference paper 2017
Conference paper

Advances in verification presented in TACAS’13
Nir Piterman
International Journal on Software Tools for Technology Transfer, Editorial letter 2017
Editorial letter

Bringing LTL model checking to biologists
Zara Ahmed, David Benque, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference contribution 2017
Conference contribution

Showing 1 - 5 of 5

2019

Combinations of qualitative winning for stochastic parity games
Krishnendu Chatterjee, Nir Piterman
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2019
Conference paper

Environmentally-Friendly GR(1) Synthesis
Rupak Majumdar, Nir Piterman, Anne Kathrin Schmuck
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference paper 2019
Conference paper

2017

Equivalence of probabilistic μ-calculus and p-automata
Claudia Cauli, Nir Piterman
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference paper 2017
Conference paper

Advances in verification presented in TACAS’13
Nir Piterman
International Journal on Software Tools for Technology Transfer, Editorial letter 2017
Editorial letter

Bringing LTL model checking to biologists
Zara Ahmed, David Benque, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference contribution 2017
Conference contribution

Showing 1 - 5 of 5

Page Manager: Webmaster|Last update: 4/19/2017
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?