Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Shiyu Liu, Dongfang Li, Yasha Chen, Guang Yang |
(Semi) automatic Assertion Generation from Controlled Chinese Natural Language: A Practice in Aerospace Industry. |
QRS Companion |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections. |
E-VOTE-ID |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Christophe Filliâtre, Clément Pascutto |
Ortac: Runtime Assertion Checking for OCaml (Tool Paper). |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Saikat Dutta 0001, August Shi, Sasa Misailovic |
FLEX: fixing flaky tests in machine learning projects by updating assertion bounds. |
ESEC/SIGSOFT FSE |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Jinyi Wang, Yican Sun, Hongfei Fu 0001, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
Quantitative analysis of assertion violations in probabilistic programs. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Valerio Terragni, Gunel Jahangirova, Mauro Pezzè, Paolo Tonella |
Improving assertion oracles with evolutionary computation. |
GECCO Companion |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri |
A Methodology for Automated Mining of Compact and Accurate Assertion Sets. |
NorCAS |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Julien Signoles |
The e-ACSL perspective on runtime assertion checking. |
VORTEX@ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Henrik Dibowski |
Property Assertion Constraints for an Informed, Error-Preventing Expansion of Knowledge Graphs. |
KGSWC |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Khitam Alatoun, Bharath Shankaranarayanan, Shanmukha Murali Achyutha, Ranga Vemuri |
SoC Trust Validation Using Assertion-Based Security Monitors. |
ISQED |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè |
GAssert: A Fully Automated Tool to Improve Assertion Oracles. |
ICSE (Companion Volume) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Häner, Torsten Hoefler, Matthias Troyer |
Assertion-based optimization of Quantum programs. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | André Melo, Heiko Paulheim |
Automatic detection of relation assertion errors and induction of relation constraints. |
Semantic Web |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Christoph Kelp, Mona Simion |
The C account of assertion: a negative result. |
Synth. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Asieh Salehi Fathabadi, Mohammadsadegh Dalvandi, Michael J. Butler, Bashir M. Al-Hashimi |
Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation. |
IEEE Embed. Syst. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Usman Tariq, Ahmad O. Aseeri, Mohammed Saeed Alkatheiri, Yu Zhuang |
Context-Aware Autonomous Security Assertion for Industrial IoT. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Aamir Naeem, Muhammad Kashif, Wasi Haider Butt |
A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Debjit Pal, Spencer Offenberger, Shobha Vasudevan |
Assertion Ranking Using RTL Source Code Analysis. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Jinyi Wang, Yican Sun, Hongfei Fu 0001, Amir Kafshdar Goharshady, Krishnendu Chatterjee |
Quantitative Analysis of Assertion Violations in Probabilistic Programs. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Rajeev Bhatt Ambati, Ahmed Ada Hanifi, Ramya Vunikili, Puneet Sharma, Oladimeji Farri |
Assertion Detection in Multi-Label Clinical Text using Scope Localization. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Venice Erin Liong, Thi Ngoc Tho Nguyen, Sergi Widjaja, Dhananjai Sharma, Zhuang Jie Chong |
AMVNet: Assertion-based Multi-View Fusion Network for LiDAR Semantic Segmentation. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca |
Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development. |
Softw. Qual. J. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Railana Santana, Luana Almeida Martins, Larissa Rocha 0001, Tássio Virgínio, Adriana Cruz, Heitor A. X. Costa, Ivan Machado |
RAIDE: a tool for Assertion Roulette and Duplicate Assert identification and refactoring. |
SBES |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles |
Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè |
Evolutionary improvement of assertion oracles. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Qiaochu Zhang, Shiyu Su, Juzheng Liu, Mike Shuo-Wei Chen |
CEPA: CNN-based Early Performance Assertion Scheme for Analog and Mixed-Signal Circuit Simulation. |
ICCAD |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles |
Verified Runtime Assertion Checking for Memory Properties. |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Steven J. Frederiksen, John Aromando, Michael S. Hsiao |
Automated Assertion Generation from Natural Language Specifications. |
ITC |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Nourhan Muhammed, Nour Hussein, Khaled Salah 0002, Ayub Khan |
Assertion and Coverage Driven Test Generation Tool for RTL Designs. |
UEMCON |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Esben Nedenskov Petersen |
A case for a certainty norm of assertion. |
Synth. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Uthman Alsaiari, Fayez Gebali |
Hardware Trojan Detection Using Reconfigurable Assertion Checkers. |
IEEE Trans. Very Large Scale Integr. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Brandon Plewe |
A Qualified Assertion Database for the History of Places. |
Int. J. Humanit. Arts Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Chris Wendt, Mary Barnes |
Personal Assertion Token (PaSSporT) Extension for Signature-based Handling of Asserted information using toKENs (SHAKEN). |
RFC |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Mamata Rath, Bibudhendu Pati |
Security Assertion of IoT Devices Using Cloud of Things Perception. |
Int. J. Interdiscip. Telecommun. Netw. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Tara Ghasempouri, Jan Malburg, Alessandro Danese, Graziano Pravadelli, Görschwin Fey, Jaan Raik |
Engineering of an Effective Automatic Dynamic Assertion Mining Platform. |
VLSI-SoC |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Junchen Zhao, Ian G. Harris |
Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis. |
DATE |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Enzo Brignon, Laurence Pierre |
Assertion-Based Verification through Binary Instrumentation. |
DATE |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Nicole Fern, Kwang-Ting (Tim) Cheng |
Evaluating Assertion Set Completeness to Expose Hardware Trojans and Verification Blindspots. |
DATE |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Shasha Zhang, Liang Cao |
Security and Fault Diagnosis-Based Assertion-Based Verification for FPGA. |
QRS Companion |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Siran Lei, Mengqi Cheng, Jianguo Jiang |
Tactics for Proving Separation Logic Assertion in Coq Proof Assistant. |
ICVISP |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Julián Caba, Fernando Rincón, Jesús Barba, José Antonio de la Torre, Julio Dondo, Juan Carlos López 0001 |
HALib: Hardware Assertion Library for on-board verification of FPGA-based modules using HLS. |
NORCAS |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Cong Wang 0020, Le Kang, Renwei Zhang, Weiliang Yin |
Statically-Directed Assertion Recommendation for C Programs. |
COMPSAC (1) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Cong Wang 0020, Hao Sun, Yiwen Xu, Yu Jiang 0001, Huafeng Zhang, Ming Gu 0001 |
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. |
ISSRE Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
16 | David Carral, Larry González, Patrick Koopmann |
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Oliver Keszöcze, Ian G. Harris |
Chatbot-based assertion generation from natural language specifications. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik |
RTL Assertion Mining with Automated RTL-to-TLM Abstraction. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Xiaobang Liu, Ranga Vemuri |
Assertion Coverage Aware Trace Signal Selection in Post-Silicon Validation. |
ISQED |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Rahul Krishnamurthy, Michael S. Hsiao |
EASE: Enabling Hardware Assertion Synthesis from English. |
RuleML+RR |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Yangguang Tian, Yingjiu Li, Binanda Sengupta, Nan Li 0007, Yong Yu 0002 |
Anonymous Asynchronous Payment Channel from k-Time Accountable Assertion. |
CANS |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Vadim Liventsev, Irina Fedulova, Dmitry V. Dylov |
Deep Text Prior: Weakly Supervised Learning for Assertion Classification. |
ICANN (Workshop) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | David Carral, Larry González, Patrick Koopmann |
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment. |
Description Logics |
2019 |
DBLP BibTeX RDF |
|
16 | Gemma Catolino, Fabio Palomba, Andy Zaidman, Filomena Ferrucci |
How the Experience of Development Teams Relates to Assertion Density of Test Classes. |
ICSME |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ignacio Casso, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo |
An Integrated Approach to Assertion-Based Random Testing in Prolog. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Bauer, Natalia Kryvinska, Jürgen Dorn, Owen Sacco |
Extending Linked USDL by Trust Assertion. |
iiWAS |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Parminder Bhatia, Busra Celikkaya, Mohammed Khalilia |
Joint Entity Extraction and Assertion Detection for Clinical Text. |
ACL (1) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Roger Clarke |
Assertion, belief, and context. |
Synth. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Andrew W. Howat |
Constituting assertion: a pragmatist critique of Horwich's 'Truth'. |
Synth. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jorge L. Contreras, Peter Georg Picht |
Are PAEs Different? The Legal Treatment of Patent Assertion Entities in Europe and the United States. |
IEEE Commun. Stand. Mag. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Desheng Zheng, Xiaoyu Li, Guowu Yang, Hai Wang, Lulu Tian |
An assertion graph based abstraction algorithm in GSTE and Its application. |
Integr. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Bahram N. Uchevler, Kjetil Svarstad |
Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions. |
Int. J. Reconfigurable Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Nikolaus Thumm |
The good, the bad and the ugly - the future of patent assertion entities in Europe. |
Technol. Anal. Strateg. Manag. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | John Turri, YeounJun Park |
Knowledge and Assertion in Korean. |
Cogn. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Zhao Yan, Duyu Tang, Nan Duan, Shujie Liu 0001, Wendi Wang, Daxin Jiang, Ming Zhou 0001, Zhoujun Li 0001 |
Assertion-based QA with Question-Aware Open Information Extraction. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
An Assertion-Based Program Logic for Probabilistic Programs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Isabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo |
Multivariant Assertion-based Guidance in Abstract Interpretation. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Moreno Falaschi, Carlos Olarte |
An Assertion language for slicing Constraint Logic Languages. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Priyanka Singh |
A robust blind watermarking scheme for ownership assertion of multi-band satellite images. |
Int. Arab J. Inf. Technol. |
2018 |
DBLP BibTeX RDF |
|
16 | Hongsheng Su, Shuangshuang Wang, Dengfei Wang |
Prediction and Abnormality Assertion on Emu Brake Pad Based on Multivariate Integrated Random Walk. |
Comput. Syst. Sci. Eng. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Ray P. Singh, Martin Dolly, Subir Das, An Nguyen |
Personal Assertion Token (PASSporT) Extension for Resource Priority Authorization. |
RFC |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Chris Wendt, Jon Peterson |
PASSporT: Personal Assertion Token. |
RFC |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Ian A. Young, Leif Johansson, Scott Cantor |
The Entity Category Security Assertion Markup Language (SAML) Attribute Types. |
RFC |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo |
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. |
Sci. Comput. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Danese, Valeria Bertacco, Graziano Pravadelli |
Symbolic assertion mining for security validation. |
DATE |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Fonenantsoa Maurica, David R. Cok, Julien Signoles |
Runtime Assertion Checking and Static Verification: Collaborative Partners. |
ISoLA (2) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yumin Zhou, Sebastian Burg, Oliver Bringmann 0001, Wolfgang Rosenstiel |
A software reconfigurable assertion checking unit for run-time error detection. |
ETS |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Chenguang Wang 0003, Yici Cai, Qiang Zhou 0001, Haoyi Wang |
ASAX: Automatic security assertion extraction for detecting Hardware Trojans. |
ASP-DAC |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
An Assertion-Based Program Logic for Probabilistic Programs. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Hao Sun, Xiaoxing Ma, Tiansi Dong, Armin B. Cremers, Chun Cao |
An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning. |
COMPSAC (1) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Zhao Yan, Duyu Tang, Nan Duan, Shujie Liu 0001, Wendi Wang, Daxin Jiang, Ming Zhou 0001, Zhoujun Li 0001 |
Assertion-Based QA With Question-Aware Open Information Extraction. |
AAAI |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Lucas Freire, Miguel C. Neves, Lucas Leal, Kirill Levchenko, Alberto E. Schaeffer Filho, Marinho P. Barcellos |
Uncovering Bugs in P4 Programs with Assertion-based Verification. |
SOSR |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Cong Wang 0020, Yu Jiang 0001, Xibin Zhao, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001 |
Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. |
ICSE (Companion Volume) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Rohithkumar Nagulapati, Mayanka Chandrashekar, Yugyung Lee |
Transformation from Publications to Diabetes Ontology using Topic-based Assertion Discovery. |
ICHI Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Islam Ahmed, Hassan Mostafa, Ahmed Nader Mohieldin |
Dynamic partial reconfiguration verification using assertion based verification. |
DTIS |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Isabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo |
Multivariant Assertion-Based Guidance in Abstract Interpretation. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Moreno Falaschi, Carlos Olarte |
An Assertion Language for Slicing Constraint Logic Languages. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
16 | |
Assertion. |
Encyclopedia of Machine Learning and Data Mining |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Graziano Pravadelli, Davide Quaglia, Sara Vinco, Franco Fummi |
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework. |
Handbook of Hardware/Software Codesign |
2017 |
DBLP DOI BibTeX RDF |
|
16 | J. Adam Carter |
Assertion, uniqueness and epistemic hypocrisy. |
Synth. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Priyanka Singh, Balasubramanian Raman |
A secured robust watermarking scheme based on majority voting concept for rightful ownership assertion. |
Multim. Tools Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ahti-Veikko Pietarinen, Francesco Bellucci |
Assertion and denial: A contribution from logical notations. |
J. Appl. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Massimiliano Carrara, Daniele Chiffi, Ciro De Florio |
On assertion and denial in the logic for pragmatics. |
J. Appl. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ahti-Veikko Pietarinen, Francesco Bellucci |
Reprint of: Assertion and denial: A contribution from logical notations. |
J. Appl. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Massimiliano Carrara, Daniele Chiffi, Ciro De Florio |
Logical Investigations on Assertion and Denial. |
J. Appl. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Collinson, Kevin McDonald, David J. Pym |
Layered graph logic as an assertion language for access control policy models. |
J. Log. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Massimiliano Carrara, Daniele Chiffi, Ciro De Florio |
Assertion and hypothesis: a logical framework for their opposition relations. |
Log. J. IGPL |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Pengyi Li, Jing Sun 0002, Hai Wang 0016 |
Formal Approach to Assertion-Based Code Generation. |
Int. J. Softw. Eng. Knowl. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Lucas Freire, Miguel C. Neves, Alberto E. Schaeffer Filho, Marinho P. Barcellos |
POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification. |
CCS |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Long H. Pham, Lyly Tran Thi, Jun Sun 0001 |
Assertion Generation Through Active Learning. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Tong Zhang, Daniel G. Saab, Jacob A. Abraham |
Automatic Assertion Generation for Simulation, Formal Verification and Emulation. |
ISVLSI |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Islam Ahmed, Khaled Nouh, Amr Abbas |
Multiple reset domains verification using assertion based verification. |
VLSI-SoC |
2017 |
DBLP DOI BibTeX RDF |
|