David Harel


Ontology type: schema:Person     


Person Info

NAME

David

SURNAME

Harel

Publications in SciGraph latest 50 shown

  • 2021-10-12 Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION
  • 2020-11-11 A measure of smell enables the creation of olfactory metamers in NATURE
  • 2020-01-03 Executing Scenario-Based Specification with Dynamic Generation of Rich Events in MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT
  • 2019-05-31 Computational Music Therapy in MATHEMATICS AND COMPUTATION IN MUSIC
  • 2019-02-01 Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models in MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT
  • 2018-12-07 Visual Formalisms in ENCYCLOPEDIA OF DATABASE SYSTEMS
  • 2018-08-09 Toward Scenario-Based Algorithmics in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS
  • 2018-07-08 Efficient Distributed Execution of Multi-component Scenario-Based Models in MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT
  • 2018-01-23 Towards Integration of Context-Based and Scenario-Based Development in SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS
  • 2016-08-24 The tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironment in BMC BIOINFORMATICS
  • 2016 Visual Formalisms in ENCYCLOPEDIA OF DATABASE SYSTEMS
  • 2015-07-17 Programming Animation Using Behavioral Programming in BEHAVIOR MODELING -- FOUNDATIONS AND APPLICATIONS
  • 2014-09-27 Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs in TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE XVI
  • 2014-09-27 Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs in TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE XVI
  • 2014 Steps towards Scenario-Based Programming with a Natural Language Interface in FROM PROGRAMS TO SYSTEMS. THE SYSTEMS PERSPECTIVE IN COMPUTING
  • 2014 Modal Scenarios as Automata in LANGUAGE, CULTURE, COMPUTATION. COMPUTING - THEORY AND TECHNOLOGY
  • 2013 Relaxing Synchronization Constraints in Behavioral Programs in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
  • 2013 On Behavioral Programming in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2012-08-02 The quest for runware: on compositional, executable and intuitive models in SOFTWARE AND SYSTEMS MODELING
  • 2012 Standing on the Shoulders of a Giant in AUTOMATA, LANGUAGES, AND PROGRAMMING
  • 2011 Can We Verify an Elephant? in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2011 Some Thoughts on Behavioral Programming in BUSINESS PROCESS MANAGEMENT
  • 2011 Some Thoughts on Behavioral Programming in FM 2011: FORMAL METHODS
  • 2010-10-26 Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s in FORMAL ASPECTS OF COMPUTING
  • 2010-03-04 On tracing reactive systems in SOFTWARE AND SYSTEMS MODELING
  • 2010 Some Thoughts on Behavioral Programming in APPLICATIONS AND THEORY OF PETRI NETS
  • 2010 Accelerating Smart Play-Out in SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE
  • 2010 Programming Coordinated Behavior in Java in ECOOP 2010 – OBJECT-ORIENTED PROGRAMMING
  • 2010 Some Thoughts on the Semantics of Biocharts in TIME FOR VERIFICATION
  • 2010 On the Power of Play-Out for Scenario-Based Programs in CONCURRENCY, COMPOSITIONALITY, AND CORRECTNESS
  • 2009-08-13 On Using Divide and Conquer in Modeling Natural Systems in ALGORITHMIC BIOPROCESSES
  • 2009 Visual Formalisms in ENCYCLOPEDIA OF DATABASE SYSTEMS
  • 2009 Generating Executable Scenarios from Natural Language in COMPUTATIONAL LINGUISTICS AND INTELLIGENT TEXT PROCESSING
  • 2008-03-30 A metric for odorant comparison in NATURE METHODS
  • 2008-01-08 Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool in SOFTWARE AND SYSTEMS MODELING
  • 2008-01-01 Generic Reactive Animation: Realistic Modeling of Complex Natural Systems in FORMAL METHODS IN SYSTEMS BIOLOGY
  • 2008-01-01 Object Composition in Scenario-Based Programming in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2008 Algoritmi, Lo spirito dell’informatica in NONE
  • 2008-01-01 Some Results on the Expressive Power and Complexity of LSCs in PILLARS OF COMPUTER SCIENCE
  • 2007-09-25 Using the Statecharts paradigm for simulation of patient flow in surgical care in HEALTH CARE MANAGEMENT SCIENCE
  • 2007-05-15 Assert and negate revisited: Modal semantics for UML sequence diagrams in SOFTWARE AND SYSTEMS MODELING
  • 2007-01-01 Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2007-01-01 S2A: A Compiler for Multi-modal UML Sequence Diagrams in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2006 Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs in COMPUTER AIDED VERIFICATION
  • 2005-04-01 A Turing-like test for biological modeling in NATURE BIOTECHNOLOGY
  • 2005 Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2005 Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach in SCENARIOS: MODELS, TRANSFORMATIONS AND TOOLS
  • 2005 Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements in FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING
  • 2005 Temporal Logic for Scenario-Based Specifications in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2005 Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 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.7048.b", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.22098.31", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.116068.8", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.481554.9", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4305.2", 
            "type": "Organization"
          }
        ], 
        "familyName": "Harel", 
        "givenName": "David", 
        "id": "sg:person.01062327245.23", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0001-7240-3931"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01062327245.23", 
          "https://orcid.org/0000-0001-7240-3931"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:58", 
        "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_981.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.01062327245.23'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

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

    31 TRIPLES      11 PREDICATES      18 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.01062327245.23 schema:affiliation Nd0e1fe4e3a414dadb609d7ae41edf530
    2 grid-institutes:grid.116068.8
    3 grid-institutes:grid.22098.31
    4 grid-institutes:grid.4305.2
    5 grid-institutes:grid.481554.9
    6 grid-institutes:grid.7048.b
    7 schema:familyName Harel
    8 schema:givenName David
    9 schema:identifier N602f80cf0c0340108b6a7b98efb11199
    10 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01062327245.23
    11 https://orcid.org/0000-0001-7240-3931
    12 schema:sdDatePublished 2022-01-01T19:58
    13 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    14 schema:sdPublisher Nd04322f4cf5a4d89a62c4141262d333c
    15 sgo:license sg:explorer/license/
    16 sgo:sdDataset persons
    17 rdf:type schema:Person
    18 N602f80cf0c0340108b6a7b98efb11199 schema:name orcid_id
    19 schema:value 0000-0001-7240-3931
    20 rdf:type schema:PropertyValue
    21 Nd04322f4cf5a4d89a62c4141262d333c schema:name Springer Nature - SN SciGraph project
    22 rdf:type schema:Organization
    23 Nd0e1fe4e3a414dadb609d7ae41edf530 schema:affiliation grid-institutes:grid.13992.30
    24 sgo:isCurrent true
    25 rdf:type schema:OrganizationRole
    26 grid-institutes:grid.116068.8 schema:Organization
    27 grid-institutes:grid.13992.30 schema:Organization
    28 grid-institutes:grid.22098.31 schema:Organization
    29 grid-institutes:grid.4305.2 schema:Organization
    30 grid-institutes:grid.481554.9 schema:Organization
    31 grid-institutes:grid.7048.b schema:Organization
     




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


    ...