Amir Pnueli


Ontology type: schema:Person     


Person Info

NAME

Amir

SURNAME

Pnueli

Publications in SciGraph latest 50 shown

  • 2018-05-19 Temporal Logic and Fair Discrete Systems in HANDBOOK OF MODEL CHECKING
  • 2012 Effective Synthesis of Asynchronous Systems from GR(1) Specifications in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2011 Revisiting Synthesis of GR(1) Specifications in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2010 Proving the Refuted: Symbolic Model Checkers as Proof Generators in CONCURRENCY, COMPOSITIONALITY, AND CORRECTNESS
  • 2010 Towards Component Based Design of Hybrid Systems: Safety and Stability in TIME FOR VERIFICATION
  • 2010 Temporal Verification of Reactive Systems: Response in TIME FOR VERIFICATION
  • 2010 Jtlv: A Framework for Developing Verification Algorithms in COMPUTER AIDED VERIFICATION
  • 2009 Controller Synthesis from LSC Requirements in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2008-01-01 CoVaC: Compiler Validation by Program Analysis of the Cross-Product in FM 2008: FORMAL METHODS
  • 2008 Discriminative Model Checking in COMPUTER AIDED VERIFICATION
  • 2008-01-01 Checking Temporal Properties of Discrete, Timed and Continuous Behaviors in PILLARS OF COMPUTER SCIENCE
  • 2008-01-01 Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses in COMPUTER AIDED VERIFICATION
  • 2008-01-01 On the Merits of Temporal Testers in 25 YEARS OF MODEL CHECKING
  • 2008-01-01 All You Need Is Compassion in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2007-01-01 “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2007 On Synthesizing Controllers from Bounded-Response Properties in COMPUTER AIDED VERIFICATION
  • 2007-01-01 Shape Analysis of Single-Parent Heaps in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2006-03-17 Liveness with invisible ranking in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2006 From MITL to Timed Automata in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2006-01 Model Checking with Strong Fairness in FORMAL METHODS IN SYSTEM DESIGN
  • 2006 Liveness by Invisible Invariants in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2006
  • 2006 Invisible Safety of Distributed Protocols in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2006 PSL Model Checking and Run-Time Verification Via Testers in FM 2006: FORMAL METHODS
  • 2005-11 Translation and Run-Time Validation of Loop Transformations in FORMAL METHODS IN SYSTEM DESIGN
  • 2005 Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements in FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING
  • 2005 Abstraction for Liveness in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2005 TVOC: A Translation Validator for Optimizing Compilers in COMPUTER AIDED VERIFICATION
  • 2005 Temporal Logic for Scenario-Based Specifications in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2005 Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2005 Shape Analysis by Predicate Abstraction in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2005 Ranking Abstraction of Recursive Programs in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2005 Ranking Abstraction as Companion to Predicate Abstraction in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005
  • 2005 Ranking Abstraction as a Companion to Predicate Abstraction in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2005 Refining the Undecidability Frontier of Hybrid Automata in FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
  • 2005 IIV: An Invisible Invariant Verifier in COMPUTER AIDED VERIFICATION
  • 2005 Real Time Temporal Logic: Past, Present, Future in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2005-01-01 Keys in Formal Verification in ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS
  • 2004 Formal Modelling of C. elegans Development. A Scenario-Based Approach in MODELLING IN MOLECULAR BIOLOGY
  • 2004 Range Allocation for Separation Logic in COMPUTER AIDED VERIFICATION
  • 2004 Deductive Verification of UML Models in TLPVS in < <UML> > 2004 - THE UNIFIED MODELING LANGUAGE. MODELLING LANGUAGES AND APPLICATIONS
  • 2004 Validating the Translation of an Industrial Optimizing Compiler in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2004 On Recognizable Timed Languages in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2004 Liveness with Incomprehensible Ranking in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2004 Liveness with Invisible Ranking in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2003-02-28 Formal Modeling of C. elegans Development: A Scenario-Based Approach in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2003-02-28 Parameterized Verification by Probabilistic Abstraction in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2003 tlpvs: A pvs-Based ltl Verification System in VERIFICATION: THEORY AND PRACTICE
  • 2003 Bridging the Gap between Fair Simulation and Trace Inclusion in COMPUTER AIDED VERIFICATION
  • 2003 The ROBDD Size of Simple CNF Formulas in CORRECT HARDWARE DESIGN AND VERIFICATION METHODS
  • 2003 Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.13992.30", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.168010.e", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.12136.37", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464170.0", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.482020.c", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.6451.6", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.470015.7", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5386.8", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7489.2", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.137628.9", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.47100.32", 
            "type": "Organization"
          }
        ], 
        "familyName": "Pnueli", 
        "givenName": "Amir", 
        "id": "sg:person.01167523347.71", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01167523347.71"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:56", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/person/person_686.jsonl", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.01167523347.71'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.01167523347.71'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.01167523347.71'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.01167523347.71'


     

    This table displays all metadata directly associated to this object as RDF triples.

    36 TRIPLES      10 PREDICATES      21 URIs      7 LITERALS      2 BLANK NODES

    Subject Predicate Object
    1 sg:person.01167523347.71 schema:affiliation N78c0ca48069f44269e05a73fe2dd1db9
    2 grid-institutes:grid.12136.37
    3 grid-institutes:grid.137628.9
    4 grid-institutes:grid.168010.e
    5 grid-institutes:grid.464170.0
    6 grid-institutes:grid.470015.7
    7 grid-institutes:grid.47100.32
    8 grid-institutes:grid.482020.c
    9 grid-institutes:grid.5386.8
    10 grid-institutes:grid.6451.6
    11 grid-institutes:grid.7489.2
    12 schema:familyName Pnueli
    13 schema:givenName Amir
    14 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01167523347.71
    15 schema:sdDatePublished 2022-01-01T19:56
    16 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    17 schema:sdPublisher Nc961b5a23bd4491f8bbb9716e19ba378
    18 sgo:license sg:explorer/license/
    19 sgo:sdDataset persons
    20 rdf:type schema:Person
    21 N78c0ca48069f44269e05a73fe2dd1db9 schema:affiliation grid-institutes:grid.13992.30
    22 sgo:isCurrent true
    23 rdf:type schema:OrganizationRole
    24 Nc961b5a23bd4491f8bbb9716e19ba378 schema:name Springer Nature - SN SciGraph project
    25 rdf:type schema:Organization
    26 grid-institutes:grid.12136.37 schema:Organization
    27 grid-institutes:grid.137628.9 schema:Organization
    28 grid-institutes:grid.13992.30 schema:Organization
    29 grid-institutes:grid.168010.e schema:Organization
    30 grid-institutes:grid.464170.0 schema:Organization
    31 grid-institutes:grid.470015.7 schema:Organization
    32 grid-institutes:grid.47100.32 schema:Organization
    33 grid-institutes:grid.482020.c schema:Organization
    34 grid-institutes:grid.5386.8 schema:Organization
    35 grid-institutes:grid.6451.6 schema:Organization
    36 grid-institutes:grid.7489.2 schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...