Moshe Y. Vardi - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

The Complexity of Integer Bound PropagationLucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi. jair, 40:657-676, 2011. [doi]

Simplifying schema mappingsDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. icdt 2011: 114-125 [doi]

Temporal Property Verification as a Program Analysis TaskByron Cook, Eric Koskinen, Moshe Y. Vardi. cav 2011: 333-348 [doi]

Dynamic Reactive ModulesJasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi. concur 2011: 404-418 [doi]

The Only Way Is UpJasmin Fisher, Nir Piterman, Moshe Y. Vardi. fm 2011: 3-11 [doi]

Temporal Synthesis for Bounded Systems and EnvironmentsOrna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis. STACS 2011: 615-626 [doi]

A Multi-encoding Approach for LTL Symbolic Satisfiability CheckingKristin Y. Rozier, Moshe Y. Vardi. fm 2011: 417-431 [doi]

Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checkingRoberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi. STTT, 13(4):319-335, 2011. [doi]

Solving the unsolvableMoshe Y. Vardi. CACM, 54(7):5, 2011. [doi]

Are you talking to me?Moshe Y. Vardi. CACM, 54(9):5, 2011. [doi]

Fumbling the futureMoshe Y. Vardi. CACM, 54(3):5, 2011. [doi]

Technology has social consequencesMoshe Y. Vardi. CACM, 54(5):5, 2011. [doi]

2010

Motion planning with hybrid dynamics and temporal goalsAmit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi. cdc 2010: 1108-1115 [doi]

Sampling-based motion planning with temporal goalsAmit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi. icra 2010: 2689-2696 [doi]

2009 CAV award announcementRandal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi. fmsd, 36(3):195-197, 2010. [doi]

Node Selection Query Languages for TreesDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. AAAI 2010: [doi]

Efficient BÃ¼chi Universality CheckingSeth Fogarty, Moshe Y. Vardi. TACAS 2010: 205-220 [doi]

Synthesis of Trigger PropertiesOrna Kupferman, Moshe Y. Vardi. lpar 2010: 312-331 [doi]

An Automata-Theoretic Approach to Infinite-State SystemsOrna Kupferman, Nir Piterman, Moshe Y. Vardi. BIRTHDAY 2010: 202-259 [doi]

Reasoning About StrategiesFabio Mogavero, Aniello Murano, Moshe Y. Vardi. fsttcs 2010: 133-144 [doi]

Relentful Strategic Reasoning in Alternating-Time Temporal LogicFabio Mogavero, Aniello Murano, Moshe Y. Vardi. lpar 2010: 371-386 [doi]

Motion Planning With Dynamics by a Synergistic Combination of Layers of PlanningErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. trob, 26(3):469-482, 2010. [doi]

LTL satisfiability checkingKristin Y. Rozier, Moshe Y. Vardi. STTT, 12(2):123-137, 2010. [doi]

Monitoring temporal SystemC propertiesDeian Tabakov, Moshe Y. Vardi. memocode 2010: 123-132 [doi]

State of Büchi ComplementationMing-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay. wia 2011: 261-271 [doi]

Revisiting the publication culture in computing researchMoshe Y. Vardi. CACM, 53(3):5, 2010. [doi]

HypercriticalityMoshe Y. Vardi. CACM, 53(7):5, 2010. [doi]

::::Globalization and Offshoring of Software:::: revisitedMoshe Y. Vardi. CACM, 53(5):5, 2010. [doi]

From Automated Verification to Automated DesignMoshe Y. Vardi. aips 2010: 271 [doi]

Constraints, Graphs, Algebra, Logic, and ComplexityMoshe Y. Vardi. cp 2010: 8 [doi]

Science has only two legsMoshe Y. Vardi. CACM, 53(9):5, 2010. [doi]

2009

The 2008 CAV Award citationRandal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi. fmsd, 35(1):4-5, 2009. [doi]

An Automata-Theoretic Approach to Regular XPathDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. DBPL 2009: 18-35 [doi]

Büchi Complementation and Size-Change TerminationSeth Fogarty, Moshe Y. Vardi. TACAS 2009: 16-30 [doi]

