Search results for "assertion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Vladimir Hahanov, Karyna Mostova, Oleksandr Paschenko	Assertion based method of functional defects for diagnosing and testing multimedia devices.	EWDTS	2013	DBLP DOI BibTeX RDF
16	Bahram N. Uchevler, Kjetil Svarstad	Synthesizable assertion checkers in high levels of abstraction.	ICECS	2013	DBLP DOI BibTeX RDF
16	Luís Eufrasio T. Neto, Vânia Maria Ponte Vidal, Marco A. Casanova, José Maria Monteiro	R2RML by Assertion: A Semi-automatic Tool for Generating Customised R2RML Mappings.	ESWC (Satellite Events)	2013	DBLP DOI BibTeX RDF
16	Nikolai Kosmatov, Guillaume Petiot, Julien Signoles	An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs.	RV	2013	DBLP DOI BibTeX RDF
16	Nikolai Kosmatov, Julien Signoles	A Lesson on Runtime Assertion Checking with Frama-C.	RV	2013	DBLP DOI BibTeX RDF
16	Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma 0001, Chris Hawblitzel	Differential assertion checking.	ESEC/SIGSOFT FSE	2013	DBLP DOI BibTeX RDF
16	Carna Radojicic, Javier Moreno 0003, Xiao Pan, Christoph Grimm 0001	On more dependable assertion-based verification.	IECON	2013	DBLP DOI BibTeX RDF
16	Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jérôme Quévremont	On the Effectiveness of Assertion-Based Verification in an Industrial Context.	FMICS	2013	DBLP DOI BibTeX RDF
16	Dogan Ulus, Alper Sen 0001, I. Faik Baskaya	Integrating circuit analyses for assertion-based verification of programmable AMS circuits.	FDL	2013	DBLP BibTeX RDF
16	Moustafa Kassem, Marianne Michel, Mohamed Abdelsalam, Ashraf Salem	A novel approach for assertion based verification of DDR memory protocols.	FDL	2013	DBLP BibTeX RDF
16	Dhanashree Kulkarni, Andrew N. Fisher, Chris J. Myers	A new assertion property language for analog/mixed-signal circuits.	FDL	2013	DBLP BibTeX RDF
16	Anand Yeolekar, Divyesh Unadkat	Assertion Checking Using Dynamic Inference.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
16	Sonali Dutta, Moshe Y. Vardi, Deian Tabakov	CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models.	DIFTS@FMCAD	2013	DBLP BibTeX RDF
16	Marcius Armada de Oliveira, Kate Revoredo, José Eduardo Ochoa Luna, Fábio Gagliardi Cozman	Assertion Role in a Hybrid Link Prediction Approach through Probabilistic Ontology.	ONTOBRAS	2013	DBLP BibTeX RDF
16	Mingsong Chen, Prabhat Mishra 0001	Assertion-Based Functional Consistency Checking between TLM and RTL Models.	VLSI Design	2013	DBLP DOI BibTeX RDF
16	Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel	Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.	SOFSEM	2013	DBLP DOI BibTeX RDF
16	Peter Pagin	Assertion, inference, and consequence.	Synth.	2012	DBLP DOI BibTeX RDF
16	Belal Mohammad Zaqaibeh, Firas Ali Albalas, Awajan W. A.	Designing a New Assertion Constraints Model for Mobile Databases.	Int. J. Interact. Mob. Technol.	2012	DBLP DOI BibTeX RDF
16	Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti 0001, S. Ramesh 0002, P. Vignesh V. Ganesan	A dynamic assertion-based verification platform for validation of UML designs.	ACM SIGSOFT Softw. Eng. Notes	2012	DBLP DOI BibTeX RDF
16	Subhankar Mukherjee 0001, Pallab Dasgupta	Assertion Aware Sampling Refinement: A Mixed-Signal Perspective.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2012	DBLP DOI BibTeX RDF
16	ShengYu Shen, Ying Qin, Kefei Wang, Zhengbin Pang, Jianmin Zhang, Sikun Li	Inferring Assertion for Complementary Synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2012	DBLP DOI BibTeX RDF
16	Klaas Wierenga, Eliot Lear, Simon Josefsson	A Simple Authentication and Security Layer (SASL) and GSS-API Mechanism for the Security Assertion Markup Language (SAML).	RFC	2012	DBLP DOI BibTeX RDF
16	Mohammad Hossein Neishaburi, Zeljko Zilic	An infrastructure for debug using clusters of assertion-checkers.	Microelectron. Reliab.	2012	DBLP DOI BibTeX RDF
16	Yukun Chen, Subramani Mani, Hua Xu 0001	Applying active learning to assertion classification of concepts in clinical text.	J. Biomed. Informatics	2012	DBLP DOI BibTeX RDF
16	José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto	Assertion-based slicing and slice graphs.	Formal Aspects Comput.	2012	DBLP DOI BibTeX RDF
16	Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli	Enabling dynamic assertion-based verification of embedded software through model-driven design.	DATE	2012	DBLP DOI BibTeX RDF
16	Dogan Ulus, Alper Sen 0001	Using haloes in mixed-signal assertion based verification.	HLDVT	2012	DBLP DOI BibTeX RDF
16	Sourasis Das, Ansuman Banerjee, Pallab Dasgupta	A Generalized Theory for Formal Assertion Coverage.	Asian Test Symposium	2012	DBLP DOI BibTeX RDF
16	Laurence Pierre	A formal framework for testing with assertion checkers in mixed-signal simulation.	ICECS	2012	DBLP DOI BibTeX RDF
16	Danielle L. Mowery, Pamela W. Jordan, Janyce Wiebe, Wendy Webber Chapman, Lin Liu	Does Domain Knowledge Matter for Assertion Annotation in Clinical Texts?	HISB	2012	DBLP DOI BibTeX RDF
16	Lingyi Liu, Chen-Hsuan Lin, Shobha Vasudevan	Word level feature discovery to enhance quality of assertion mining.	ICCAD	2012	DBLP DOI BibTeX RDF
16	Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm 0001	Assertion-based verification of signal processing systems with affine arithmetic.	FDL	2012	DBLP BibTeX RDF
16	Sebastian Steinhorst, Lars Hedrich	Analog assertion-based verification on partial state space representations using ASL.	FDL	2012	DBLP BibTeX RDF
16	Shabnam Mirshokraie, Ali Mesbah 0001	JSART: JavaScript Assertion-Based Regression Testing.	ICWE	2012	DBLP DOI BibTeX RDF
16	Shohei Ono, Takeshi Matsumoto, Masahiro Fujita	Automatic assertion extraction in gate-level simulation using GPGPUs.	ICCD	2012	DBLP DOI BibTeX RDF
16	Edmund Soon Lee Lam, Iliano Cervesato	Modeling datalog fact assertion and retraction in linear logic.	PPDP	2012	DBLP DOI BibTeX RDF
16	Maksim Jenihhin, Samary Baranov, Jaan Raik, Valentin Tihhomirov	PSL assertion checkers synthesis with ASM based HLS tool ABELITE.	LATW	2012	DBLP DOI BibTeX RDF
16	Michael Bilzor, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin	Evaluating security requirements in a general-purpose processor by combining assertion checkers with code coverage.	HOST	2012	DBLP DOI BibTeX RDF
16	Jason G. Tong, Marc Bottle, Zeljko Zilic	Assertion clustering for compacted test sequence generation.	ISQED	2012	DBLP DOI BibTeX RDF
16	Jiewen Wu, Alexander K. Hudek, David Toman 0001, Grant E. Weddell	Assertion Absorption in Object Queries over Knowledge Bases.	KR	2012	DBLP BibTeX RDF
16	Kevin Boos, Chien-Liang Fok, Christine Julien 0001, Miryung Kim	BRACE: An assertion framework for debugging cyber-physical systems.	ICSE	2012	DBLP DOI BibTeX RDF
16	Arvind Jain, Maheedhar Jalasutram, Srinivas Vooka, Prasun Nair, Neeraj Pradhan	At-speed Testing of Asynchronous Reset De-assertion Faults.	VLSI Design	2012	DBLP DOI BibTeX RDF
16	Dominik Dietrich	Assertion level proof planning with compiled strategies.		2012	RDF
16		Web SSO and Security Assertion Markup Language.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
16	Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki	Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints.	IEICE Trans. Inf. Syst.	2011	DBLP DOI BibTeX RDF
16	Anne-Lyse Minard, Anne-Laure Ligozat, Asma Ben Abacha, Delphine Bernhard, Bruno Cartoni, Louise Deléger, Brigitte Grau, Sophie Rosset, Pierre Zweigenbaum, Cyril Grouin	Hybrid methods for improving information access in clinical documents: concept, assertion, and relation identification.	J. Am. Medical Informatics Assoc.	2011	DBLP DOI BibTeX RDF
16	Cheryl Clark, John S. Aberdeen, Matthew Coarr, David Tresner-Kirsch, Ben Wellner, Alexander S. Yeh, Lynette Hirschman	MITRE system for clinical assertion status classification.	J. Am. Medical Informatics Assoc.	2011	DBLP DOI BibTeX RDF
16	Thomas W. Lynch	More Jabber about the Collatz Conjecture and a Closed Form for Detecting Cycles on Special Subsequences [Assertion: Collatz cycles].	CoRR	2011	DBLP BibTeX RDF
16	Alexander M. Hoole, Issa Traoré, Isabelle Simplot-Ryl	Application of contract-based security assertion monitoring framework for telecommunications software engineering.	Math. Comput. Model.	2011	DBLP DOI BibTeX RDF
16	Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita	Optimization of Assertion Placement in Time-Constrained Embedded Systems.	ETS	2011	DBLP DOI BibTeX RDF	time-constrained embedded systems, soft errors, executable assertions
16	Tristan Lavarack, Marijke Coetzee	Web Services Security Policy Assertion Trade-offs.	ARES	2011	DBLP DOI BibTeX RDF
16	Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli	Interactive presentation abstract: Assertion-based verification in embedded-software design.	HLDVT	2011	DBLP DOI BibTeX RDF
16	Ryuichi Takahashi, Yoshiyasu Takefuji	SystemVerilog assertion for microarchitecture education considering situated nature of learning: A senior project.	MSE	2011	DBLP DOI BibTeX RDF
16	ShengYu Shen, Ying Qin, Jianmin Zhang	Inferring assertion for complementary synthesis.	ICCAD	2011	DBLP DOI BibTeX RDF
16	Aurélien Ribon, Bertrand Le Gal, Christophe Jégo, Dominique Dallet	Assertion support in high-level synthesis design flow.	FDL	2011	DBLP BibTeX RDF
16	Laurence Pierre, Laila Damri	Improvement of Assertion-Based Verification through the generation of proper test sequences.	FDL	2011	DBLP BibTeX RDF
16	Minh Ngoc Dinh, David Abramson 0001, Donny Kurniawan, Chao Jin, Bob Moench, Luiz De Rose	Assertion Based Parallel Debugging.	CCGRID	2011	DBLP DOI BibTeX RDF
16	David Abramson 0001	Keynote: Assertion Based Parallel Debugging.	ICA3PP (1)	2011	DBLP DOI BibTeX RDF
16	Youngkon Lee	Prescription-Level Based Test Assertion Model for SOA.	FGIT-FGCN (1)	2011	DBLP DOI BibTeX RDF
16	Youngkon Lee	Business-Centric Test Assertion Model for SOA.	FGIT-ASEA/DRBC/EL	2011	DBLP DOI BibTeX RDF
16	Youngkon Lee	Semi-automatic Test Assertion Transformation Scheme for SOA.	FGIT-UNESST	2011	DBLP DOI BibTeX RDF
16	Wladimir Araujo, Lionel C. Briand, Yvan Labiche	Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.	ICSE	2011	DBLP DOI BibTeX RDF
16	Jeffrey Pound, David Toman 0001, Grant E. Weddell, Jiewen Wu	An Assertion Retrieval Algebra for Object Queries over Knowledge Bases.	IJCAI	2011	DBLP DOI BibTeX RDF
16	Hermann Lehner	A formal definition of JML in Coq and its application to runtime assertion checking.		2011	RDF
16		Assertion.	Encyclopedia of Machine Learning	2010	DBLP DOI BibTeX RDF
16	Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan 0001, Darko Marinov, Jennifer C. Hou	Assertion Checking in J-Sim Simulation Models of Network Protocols.	Simul.	2010	DBLP DOI BibTeX RDF
16	Jeremy D. Selengut, Douglas B. Rusch, Daniel H. Haft	Sites Inferred by Metabolic Background Assertion Labeling (SIMBAL): adapting the Partial Phylogenetic Profiling algorithm to scan sequences for signatures that predict protein function.	BMC Bioinform.	2010	DBLP DOI BibTeX RDF
16	Katell Morin-Allory, Marc Boule, Dominique Borrione, Zeljko Zilic	Validating Assertion Language Rewrite Rules and Semantics With Automated Theorem Provers.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2010	DBLP DOI BibTeX RDF
16	Jason G. Tong, Marc Boule, Zeljko Zilic	Defining and Providing Coverage for Assertion-Based Dynamic Verification.	J. Electron. Test.	2010	DBLP DOI BibTeX RDF
16	Patrice Chalin	Engineering a Sound Assertion Semantics for the Verifying Compiler.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	programming by contract, requirements engineering, Software verification, assertions, logics of programs
16	Laurence Pierre, Luca Ferro	Enhancing the assertion-based verification of TLM designs with reentrancy.	MEMOCODE	2010	DBLP DOI BibTeX RDF
16	Amirali Ghofrani, Sheis Abolma'ali, Zahra Najafi Haghi, Zainalabedin Navabi	A TLM2.0 assertion library with centralized monitoring approach.	EWDTS	2010	DBLP DOI BibTeX RDF
16	Amirali Ghofrani, Fatemeh Javaheri, Zainalabedin Navabi	Assertion based verification in TLM.	EWDTS	2010	DBLP DOI BibTeX RDF
16	Maksim Jenihhin, Jaan Raik, Raimund Ubar, Tatjana Shchenova	An approach for PSL assertion coverage analysis with high-level decision diagrams.	EWDTS	2010	DBLP DOI BibTeX RDF
16	Marcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller 0003	Assertion-based verification of RTOS properties.	DATE	2010	DBLP DOI BibTeX RDF
16	Shobha Vasudevan, David Sheridan, Sanjay J. Patel, David Tcheng, William Tuohy, Daniel R. Johnson	GoldMine: Automatic assertion generation using data mining and static analysis.	DATE	2010	DBLP DOI BibTeX RDF
16	Stefan Lämmermann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich	Towards assertion-based verification of heterogeneous system designs.	DATE	2010	DBLP DOI BibTeX RDF
16	Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen, Tay-Jyi Lin	RunAssert: A non-intrusive run-time assertion for parallel programs debugging.	DATE	2010	DBLP DOI BibTeX RDF
16	Po-Hsien Chang, Li-C. Wang	Automatic assertion extraction via sequential data mining of simulation traces.	ASP-DAC	2010	DBLP DOI BibTeX RDF
16	Ming Gao, Kwang-Ting Cheng	A case study of Time-Multiplexed Assertion Checking for post-silicon debugging.	HLDVT	2010	DBLP DOI BibTeX RDF
16	John Curreri, Greg Stitt, Alan D. George	High-level synthesis techniques for in-circuit assertion-based verification.	IPDPS Workshops	2010	DBLP DOI BibTeX RDF
16	Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju	Prototyping a tool environment for run-time assertion checking in JML with communication histories.	FTfJP@ECOOP	2010	DBLP DOI BibTeX RDF
16	Christoph Benzmüller, Marvin R. G. Schiller	Adaptive Assertion-Level Proofs.	EMSQMS@IJCAR	2010	DBLP DOI BibTeX RDF
16	Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier	Assertion-based test oracles for home automation systems.	MOMPES	2010	DBLP DOI BibTeX RDF
16	Jeffrey Pound, David Toman 0001, Grant E. Weddell, Jiewen Wu	Query Algebra and Query Optimization for Concept Assertion Retrieval.	Description Logics	2010	DBLP BibTeX RDF
16	José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto	Assertion-based Slicing and Slice Graphs.	SEFM	2010	DBLP DOI BibTeX RDF
16	Faraz Hussain 0001, Gary T. Leavens	temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties.	SEFM	2010	DBLP DOI BibTeX RDF
16	Hermann Lehner, Peter Müller 0001	Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups.	FASE	2010	DBLP DOI BibTeX RDF
16	Harry Foster	Applied Assertion-Based Verification: An Industry Perspective.	Found. Trends Electron. Des. Autom.	2009	DBLP DOI BibTeX RDF
16	Özlem Uzuner, Xiaoran Zhang, Tawanda C. Sibanda	Research Paper: Machine Learning and Rule-based Approaches to Assertion Classification.	J. Am. Medical Informatics Assoc.	2009	DBLP DOI BibTeX RDF
16	E. V. Kuzmin 0001, Valery A. Sokolov, D. Ju. Chalyy	Application of the trace assertion method to the specification, design, and verification of automaton programs.	Program. Comput. Softw.	2009	DBLP DOI BibTeX RDF
16	Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar	PSL Assertion Checking Using Temporally Extended High-Level Decision Diagrams.	J. Electron. Test.	2009	DBLP DOI BibTeX RDF
16	Olaf Noppens	Negative Property Assertion Pattern (NPAs).	WOP	2009	DBLP BibTeX RDF
16	Jason G. Tong, Marc Boule, Zeljko Zilic	Airwolf-TG: A test generator for assertion-based dynamic verification.	HLDVT	2009	DBLP DOI BibTeX RDF
16	Thomas Knauth, Christof Fetzer, Pascal Felber	Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations.	ICST Workshops	2009	DBLP DOI BibTeX RDF
16	Christian Murphy, Kuang Shen, Gail E. Kaiser	Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles.	ICST	2009	DBLP DOI BibTeX RDF
16	Bogdan Korel, Qi Zhang, Li Tao	Assertion-Based Validation of Modified Programs.	ICST	2009	DBLP DOI BibTeX RDF
16	Mauro Pezzè, Jochen Wuttke	LuMiNous - model-driven assertion generation for runtime failure detection.	ICSE Companion	2009	DBLP DOI BibTeX RDF
16	Thomas Steininger	Automated assertion transformation across multiple abstraction levels. (PDF / PS)		2009	RDF
16	Alexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler 0001, Thomas Kropf, Wolfgang Rosenstiel	Advanced Assertion-Based Design for Mixed-Signal Verification.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2008	DBLP DOI BibTeX RDF