Till sidans topp

Sidansvarig: Växeln
Sidan uppdaterades: 2018-11-25 19:37

Tipsa en vän
Utskriftsversion

Nir Piterman - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Nir Piterman

Universitetslektor

Nir Piterman
Universitetslektor
nir.piterman@gu.se

Besöksadress: Rännvägen 6 , 41258 Göteborg


Formella metoder vid Institutionen för data- och informationsteknik (Mer information)
412 96 Göteborg
Besöksadress: Rännvägen 6 , 412 58 Göteborg

Om Nir Piterman

Mina forskningsintressen inkluderar formell verifiering och automatteori. Jag har arbetat (och fortfarande är) om modellkontroll av olika typer av system, olika aspekter av tidsmässig logik, samt syntes och spellösning. Jag jobbar också med tillämpningar av formella metoder för biologisk modellering.

För mer information, kolla in min personliga hemsida.

Den här texten har automatiskt översatts till svenska av Google Translate.

Senaste publikationer

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

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), Paper i proceeding 2019
Paper i proceeding

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), Paper i proceeding 2017
Paper i proceeding

Advances in verification presented in TACAS’13
Nir Piterman
International Journal on Software Tools for Technology Transfer, Inledande text i tidskrift 2017
Inledande text i tidskrift

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), Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 1 - 5 av 5

2019

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

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), Paper i proceeding 2019
Paper i proceeding

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), Paper i proceeding 2017
Paper i proceeding

Advances in verification presented in TACAS’13
Nir Piterman
International Journal on Software Tools for Technology Transfer, Inledande text i tidskrift 2017
Inledande text i tidskrift

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), Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 1 - 5 av 5

Sidansvarig: Växeln|Sidan uppdaterades: 2018-11-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?