Search results for "assertion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
131	Michael Hammer, Sunil K. Sarin	Efficient Monitoring of Database Assertions (Abstract).	SIGMOD Conference	1978	DBLP DOI BibTeX RDF
120	Nirmal R. Saxena, Edward J. McCluskey	Linear Complexity Assertions for Sorting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data
94	Yoonsik Cheon, Gary T. Leavens	A contextual interpretation of undefinedness for runtime assertion checking.	AADEBUG	2005	DBLP DOI BibTeX RDF	undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions
86	Takashi Ishio, Shinji Kusumoto, Katsuro Inoue, Toshihiro Kamiya	Aspect-Oriented Modularization of Assertion Crosscutting Objects.	APSEC	2005	DBLP DOI BibTeX RDF
76	Marc Boule, Zeljko Zilic	Automata-based assertion-checker synthesis of PSL properties.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	assertion checkers, emulation, hardware, automata, PSL, Assertion-Based Verification
68	Ansuman Banerjee, Kausik Datta, Pallab Dasgupta	CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications.	ATVA	2008	DBLP DOI BibTeX RDF
68	Guowu Yang, Jin Yang 0006, Xiaoyu Song, Fei Xie	Maximal Models of Assertion Graph in GSTE.	TAMC	2006	DBLP DOI BibTeX RDF
68	Samir Saklikar, Subir Saha	Next steps for security assertion markup language (saml).	SWS	2007	DBLP DOI BibTeX RDF	liberty alliance, multifactor, identity, delegation, assertion, federation, SAML
67	Harry Foster	Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial).	CAV	2008	DBLP DOI BibTeX RDF	Simulation, Formal Verification, Debugging, Assertion, Functional Verification, Property Specification, Assertion-Based Verification
61	Michael Siegel, Adriana Maggiore, Christian Pichler	Untwist your brain: efficient debugging and diagnosis of complex assertions.	DAC	2009	DBLP DOI BibTeX RDF	SystemVerilog assertions, debugging, assertions, fault localization, functional verification, root cause analysis
60	Francisco José Galán Morillo, José Miguel Cañete Valdeón	A Method for Compiling and Executing Expressive Assertions.	IFM	2004	DBLP DOI BibTeX RDF	programming with assertions, meaning-preservingtransformation, formal specification, testing, logic program, correctness, Assertion, program synthesis
60	Yannick Moy	Sufficient Preconditions for Modular Assertion Checking.	VMCAI	2008	DBLP DOI BibTeX RDF
60	Amir Hekmatpour, Azadeh Salehi	Block-based Schema-driven Assertion Generation for Functional Verification.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
60	Alan J. Hu, Jeremy Casas, Jin Yang 0006	Reasoning about GSTE Assertion Graphs.	CHARME	2003	DBLP DOI BibTeX RDF
59	Rajdeep Mukhopadhyay, Subrat Kumar Panda, Pallab Dasgupta, John Gough	Instrumenting AMS assertion verification on commercial platforms.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	OVL, SVA, integrated mixed signal design, verification library, simulation, Assertion
59	Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid	Assertion-based repair of complex data structures.	ASE	2007	DBLP DOI BibTeX RDF	assertion-driven development, systematic search, symbolic execution, error recovery, data structure repair
59	Kai-Hui Chang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo	A Temporal Assertion Extension to Verilog.	ATVA	2004	DBLP DOI BibTeX RDF	temporal assertion, verification, PSL
59	Ryszard Janicki, Emil Sekerinski	Foundations of the Trace Assertion Method of Module Interface Specification.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences
51	Mohammad Reza Kakoee, Mohammad Riazati, Siamak Mohammadi	Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions.	ISQED	2008	DBLP DOI BibTeX RDF	Assertion Synthesis, Assertion Unification, Online Testing
51	Grant Martin	Learning to assert yourself [review of Creating Assertion-Based IP (H.D. Foster and A.C. Krolnik; 2008)].	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF
51	Guowu Yang, Jin Yang 0006, William N. N. Hung, Xiaoyu Song	Implication of assertion graphs in GSTE.	ASP-DAC	2005	DBLP DOI BibTeX RDF
50	Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki	Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages.	MoDELS	2009	DBLP DOI BibTeX RDF	assertion code, constraints, programming languages, OCL
50	Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli	Hybrid, Incremental Assertion-Based Verification for TLM Design Flows.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	hybrid, RTL, design flow, TLM, assertion-based verification
50	Li-C. Wang, Magdy S. Abadir	Test Generation Based on High-Level Assertion Specification for PowerPCTM Microprocessor Embedded Arrays.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	high-level test generation, assertion test generation, design validation, logic verification, symbolic trajectory evaluation
50	Bogdan Korel, Ali M. Al-Yami	Assertion-Oriented Automated Test Data Generation.	ICSE	1996	DBLP BibTeX RDF	assertion oriented automated test data generation, automatic run time detection, program input, software engineering, program testing, automatic programming, white box testing, automated test data generation, software errors
44	Aaron R. Bradley, Zohar Manna	Property-directed incremental invariant generation.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Polynomial invariants, Clausal invariants, Model checking, Static analysis, Affine invariants, Invariant generation
44	Stephen D. Brookes	Semantically Based Axiomatics.	MFPS	1987	DBLP DOI BibTeX RDF
44	Edmund M. Clarke	Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems.	POPL	1977	DBLP DOI BibTeX RDF
42	Patrice Chalin, Frédéric Rioux	JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.	FM	2008	DBLP DOI BibTeX RDF
42	Sumit Gulwani, Ashish Tiwari 0001	Assertion Checking Unified.	VMCAI	2007	DBLP DOI BibTeX RDF
42	Íñigo Ugarte, Pablo Sanchez	Assertion checking of control dominated systems with nonlinear solvers.	MEMOCODE	2006	DBLP DOI BibTeX RDF
42	Nikhil Sethi, Clark W. Barrett	cascade: C Assertion Checker and Deductive Engine.	CAV	2006	DBLP DOI BibTeX RDF
42	Ambar A. Gadkari, S. Ramesh 0002	Automated Synthesis of Assertion Monitors using Visual Specifications.	DATE	2005	DBLP DOI BibTeX RDF
42	Marc Boule, Zeljko Zilic	Incorporating Ef.cient Assertion Checkers into Hardware Emulation.	ICCD	2005	DBLP DOI BibTeX RDF
42	Alan J. Hu, Jeremy Casas, Jin Yang	Efficient Generation of Monitor Circuits for GSTE Assertion Graphs.	ICCAD	2003	DBLP DOI BibTeX RDF
42	Xiaorong Huang	Reconstruction Proofs at the Assertion Level.	CADE	1994	DBLP DOI BibTeX RDF
42	Tun Li, Yang Guo 0003, Sikun Li	Assertion-based automated functional vectors generation using constraint logic programming.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	test generation, assertion, constraint logic programming, functional verification, decision diagrams
35	Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti	Inline Assertions - Embedding Formal Properties in a Test Bench.	VLSI Design	2009	DBLP DOI BibTeX RDF
35	Doron Drusinsky, Man-tak Shing	Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
35	Robert Bruce Findler, Matthias Felleisen	Contracts for higher-order functions.	ICFP	2002	DBLP DOI BibTeX RDF	predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions
35	Philip A. Bernstein, Barbara T. Blaustein	Fast Methods for Testing Quantified Relational Calculus Assertions.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
34	Mingwu Zhang, Bo Yang 0003, Shenglin Zhu, Wenzheng Zhang	Assertions Signcryption Scheme in Decentralized Autonomous Trust Environments.	ATC	2008	DBLP DOI BibTeX RDF	autonomous trust domain, privacy, Trust management, assertion, signcryption
34	Alper Sen 0001, Vinit Ogale, Magdy S. Abadir	Predictive runtime verification of multi-processor SoCs in SystemC.	DAC	2008	DBLP DOI BibTeX RDF	predictive verification, deadlock, SystemC, assertion, ESL
34	Ping Hang Cheung, Alessandro Forin	A C-Language Binding for PSL.	ICESS	2007	DBLP DOI BibTeX RDF	C, Assertion Based Verification, Property Specification Language
34	Olha Shkaravska	Types with semantics: soundness proof assistant.	MERLIN	2005	DBLP DOI BibTeX RDF	type system, assertion, automated theorem proving, program logic
34	Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth	Contract-Checking Wrappers for C++ Classes.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, binary components, class invariants, specification, preconditions, design by contract, postconditions, debugging aids, coding techniques
34	Zaiyue Zhang, Yuefei Sui, Cungen Cao	Fuzzy Reasoning Based on Propositional Modal Logic.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	propositional modal logic, fuzzy assertion, fuzzy reasoning
34	Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Elly Winner	A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	monitoring and assertion checking, Simulation, formal methods, specification, symbolic execution
34	Yabo Wang, David Lorge Parnas	Simulating the Behavior of Software Modules by Trace Rewriting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model
34	Luciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis	Comprehensive Monitoring of BPEL Processes.	IEEE Internet Comput.	2010	DBLP DOI BibTeX RDF	Assertion checkers, assertion languages, performance, Software Engineering, Software Engineering, Design Tools and Techniques, Software/Software Engineering, Software/Software Engineering, Software/Program Verification, Distributed/Internet based software engineering tools and techniques
34	Gary T. Leavens	Tutorial on JML, the java modeling language.	ASE	2007	DBLP DOI BibTeX RDF	java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking
34	Li-C. Wang, Magdy S. Abadir	Experience in Validation of PowerPCTM Microprocessor Embedded Arrays.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	assertion test generation, assertion, array, design error, logic verification, symbolic trajectory evaluation
34	Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.	ICLP	2009	DBLP DOI BibTeX RDF	static/dynamic debugging, program verification, unit testing, assertions, run-time verification
34	Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta	Accelerating Assertion Coverage With Adaptive Testbenches.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
34	Rachid Guerraoui, Marko Vukolic	A Scalable and Oblivious Atomicity Assertion.	CONCUR	2008	DBLP DOI BibTeX RDF
34	Babu Turumella, Mukesh Sharma	Assertion-based verification of a 32 thread SPARCTM CMT microprocessor.	DAC	2008	DBLP DOI BibTeX RDF	simulation, verification, coverage, assertions, multi-threading
34	Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull	Interactive presentation: Implementation of a transaction level assertion framework in SystemC.	DATE	2007	DBLP DOI BibTeX RDF
34	Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Masoud Daneshtalab, Saeed Safari, Zainalabedin Navabi	On-Chip Verification of NoCs Using Assertion Processors.	DSD	2007	DBLP DOI BibTeX RDF
34	Marc Boule, Jean-Samuel Chenard, Zeljko Zilic	Assertion Checkers in Verification, Silicon Debug and In-Field Diagnosis.	ISQED	2007	DBLP DOI BibTeX RDF
34	Lori A. Clarke, David S. Rosenblum	A historical perspective on runtime assertion checking in software development.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
34	Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo	Context-Sensitive Multivariant Assertion Checking in Modular Programs.	LPAR	2006	DBLP DOI BibTeX RDF
34	Sumit Gulwani, Ashish Tiwari 0001	Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.	ESOP	2006	DBLP DOI BibTeX RDF
34	Jia Yu 0008, Wei Wu 0024, Xi Chen 0024, Harry Hsieh, Jun Yang 0002, Felice Balarin	Assertion-Based Design Exploration of DVS in Network Processor Architectures.	DATE	2005	DBLP DOI BibTeX RDF
34	Milind Kulkarni 0003, J. Benita Bommi	Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
34	Thomas Wilson, Savi Maharaj, Robert G. Clark	Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.	SEFM	2005	DBLP DOI BibTeX RDF
34	Fernando Cortez Sica, Claudionor José Nunes Coelho Jr., José Augusto Miranda Nacif, Harry Foster, Antônio Otávio Fernandes	Exception handling in microprocessors using assertion libraries.	SBCCI	2004	DBLP DOI BibTeX RDF	exceptions handling, assertions
34	Aarti Gupta	Assertion-based verification turns the corner.	IEEE Des. Test Comput.	2002	DBLP DOI BibTeX RDF
34	Babita Sharma, S. D. Dhodapkar, S. Ramesh 0001	Assertion Checking Environment (ACE) for Formal Verification of C Programs.	SAFECOMP	2002	DBLP DOI BibTeX RDF
34	Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok	How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.	FMCO	2002	DBLP DOI BibTeX RDF
34	Chung-Yang Huang, Kwang-Ting Cheng	Using word-level ATPG and modular arithmetic constraint-solvingtechniques for assertion property checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
34	Tsuyoshi Ohta, Hideto Kinoshita, Takahiro Kimata, Tadanori Mizuno	A Framework of an Assertion-Based Algorithmic Debugging for Distributed Programs.	ICOIN	2001	DBLP DOI BibTeX RDF
34	Andreas Meier 0002	System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level.	CADE	2000	DBLP DOI BibTeX RDF
34	Chung-Yang Huang, Kwang-Ting Cheng	Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques.	DAC	2000	DBLP DOI BibTeX RDF
33	Savithri Sundareswaran, David T. Blaauw, Abhijit Dharchoudhury	A Three-Tier Assertion Technique for Spice Verification of Transistor Level Timing Analysis.	VLSI Design	1999	DBLP DOI BibTeX RDF	spice verification, primary-path, secondary-path, timing analysis, assertion, assertibility
33	Vijay Pitchumani, Edward P. Stabler	An Inductive Assertion Method for Register Transfer Level Design Verification.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	inductive assertion method, synchronous logic, theorem proving, Assertions, predicate calculus, register transfer level design, verification condition
32	Eduardo B. Fernández, Brahim Hamid	Two safety patterns: Safety Assertion and Safety Assertion Enforcer.	EuroPLoP	2017	DBLP DOI BibTeX RDF
32	Maria van der Schaar	Assertion and grounding: a theory of assertion for constructive type theory.	Synth.	2011	DBLP DOI BibTeX RDF
32	Yann Oddos, Katell Morin-Allory, Dominique Borrione	From Assertion-Based Verification to Assertion-Based Synthesis.	VLSI-SoC	2009	DBLP DOI BibTeX RDF
32	Adrien Coulet, Malika Smaïl-Tabbone, Amedeo Napoli, Marie-Dominique Devignes	Role Assertion Analysis: a proposed method for ontology refinement through assertion learning.	STAIRS	2008	DBLP DOI BibTeX RDF
32	David Ian Beaver	Presupposition and assertion in dynamic semantics : Part (I) The presupposition : a critical review of presupposition theory ; Part (II) The assertion : what comes first in dynamic semantics.		1995	RDF
26	Alexander Yip, Xi Wang 0005, Nickolai Zeldovich, M. Frans Kaashoek	Improving application security with data flow assertions.	SOSP	2009	DBLP DOI BibTeX RDF	xss, security, privacy, web, python, php, sql injection
26	Thomas Wilson, Savi Maharaj, Robert G. Clark	Flexible and configurable verification policies with Omnibus.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF
26	Swarat Chaudhuri, Rajeev Alur	Instrumenting C Programs with Nested Word Monitors.	SPIN	2007	DBLP DOI BibTeX RDF
26	David Walter, Scott Little, Chris J. Myers	Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver.	ATVA	2007	DBLP DOI BibTeX RDF
26	Jukka Ylitalo	BLIND: A Complete Identity Protection Framework for End-Points (Transcript of Discussion).	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
26	Sye Loong Keoh, Emil Lupu	Towards flexible credential verification in mobile ad-hoc networks.	POMC	2002	DBLP DOI BibTeX RDF	credential verification, security, authentication, trust
26	Ryszard Raban, Harry S. Delugach	Animating Conceptual Graphs.	ICCS	1997	DBLP DOI BibTeX RDF
26	Glen E. Newton	Proving Properties of Interacting Processes.	Acta Informatica	1974	DBLP DOI BibTeX RDF
26	M. Ross Quillian	The teachable language comprehender: a simulation program and theory of language.	Commun. ACM	1969	DBLP DOI BibTeX RDF	human memory simulation, linguistic performance theory, natural language comprehension, psychological simulation, teachable computer program, natural language processing, computer linguistics
26	Ebrima N. Ceesay, Coimbatore Chandersekaran, William R. Simpson	An authentication model for delegation, attribution and least privilege.	PETRA	2010	DBLP DOI BibTeX RDF	WS-*, security assertion markup language (SAML), authentication, authorization, delegation, public key infrastructure, attribution, credentialing, least privilege
26	Andrei Voronkov, Iman Narasamdya	Inter-program Properties.	SAS	2009	DBLP DOI BibTeX RDF	assertion function, invariant, translation validation
26	Florian Eibensteiner, Rainer Findenig, Markus Pfaff	SynPSL: Behavioral Synthesis of PSL Assertions.	EUROCAST	2009	DBLP DOI BibTeX RDF	Synthesis, PSL, Assertion-based Verification
26	Patrice Chalin	Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking
26	David J. Lutz	Cash Tokens for SAML Based Federations.	FinanceCom	2007	DBLP DOI BibTeX RDF	Federation Payment, SAML Token, Payment Assertion, Payment Provider
26	Youngsik Kim, Parija Sule, Nazanin Mansouri	Exploiting PSL standard assertions in a theorem-proving-based verification environment.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	assertion-based design, modeling, verification, theorem-proving, formal semantics, PSL
26	Patrice Chalin	Improving JML: For a Safer and More Effective Language.	FME	2003	DBLP DOI BibTeX RDF	behavioral interface specification languages, specification language design and semantics, arbitrary precision numeric types, assertion-based languages, formal methods, JML, Java Modeling Language
26	Hasan M. Jamil, Gillian Dobbie	A Model Theoretic Semantics for Multi-level Secure Deductive Databases.	ICLP	2002	DBLP DOI BibTeX RDF	MLS databases, belief assertion, security, reasoning, deductive databases, soundness and completeness
25	Yann Oddos, Katell Morin-Allory, Dominique Borrione, Marc Boule, Zeljko Zilic	MYGEN: automata-based on-line test generator for assertion-based verification.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	generator, psl, test vector generation
25	Patrick Harding, Leif Johansson, Nate Klingenstein	Dynamic Security Assertion Markup Language: Simplifying Single Sign-On.	IEEE Secur. Priv.	2008	DBLP DOI BibTeX RDF
25	Yann Oddos, Katell Morin-Allory, Dominique Borrione	Assertion-Based Design with Horus.	MEMOCODE	2008	DBLP DOI BibTeX RDF