Nir Piterman

According to our database1, Nir Piterman authored at least 93 papers between 2001 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Reconfigurable Interaction for MAS Modelling.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

A Computational Framework for Adaptive Systems and its Verification.
CoRR, 2019

Environmentally-Friendly GR(1) Synthesis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Combinations of Qualitative Winning for Stochastic Parity Games.
Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018
Temporal Logic and Fair Discrete Systems.
Proceedings of the Handbook of Model Checking., 2018

Coverability: Realizability Lower Bounds.
CoRR, 2018

SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data.
BMC Syst. Biol., 2018

2017
Interaction Models and Automated Control under Partial Observable Environments.
IEEE Trans. Software Eng., 2017

Advances in verification presented in TACAS'13.
Int. J. Softw. Tools Technol. Transf., 2017

Obligation Blackwell Games and P-Automata.
J. Symb. Log., 2017

Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems.
J. ACM, 2017

Equivalence of Probabilistic \mu -Calculus and p-Automata.
Proceedings of the Implementation and Application of Automata, 2017

Bringing LTL Model Checking to Biologists.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016
BTR: training asynchronous Boolean models using single-cell expression data.
BMC Bioinform., 2016

T2: Temporal Property Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Finding Recurrent Sets with Backward Analysis and Trace Partitioning.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Safety Verification of Piecewise-Deterministic Markov Processes.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Static Analysis of Parity Games: Alternating Reachability Under Parity.
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control.
IEEE Trans. Robotics, 2015

The Rabin index of parity games: Its complexity and approximation.
Inf. Comput., 2015

Fairness for Infinite-State Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics.
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015

A Forward Analysis for Recurrent Sets.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

A Recursive Probabilistic Temporal Logic.
Proceedings of the Formal Methods and Software Engineering, 2015

A Modelling Framework for Cyber-Physical System Resilience.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

On Automation of CTL* Verification for Infinite-State Systems.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Fatal Attractors in Parity Games: Building Blocks for Partial Solvers.
CoRR, 2014

Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction.
Proceedings of the Static Analysis - 21st International Symposium, 2014

Faster temporal reasoning for infinite-state programs.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

Finding Instability in Biological Models.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Controllability in Partial and Uncertain Environments.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013
Synthesizing nonanomalous event-based controllers for liveness goals.
ACM Trans. Softw. Eng. Methodol., 2013

The Rabin index of parity games.
Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Synthesis of biological models from mutation experiments.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development.
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Controller synthesis: from modelling to enactment.
Proceedings of the 35th International Conference on Software Engineering, 2013

Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Fatal Attractors in Parity Games.
Proceedings of the Foundations of Software Science and Computation Structures, 2013

At the interface of biology and computation.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

Model-Checking Signal Transduction Networks through Decreasing Reachability Sets.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
p-Automata: New foundations for discrete-time probabilistic verification.
Perform. Evaluation, 2012

Synthesis of Reactive(1) designs.
J. Comput. Syst. Sci., 2012

Effective Synthesis of Asynchronous Systems from GR(1) Specifications.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans.
Proceedings of the Information Processign in Cells and Tissues, 2012

The Modal Transition System Control Problem.
Proceedings of the FM 2012: Formal Methods, 2012

Bma: Visual Tool for Modeling and Analyzing Biological Networks.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
LTL generalized model checking revisited.
Int. J. Softw. Tools Technol. Transf., 2011

Proving Stabilization of Biological Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

p-Automata and Obligation Games.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Synthesis of live behaviour models for fallible domains.
Proceedings of the 33rd International Conference on Software Engineering, 2011

The Rabin Index of Parity Games - (Extended Abstract).
Proceedings of the Hardware and Software: Verification and Testing, 2011

Concurrent Small Progress Measures.
Proceedings of the Hardware and Software: Verification and Testing, 2011

The Only Way Is Up.
Proceedings of the FM 2011: Formal Methods, 2011

Dynamic Reactive Modules.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games.
Perform. Evaluation, 2010

Strategy logic.
Inf. Comput., 2010

Synthesis of live behaviour models.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

From Mtl to Deterministic Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

An Automata-Theoretic Approach to Infinite-State Systems.
Proceedings of the Time for Verification, 2010

2009
From liveness to promptness.
Formal Methods Syst. Des., 2009

A workbench for preprocessor design and evaluation: toward benchmarks for parity games.
ECEASST, 2009

Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics.
BMC Syst. Biol., 2009

Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata.
Proceedings of the Foundations of Software Science and Computational Structures, 2009

Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL.
Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009

2008
Algorithms for Büchi Games
CoRR, 2008

Hintikka Games for PCTL on Labeled Markov Chains.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

2007
Predictive Modeling of Signaling Crosstalk during <i>C. elegans</i> Vulval Development.
PLoS Computational Biology, 2007

From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata.
Log. Methods Comput. Sci., 2007

Specify, Compile, Run: Hardware from PSL.
Electron. Notes Theor. Comput. Sci., 2007

Generalized Parity Games.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

Interactive presentation: Automatic hardware synthesis from specifications: a case study.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006
Liveness with invisible ranking.
Int. J. Softw. Tools Technol. Transf., 2006

Synthesis of Reactive(1) Designs.
Proceedings of the Verification, 2006

Faster Solutions of Rabin and Streett Games.
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

Solving Games Without Determinization.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

Safraless Compositional Synthesis.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Minimizing Generalized Büchi Automata.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Inferring Network Invariants Automatically.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005
Bridging the gap between fair simulation and trace inclusion.
Inf. Comput., 2005

SAT-based Induction for Temporal Safety Properties.
Electron. Notes Theor. Comput. Sci., 2005

2004
Liveness with Incomprehensible Ranking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

Global Model-Checking of Infinite-State Systems.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003
From bidirectionality to alternation.
Theor. Comput. Sci., 2003

Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems.
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Enhanced Vacuity Detection in Linear Temporal Logic.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Fair Equivalence Relations.
Proceedings of the Verification: Theory and Practice, 2003

2002
Pushdown Specifications.
Proceedings of the Logic for Programming, 2002

Model Checking Linear Properties of Prefix-Recognizable Systems.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Extended Temporal Logic Revisited.
Proceedings of the CONCUR 2001, 2001


  Loading...