Publications of Nir Piterman

2014

[79] Controllability in Partial and Uncertain Environments (N. D'Ippolito, V. Braberman, N. Piterman, S. Uchitel), In 14th International Conference on Application of Concurrency to System Design, © IEEE press, 2014. (To appear) [bib]
[78] Faster Temporal Reasoning for Infinite-State Programs (B. Cook, H. Khlaaf, N. Piterman), In 14th conference on Formal Methods in Computer-Aided Design, IEEE, 2014. (To appear) [bib]
[77] Finding Instability in Biological Models (B. Cook, J. Fisher, B. Hall, S. Ishtiaq, G. Juniwal, N. Piterman), In 26th International Conference on Computer Aided Verification, © Springer-Verlag, 2014. (To appear) [bib]
[76] Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction (A. Bakhirkin, J. Berdine, N. Piterman), In 21st International Static Analysis Symposium, © Springer-Verlag, 2014. (To appear) [bib] [pdf]

2013

[75] At the Interface of Biology and Computation (A. Taylor, D. Benque, C. Cockerton, B. Cook, J. Fisher, S. Ishtiaq, N. Piterman), In ACM SIGCHI Conference on Human Factors in Computing Systems, acm, 2013. [bib]
[74] Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations (V. Raman, N. Piterman, H. Kress-Gazit), In IEEE International Conference on Robotics and Automation, © IEEE press, 2013. [bib]
[73] Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development (N. Piterman), In 38th International Symposium on Mathematical Foundations of Computer Science, volume 8087 of Lecture Notes in Computer Science, © Springer-Verlag, 2013. [bib]
[72] Tools and Algorithms for the Construction and Analysis of Systems, 19th International Conference, (N. Piterman, S.A. Smolka, eds.), © Springer-Verlag, volume 7795, 2013. [bib] [pdf]
[71] Synthesis of Biological Models from Mutation Experiments (A.S. Koskal, Y. Pu, S. Srivastava, R. Bodik, N. Piterman, J. Fisher), In 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, acm, 2013. [bib]
[70] The Rabin index of parity games (M. Huth, J. H.-P. Kuo, N. Piterman), In 4th International Symposium on Games, Automata, Logics and Formal Verification, volume 119 of EPTCS, 2013. [bib] [pdf]
[69] Fatal Attractors in Parity Games (M. Huth, J.H. Kuo, N. Piterman), In 16th International Conference on Foundations of Software Science and Computation Structures, volume 7794 of Lecture Notes in Computer Science, © Springer-Verlag, 2013. [bib] [pdf]
[68] Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals (N. D'Ippolito, V. Braberman, N. Piterman, S. Uchitel), In Transactions on Software Engineering and Methodology, acm, 22(1):9, 2013. [bib] [pdf]
[67] Model-Checking Signal Transduction Networks through Decreasing Reachability Sets (K. Claessen, J. Fisher, S. Ishtiaq, N. Piterman, Q. Wang), In The 25th Conference on Computer Aided Verification, volume 8044 of Lecture Notes in Computer Science, © Springer-Verlag, 2013. [bib]
[66] Controller synthesis: From modelling to enactment (V. Braberman, N. D'Ippolito, N. Piterman, D. Sykes, S. Uchitel), In 35th International Conference on Software Engineering, © IEEE press, 2013. [bib] [pdf]

2012

[65] Cell-cycle regulation of NOTCH signaling during C. elegans vulval development (S. Nusser-Stein, A. Beyer, I. Rimann, M. Adamczyk, N. Piterman, A. Hajnal, J. Fisher), In Molecular Systems Biology, 8(618), 2012. [bib] [pdf]
[64] Effective Synthesis of Asynchronous Systems from GR(1) Specifications (U. Klein, N. Piterman, A. Pnueli), In The Thirteenth International Conference on Verification, Model Checking, and Abstract Interpretation, volume 7148 of Lecture Notes in Computer Science, © Springer-Verlag, 2012. [bib] [pdf]
[63] p-Automata: New Foundations for Discrete-Time Probabilistic Verification (M. Huth, N. Piterman, D. Wagner), In Performance Evaluation, 69(7-8):356-378, 2012. [bib] [pdf]
[62] The Modal Transition System Control Problem (N. D'Ippolito, V. Braberman, N. Piterman, S. Uchitel), In 19th International Symposium on Formal Methods, volume 7436 of Lecture Notes in Computer Science, © Springer-Verlag, 2012. [bib] [pdf]
[61] Synthesis of Reactive(1) Designs (R. Bloem, B. Jobstmann, N. Piterman, A. Pnueli, Y. Sa'ar), In Journal of Computer and System Sciences, Special Issue in Memory of Amir Pneuli, 78(3):911-938, 2012. (Full version of VMCAI06, DATE07, and COCV07 papers) [bib] [pdf]
[60] Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans (A. Beyer, R. Eberhard, N. Piterman, M.O. Hengartner, A. Hajnal, J. Fisher), In The Ninth International Conference on Information Processing in Cells and Tissues, 2012. [bib]
[59] A Dynamic Physical Model of Cell Migration, Differentiation and Apoptosis in Caenorhabditis Elegans (A. Beyer, R. Eberhard, N. Piterman, M.O. Hengartner, A. Hajnal, J. Fisher), In Advances in Medicine and Experimental Biology, volume 736, 2012. [bib] [pdf]
[58] BMA: Visual Tool for Modelling and Analyzing Biological Networks (D. Benque, S. Bourton, C. Cockerton, B. Cook, J. Fisher, S. Ishtiaq, N. Piterman, A. Taylor, M.Y. Vardi), In The 24th Conference on Computer Aided Verification, 2012. [bib] [pdf]

2011

[57] p-Automata and Obligation Games (N. Piterman), In 18th International Symposium on Temporal Representation and Reasoning, IEEE, 2011. [bib] [pdf]
[56] Concurrent Small Progress Measures (M. Huth, J.H. Kuo, N. Piterman), In Haifa Verification Conference, volume 7261 of Lecture Notes in Computer Science, © Springer-Verlag, 2011. [bib] [pdf]
[55] Generalized Model Checking Revisited (P. Godefroid, N. Piterman), In Software Tools for Technology Transfer, 13(6):571-584, 2011. [bib] [pdf]
[54] The Only Way Is Up (J. Fisher, N. Piterman, M.Y. Vardi), In 17th International Symposium on Formal Methods, volume 6664 of Lecture Notes in Computer Science, © Springer-Verlag, 2011. [bib]
[53] Dynamic Reactive Modules (J. Fisher, T.A. Henzinger, D. Nickovic, A.V. Singh, N. Piterman, M.Y. Vardi), In 22nd International Conference on Concurrency Theory, © Springer-Verlag, 2011. [bib]
[52] Synthesis of Live Behavior Models for Fallible Domains (N. D'Ippolito, V. Braberman, N. Piterman, S. Uchitel), In 33rd International Conference on Software Engineering, acm, 2011. [bib] [pdf]
[51] Proving stabilization of biological systems (B. Cook, J. Fisher, E. Krepska, N. Piterman), In 12th International Conference on Verification, Model Checking, and Abstract Interpretation, volume 6538 of Lecture Notes in Computer Science, © Springer-Verlag, 2011. [bib] [pdf]

2010

[50] From MTL to Deterministic Timed Automata (D. Nickovic, N. Piterman), In 8th International Conference on Formal Modelling and Analysis of Timed Systems, volume 6246 of Lecture Notes in Computer Science, © Springer-Verlag, 2010. [bib] [pdf]
[49] Automata Theoretic Approach to Infinite-State Systems (O. Kupferman, N. Piterman, M.Y. Vardi), Chapter in Time for Verification: Essays in Memory of Amir Pnueli, © Springer-Verlag, volume 6200, 2010. [bib] [pdf]
[48] p-Automata: New Foundations for Discrete-Time Probabilistic Verification (M. Huth, N. Piterman, D. Wagner), In 7th International Conference on Quantitative Evaluation of SysTems, © IEEE press, 2010. [bib] [pdf]
[47] The Executable Pathway to Biological Networks (J. Fisher, N. Piterman), In Briefings in Functional Genomics and Proteomics, 9(1):79-92, 2010. [bib]
[46] PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games (H. Fecher, M. Huth, N. Piterman, D. Wagner), In Performance Evaluation, 67(9):858-872, 2010. [bib] [pdf]
[45] Synthesis of Live Behavior Models (N. D'Ippolito, V. Braberman, N. Piterman, S. Uchitel), In 18th International Symposium on Foundations of Software Engineering, acm, 2010. [bib] [pdf]
[44] Strategy Logic (K. Chatterjee, T.A. Henzinger, N. Piterman), In Information and Computation, 208(6):677-693, 2010. [bib] [pdf]

2009

[43] Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics (D.Y.Q. Wang, L. Cardelli, A. Phillips, N. Piterman, J. Fisher), In BMC Systems Biology, 3(1):118, 2009. [bib]
[42] From Liveness to Promptness (O. Kupferman, N. Piterman, M.Y. Vardi), In Formal Methods in System Design, 34(2):83-103, 2009. [bib] [pdf]
[41] Lower Bounds on Witnesses for Nonemptiness of Universal co-Buchi Automata (O. Kupferman, N. Piterman), In 12th International Conference on Foundations of Software Science and Computation Structures, volume 5504 of Lecture Notes in Computer Science, © Springer-Verlag, 2009. [bib] [pdf]
[40] A Workbench for PreProcessor Design and Evaulation: toward Benchmarks for Parity Games (M. Huth, N. Piterman, H. Wang), EASST, 2009. [bib] [pdf]
[39] Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL (M. Huth, N. Piterman, D. Wagner), In 17th International Symposium on Fundamentals of Computation Theory, volume 5699 of Lecture Notes in Computer Science, © Springer-Verlag, 2009. [bib] [pdf]
[38] LTL Generalized Model Checking Revisited (P. Godefroid, N. Piterman), In 10th International Conference on Verification, Model Checking, and Abstract Interpretation, volume 5403 of Lecture Notes in Computer Science, © Springer-Verlag, 2009. [bib] [pdf]

2008

[37] Hintikka Games for PCTL on Labeled Markov Chains (H. Fecher, M. Huth, N. Piterman, D. Wagner), In 5th International Conference on the Quantitative Evaluaiton of Systems, © IEEE press, 2008. [bib] [pdf]
[36] Bounded Asynchrony for Modeling Cell-Cell Interactions (J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman), In 1st Workshop on Formal Methods in Systems Biology, volume 5054 of Lecture Notes in Computer Science, © Springer-Verlag, 2008. [bib] [pdf]

2007

[35] From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata (N. Piterman), In Logical Methods in Computer Science, 3(3):5, 2007. (see a tighter analysis by Wanwei Liu and by Sven Schewe) [bib] [pdf]
[34] From Liveness to Promptness (O. Kupferman, N. Piterman, M.Y. Vardi), In 18th Conference on Computer Aided Verification, volume 4590 of Lecture Notes in Computer Science, © Springer-Verlag, 2007. [bib] [pdf]
[33] Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development (J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger), In PLoS Computational Biology, 3(5):e92, 2007. [bib]
[32] Strategy Logic (K. Chatterjee, T.A. Henzinger, N. Piterman), In 18th International Conference on Concurrency Theory, © Springer-Verlag, 2007. [bib] [pdf]
[31] Generalized Parity Games (K. Chatterjee, T.A. Henzinger, N. Piterman), In 10th International Conference on Foundations of Software Science and Computation Structures, volume 4423 of Lecture Notes in Computer Science, © Springer-Verlag, 2007. [bib] [pdf]
[30] Specify, Compile, Run: Hardware from PSL (R. Bloem, S. Galler, B. Jobstmann, N. Piterman, A. Pnueli, M. Weiglhofer), In 6th International Workshop on Compiler Optimization Meets Compiler Verification, 2007. [bib] [pdf]
[29] Automatic Hardware Synthesis from Specifications: A Case Study (R. Bloem, S. Galler, B. Jobstmann, N. Piterman, A. Pnueli, M. Weiglhofer), In Design Automation and Test in Europe, 2007. [bib] [pdf]

2006

[28] From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata (N. Piterman), In 21st Symposium on Logic in Computer Science, © IEEE press, 2006. (see a tighter analysis by Wanwei Liu and by Sven Schewe) [bib] [pdf]
[27] Synthesis of Reactive(1) Designs (N. Piterman, A. Pnueli, Y. Sa'ar), In 7th International Conference on Verification, Model Checking and Abstract Interpretation, volume 3855 of Lecture Notes in Computer Science, © Springer-Verlag, 2006. (see also tool homepage) [bib] [pdf]
[26] Faster Solutions of Rabin and Streett Games (N. Piterman, A. Pnueli), In 21st Symposium on Logic in Computer Science, © IEEE press, 2006. [bib] [pdf]
[25] Safraless Compositional Synthesis (O. Kupferman, N. Piterman, M.Y. Vardi), In 18th Conference on Computer Aided Verification, volume 4144 of Lecture Notes in Computer Science, © Springer-Verlag, 2006. [bib] [pdf]
[24] Minimizing Generalized Buchi Automata (S. Juvekar, N. Piterman), In 18th Conference on Computer Aided Verification, volume 4144 of Lecture Notes in Computer Science, © Springer-Verlag, 2006. [bib] [pdf]
[23] Solving Games without Determinization (T.A. Henzinger, N. Piterman), In 15th Conference on Computer Science Logic, volume 4207 of Lecture Notes in Computer Science, © Springer-Verlag, 2006. [bib] [pdf]
[22] Inferring Network Invariants Automatically (O. Grinchtein, M. Leucker, N. Piterman), In 3rd International Joint Conference on Automated Reasoning, volume 4130 of Lecture Notes in Computer Science, © Springer-Verlag, 2006. [bib]
[21] Liveness with Invisible Ranking (Y. Fang, N. Piterman, A. Pnueli, L. Zuck), In Software Tools for Technology Transfer, 8(3):261-279, 2006. [bib] [pdf]
[20] Algorithms for Buchi Games (K. Chatterjee, T.A. Henzinger, N. Piterman), In 3rd Workshop on Games in Design and Verification, 2006. [bib] [pdf]

2005

[19] Bridging the Gap Between Fair Simulation and Trace Inclusion (Y. Kesten, N. Piterman, A. Pnueli), In Information and Computation, 200(1):35-61, 2005. [bib] [pdf]
[18] Computational Insights into C. elegans Vulval Development (J. Fisher, N. Piterman, E.J.A. Hubbard, M.J. Stern, D. Harel), In Proceedings of the National Academy of Sciences, 102(6):1951-1956, 2005. [bib] [pdf]

2004

[17] Verification of Infinite-State Systems (N. Piterman), PhD thesis, Weizmann Institute of Science, 2004. [bib] [pdf]
[16] Global Model-Checking for Infinite-State Systems (N. Piterman, M.Y. Vardi), In 16th International Conference on Computer Aided Verification, volume 3114 of Lecture Notes in Computer Science, © Springer-Verlag, 2004. [bib] [pdf]
[15] Liveness with Incomprehensible Ranking (Y. Fang, N. Piterman, A. Pnueli, L. Zuck), In 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 2988 of Lecture Notes in Computer Science, © Springer-Verlag, 2004. [bib] [pdf]
[14] Liveness with Invisible Ranking (Y. Fang, N. Piterman, A. Pnueli, L. Zuck), In 5th International Conference on Verification, Model Checking and Abstract Interpretation, volume 2937 of Lecture Notes in Computer Science, © Springer-Verlag, 2004. [bib] [pdf]
[13] Combining State-based and Scenario-based Approaches in Modeling Biological Systems (J. Fisher, D. Harel, E.J.A. Hubbard, N. Piterman, M.J. Stern, N. Swerdlin), In 2nd International Workshop on Computational Methods in Systems Biology, volume 3082 of Lecture Notes in Computer Science, © Springer-Verlag, 2004. [bib] [pdf]
[12] SAT-based Induction for Temporal Safety Properties (R. Armoni, L. Fix, R. Fraer, S. Huddleston, N. Piterman, M.Y. Vardi), In 2nd International Workshop on Bounded Model Checking, volume 119 of Electronic Notes in Theoretical Computer Science, Elsevier, 2004. [bib] [pdf]

2003

[11] Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems (N. Piterman, M.Y. Vardi), In 18th IEEE Symposium on Logic in Computer Science, © IEEE press, 2003. [bib] [pdf]
[10] From Bidirectionality to Alternation (N. Piterman, M.Y. Vardi), In Theoretical Computer Science, 295(1-3):295-321, 2003. [bib] [pdf]
[9] Fair Equivalence Relations (O. Kupferman, N. Piterman, M.Y. Vardi), Chapter in Verification - Theory and Practice, Festschrift celebrating Zohar Manna's 64th Birthday, © Springer-Verlag, volume 2772, 2003. [bib] [pdf]
[8] Bridging the Gap Between Fair Simulation and Trace Inclusion (Y. Kesten, N. Piterman, A. Pnueli), In 15th International Conference on Computer Aided Verification, volume 2725 of Lecture Notes in Computer Science, © Springer-Verlag, 2003. [bib] [pdf]
[7] Enhanced Vacuity Detection in Linear Temporal Logic (R. Armoni, L. Fix, A. Flaisher, O. Grumberg, N. Piterman, A. Tiemeyer, M.Y. Vardi), In 15th International Conference on Computer Aided Verification, volume 2725 of Lecture Notes in Computer Science, © Springer-Verlag, 2003. [bib] [pdf]

2002

[6] Pushdown Specifications (O. Kupferman, N. Piterman, M.Y. Vardi), In 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning, volume 2514 of Lecture Notes in Computer Science, © Springer-Verlag, 2002. [bib] [pdf]
[5] Model Checking Linear Properties of Prefix-Recognizable Systems (O. Kupferman, N. Piterman, M.Y. Vardi), In 14th International Conference on Computer Aided Verification, volume 2404 of Lecture Notes in Computer Science, © Springer-Verlag, 2002. [bib] [pdf]

2001

[4] From Bidirectionality to Alternation (N. Piterman, M.Y. Vardi), In 26th International Symposium on Mathematical Foundations of Computer Science, volume 2136 of Lecture Notes in Computer Science, © Springer-Verlag, 2001. [bib] [pdf]
[3] Extended Temporal Logic Revisited (O. Kupferman, N. Piterman, M.Y. Vardi), In 12th International conference on Concurrency theory, volume 2154 of Lecture Notes in Computer Science, © Springer-Verlag, 2001. [bib] [pdf]

2000

[2] Extending temporal logic with Omega-automata (N. Piterman), Master's thesis, The Weizmann Institute of Science, 2000. [bib] [pdf]
[1] Fair Equivalence Relations (O. Kupferman, N. Piterman, M.Y. Vardi), In 20th Conference on the Foundations of Software Technology and Theoretical Computer Science, volume 1974 of Lecture Notes in Computer Science, © Springer-Verlag, 2000. [bib] [pdf]
Powered by bibtexbrowser