Concepedia

Assertion Inference

Assertion Inference is the systematic process of deriving formal logical properties that specify the intended behavior of a hardware or software system directly from its design or code, distinguishing it from manual assertion specification by automating the identification of temporal or functional constraints.

13

Publications

454

Citations

53

Authors

27

Institutions

Publications per year

2017–2026

4

Parents

Publications

13

Inferring better contracts

Yi Wei, Carlo A. Furia, Nikolay Kazmin et al. · 2011 · 98 citations

, , +12

ECO, the Evidence & Conclusion Ontology: community standard for evidence information

Michelle Giglio, Rebecca Tauber, Suvarna Nadendla et al. · Nucleic Acids Research · 2018 · 76 citations · Full text

, , +14

Cue-based assertion classification for Swedish clinical text—Developing a lexicon for pyConTextSwe

Sumithra Velupillai, Maria Skeppstedt, Maria Kvist et al. · Artificial Intelligence in Medicine · 2014 · 42 citations · Full text

, , +17

Approaches to Assertion Training

John V. Flowers, Cynthia G. Cooper, John M. Whiteley · The Counseling Psychologist · 1975 · 42 citations

, , +4

A temporal framework for assembly sequence representation and analysis

Kiam Tian Seow, R. Devanathan · IEEE Transactions on Robotics and Automation · 1994 · 38 citations

, , +17

1–5 of 13

Authors

53

  1. DA
    Deborah A. Siegele

    Texas A&M University, United States

    1 publications · 76 citations

    1

    h-index

  2. MS
    Maria Skeppstedt

    Stockholm University, Sweden

    1 publications · 42 citations

    1

    h-index

  3. LM
    Lynn M. Schriml

    University of Maryland, Baltimore, United States

    1 publications · 76 citations

    1

    h-index

  4. CA
    Carlo A. Furia

    ETH Zurich, Switzerland

    1 publications · 98 citations

    1

    h-index

  5. RD
    R. Devanathan

    Nanyang Technological University, Singapore

    1 publications · 38 citations

    1

    h-index

1–5 of 53

Institutions

27

  1. Stockholm University

    Stockholm, Sweden

    2 h-index

    5 publications

    180 citations

  2. SIB Swiss Institute of Bioinformatics

    Lausanne, Switzerland

    1 h-index

    1 publications

    76 citations

  3. University of Luxembourg

    Luxembourg, Luxembourg

    1 h-index

    2 publications

    54 citations

  4. Consejo Nacional de Investigaciones Científicas y Técnicas

    Buenos Aires, Argentina

    1 h-index

    2 publications

    52 citations

  5. Kista Photonics Research Center

    Kista, Sweden

    1 h-index

    3 publications

    126 citations

  6. University of Freiburg

    Freiburg im Breisgau, Germany

    1 h-index

    1 publications

    20 citations

  7. Nanyang Technological University

    Singapore, Singapore

    1 h-index

    2 publications

    76 citations

  8. Universidade Federal de Pernambuco

    Recife, Brazil

    1 h-index

    1 publications

    26 citations

1–8 of 27

Venues

  1. IEEE Transactions on Robotics and Automation

    1 publications · 38 citations

    1

    h-index

  2. Nucleic Acids Research

    1 publications · 76 citations

    1

    h-index

  3. Journal of Counseling Psychology

    1 publications · 23 citations

    1

    h-index

  4. National Conference on Artificial Intelligence

    Conference · 1 publications · 15 citations

    1

    h-index

  5. Synthese

    1 publications · 12 citations

    1

    h-index

1–5