Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Piterman, Nir - Department of Computing, Imperial College, London
Inferring Network Invariants Automatically Olga Grinchtein1
Solving Games without Determinization Thomas A. Henzinger and Nir Piterman
From Bidirectionality to Alternation Nir Piterman
BMC 2004 Preliminary Version SAT-based Induction for Temporal Safety
LTL Generalized Model Checking Revisited Patrice Godefroid1
Global Model-Checking of Infinite-State Systems Nir Piterman
Bridging the Gap Between Fair Simulation and Trace Yonit Kesten a
Lower Bounds on Witnesses for Nonemptiness of Universal co-Buchi Automata
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
Bridging the Gap Between Fair Simulation and Trace Inclusion Yonit Kesten
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems
From Liveness to Promptness Orna Kupferman
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
From Liveness to Promptness Orna Kupferman
Generalized Parity Games Krishnendu Chatterjee1
Algorithms for Buchi Games Krishnendu Chatterjee1
Safraless Compositional Synthesis Orna Kupferman1
Minimizing Generalized Buchi Automata Sudeep Juvekar1
From Nondeterministic Buchi and Streett Automata to Deterministic Parity Nir Piterman
Faster Solutions of Rabin and Streett Games Nir Piterman
Synthesis of Reactive(1) Designs Nir Piterman1
Combining State-based and Scenario-based Approaches in Modeling Biological Systems
Liveness with Incomprehensible Ranking , Nir Piterman2
Liveness with Invisible Ranking , Nir Piterman
Enhanced Vacuity Detection in Linear Temporal Logic Limor Fix
Pushdown Specifications Orna Kupferman
Model Checking Linear Properties of Prefix-Recognizable Systems Orna Kupferman
Strategy Logic Krishnendu Chatterjee, Thomas A. Henzinger, and Nir Piterman
Hintikka Games for PCTL on Labeled Markov Chains Harald Fecher
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
