Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh |
Protocol Insecurity with Assertions. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
16 | Mohammad Eslami, Tara Ghasempouri, Samuel Pagliarini |
Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
16 | Samuele Germiniani, Graziano Pravadelli |
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions. |
VLSI-SoC |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Maurizio Leotta, Davide Paparella, Filippo Ricca |
Comparing the Effectiveness of Assertions with Differential Testing in the Context of Web Testing. |
QUATIC |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz |
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. |
The Logic of Software. A Tasting Menu of Formal Methods |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Kang, Nikos Aréchiga, Sudeep Pillai, Peter D. Bailis, Matei Zaharia |
Finding Label and Model Errors in Perception Data With Learned Observation Assertions. |
SIGMOD Conference |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Sihem Belabbes, Salem Benferhat |
Characterizing the Possibilistic Repair for Inconsistent Partially Ordered Assertions. |
IPMU (2) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Peiyi Li 0002, Ji Liu 0007, Yangjia Li, Huiyang Zhou |
Exploiting Quantum Assertions for Error Mitigation and Quantum Program Debugging. |
ICCD |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Eslami, Tara Ghasempouri, Samuel Pagliarini |
Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection. |
ISQED |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li 0031, Zhilin Wu, David N. Jansen, Lijun Zhang 0001 |
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Nicholas Tebben |
Selfless assertions and the Knowledge Norm. |
Synth. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Carolina Blasio, Carlos Caleiro, João Marcos 0001 |
What is a logical theory? On theories containing assertions and denials. |
Synth. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Laurence Pierre |
Refinement rules for the automatic TLM-to-RTL conversion of temporal assertions. |
Integr. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Elizabeth T. Hobbs, Stephen M. Goralski, Ashley Mitchell, Andrew Simpson, Dorjan Leka, Emmanuel Kotey, Matt Sekira, James B. Munro, Suvarna Nadendla, Rebecca Jackson, Aitor Gonzalez-Agirre, Martin Krallinger, Michelle G. Giglio, Ivan Erill |
ECO-CollecTF: A Corpus of Annotated Evidence-Based Assertions in Biomedical Manuscripts. |
Frontiers Res. Metrics Anal. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen |
Beta Assertive Graphs: Proofs of Assertions with Quantification. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
16 | Vittorio Morato |
Assertions of Counterfactuals and Epistemic Irresponsibility. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
16 | Peng Wu, Ning Xiong 0001, Juxia Xiong, Jinzhao Wu |
Reasoning Method between Polynomial Error Assertions. |
Inf. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta |
Recurrence in Dense-Time AMS Assertions. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Hasini Witharana, Yangdi Lyu, Prabhat Mishra 0001 |
Directed Test Generation for Activation of Security Assertions in RTL Models. |
ACM Trans. Design Autom. Electr. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Paul B. Kantor, Dennis E. Egan, Jonathan M. Bullinger, Katie McKeon, James Wojtowicz |
Confidence Assertions in Cyber-Security for an Information-Sharing Environment. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | George V. Neville-Neil |
Getting Off the Mad Path: Debuggers and assertions. |
ACM Queue |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Rajiv Pandey, Mrinal Pande |
Provenance Data Models and Assertions: A Demonstrative Approach. |
Semantic IoT |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Weller, Maribel Acosta |
Predicting Instance Type Assertions in Knowledge Graphs Using Stochastic Neural Networks. |
CIKM |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Ravi Ledalla, Debjit Sinha, Adil Bhanji, Chaobo Li, Gregory Schaeffer, Hemlata Gupta, Jennifer Basile |
Technology Lookup Table based Default Timing Assertions for Hierarchical Timing Closure. |
DATE |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Sihem Belabbes, Salem Benferhat |
An Efficient Algorithm for Computing Elected Assertions in Partially Preordered Ontologies. |
ICTAI |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Tanmay Bhowmik, Austin Reid Thompson, Anh Quoc Do, Nan Niu |
Automated Support to Capture Environment Assertions for Requirements-Based Testing. |
IRI |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Keerthikumara Devarajegowda |
Model-based Generation of Assertions for Pre-silicon Verification. |
|
2021 |
RDF |
|
16 | Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie 0001 |
Projection-based runtime assertions for testing and debugging Quantum programs. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Alfio Ricardo de Brito Martini |
Reasoning about Partial Correctness Assertions in Isabelle/HOL. |
RITA |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Huina Chao, Huawei Li 0001, Xiaoyu Song, Tiancheng Wang, Xiaowei Li 0001 |
Evaluating and Constraining Hardware Assertions with Absent Scenarios. |
J. Comput. Sci. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Sudipa Mandal, Pallab Dasgupta, Aritra Hazra, Chunduri Rama Mohan |
Assertions for Protecting Mixed-Signal Latency Contracts in Power Management. |
IEEE Trans. Very Large Scale Integr. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Yangdi Lyu, Prabhat Mishra 0001 |
System-on-Chip Security Assertions. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Bowen Liu, Pawel Szalachowski, Siwei Sun |
Fail-safe Watchtowers and Short-lived Assertions for Payment Channels. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Daniel Kang, Deepti Raghavan, Peter Bailis, Matei Zaharia |
Model Assertions for Monitoring and Improving ML Models. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta |
Recurrence in Dense-time AMS Assertions. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Jiaoyan Chen, Xi Chen 0003, Ian Horrocks 0001, Ernesto Jiménez-Ruiz, Erik B. Myklebust |
Correcting Knowledge Base Assertions. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper |
SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs. |
DDECS |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Fischer Ferreira, Eduardo Fernandes, Johnatan Oliveira, Maurício R. de A. Souza, Eduardo Figueiredo 0001 |
How Difficult and Effective is Writing Assertions for Observing Bugs at Runtime? |
CIbSE |
2020 |
DBLP BibTeX RDF |
|
16 | Bowen Liu, Pawel Szalachowski, Siwei Sun |
Fail-safe Watchtowers and Short-lived Assertions for Payment Channels. |
AsiaCCS |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Jiaoyan Chen, Xi Chen 0003, Ian Horrocks 0001, Erik B. Myklebust, Ernesto Jiménez-Ruiz |
Correcting Knowledge Base Assertions. |
WWW |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Yangdi Lyu, Prabhat Mishra 0001 |
Automated Test Generation for Activation of Assertions in RTL Models. |
ASP-DAC |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Tim Jammer, Christian Iwainsky, Christian H. Bischof |
Automatic Detection of MPI Assertions. |
ISC Workshops |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Horacio Tellez Perez, Jef Wijsen |
Logic-Based Ranking of Assertions in Inconsistent ABoxes. |
Description Logics |
2020 |
DBLP BibTeX RDF |
|
16 | Daniel Kang, Deepti Raghavan, Peter Bailis, Matei Zaharia |
Model Assertions for Monitoring and Improving ML Models. |
MLSys |
2020 |
DBLP BibTeX RDF |
|
16 | Ji Liu 0007, Gregory T. Byrd, Huiyang Zhou |
Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation. |
ASPLOS |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Michael Weiss 0001, Tony Bailetti, Dan Craigen, Steven Muegge |
Patterns, design claims, and assertions. |
EuroPLoP |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Megan Fowler, Eileen T. Kraemer, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth |
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions. |
ECSEE |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Gert Janssenswillen, Benoît Depaire |
Towards Confirmatory Process Discovery: Making Assertions About the Underlying System. |
Bus. Inf. Syst. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Huiyang Zhou, Gregory T. Byrd |
Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation. |
IEEE Comput. Archit. Lett. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Phil Crone |
Assertions of Clarity & Raising Awareness. |
J. Semant. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Reda Bouadjenek, Justin Zobel, Karin Verspoor |
Automated assessment of biological database assertions using the scientific literature. |
BMC Bioinform. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Antara Ain, Pallab Dasgupta |
Interpreting Local Variables in AMS Assertions During Simulation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie 0001 |
Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Yipeng Huang 0001, Margaret Martonosi |
Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Haochuan Lu, Huanlin Xu, Nana Liu, Yangfan Zhou, Xin Wang 0002 |
Data Sanity Check for Deep Learning Systems via Learnt Assertions. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | María Alpuente, Demis Ballis, Julia Sapiña |
Static correction of Maude programs with assertions. |
J. Syst. Softw. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, Toshinori Saito |
Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants. |
SUZA |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Chris Buckland, Patrick McCorry |
Two-Party State Channels with Assertions. |
Financial Cryptography Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Mark Priestley |
Flow Diagrams, Assertions, and Formal Methods. |
FM Workshops (2) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Tanmay Bhowmik, Surendra Raju Chekuri, Anh Quoc Do, Wentao Wang 0003, Nan Niu |
The Role of Environment Assertions in Requirements-Based Testing. |
RE |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Samuel Hertz, Debjit Pal, Spencer Offenberger, Shobha Vasudevan |
A figure of merit for assertions in verification. |
ASP-DAC |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Colin S. Gordon |
Modal assertions for actor correctness. |
AGERE!@SPLASH |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Artem Revenko, Víctor Mireles |
The Use of Class Assertions and Hypernyms to Induce and Disambiguate Word Senses. |
DEXA Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Florian Schrage, Nicolas Heist, Heiko Paulheim |
Extracting Literal Assertions for DBpedia from Wikipedia Abstracts. |
SEMANTiCS |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Rahul Krishnamurthy, Michael S. Hsiao |
Controlled Natural Language Framework for Generating Assertions from Hardware Specifications. |
ICSC |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Isabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo |
Incremental Analysis of Logic Programs with Assertions and Open Predicates. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Yipeng Huang 0001, Margaret Martonosi |
Statistical assertions for validating patterns and finding bugs in quantum programs. |
ISCA |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Umberto Maniscalco, Antonio Messina, Pietro Storniolo |
An Automatic System for Learning and Dialogue Based on Assertions. |
BICA |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Geoffrey P. Goodwin, Philip N. Johnson-Laird |
The Truth of Conditional Assertions. |
Cogn. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Danielle Gonzalez, Suzanne Prentice, Mehdi Mirakhorli |
A Fine-Grained Approach for Automated Conversion of JUnit Assertions to English. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Cunjing Ge, Jiwei Yan, Jun Yan 0009, Jian Zhang 0001 |
Checking Activity Transition Systems with Back Transitions Against Assertions. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca |
Fluent vs Basic Assertions in Java: An Empirical Study. |
QUATIC |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Flemström, Eduard Enoiu, Wasif Afzal, Daniel Sundmark, Thomas Gustafsson, Avenir Kobetski |
From Natural Language Requirements to Passive Test Cases Using Guarded Assertions. |
QRS |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Danielle Gonzalez, Suzanne Prentice, Mehdi Mirakhorli |
A fine-grained approach for automated conversion of JUnit assertions to English. |
NL4SE@ESEC/SIGSOFT FSE |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Miguel C. Neves, Lucas Freire, Alberto E. Schaeffer Filho, Marinho P. Barcellos |
Verification of P4 programs in feasible time using assertions. |
CoNEXT |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Michael Wojatzki, Torsten Zesch, Saif M. Mohammad, Svetlana Kiritchenko |
Agree or Disagree: Predicting Judgments on Nuanced Assertions. |
*SEM@NAACL-HLT |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Kody Moodley, Amrapali Zaveri, Chunlei Wu, Michel Dumontier |
A model for capturing provenance of assertions about chemical substances. |
SWAT4LS |
2018 |
DBLP BibTeX RDF |
|
16 | Tara Ghasempouri, Siavoosh Payandeh Azad, Behrad Niazmand, Jaan Raik |
An Automatic Approach to Evaluate Assertions' Quality Based on Data-Mining Metrics. |
ITC-Asia |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Eva Kühn, Sophie Therese Radschek, Nahla A. El-Araby |
Distributed Coordination Runtime Assertions for the Peer Model. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Mami Miyamoto, Kiyoharu Hamaguchi |
Extracting hardware assertions including word-level relations over multiple clock cycles. |
ISQED |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta |
AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. |
VLSID |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Ranganathan Hariharan, Tara Ghasempouri, Behrad Niazmand, Jaan Raik |
From RTL Liveness Assertions to Cost-Effective Hardware Checkers. |
DCIS |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Federico Flaviani |
Calculation of Invariants Assertions. |
CLEI Selected Papers |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Pouya Taatizadeh, Nicola Nicolici |
Emulation Infrastructure for the Evaluation of Hardware Assertions for Post-Silicon Validation. |
IEEE Trans. Very Large Scale Integr. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Judy Bowen, Steve Reeves |
Generating Obligations, Assertions and Tests from UI Models. |
Proc. ACM Hum. Comput. Interact. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Eddie Hung, Tim Todman, Wayne Luk |
Transparent In-Circuit Assertions for FPGAs. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Anastasio Bruto da Costa, Pallab Dasgupta |
Formal Analysis of Hybrid Systems Using Feature Indented Assertions. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh |
Existential Assertions for Voting Protocols. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Tim Todman, Wayne Luk |
In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design. |
Provably Correct Systems |
2017 |
DBLP DOI BibTeX RDF |
|
16 | R. Ramanujam 0001, Vaishnavi Sundararajan, S. P. Suresh |
Existential Assertions for Voting Protocols. |
Financial Cryptography Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Cláudio Vasconcelos, António Ravara |
From object-oriented code with assertions to behavioural types. |
SAC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Zack Newsham, Augusto Born de Oliveira, Jean-Christophe Petkovich, Ahmad Saif Ur Rehman, Guy Martin Tchamgoue, Sebastian Fischmeister |
Intersert: Assertions on Distributed Process Interaction Sessions. |
QRS |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Huina Chao, Huawei Li 0001, Xiaoyu Song, Tiancheng Wang, Xiaowei Li 0001 |
On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios. |
ATS |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Junjie Chen 0003, Yanwei Bai, Dan Hao 0001, Lingming Zhang 0001, Lu Zhang 0023, Bing Xie |
How Do Assertions Impact Coverage-Based Test-Suite Reduction? |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Flemström, Thomas Gustafsson, Avenir Kobetski |
SAGA Toolbox: Interactive Testing of Guarded Assertions. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Khaled Salah 0001, Mohamed Abdelsalam |
Smart auto-correction methodology using assertions and dynamic partial reconfiguration. |
ICECS |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Hatem El-Kharashy, Mostafa Khamis, Amr Sala, Mohamed Korany |
A novel assertions-based code coverage automatic CAD tool. |
EUROCON |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Zhe Hou, David Sanán, Alwen Tiu, Yang Liu 0003 |
Proof Tactics for Assertions in Separation Logic. |
ITP |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Rumeng Li, Abhyuday Jagannatha, Hong Yu 0001 |
A hybrid Neural Network Model for Joint Prediction of Medical Presence and Period Assertions in Clinical Notes. |
AMIA |
2017 |
DBLP BibTeX RDF |
|
16 | Seumas Miller |
Assertions, joint epistemic actions and social practices. |
Synth. |
2016 |
DBLP DOI BibTeX RDF |
|