Segui
Nir Piterman
Nir Piterman
Professor in Computer Science, University of Gothenburg, Sweden
Email verificata su gu.se - Home page
Titolo
Citata da
Citata da
Anno
Synthesis of reactive (1) designs
N Piterman, A Pnueli, Y Sa’ar
Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006
7772006
Synthesis of reactive (1) designs
R Bloem, B Jobstmann, N Piterman, A Pnueli, Y Saʼar
Journal of Computer and System Sciences 78 (3), 911-938, 2012
5482012
Decoding the regulatory network of early blood development from single-cell gene expression measurements
V Moignard, S Woodhouse, L Haghverdi, AJ Lilly, Y Tanaka, ...
Nature biotechnology 33 (3), 269-276, 2015
4562015
From nondeterministic Buchi and Streett automata to deterministic parity automata
N Piterman
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 255-264, 2006
3902006
Strategy logic
K Chatterjee, TA Henzinger, N Piterman
Information and Computation 208 (6), 677-693, 2010
2982010
Specify, compile, run: Hardware from PSL
R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer
Electronic Notes in Theoretical Computer Science 190 (4), 3-16, 2007
1652007
Solving games without determinization
TA Henzinger, N Piterman
International Workshop on Computer Science Logic, 395-410, 2006
1532006
Automatic hardware synthesis from specifications: A case study
R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
1502007
Strategy logic
K Chatterjee, TA Henzinger, N Piterman
CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007
1452007
Safraless compositional synthesis
O Kupferman, N Piterman, MY Vardi
International Conference on Computer Aided Verification, 31-44, 2006
1312006
Computational insights into Caenorhabditis elegans vulval development
J Fisher, N Piterman, EJA Hubbard, MJ Stern, D Harel
Proceedings of the National Academy of Sciences 102 (6), 1951-1956, 2005
1272005
Faster solutions of Rabin and Streett games
N Piterman, A Pnueli
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 275-284, 2006
1262006
Predictive modeling of signaling crosstalk during C. elegans vulval development
J Fisher, N Piterman, A Hajnal, TA Henzinger
PLoS Comput Biol 3 (5), e92, 2007
1222007
Enhanced vacuity detection in linear temporal logic
R Armoni, L Fix, A Flaisher, O Grumberg, N Piterman, A Tiemeyer, ...
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
1112003
BTR: training asynchronous Boolean models using single-cell expression data
CY Lim, H Wang, S Woodhouse, N Piterman, L Wernisch, J Fisher, ...
BMC bioinformatics 17, 1-18, 2016
1052016
From liveness to promptness
O Kupferman, N Piterman, MY Vardi
Formal Methods in System Design 34 (2), 83-103, 2009
1012009
Synthesizing nonanomalous event-based controllers for liveness goals
N D'ippolito, V Braberman, N Piterman, S Uchitel
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (1), 1-36, 2013
992013
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data
S Woodhouse, N Piterman, CM Wintersteiger, B Göttgens, J Fisher
BMC systems biology 12 (1), 1-7, 2018
962018
T2: Temporal Property Verification
M Brockschmidt, B Cook, S Ishtiaq, H Khlaaf, N Piterman
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
902016
Bridging the gap between fair simulation and trace inclusion
Y Kesten, N Piterman, A Pnueli
Information and Computation 200 (1), 35-61, 2005
892005
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20