Search results for "assertions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Matti Nykänen, Raul Hakli, Satu Eloranta, Olli Niinivaara	How to deal with unbelievable assertions.	Ann. Math. Artif. Intell.	2016	DBLP DOI BibTeX RDF
16	Carlo Nicolai	A Note on Typed Truth and Consistency Assertions.	J. Philos. Log.	2016	DBLP DOI BibTeX RDF
16	Pouya Taatizadeh, Nicola Nicolici	Automated Selection of Assertions for Bit-Flip Detection During Post-Silicon Validation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2016	DBLP DOI BibTeX RDF
16	Antara Ain, Antonio Anastasio Bruto da Costa, Pallab Dasgupta	Feature Indented Assertions for Analog and Mixed-Signal Validation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2016	DBLP DOI BibTeX RDF
16	Martha Anne Flinders Lewis, Jonathan Lawry	The Utility of Hedged Assertions in the Emergence of Shared Categorical Labels.	CoRR	2016	DBLP BibTeX RDF
16	Victor Yodaiken	Parametric equations for temporal style assertions.	CoRR	2016	DBLP BibTeX RDF
16	Omar Amin, Youssef Ramzy, Omar Ibrahem, Ahmed Fouad 0001, Khaled Mohamed, Mohamed Abdelsalam	System Verilog Assertions Synthesis Based Compiler.	MTV	2016	DBLP DOI BibTeX RDF
16	Bartosz Frackowiak, Robert Dabrowski	Using LINQ as a universal tool for defining architectural assertions.	FedCSIS (Position Papers)	2016	DBLP DOI BibTeX RDF
16	Christopher B. Harris, Ian G. Harris	GLAsT: Learning formal grammars to translate natural language specifications into hardware assertions.	DATE	2016	DBLP BibTeX RDF
16	Alessandro Danese, Graziano Pravadelli, Ivan Zandona	Automatic generation of power state machines through dynamic mining of temporal assertions.	DATE	2016	DBLP BibTeX RDF
16	Florenc Demrozi, Graziano Pravadelli, Francesco Stefanni	Automatic generation of self-adaptive transactors from PSL assertions.	FDL	2016	DBLP DOI BibTeX RDF
16	Yumin Zhou, Oliver Bringmann 0001, Wolfgang Rosenstiel	Flexible in-silicon checking of run-time programmable assertions.	IOLTS	2016	DBLP DOI BibTeX RDF
16	Gautham S. Harinarayan, Manmohan Rana, Nitin Pant, Manish Bansal, Sarthak Sharma, Nishant Kaundal	Automated Full Chip SPICE simulations with self-checking assertions for last mile verification & first pass Silicon of mixed signal SoCs.	SoCC	2016	DBLP DOI BibTeX RDF
16	Giorgio Delzanno	Reachability Predicates for Graph Assertions.	RP	2016	DBLP DOI BibTeX RDF
16	Khaled Khalifa, Khaled Salah 0001	An RTL power optimization technique based on System Verilog assertions.	UEMCON	2016	DBLP DOI BibTeX RDF
16	Xavier Oriol, Ernest Teniente, Guillem Rull	TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server.	EDBT	2016	DBLP DOI BibTeX RDF
16	Tara E. Thomas, Anmol J. Bhattad, Subrata Mitra, Saurabh Bagchi	Sirius: Neural Network Based Probabilistic Assertions for Detecting Silent Data Corruption in Parallel Programs.	SRDS	2016	DBLP DOI BibTeX RDF
16	John Turri	Selfless assertions: some empirical evidence.	Synth.	2015	DBLP DOI BibTeX RDF
16	Hasan Sohofi, Zainalabedin Navabi	System-level assertions: approach for electronic system-level verification.	IET Comput. Digit. Tech.	2015	DBLP DOI BibTeX RDF
16	Peter Hawke, Shane Steinert-Threlkeld	Informational Dynamics of 'Might' Assertions.	LORI	2015	DBLP DOI BibTeX RDF
16	Valéria Magalhães Pequeno, Vânia Maria Ponte Vidal, Tiago Vinuto, Helena Galhardas	Automatic Generation of R2R Mappings from Correspondence Assertions.	SBBD (Short Papers)	2015	DBLP BibTeX RDF
16	Lingjun Li, Guoliang Xue, Xinxin Zhao	The Power of Whispering: Near Field Assertions via Acoustic Communications.	AsiaCCS	2015	DBLP DOI BibTeX RDF
16	Alessandro Danese, Francesca Filini, Graziano Pravadelli	A time-window based approach for dynamic assertions mining on control signals.	VLSI-SoC	2015	DBLP DOI BibTeX RDF
16	Alessandro Danese, Francesca Filini, Tara Ghasempouri, Graziano Pravadelli	Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach.	VLSI-SoC (Selected Papers)	2015	DBLP DOI BibTeX RDF
16	Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli	Automatic extraction of assertions from execution traces of behavioural models.	DATE	2015	DBLP BibTeX RDF
16	Hsuan-Ming Chou, Hong-Chang Wu, Yi-Chiao Chen, Jean Tsao, Shih-Chieh Chang	Hybrid coverage assertions for efficient coverage analysis across simulation and emulation environments.	ASP-DAC	2015	DBLP DOI BibTeX RDF
16	Guillermo Rodríguez-Navas, Avenir Kobetski, Daniel Sundmark, Thomas Gustafsson	Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing.	HPCC/CSS/ICESS	2015	DBLP DOI BibTeX RDF
16	Thomas Gustafsson, Mats Skoglund, Avenir Kobetski, Daniel Sundmark	Automotive system testing by independent guarded assertions.	ICST Workshops	2015	DBLP DOI BibTeX RDF
16	Mohamed Hanafy 0001, Hazem Said, Ayman M. Wahba	Complete Properties Extraction from Simulation Traces for Assertions Auto-generation.	NATW	2015	DBLP DOI BibTeX RDF
16	Cheng Chen 0001, Daniel L. Pullen, John R. Talburt	A visualization system to support clerical review, correction, and confirmation assertions in entity identity information management.	ICIQ	2015	DBLP BibTeX RDF
16	Maicon Stihler, Altair Olivo Santin, Arlindo L. Marcon Jr.	Managing distributed UCONabc policies with authorization assertions and policy templates.	ISCC	2015	DBLP DOI BibTeX RDF
16	Yingfei Xiong 0001, Dan Hao 0001, Lu Zhang 0023, Tao Zhu, Muyao Zhu, Tian Lan	Inner oracles: input-specific assertions on internal states.	ESEC/SIGSOFT FSE	2015	DBLP DOI BibTeX RDF
16	Yucheng Zhang, Ali Mesbah 0001	Assertions are strongly correlated with test suite effectiveness.	ESEC/SIGSOFT FSE	2015	DBLP DOI BibTeX RDF
16	Zhe Hou, Rajeev Goré, Alwen Tiu	Automated Theorem Proving for Assertions in Separation Logic with All Connectives.	CADE	2015	DBLP DOI BibTeX RDF
16	Werner Ceusters, William R. Hogan	An ontological analysis of diagnostic assertions in electronic healthcare records.	ICBO	2015	DBLP BibTeX RDF
16	Matthias Wenzl, Christian Fibich, Peter Rössler, Herbert Taucher, Martin Matschnig	Logic synthesis of assertions for saftey-critical applications.	ICIT	2015	DBLP DOI BibTeX RDF
16	Masahiro Fujita	Automatic identification of assertions and invariants with small numbers of test vectors.	ICCD	2015	DBLP DOI BibTeX RDF
16	Fabrizio Pastore, Leonardo Mariani	ZoomIn: Discovering Failures by Detecting Wrong Assertions.	ICSE (1)	2015	DBLP DOI BibTeX RDF
16	Antara Ain, Pallab Dasgupta	Monitoring AMS Simulation: From Assertions to Features.	VLSID	2015	DBLP DOI BibTeX RDF
16	Rafael Caballero 0001, Manuel Montenegro, Herbert Kuchen, Vincent von Hof	Checking Java Assertions Using Automated Test-Case Generation.	LOPSTR	2015	DBLP DOI BibTeX RDF
16	Jan Tobias Mühlberg, David H. White 0001, Mike Dodds, Gerald Lüttgen, Frank Piessens	Learning Assertions to Verify Linked-List Programs.	SEFM	2015	DBLP DOI BibTeX RDF
16	Tim Todman, Stephan Stilkerich, Wayne Luk	Using Statistical Assertions to Guide Self-Adaptive Systems.	Int. J. Reconfigurable Comput.	2014	DBLP DOI BibTeX RDF
16	Manfred Broy	Verifying of interface assertions for infinite state Mealy machines.	J. Comput. Syst. Sci.	2014	DBLP DOI BibTeX RDF
16	Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li	Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions.	J. Appl. Math.	2014	DBLP DOI BibTeX RDF
16	Owen Sacco, John G. Breslin	In users we trust: towards social user interactions based Trust Assertions for the Social Semantic Web.	Soc. Netw. Anal. Min.	2014	DBLP DOI BibTeX RDF
16	Carla Purdy, Chandan Singh, Rashna Seli	Fixing power bugs at RTL stage using PSL assertions.	MWSCAS	2014	DBLP DOI BibTeX RDF
16	Thomas S. Heinze, Wolfram Amme, Simon Moser	Message Assertions and Predicate-Based Control-Flow Unfolding Revisited.	ZEUS	2014	DBLP BibTeX RDF
16	Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh	Extending Dolev-Yao with Assertions.	ICISS	2014	DBLP DOI BibTeX RDF
16	Ziad A. Al-Sharif, Clinton L. Jeffery, Mahmoud H. Said	Debugging with Dynamic Temporal Assertions.	ISSRE Workshops	2014	DBLP DOI BibTeX RDF
16	Xi Zheng 0001	Physically informed assertions for cyber physical systems development and debugging.	PerCom Workshops	2014	DBLP DOI BibTeX RDF
16	Chen Huo, James Clause	Improving oracle quality by detecting brittle assertions and unused inputs in tests.	SIGSOFT FSE	2014	DBLP DOI BibTeX RDF
16	Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze	Expressing and verifying probabilistic assertions.	PLDI	2014	DBLP DOI BibTeX RDF
16	Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris, Rolf Drechsler	Automating the translation of assertions using natural language processing techniques.	FDL	2014	DBLP DOI BibTeX RDF
16	Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec	A design approach to automatically synthesize ANSI-C assertions during High-Level Synthesis of hardware accelerators.	ISCAS	2014	DBLP DOI BibTeX RDF
16	Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia	On the reuse of RTL assertions in SystemC TLM verification.	LATW	2014	DBLP DOI BibTeX RDF
16	David Sheridan, Lingyi Liu, Hyungsul Kim, Shobha Vasudevan	A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions.	VLSID	2014	DBLP DOI BibTeX RDF
16	Jonathan Anderson, Robert N. M. Watson, David Chisnall, Khilan Gudka, Ilias Marinos, Brooks Davis	TESLA: temporally enhanced system logic assertions.	EuroSys	2014	DBLP DOI BibTeX RDF
16	Viraj Athavale, Sai Ma, Samuel Hertz, Shobha Vasudevan	Code Coverage of Assertions Using RTL Source Code Analysis.	DAC	2014	DBLP DOI BibTeX RDF
16	Carna Radojicic, Christoph Grimm 0001, Florian Schupfer, Michael Rathmair	Verification of Mixed-Signal Systems with Affine Arithmetic Assertions.	VLSI Design	2013	DBLP DOI BibTeX RDF
16	Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li	Wu's Characteristic Set Method for SystemVerilog Assertions Verification.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
16	Samuel Hertz, David Sheridan, Shobha Vasudevan	Mining Hardware Assertions With Guidance From Static Analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2013	DBLP DOI BibTeX RDF
16	Lingyi Liu, Shobha Vasudevan	Automatic Generation of System Level Assertions from Transaction Level Models.	J. Electron. Test.	2013	DBLP DOI BibTeX RDF
16	Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili 0001	Invariant assertions, invariant relations, and invariant functions.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
16	Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili 0001	Invariant functions and invariant relations: An alternative to invariant assertions.	J. Symb. Comput.	2013	DBLP DOI BibTeX RDF
16	Elodie Cassan	Descartes' Theory of Judgement: Warranted Assertions, the Key to Science.	Judgement and the Epistemic Foundation of Logic	2013	DBLP DOI BibTeX RDF
16	Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione	Fast prototyping from assertions: A pragmatic approach.	MEMOCODE	2013	DBLP BibTeX RDF
16	Eliot Handelman, Andie Sigler	Key Induction and Key Mapping Using Pitch-Class Set Assertions.	MCM	2013	DBLP DOI BibTeX RDF
16	Jewel H. Ward, Hao Xu 0006, Mike C. Conway, Terrell G. Russell, Antoine de Torcy	Using Metadata to Facilitate Understanding and Certification of Assertions about the Preservation Properties of a Preservation System.	MTSR	2013	DBLP DOI BibTeX RDF
16	Junji Zhi, Vahid Garousi	On Adequacy of Assertions in Automated Test Suites: An Empirical Investigation.	ICST Workshops	2013	DBLP DOI BibTeX RDF
16	Tim Todman, Wayne Luk	Runtime assertions and exceptions for streaming systems.	FPL	2013	DBLP DOI BibTeX RDF
16	Duc-Hiep Chu, Joxan Jaffar	Path-sensitive resource analysis compliant with assertions.	EMSOFT	2013	DBLP DOI BibTeX RDF
16	Owen Sacco, John G. Breslin, Stefan Decker	Fine-Grained Trust Assertions for Privacy Management in the Social Semantic Web.	TrustCom/ISPA/IUCC	2013	DBLP DOI BibTeX RDF
16	Chen-Hsuan Lin, Lingyi Liu, Shobha Vasudevan	Generating concise assertions with complete coverage.	ACM Great Lakes Symposium on VLSI	2013	DBLP DOI BibTeX RDF
16	Cyril Grouin	Building A Contrasting Taxa Extractor for Relation Identification from Assertions: BIOlogical Taxonomy & Ontology Phrase Extraction System.	BioNLP@ACL (Shared Task)	2013	DBLP BibTeX RDF
16	Casey Lynnette Overby, Emily Beth Devine, Peter Tarczy-Hornoch, Ira J. Kalet	Deriving rules and assertions from pharmacogenomics knowledge resources in support of patient drug metabolism efficacy predictions.	J. Am. Medical Informatics Assoc.	2012	DBLP DOI BibTeX RDF
16	Minh Ngoc Dinh, David Abramson 0001, Chao Jin, Donny Kurniawan, Andrew Gontarek, Bob Moench, Luiz De Rose	Debugging Scientific Applications With Statistical Assertions.	ICCS	2012	DBLP DOI BibTeX RDF
16	Subhankar Mukherjee 0001, Pallab Dasgupta	Computing Minimal Debugging Windows in Failure Traces of AMS Assertions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2012	DBLP DOI BibTeX RDF
16	Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita	Time-Constraint-Aware Optimization of Assertions in Embedded Software.	J. Electron. Test.	2012	DBLP DOI BibTeX RDF
16	Subhankar Mukherjee 0001, Pallab Dasgupta, Siddhartha Mukhopadhyay, Scott Little, John Havlicek, Srikanth Chandrasekaran	Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice.	ACM Trans. Design Autom. Electr. Syst.	2012	DBLP DOI BibTeX RDF
16	Jacob Thamsborg, Lars Birkedal, Hongseok Yang	Two for the Price of One: Lifting Separation Logic Assertions	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
16	Doron Bustan, Dmitry Korchemny, Erik Seligman, Jin Yang 0006	SystemVerilog Assertions: Past, Present, and Future SVA Standardization Experience.	IEEE Des. Test Comput.	2012	DBLP DOI BibTeX RDF
16	Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli	On the use of assertions for embedded-software dynamic verification.	DDECS	2012	DBLP DOI BibTeX RDF
16	Alexei Czeskis, Michael Dietz, Tadayoshi Kohno, Dan S. Wallach, Dirk Balfanz	Strengthening user authentication through opportunistic cryptographic identity assertions.	CCS	2012	DBLP DOI BibTeX RDF
16	Michael Sirivianos, Kyungbaek Kim, Jian Wei Gan, Xiaowei Yang 0001	Assessing the veracity of identity assertions via OSNs.	COMSNETS	2012	DBLP DOI BibTeX RDF
16	Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik	Parallel Assertions for Architectures with Weak Memory Models.	ATVA	2012	DBLP DOI BibTeX RDF
16	Jimmy Lauret, Hélène Waeselynck, Jean-Charles Fabre	Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions.	ISSRE Workshops	2012	DBLP DOI BibTeX RDF
16	Marc Frappier, Amel Mammar	An Assertions-Based Approach to Verifying the Absence Property Pattern.	ISSRE	2012	DBLP DOI BibTeX RDF
16	Andrew P. Gibson, Jesse C. J. van Dam, Erik A. Schultes, Marco Roos, Barend Mons	Towards Computational Evaluation of Evidence for Scientific Assertions with Nanopublications.	SWAT4LS	2012	DBLP BibTeX RDF
16	Jennifer Golbeck, Hal Warren, Eva Winer	Making trusted attribute assertions online with the publish trust framework.	PST	2012	DBLP DOI BibTeX RDF
16	Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001, Marco Ruzzi, Domenico Fabio Savo	Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions.	Description Logics	2012	DBLP BibTeX RDF
16	Minh Ngoc Dinh, David Abramson 0001, Chao Jin, Andrew Gontarek, Bob Moench, Luiz De Rose	Scalable parallel debugging with statistical assertions.	PPoPP	2012	DBLP DOI BibTeX RDF
16	Mohamed Nassim Seghir, Martin Brain	Simplifying the Verification of Quantified Array Assertions via Code Transformation.	LOPSTR	2012	DBLP DOI BibTeX RDF
16	Martin Doerr, Athina Kritsotaki, Katerina Boutsika	Factual argumentation - a core model for assertions making.	ACM Journal on Computing and Cultural Heritage	2011	DBLP DOI BibTeX RDF
16	Amandine Périnet, Natalia Grabar, Thierry Hamon	Identification of assertions in the medical texts: application to the relation {patient, medical problem}.	Trait. Autom. des Langues	2011	DBLP BibTeX RDF
16	John Curreri, Greg Stitt, Alan D. George	High-Level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis.	Int. J. Reconfigurable Comput.	2011	DBLP DOI BibTeX RDF
16	Kirk Roberts, Sanda M. Harabagiu	A flexible framework for deriving assertions from electronic medical records.	J. Am. Medical Informatics Assoc.	2011	DBLP DOI BibTeX RDF
16	Özlem Uzuner, Brett R. South, Shuying Shen, Scott L. DuVall	2010 i2b2/VA challenge on concepts, assertions, and relations in clinical text.	J. Am. Medical Informatics Assoc.	2011	DBLP DOI BibTeX RDF
16	Min Jiang 0007, Yukun Chen, Mei Liu, S. Trent Rosenbloom, Subramani Mani, Joshua C. Denny, Hua Xu 0001	A study of machine-learning-based approaches to extract clinical entities and their assertions from discharge summaries.	J. Am. Medical Informatics Assoc.	2011	DBLP DOI BibTeX RDF
16	Ramtilak Vemu, Jacob A. Abraham	CEDA: Control-Flow Error Detection Using Assertions.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF	Control-flow errors, software-based detection, fault tolerance, error detection
16	Subhankar Mukherjee 0001, Pallab Dasgupta, Siddhartha Mukhopadhyay	Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2011	DBLP DOI BibTeX RDF