From liveness to promptnessOrna Kupferman, Nir Piterman, Moshe Y. Vardi. fmsd, 34(2):83-103, 2009. [doi]

Synthesis from Component LibrariesYoad Lustig, Moshe Y. Vardi. fossacs 2009: 395-409 [doi]

Trace Semantics is Fully AbstractSumit Nain, Moshe Y. Vardi. lics 2009: 59-68 [doi]

Hybrid systems: from verification to falsification by combining motion planning and discrete searchErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. fmsd, 34(2):157-182, 2009. [doi]

Falsification of LTL Safety Properties in Hybrid SystemsErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. TACAS 2009: 368-382 [doi]

Symbolic Techniques in Propositional Satisfiability SolvingMoshe Y. Vardi. sat 2009: 2-3 [doi]

How are we doing?Moshe Y. Vardi. CACM, 52(1):5, 2009. [doi]

Conferences vs. journals in computing researchMoshe Y. Vardi. CACM, 52(5):5, 2009. [doi]

Yes, it can be done Moshe Y. Vardi. CACM, 52(3):5, 2009. [doi]

Is the image crisis over?Moshe Y. Vardi. CACM, 52(11):5, 2009. [doi]

The financial meltdown and computingMoshe Y. Vardi. CACM, 52(9):5, 2009. [doi]

From Philosophical to Industrial LogicsMoshe Y. Vardi. icla 2009: 89-115 [doi]

Open, closed, or clopen access?Moshe Y. Vardi. CACM, 52(7):5, 2009. [doi]

Constraints, Graphs, Algebra, Logic, and ComplexityMoshe Y. Vardi. tamc 2009: 3 [doi]

Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power ReductionRoni Wiener, Gila Kamhi, Moshe Y. Vardi. jolpe, 5(1):106-112, 2009. [doi]

2008

The Complexity of Enriched Mu-CalculiPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi. lmcs, 4(3), 2008. [doi]

Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi, editors, Volume 07441 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008.

Multi-Objective Model Checking of Markov Decision ProcessesKousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis. lmcs, 4(4), 2008. [doi]

A Framework for Inherent VacuityDana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi. hvc 2009: 7-22 [doi]

Open ImplicationKarin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi. icalp 2008: 361-372 [doi]

A Logical Approach to Constraint SatisfactionPhokion G. Kolaitis, Moshe Y. Vardi. dagstuhl 2008: 125-155 [doi]

Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planningErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. icra 2008: 3751-3756 [doi]

A Temporal Language for SystemCDeian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman. FMCAD 2008: 1-9 [doi]

From Verification to SynthesisMoshe Y. Vardi. vstte 2008: 2 [doi]

From Church and Prior to PSLMoshe Y. Vardi. spin 2008: 150-171 [doi]

CACM: past, present, and futureMoshe Y. Vardi. CACM, 51(1):44-48, 2008. [doi]

Where do you come from? and where are you going? Moshe Y. Vardi. CACM, 51(7):5, 2008. [doi]

Let us---together---make CACM excitingMoshe Y. Vardi. CACM, 51(10):5, 2008. [doi]

From Monadic Logic to PSLMoshe Y. Vardi. birthday 2008: 656-681 [doi]

Automata: from logics to algorithmsMoshe Y. Vardi, Thomas Wilke. BIRTHDAY 2008: 629-736

Automata-Theoretic Model Checking RevisitedMoshe Y. Vardi. hvc 2009: 2 [doi]

Intelligate: Scalable Dynamic Invariant Learning for Power ReductionRoni Wiener, Gila Kamhi, Moshe Y. Vardi. patmos 2009: 52-61 [doi]

2007

Pushdown Module Checking with Imperfect InformationBenjamin Aminof, Aniello Murano, Moshe Y. Vardi. concur 2007: 460-475 [doi]

Deeper Bound in BMC by Combining Constant Propagation and AbstractionRoy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar. aspdac 2007: 304-309 [doi]

