Search results for "assertions"

Hits ?▲	Authors	Title	Venue	Year	Link
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