Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Laurence Pierre, Martial Chabot |
Assertion-Based Verification for SoC Models and Identification of Key Events. |
DSD |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Kuo-Kai Hsieh, Sebastian Siatkowski, Li-C. Wang, Wen Chen 0016, Jayanta Bhadra |
Feature extraction from design documents to enable rule learning for improving assertion coverage. |
ASP-DAC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Luyao Wang, Wanling Xie, Huibiao Zhu |
Assertion-Based Reasoning Method for Calculus of Wireless System. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
16 | A. Kayode Adesemowo, Mxolisi Mtshabe |
Revisiting Assertion-Reason Question Format: Case of Information Security Course. |
ICWL |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Cong Wang 0020, Fei He 0001, Xiaoyu Song, Yu Jiang 0001, Ming Gu 0001, Jiaguang Sun 0001 |
Assertion Recommendation for Formal Program Verification. |
COMPSAC (1) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Danese, Graziano Pravadelli, Valeria Bertacco |
DOVE: pinpointing firmware security vulnerabilities via symbolic control flow assertion mining (work-in-progress). |
CODES+ISSS |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Gregory Bochner |
Assertion De Re. |
CONTEXT |
2017 |
DBLP DOI BibTeX RDF |
|
16 | André Melo, Heiko Paulheim |
Detection of Relation Assertion Errors in Knowledge Graphs. |
K-CAP |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Long H. Pham, Lyly Tran Thi, Jun Sun 0001 |
Assertion generation through active learning. |
ICSE (Companion Volume) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Danese, Nicolò Dalla Riva, Graziano Pravadelli |
A-TEAM: Automatic template-based assertion miner. |
DAC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña |
Debugging Maude programs via runtime assertion checking and trace slicing. |
J. Log. Algebraic Methods Program. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Mona Simion |
Assertion: knowledge is enough. |
Synth. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jack Woods |
Assertion, denial, content, and (logical) form. |
Synth. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | H. Kevin Steensma, Mukund Chari, Ralph A. Heidl |
A Comparative Analysis of Patent Assertion Entities in Markets for Intellectual Property Rights. |
Organ. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña |
Assertion-based Analysis via Slicing with ABETS (System Description). |
CoRR |
2016 |
DBLP BibTeX RDF |
|
16 | Josh Howlett, Sam Hartman, Alejandro Pérez-Méndez |
A RADIUS Attribute, Binding, Profiles, Name Identifier Format, and Confirmation Methods for the Security Assertion Markup Language (SAML). |
RFC |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Thang Nguyen 0007, Dejan Nickovic |
Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface. |
Sci. Comput. Program. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis |
Assertion-based analysis via slicing with ABETS. |
Theory Pract. Log. Program. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri |
Assertion-based verification technique for ECG bio-sensor algorithms. |
MWSCAS |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Abdelrahman G. Abubakr, Hatem El-Kharashy, Ahmed El-Yamany, Sameh El-Ashry, Khaled Salah 0001 |
A novel assertion-based CAD tool for automatic extraction of functional coverage. |
ICM |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Debjyoti Bhattacharjee, Soumi Chattopadhyay, Ansuman Banerjee |
EAST: Efficient Assertion Simulation techniques. |
DATE |
2016 |
DBLP BibTeX RDF |
|
16 | Jason G. Tong, Marc Boule, Zeljko Zilic |
Accelerating assertion assessment using GPUs. |
HLDVT |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jukka Ruohonen, Sami Hyrynsalmi, Ville Leppänen |
Software Vulnerability Life Cycles and the Age of Software Products: An Empirical Assertion with Operating System Products. |
CAiSE Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
16 | David Burke |
Designing an Evidential Assertion Language for Multiple Analysts. |
BELIEF |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Infall Syafalni, Nico Surantha, Duc Khai Lam, Nana Sutisna, Yuhei Nagao, Katsuhiko Wakasugi, Yang Tongxin, Hiroshi Ochi, Taadaki Tsuchiya |
Assertion-based verification of industrial WLAN system. |
ISCAS |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo |
Reducing the overhead of assertion run-time checks via static analysis. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Daniele Coati, Rosario Distefano, Nicola Bombieri, Franco Fummi, Michela Mirenda, Carlo Laudanna, Rosalba Giugno |
A SystemC-based platform for assertion-based verification and mutation analysis in systems biology. |
LATS |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Danese, Jacopo Mocci, Graziano Pravadelli |
Fault model qualification by assertion mining. |
LATS |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Ahmed Talal Suliman, Khaled Al Kaabi, Di Wang 0001, Ahmad Al-Rubaie, Ahmed Al Dhanhani, Dymitr Ruta, John Davies, Sandra Stincic Clarke |
Event identification and assertion from social media using auto-extendable knowledge base. |
IJCNN |
2016 |
DBLP DOI BibTeX RDF |
|
16 | John Turri |
Knowledge and the norm of assertion: a simple test. |
Synth. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Ryosuke Sato 0001, Kazuyuki Asada, Naoki Kobayashi 0001 |
Refinement Type Checking via Assertion Checking. |
J. Inf. Process. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione |
Efficient and Correct by Construction Assertion-Based Synthesis. |
IEEE Trans. Very Large Scale Integr. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Md. Sadek Ferdous, Ron Poet |
Managing Dynamic Identity Federations using Security Assertion Markup Language. |
J. Theor. Appl. Electron. Commer. Res. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Guowei Yang 0001, Quan Chau Dong Do, Junye Wen |
Distributed Assertion Checking Using Symbolic Execution. |
ACM SIGSOFT Softw. Eng. Notes |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia |
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. |
J. Electron. Test. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards |
Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
16 | Sujit Bhattacharya 0001, Shilpa, Arshia Kaul |
Emerging countries assertion in the global publication landscape of science: a case study of India. |
Scientometrics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Henrietta Eyre, Jonathan Lawry |
A Dempster-Shafer model of imprecise assertion strategies. |
J. Appl. Log. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr |
Achieving Security Assurance with Assertion-based Application Construction. |
EAI Endorsed Trans. Collab. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Brian Campbell 0005, Chuck Mortimore, Michael B. Jones |
Security Assertion Markup Language (SAML) 2.0 Profile for OAuth 2.0 Client Authentication and Authorization Grants. |
RFC |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Brian Campbell 0005, Chuck Mortimore, Michael B. Jones, Yaron Y. Goland |
Assertion Framework for OAuth 2.0 Client Authentication and Authorization Grants. |
RFC |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Anastasio Bruto da Costa, Pallab Dasgupta |
Formal Interpretation of Assertion-Based Features on AMS Designs. |
IEEE Des. Test |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky |
SystemVerilog assertion debugging: A visualization and pattern matching model. |
PACRIM |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Zheng Felix Fang, Patrick Lam 0001 |
Identifying Test Refactoring Candidates with Assertion Fingerprints. |
PPPJ |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Martial Chabot, Kévin Mazet, Laurence Pierre |
Automatic and configurable instrumentation of C programs with temporal assertion checkers. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Tara Ghasempouri, Graziano Pravadelli |
On the estimation of assertion interestingness. |
VLSI-SoC |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni |
RTL property abstraction for TLM assertion-based verification. |
DATE |
2015 |
DBLP BibTeX RDF |
|
16 | Patrick Golden, Ryan Shaw 0001 |
Period Assertion as Nanopublication: The PeriodO Period Gazetteer. |
WWW (Companion Volume) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Luis Gabriel Murillo, Robert Lajos Bücs, Daniel Hincapie, Rainer Leupers, Gerd Ascheid |
SWAT: Assertion-based debugging of concurrency issues at system level. |
ASP-DAC |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards |
Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study. |
ECC |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Christian Schott, Marko Rößler, Ulrich Heinkel |
Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
16 | Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski |
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. |
FTfJP@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Reyadh Alluhaibi |
Simple Interval Temporal Logic for Natural Language Assertion Descriptions. |
ICWS |
2015 |
DBLP BibTeX RDF |
|
16 | Shengjian Guo, Markus Kusano, Chao Wang 0001, Zijiang Yang 0006, Aarti Gupta |
Assertion guided symbolic execution of multithreaded programs. |
ESEC/SIGSOFT FSE |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Laurence Pierre |
Towards a toolchain for assertion-driven test sequence generation. |
FDL |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Brian Faulkner, Geoffrey L. Herman |
Effect of assertion headings and expandable examples in an online engineering textbook. |
FIE |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Pouya Taatizadeh, Nicola Nicolici |
Emulation-based selection and assessment of assertion checkers for post-silicon validation. |
ICCD |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Juan Zhai, Hanfei Wang, Jianhua Zhao |
Assertion-Directed Precondition Synthesis for Loops over Data Structures. |
SETTA |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Sanjay Kumar Wadhwa, Avinash Chandra Tripathi |
Measurement of de-assertion threshold of power-on-reset circuits. |
VDAT |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina |
Symbolic Detection of Assertion Dependencies for Bounded Model Checking. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Rita Berardi, Vânia Maria Ponte Vidal, Marco A. Casanova |
R2BA - Rationalizing R2RML Mapping by Assertion. |
ICEIS (2) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Gilles Bertrand Gnokam Defo |
A framework for assertion-based timing verification and PC-based restbus simulation of automotive systems. |
|
2015 |
RDF |
|
16 | Ramiro Caso |
Assertion and relative truth. |
Synth. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Thomas A. Hemphill |
Patent assertion entities: do they impede innovation and technology commercialisation? |
Technol. Anal. Strateg. Manag. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Sumithra Velupillai, Maria Skeppstedt, Maria Kvist, Danielle L. Mowery, Brian E. Chapman, Hercules Dalianis, Wendy W. Chapman |
Cue-based assertion classification for Swedish clinical text - Developing a lexicon for pyConTextSwe. |
Artif. Intell. Medicine |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo |
Towards Assertion-based Debugging of Higher-Order (C)LP Programs. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
16 | Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo |
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
16 | Minh Ngoc Dinh, David Abramson 0001, Chao Jin |
Statistical assertion: A more powerful method for debugging scientific applications. |
J. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong |
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. |
T. Aspect-Oriented Software Development |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Crystal Chang Din, Olaf Owe, Richard Bubel |
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. |
MODELSWARD |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Sonali Dutta, Moshe Y. Vardi |
Assertion-based flow monitoring of SystemC models. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Michael Mefenza, Franck Yonga, Christophe Bobda |
Automatic UVM Environment Generation for Assertion-Based and Functional Verification of SystemC Designs. |
MTV |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky |
System Verilog Assertion Debugging Based on Visualization, Simulation Results, and Mutation. |
MTV |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Man Zhu, Zhiqiang Gao, Zhibin Quan |
Noisy Type Assertion Detection in Semantic Datasets. |
ISWC (1) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker 0001 |
An assertion language for debugging SDN applications. |
HotSDN |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Thang Nguyen 0007, Dejan Nickovic |
Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Frank S. de Boer, Stijn de Gouw |
Combining Monitoring with Run-Time Assertion Checking. |
SFM |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Rasib Khan, Shams Zawoad, Md Munirul Haque, Ragib Hasan |
'Who, When, and Where?' Location Proof Assertion for Mobile Devices. |
DBSec |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Nikolai Kosmatov, Julien Signoles |
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo |
Assertion-based Debugging of Higher-Order (C)LP Programs. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Luca Piccolboni, Graziano Pravadelli |
Simplified stimuli generation for scenario and assertion based verification. |
LATW |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Hasan Sohofi, Zainalabedin Navabi |
Assertion-based verification for system-level designs. |
ISQED |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Markus Kusano, Chao Wang 0001 |
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction. |
ASE |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr |
Achieving security assurance with assertion-based application construction. |
CollaborateCom |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Charlie Pelling |
Assertion and safety. |
Synth. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Erik J. Olsson, Aron Vallinder |
Norms of assertion and communication in social networks. |
Synth. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Guowu Yang, William N. N. Hung, Xiaoyu Song, Wensheng Guo |
A Transformation-Based Approach to Implication of GSTE Assertion Graphs. |
J. Appl. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jason G. Tong, Marc Boule, Zeljko Zilic |
Test compaction techniques for assertion-based test generation. |
ACM Trans. Design Autom. Electr. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Anthony Monnet, Roger Villemaire |
Efficient Partial Order CDCL Using Assertion Level Choice Heuristics |
CoRR |
2013 |
DBLP BibTeX RDF |
|
16 | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek, Masahiro Fujita, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
On the integration of model-driven design and dynamic assertion-based verification for embedded software. |
J. Syst. Softw. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Cosmin Adrian Bejan, Lucy Vanderwende, Fei Xia, Meliha Yetisgen-Yildiz |
Assertion modeling and its role in clinical phenotype identification. |
J. Biomed. Informatics |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota 0001, César A. L. de Oliveira |
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. |
Sci. Comput. Program. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jeremy J. Kelly |
Frege and Russell on Assertion. |
Judgement and the Epistemic Foundation of Logic |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Greg Restall |
Assertion, Denial and Non-classical Theories. |
Paraconsistency: Logic and Applications |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Md. Sadek Ferdous, Ron Poet |
Dynamic Identity Federation Using Security Assertion Markup Language (SAML). |
IDMAN |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Bahram N. Uchevler, Kjetil Svarstad |
Assertion based verification using PSL-like properties in Haskell. |
DDECS |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Kajori Banerjee, M. Santhosh Prabhu, Pallab Dasgupta |
Debugging assertion failures in software controllers using a reference model. |
ISEC |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ibrahim Mezzah, Omar Kermia, Hamimi Chemali, Omar Abdelmalek, Vincent Beroulle, David Hély |
Assertion based on-line fault detection applied on UHF RFID tag. |
IDT |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Rizzo 0001, Claudia d'Amato, Nicola Fanizzi, Floriana Esposito |
Assertion Prediction with Ontologies through Evidence Combination. |
URSW (LNCS Vol.) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Dogan Ulus, Alper Sen 0001, I. Faik Baskaya |
Analog layer extensions for analog/mixed-signal assertion languages. |
VLSI-SoC |
2013 |
DBLP DOI BibTeX RDF |
|