Search results for "assertions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
38	Dong Wang, Jeremy R. Levitt	Automatic assume guarantee analysis for assertion-based formal verification.	ASP-DAC	2005	DBLP DOI BibTeX RDF
38	Amir Hekmatpour, Azadeh Salehi	Block-based Schema-driven Assertion Generation for Functional Verification.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
38	Farn Wang, Fang Yu 0001	OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.	RTCSA	2003	DBLP DOI BibTeX RDF
38	Pedro Guerreiro	Another Mediocre Assertion Mechanism for C++.	TOOLS (33)	2000	DBLP DOI BibTeX RDF
38	Kathryn S. McKinley, Olivier Temam	Quantifying loop nest locality using SPEC'95 and the perfect benchmarks.	ACM Trans. Comput. Syst.	1999	DBLP DOI BibTeX RDF
38	Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm	A Logic-Based Approach to Program Flow Analysis.	Acta Informatica	1998	DBLP DOI BibTeX RDF
38	Michael Rizzo	Using Producer and Consumer Manipulators to Extend Stream I/O Formatting in C++.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	C++
38	Edmund M. Clarke, Steven M. German, Joseph Y. Halpern	On Effective Axiomatizations of Hoare Logics.	POPL	1982	DBLP DOI BibTeX RDF
38	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
33	Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing	Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance.	SSIRI	2008	DBLP DOI BibTeX RDF	Formal Specifications, Validation, Patterns, Statecharts, Assertions
33	Yoonsik Cheon	Design Assertions: Executable Assertions for Design Constraints.	ICCSA (Workshops 5)	2022	DBLP DOI BibTeX RDF
33	John Bulles, Ralph Mak, Diederik Dulfer	Proof of Concept on Time Travelling and Assertions Generating an Assertions Administration Using FBM.	OTM Workshops	2018	DBLP DOI BibTeX RDF
33	Kai Chen, Dongdai Lin, Li Yan, Xin Sun	Environment-Bound SAML Assertions: A Fresh Approach to Enhance the Security of SAML Assertions.	Inscrypt	2013	DBLP DOI BibTeX RDF
33	Yann Régis-Gianas	From types to logical assertions : automatic or assisted proofs of property about functional programs. (Des types aux assertions logiques : preuve automatique ou assistée de propriétés sur les programmes fonctionnels).		2007	RDF
32	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
32	Paolo Ceravolo, Ernesto Damiani, Marco Viviani 0001	Bottom-Up Extraction and Trust-Based Refinement of Ontology Metadata.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	bottom-up ontology, ad hoc conceptualization, metadata extraction and maintenance, fuzzy clustering techniques, trusted assertions, Semantic Web
32	Harry M. Sneed	Testing a Datawarehouse - An Industrial Challenge.	TAIC PART	2006	DBLP DOI BibTeX RDF	Datawarehouse Testing, Data Transformation Rules, Post Conditions Assertions, Formal Verification, System Testing
32	Patrice Chalin	Are Practitioners Writing Contracts?	RODIN Book	2006	DBLP DOI BibTeX RDF	program assertions, empirical study, design by contract, Eiffel
32	Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan	Bug isolation via remote program sampling.	PLDI	2003	DBLP DOI BibTeX RDF	bug isolation, feature selection, logistic regression, assertions, random sampling, statistical debugging
32	Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy	Validating Run-time Interactions in Distributed Java Applications.	ICECCS	2002	DBLP DOI BibTeX RDF	Visualization, Unified Modeling Language, Software design, Distributed applications, Assertions, Java RMI, Test adequacy criteria, Interceptors, Interaction diagrams
32	Can Türker, Kerstin Schwarz, Gunter Saake	Global Transaction Termination Rules in Composite Database Systems.	BNCOD	2000	DBLP DOI BibTeX RDF	global transactions, composite database systems, extensional assertions, termination dependencies
32	Farnam Jahanian, Aloysius K. Mok	Modechart: A Specification Language for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	Modechart, absolute timing, real-time clock, RTL formulas, RTL assertions, graphical implementation, SARTOR, real-time systems, real-time systems, semantics, specification languages, specification language, rapid prototyping, timing constraints, abstraction levels, logic programming languages, hierarchical organization, real-time logic
32	Hanan Lutfiyya, Bruce M. McMillin, Alan Su	Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Concurrent Program Verification, Changeling, Fault Tolerance, Formal Methods, Distributed Databases, Transformation, Executable Assertions
32	Martin T. Vechev, Eran Yahav, Greta Yorsh	PHALANX: parallel checking of expressive heap assertions.	ISMM	2010	DBLP DOI BibTeX RDF	parallel garbage collector, virtual machine, ownership
32	Bernhard Hollunder	WS-Policy: On Conditional and Custom Assertions.	ICWS	2009	DBLP DOI BibTeX RDF
32	Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies	Abstraction Refinement for Quantified Array Assertions.	SAS	2009	DBLP DOI BibTeX RDF
32	Sebastian Gajek, Lijun Liao, Jörg Schwenk	Stronger TLS bindings for SAML assertions and SAML artifacts.	SWS	2008	DBLP DOI BibTeX RDF	client certificate, fim, saml, tls
32	Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young	Mechanized Information Flow Analysis through Inductive Assertions.	FMCAD	2008	DBLP DOI BibTeX RDF
32	Bruno Blanchet	Computationally Sound Mechanized Proofs of Correspondence Assertions.	CSF	2007	DBLP DOI BibTeX RDF
32	Harald Obereder, Markus Pfaff	Behavioral synthesis of property specification language (PSL) assertions.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
32	J Strother Moore	Inductive assertions and operational semantics.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Theorem proving, JVM, Software verification, Verification condition
32	Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	Deterministic Dynamic Monitors for Linear-Time Assertions.	FATES/RV	2006	DBLP DOI BibTeX RDF
32	Philipp Peti, Roman Obermaisser, Hermann Kopetz	Out-of-Norm Assertions.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
32	Xi Chen 0024, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Felice Balarin	Utilizing Formal Assertions for System Design of Network Processors.	DATE	2004	DBLP DOI BibTeX RDF
32	Paul A. Bailes, Colin J. M. Kemp	Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification.	COMPSAC	2003	DBLP DOI BibTeX RDF
32	Margaret M. Burnett, Curtis R. Cook, Omkar Pendse, Gregg Rothermel, Jay Summet, Christine Wallace	End-User Software Engineering with Assertions in the Spreadsheet Paradigm.	ICSE	2003	DBLP DOI BibTeX RDF
32	Patrick C. K. Hung, Guang-Sha Qiu	Implementing Conflict of Interest Assertions for Web Services Matchmaking Process.	CEC	2003	DBLP DOI BibTeX RDF	WS-PolicyAttachment, Matchmaking, Conflict of interest, WS-Policy, Service locators, Chinese wall security policy
32	Tim Oodes, Holger Krisp, Christian Müller-Schloer	On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems.	ARCS	2002	DBLP DOI BibTeX RDF
32	József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner	Integrating Temporal Assertions into a Parallel Debugger.	Euro-Par	2002	DBLP DOI BibTeX RDF
32	Christine Wallace, Curtis R. Cook, Jay Summet, Margaret M. Burnett	Assertions in End-User Software Engineering: A Think-Aloud Study.	HCC	2002	DBLP DOI BibTeX RDF
32	Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck	Parameterized Verification with Automatically Computed Inductive Assertions.	CAV	2001	DBLP DOI BibTeX RDF
32	Martin Hiller	Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation.	EUROMICRO	1999	DBLP DOI BibTeX RDF
32	Can Türker, Gunter Saake	Consistent Handling of Integrity Constraints and Extensional Assertions for Schema Integration.	ADBIS	1999	DBLP DOI BibTeX RDF
32	Jeffrey M. Voas	Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis.	COMPSAC	1997	DBLP DOI BibTeX RDF
32	Manfred Broy, Bernd Krieg-Brückner	Derivation of Invariant Assertions During Program Development by Transformation.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
31	Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan	Constraint-Based Invariant Inference over Predicate Abstraction.	VMCAI	2009	DBLP DOI BibTeX RDF
31	Raghav Kaushik, Christopher Ré, Dan Suciu	General Database Statistics Using Entropy Maximization.	DBPL	2009	DBLP DOI BibTeX RDF
31	Hong Lu, A. Forin	Automatic Processor Customization for Zero-Overhead Online Software Verification.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
31	Hans Eveking, Martin Braun 0001, Martin Schickel, Martin Schweikert, Volker Nimbler	Multi-Level Assertion-Based Design.	MEMOCODE	2007	DBLP DOI BibTeX RDF
31	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
31	Aaron R. Bradley, Zohar Manna	Verification Constraint Problems with Strengthening.	ICTAC	2006	DBLP DOI BibTeX RDF
31	Ludwig Seitz, Erik Rissanen, Babak Sadighi Firozabadi	A Classification of Delegation Schemes for Attribute Authority.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
31	Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego	Diagnosing Errors in DbC Programs Using Constraint Programming.	CAEPIA	2005	DBLP DOI BibTeX RDF
31	Mengluo Ji, Xin Wang, Zhichang Qi	Trace Acquirement from Real-Time Systems Based on WCET Analysis.	ICESS	2005	DBLP DOI BibTeX RDF
31	C. A. R. Hoare	Towards the Verifying Compiler.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
31	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A CLP Proof Method for Timed Automata.	RTSS	2004	DBLP DOI BibTeX RDF
31	Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with Incomprehensible Ranking.	TACAS	2004	DBLP DOI BibTeX RDF
31	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
31	Ronen Shaltiel	Towards Proving Strong Direct Product Theorems.	CCC	2001	DBLP DOI BibTeX RDF
31	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
31	Kathryn S. McKinley, Olivier Temam	A Quantitative Analysis of Loop Nest Locality.	ASPLOS	1996	DBLP DOI BibTeX RDF
31	Victor Carreño	Verification in Higher Order Logic of Mutual Exclusion Algorithm.	HUG	1993	DBLP DOI BibTeX RDF
31	Sharon E. Perl, William E. Weihl	Performance Assertion Checking.	SOSP	1993	DBLP DOI BibTeX RDF	DEBUG, Parallel C
31	Robert Bernecky	Array Morphology.	APL	1993	DBLP DOI BibTeX RDF	APL
31	Eric Simon, Patrick Valduriez	Design and Implementation of an Extendible Integrity Subsystem.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
31	Ben Wegbreit	Verifying Program Performance.	J. ACM	1976	DBLP DOI BibTeX RDF
24	Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili 0001	Relational Methods in the Analysis of While Loops: Observations of Versatility.	RelMiCS	2009	DBLP DOI BibTeX RDF	Function extraction, loop functions, invariant assertions, invariant relations, invariant functions, computing loop behavior, refinement calculus, relational calculus
24	Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore	A Mechanical Analysis of Program Verification Strategies.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Inductive assertions, Partial correctness, Theorem proving, Invariants, Total correctness
24	Deni Torres Román, Joaquín Cortez González, Raul Ernesto Gonzalez-Torres	Improving the Digital Design with Semi-formal Specification.	CONIELECOMP	2006	DBLP DOI BibTeX RDF	semiformal specification, model checking tools, assertions, properties, Assertion based verification
24	Frances Perry, Limin Jia 0001, David Walker 0001	Expressing heap-shape contracts in linear logic.	GPCE	2006	DBLP DOI BibTeX RDF	heap shape, contracts, linear logic, assertions
24	Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso	Is methodology the highway out of verification hell?	DAC	2005	DBLP DOI BibTeX RDF	verification, formal verification, methodology, assertions
24	Farn Wang, Geng-Dian Huang, Fang Yu 0001	Symbolic Simulation of Real-Time Concurrent Systems.	RTCSA	2003	DBLP DOI BibTeX RDF	state-based, model-checking, verification, specification, Assertions, event-driven
24	Shane Sendall, Alfred Strohmeier	Using OCL and UML to Specify System Behavior.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF	Pre- and Postcondition Assertions, Unified Modeling Language, Requirements Analysis, Object Constraint Language, Software Specification
24	Savithri Sundareswaran, R. Venkatesan, S. Bhaskar	An Assertion Based Technique for Transistor Level Dynamic Power Estimation.	VLSI Design	2000	DBLP DOI BibTeX RDF	dynamic power estimation, transistor level, assertions
24	Thomas F. Keefe, Wei-Tek Tsai	A multiversion transaction scheduler for centralized multilevel secure database systems.	HASE	1996	DBLP DOI BibTeX RDF	multiversion transaction scheduler, centralized multilevel secure database systems, multilevel secure database management systems, MLS/DBMSs, secure multiversion scheduling protocol, serializable schedules, MLS noninterference assertions, timestamp generation, concurrency, concurrency control, transactions, correctness, contention, failure, covert channels, data access, abstract model, concurrent execution, multiple versions
24	Henri B. Weinberg, Nancy A. Lynch	Correctness of vehicle control systems-a case study.	RTSS	1996	DBLP DOI BibTeX RDF	vehicle control systems correctness, vehicle deceleration manoeuvres, automated transportation systems, hybrid I/O automata, hybrid input output automata, invariant assertions, simulation mappings, differential calculus, real time systems, case study, vehicles, correctness verification
24	Timothy J. Shimeall, Nancy G. Leveson	An Empirical Comparison of Software Fault Tolerance and Fault Elimination.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	fault elimination, run-time assertions, multiversion voting, stepwise abstraction, static data-flow analysis, project resources, fault tolerant computing, software reliability, software reliability, program testing, software fault tolerance, functional testing, structural testing, code reading
24	Eric Saund	Symbolic Construction of a 2-D Scale-Space Image.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	2-D scale-space image, multiscale primitive shape description, grouping operations, edge primitives, partial-region assertions, curved contours, primitive corners, bars, pattern recognition, pattern recognition, picture processing, picture processing
24	Florian Eibensteiner, Rainer Findenig, Markus Pfaff	SynPSL: Behavioral Synthesis of PSL Assertions.	EUROCAST	2009	DBLP DOI BibTeX RDF	Synthesis, PSL, Assertion-based Verification
24	Ayla Dantas	Improving developers' confidence in test results of multi-threaded systems: avoiding early and late assertions.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	multi-threaded systems testing, aspect-oriented programming, software monitoring
24	Robert Wille, Görschwin Fey, Marc Messing, Gerhard Angst, Lothar Linhard, Rolf Drechsler	Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking.	DSD	2008	DBLP DOI BibTeX RDF
24	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
24	Doron Bustan, John Havlicek	Some Complexity Results for SystemVerilog Assertions.	CAV	2006	DBLP DOI BibTeX RDF
24	Rajendra Bose, Robert G. Mann, Diego Prina-Ricotti	AstroDAS: Sharing Assertions Across Astronomy Catalogues Through Distributed Annotation.	IPAW	2006	DBLP DOI BibTeX RDF
24	George Economakos	Behavioral synthesis with SystemC and PSL assertions for interface specification.	ISCAS	2006	DBLP DOI BibTeX RDF
24	Ramtilak Vemu, Jacob A. Abraham	CEDA: Control-flow Error Detection through Assertions.	IOLTS	2006	DBLP DOI BibTeX RDF
24	Marc Lohmann, Gregor Engels, Stefan Sauer 0001	Model-driven Monitoring: Generating Assertions from Visual Contracts.	ASE	2006	DBLP DOI BibTeX RDF
24	Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.	FMCO	2005	DBLP DOI BibTeX RDF
24	Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti 0001	Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules.	VLSI Design	2005	DBLP DOI BibTeX RDF
24	Patrick C. K. Hung, Guang-Sha Qui	Implementing conflict of interest assertions in WS-policy with separation of duties for Web-Services matchmaking process.	Inf. Syst. E Bus. Manag.	2004	DBLP DOI BibTeX RDF	Matchmaking process, Separation of duties, Conflict of interest, WS-policy, Chinese wall security policy
24	Alexander Lazovik, Marco Aiello 0001, Mike P. Papazoglou	Associating assertions with business processes and monitoring their execution.	ICSOC	2004	DBLP DOI BibTeX RDF	service and AI computing, theoretical frameworks for service representation and composition, monitoring, management, quality, service delivery
24	Daniel Leivant	Partial Correctness Assertions Provable in Dynamic Logics.	FoSSaCS	2004	DBLP DOI BibTeX RDF
24	Mary Keeler	Using Brandom's Framework to Do Peirce's Normative Science: Pragmatism as the Game of Harmonizing Assertions?	ICCS	2004	DBLP DOI BibTeX RDF
24	Jørgen Villadsen	Paraconsistent Assertions.	MATES	2004	DBLP DOI BibTeX RDF
24	Patrick C. K. Hung, Guang-Sha Qiu	Specifying conflict of interest assertions in WS-policy with Chinese wall security policy.	SIGecom Exch.	2003	DBLP DOI BibTeX RDF	WS-policy attachment, security assertion, XML, security policy, delegation, matchmaking, conflict of interest, WS-policy, service locators, Chinese wall security policy
24	Vânia Maria Ponte Vidal, Marco A. Casanova	Efficient Maintenance of XML Views Using View Correspondence Assertions.	EC-Web	2003	DBLP DOI BibTeX RDF
24	Olga Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante	Soft-Error Detection Using Control Flow Assertions.	DFT	2003	DBLP DOI BibTeX RDF
24	Daniel Powell	Deriving Verification Conditions and Program Assertions to Support Software Inspection.	APSEC	2002	DBLP DOI BibTeX RDF	practical formal methods, stepwise abstraction, clean-room software development, verification, inspection, reading techniques, trusted components
24	Rainer Osswald	Assertions, Conditionals, and Defaults.	WCII	2002	DBLP DOI BibTeX RDF
24	Jonny Vinter, Joakim Aidemark, Peter Folkesson, Johan Karlsson	Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recover.	DSN	2001	DBLP DOI BibTeX RDF