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 |
|