Search results for "assertion"

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