Interactive presentation: PowerQuest: trace driven data mining for power optimizationPietro Babighian, Gila Kamhi, Moshe Y. Vardi. date 2007: 1078-1083 [doi]

An Analysis of Slow Convergence in Interval PropagationLucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi. cp 2007: 790-797 [doi]

View-based query processing: On the relationship between rewriting, answering and losslessnessDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. TCS, 371(3):169-182, 2007. [doi]

Proving that programs eventually do something goodByron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi. POPL 2007: 265-276 [doi]

07441 Summary -- Algorithmic-Logical Theory of Infinite StructuresRod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi. dagstuhl 2008: [doi]

07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite StructuresRod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi. dagstuhl 2008: [doi]

Multi-objective Model Checking of Markov Decision ProcessesKousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis. TACAS 2007: 50-65 [doi]

From Liveness to PromptnessOrna Kupferman, Nir Piterman, Moshe Y. Vardi. cav 2007: 406-419 [doi]

A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulasCristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi. rsa, 31(2):173-185, 2007. [doi]

Branching vs. Linear Time: Semantical PerspectiveSumit Nain, Moshe Y. Vardi. ATVA 2007: 19-34 [doi]

The Planning Spectrum - One, Two, Three, InfinityMarco Pistore, Moshe Y. Vardi. jair, 30:101-132, 2007. [doi]

A Motion Planner for a Hybrid Robotic System with Kinodynamic ConstraintsErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. icra 2007: 692-697 [doi]

Hybrid Systems: From Verification to FalsificationErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. cav 2007: 463-476 [doi]

Discrete Search Leading Continuous Exploration for Kinodynamic Motion PlanningErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. rss 2008: [doi]

LTL Satisfiability CheckingKristin Y. Rozier, Moshe Y. Vardi. spin 2007: 149-167 [doi]

Property-Driven Partitioning for Abstraction RefinementRoberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi. TACAS 2007: 389-404 [doi]

GSTE is partitioned model checkingRoberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi. fmsd, 31(2):177-196, 2007. [doi]

Formal Techniques for SystemC Verification; Position PaperMoshe Y. Vardi. dac 2007: 188-192 [doi]

The Büchi Complementation SagaMoshe Y. Vardi. STACS 2007: 12-22 [doi]

Automata-Theoretic Model Checking RevisitedMoshe Y. Vardi. vmcai 2007: 137-150 [doi]

Linear-Time Model Checking: Automata Theory in PracticeMoshe Y. Vardi. wia 2007: 5-10 [doi]

2006

Deterministic Dynamic Monitors for Linear-Time AssertionsRoy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar. fates 2006: 163-177 [doi]

educational response to offshore outsourcingWilliam Aspray, A. Frank Mayadas, Moshe Y. Vardi, Stuart H. Zweben. sigcse 2006: 330-331 [doi]

The Complexity of Enriched ::::µ::::-CalculiPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi. icalp 2006: 540-551 [doi]

Coverage metrics for formal verificationHana Chockler, Orna Kupferman, Moshe Y. Vardi. STTT, 8(4-5):373-386, 2006. [doi]

Büchi Complementation Made TighterEhud Friedgut, Orna Kupferman, Moshe Y. Vardi. ijfcs, 17(4):851-868, 2006. [doi]

Synthesis and Planning, 12.-17. June 2005Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi, editors, Volume 05241 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.

On Locally Checkable PropertiesOrna Kupferman, Yoad Lustig, Moshe Y. Vardi. lpar 2006: 302-316 [doi]

Relating word and tree automataOrna Kupferman, Shmuel Safra, Moshe Y. Vardi. APAL, 138(1-3):126-146, 2006. [doi]

Memoryful Branching-Time LogicOrna Kupferman, Moshe Y. Vardi. lics 2006: 265-274 [doi]

Safraless Compositional SynthesisOrna Kupferman, Nir Piterman, Moshe Y. Vardi. cav 2006: 31-44 [doi]

Fixed-Parameter Hierarchies inside PSPACEGuoqiang Pan, Moshe Y. Vardi. lics 2006: 27-36 [doi]

PreviousNext