Search results for "assertion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Michal Iglewski, Janina Mincer-Daszkiewicz	Internal Design of Modules Specified in the Trace Assertion Method.	Sci. Comput. Program.	1997	DBLP DOI BibTeX RDF
16	Staffan Bonnier, Tim Heyer	COMPASS: A Comprehensible Assertion Method.	TAPSOFT	1997	DBLP DOI BibTeX RDF
16	Johan Boye, Wlodzimierz Drabent, Jan Maluszynski	Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach.	AADEBUG	1997	DBLP BibTeX RDF
16	Mikhail Auguston, Peter Fritzson	Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications.	Int. J. Softw. Eng. Knowl. Eng.	1996	DBLP DOI BibTeX RDF
16	Xiaorong Huang	Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level.	PRICAI	1996	DBLP DOI BibTeX RDF
16	Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Lynn Elliott, Ramin Mojdehbakhsh	Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application].	CBMS	1996	DBLP DOI BibTeX RDF
16	Ward Douglas Maurer	Relative Precision in the Inductive Assertion Method.	WNAA	1996	DBLP DOI BibTeX RDF
16	Sven Thelemann	Assertion of Consistency Within a Complex Object Database Using a Relationship Construct.	OOER	1995	DBLP DOI BibTeX RDF
16	Jeffrey M. Voas	Software Testability Measurement for Assertion Placement and Fault Localization.	AADEBUG	1995	DBLP BibTeX RDF
16	Mikhail Auguston, Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad	AUI - the Debugger and Assertion Checker for the Awk Programming Language.	AADEBUG	1995	DBLP BibTeX RDF
16	Paula Brito	Order Structure of Symbolic Assertion Objects.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF
16	Frank S. de Boer	Compositionality in the Inductive Assertion Method for Concurrent Systems.	PROCOMET	1994	DBLP BibTeX RDF
16	Hwei Yin, James M. Bieman	Improving Software Testability with Assertion Insertion.	ITC	1994	DBLP DOI BibTeX RDF
16	Stephen S. Yau, Jacob V. Gore	Paradigm Lost: Discovering the Intersection of Assertion-Guided Program Construction and Constraint-Driven Reevaluation.	Comput. J.	1993	DBLP DOI BibTeX RDF
16	Thomas Liedtke	Rechnergestützte Anwendung der allgemeinen Intermittent-Assertion-Methode auf while-Konstrukte.		1993	RDF
16	Mikhail Auguston, Peter Fritzson	PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications.	PDP	1993	DBLP DOI BibTeX RDF
16	François Bourdoncle	Assertion-based Debugging of Imperative Programs by Abstract Interpretation.	ESEC	1993	DBLP DOI BibTeX RDF
16	Sharon E. Perl	Performance Assertion Checking (Abstract).	ACM SIGOPS Oper. Syst. Rev.	1992	DBLP DOI BibTeX RDF
16	Philippe Gautron	An Assertion Mechanism Based on Exceptions.	C++ Conference	1992	DBLP BibTeX RDF
16	Sharon E. Perl	Performance assertion checking.		1992	RDF
16	Joyce P. McDowell	Quasi-assertion.	J. Semant.	1991	DBLP DOI BibTeX RDF
16	Carlo Ghezzi, Richard A. Kemmerer	ASTRAL: An Assertion Language for Specifying Realtime Systems.	ESEC	1991	DBLP DOI BibTeX RDF
16	Laurence T. Maloney, Albert J. Ahumada	Learning by Assertion: Two Methods for Calibrating a Linear Visual System.	Neural Comput.	1989	DBLP DOI BibTeX RDF
16	Frank A. Stomp, Willem P. de Roever, Rob Gerth	The upsilon-Calculus as an Assertion-Language for Fairness Arguments	Inf. Comput.	1989	DBLP DOI BibTeX RDF
16	Susan Darling Urban	ALICE: an assertion language for integrity constraint expression.	COMPSAC	1989	DBLP DOI BibTeX RDF
16	Wlodzimierz Drabent, Jan Maluszynski	Inductive Assertion Method for Logic Programs.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
16	Timothy Williamson	Assertion, denial and some cancellation rules in modal logic.	J. Philos. Log.	1988	DBLP DOI BibTeX RDF
16	Bruce M. McMillin, Lionel M. Ni	Executable assertion development for the distributed parallel environment.	COMPSAC	1988	DBLP DOI BibTeX RDF
16	Bernie Elfrink, Han Reichgelt	The Use of Assertion-Time Inference in Logic-Based Knowledge Bases.	ECAI	1988	DBLP BibTeX RDF
16	Lawrence Chung, Daniel Rios-Zertuche, Brian A. Nixon, John Mylopoulos	Process Management and Assertion Enforcement for a Semantic Data Model.	EDBT	1988	DBLP DOI BibTeX RDF
16	Gerard J. Holzmann	Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching.	IEEE Trans. Software Eng.	1987	DBLP DOI BibTeX RDF
16	Daniel H. Cohen	A new axiomatization of Belnap's conditional assertion.	Notre Dame J. Formal Log.	1986	DBLP DOI BibTeX RDF
16	I. S. Kononenko	Speech Acts of Assertion in Cooperative Informational Dialogue.	COLING	1986	DBLP BibTeX RDF
16	Robert W. Blanning	A relational framework for assertion management.	Decis. Support Syst.	1985	DBLP DOI BibTeX RDF
16	G. Edward Barton Jr., Robert C. Berwick	Parsing with Assertion Sets and Information Monotonicity.	IJCAI	1985	DBLP BibTeX RDF
16	Terence Parsons	Assertion, denial, and the Liar Paradox.	J. Philos. Log.	1984	DBLP DOI BibTeX RDF
16	Hiroshi Nakagawa	AND Parallel PROLOG with Divided Assertion Set.	SLP	1984	DBLP BibTeX RDF
16	Morris M. Siegel	Proving Properties of SNOBOL 4 Patterns: Selecting the Assertion Format.	Symposium on Programming	1984	DBLP DOI BibTeX RDF
16	Ronald J. Brachman, Hector J. Levesque, Richard Fikes	KRYPTON: Integrating Terminology and Assertion.	AAAI	1983	DBLP BibTeX RDF
16	Osvaldo Carvalho, Gérard Roucairol	On the Distribution of an Assertion.	PODC	1982	DBLP DOI BibTeX RDF
16	Horst Müller	Correctness Proof for the Alternating Bit Protocol by Assertion Systems.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
16	James C. King	Program Correctness: On Inductive Assertion Methods.	IEEE Trans. Software Eng.	1980	DBLP DOI BibTeX RDF
16	Stephen S. Yau, John L. Ramey, Robin A. Nicholl	Assertion techniques for dynamic monitoring of linear list data structures.	J. Syst. Softw.	1980	DBLP DOI BibTeX RDF
16	Neil D. Jones, Steven S. Muchnick	Complexity of Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra	FOCS	1980	DBLP DOI BibTeX RDF
16	Karel Vosátka	Intermittent-assertion method as a structural induction.	Kybernetika	1979	DBLP BibTeX RDF
16	Richard E. Fairley	ALADDIN: Assembly Language Assertion Driven Debugging Interpreter.	IEEE Trans. Software Eng.	1979	DBLP DOI BibTeX RDF
16	Andrzej Blikle	Assertion Programming.	MFCS	1979	DBLP DOI BibTeX RDF
16	Stephen S. Yau, John L. Ramey	Assertion techniques for dynamic monitoring of linear list data structures.	COMPSAC	1979	DBLP DOI BibTeX RDF
16	Wen-Tsuen Chen, Jone-Ping Ho, Chia-Hsien Wen	Dynamic validation of programs using assertion checking facilities.	COMPSAC	1978	DBLP DOI BibTeX RDF
16	Jayadev Misra	Prospects and Limitations of Automatic Assertion Generation for Loop Programs.	SIAM J. Comput.	1977	DBLP DOI BibTeX RDF
16	Edward A. Ashcroft, William W. Wadge	Intermittent Assertion Proofs in Lucid.	IFIP Congress	1977	DBLP BibTeX RDF
16	Tsun S. Chow	A Generalized Assertion Language.	ICSE	1976	DBLP BibTeX RDF
16	J. Michael Dunn	Axiomatizing Belnap's conditional assertion.	J. Philos. Log.	1975	DBLP DOI BibTeX RDF
16	J. W. de Bakker, Lambert G. L. T. Meertens	On the Completeness of the Inductive Assertion Method.	J. Comput. Syst. Sci.	1975	DBLP DOI BibTeX RDF
16	Stephen A. Cook, Derek C. Oppen	An Assertion Language for Data Structures.	POPL	1975	DBLP DOI BibTeX RDF
16	Leon G. Stucki, Gary L. Foshee	New assertion concepts for self-metric software validation.	Reliable Software	1975	DBLP DOI BibTeX RDF
16	Ruth Manor	A semantic analysis of conditional assertion.	J. Philos. Log.	1974	DBLP DOI BibTeX RDF
16	Maarten M. Fokkinga	Inductive assertion patters for recursive procedures.	Symposium on Programming	1974	DBLP DOI BibTeX RDF
16	Sanford M. Levy	A Counter Example to an Assertion of Jackson.	IEEE Trans. Electron. Comput.	1963	DBLP DOI BibTeX RDF
9	Doina Bucur, Marta Z. Kwiatkowska	Software verification for TinyOS.	IPSN	2010	DBLP DOI BibTeX RDF	sensor networks, model checking, reliability, safety, software verification, TinyOS, telos, MSP430
9	Mark Stephenson, Ram Rangan, Emmanuel Yashchin, Eric Van Hensbergen	Statistically regulating program behavior via mainstream computing.	CGO	2010	DBLP DOI BibTeX RDF	collaborative community, mainstream computing
9	Ishtiaque Hussain, Christoph Csallner	Dynamic symbolic data structure repair.	ICSE (2)	2010	DBLP DOI BibTeX RDF	data structure invariants, data structure repair, dynamic symbolic execution
9	Jacob Burnim, Koushik Sen	DETERMIN: inferring likely deterministic specifications of multithreaded programs.	ICSE (1)	2010	DBLP DOI BibTeX RDF	parallel programs, determinism, specification inference
9	Haitham S. Al-Sinani, Waleed A. Alrodhan, Chris J. Mitchell	CardSpace-liberty integration for CardSpace users.	IDtrust	2010	DBLP DOI BibTeX RDF	Liberty Alliance project, browser extension, interoperability, identity management, SAML, CardSpace
9	Ted Wobber, Thomas L. Rodeheffer, Douglas B. Terry	Policy-based access control for weakly consistent replication.	EuroSys	2010	DBLP DOI BibTeX RDF	security logic, replication, eventual consistency
9	Weizhong Qiang, Aleksandr Konstantinov	Towards cross-middleware authentication and single sign-on for ARC Grid middleware.	Comput. Sci. Res. Dev.	2009	DBLP DOI BibTeX RDF	ARC middleware, Virtual organization, Delegation, Single sign-on
9	Edward Kyriacou, Marios S. Pattichis, Constantinos S. Pattichis, Andreas Mavrommatis, Christina I. Christodoulou, Stavros K. Kakkos, Andrew Nicolaides	Classification of atherosclerotic carotid plaques using morphological analysis on ultrasound images.	Appl. Intell.	2009	DBLP DOI BibTeX RDF
9	Kay Römer, Junyan Ma	PDA: Passive distributed assertions for sensor networks.	IPSN	2009	DBLP DOI BibTeX RDF
9	Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies	Intra-module Inference.	CAV	2009	DBLP DOI BibTeX RDF
9	Catherine Havasi, Henry Lieberman, Erik T. Mueller	CSIUI 2009: story understanding and generation for aware and interactive interface design.	IUI	2009	DBLP DOI BibTeX RDF	knowledge collection, events, intelligent user interfaces, common sense reasoning, story understanding
9	Sharad Goel, Roby Muhamad, Duncan J. Watts	Social search in "Small-World" experiments.	WWW	2009	DBLP DOI BibTeX RDF	small-world experiment, social search, attrition
9	Helmut Seidl, Vesal Vojdani, Varmo Vene	A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis.	FM	2009	DBLP DOI BibTeX RDF
9	Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby	Reduced Execution Semantics of MPI: From Theory to Practice.	FM	2009	DBLP DOI BibTeX RDF
9	Bing Li, Chris Ka-Kei Kwok	Automatic formal verification of clock domain crossing signals.	ASP-DAC	2009	DBLP DOI BibTeX RDF
9	Michael Jackson 0001	Some Notes on Models and Modelling.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
9	Sergei N. Artëmov, Roman Kuznets	Logical omniscience as a computational complexity problem.	TARK	2009	DBLP DOI BibTeX RDF
9	Shumpei Akai, Shigeru Chiba	Extending AspectJ for separating regions.	GPCE	2009	DBLP DOI BibTeX RDF	synchronization, aspect-oriented programming, region, feature-oriented programming
9	Rafael Studart Monclar, Jonice Oliveira, Jano Moreira de Souza	Analysis and balancing of social network to improve the knowledge flow on multidisciplinary teams.	CSCWD	2009	DBLP DOI BibTeX RDF
9	Ping Wang, Xuemei Zhu	The Reliability Assessment of Legal Reasoning with Evidence Theory.	WKDD	2009	DBLP DOI BibTeX RDF
9	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	parallel programs, determinism, assertions
9	Karen Zee, Viktor Kuncak, Martin C. Rinard	An integrated proof language for imperative programs.	PLDI	2009	DBLP DOI BibTeX RDF	verification, theorem prover, proof system
9	Rinku Dewri, L. Darrell Whitley, Indrajit Ray, Indrakshi Ray	A multi-objective approach to data sharing with privacy constraints and preference based objectives.	GECCO	2009	DBLP DOI BibTeX RDF	anonymization bias, multi-objective optimization, constraint handling, disclosure control
9	Richard Cooper 0001, Laura Devenny	A Database System for Absorbing Conflicting and Uncertain Information from Multiple Correspondents.	BNCOD	2009	DBLP DOI BibTeX RDF	Collaboration, Reputation, Uncertain Data, Probabilistic Data
9	Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys	MoonWalker: Verification of .NET Programs.	TACAS	2009	DBLP DOI BibTeX RDF
9	David Israel Gonzalez-Aguirre, Steven Wieland, Tamim Asfour, Rüdiger Dillmann	On Environmental Model-Based Visual Perception for Humanoids.	CIARP	2009	DBLP DOI BibTeX RDF	Object Recognition, Humanoids, Model-Based Vision
9	Sandip Ray, Warren A. Hunt Jr.	Connecting pre-silicon and post-silicon verification.	FMCAD	2009	DBLP DOI BibTeX RDF
9	Zurab Khasidashvili, Daher Kaiss, Doron Bustan	A compositional theory for post-reboot observational equivalence checking of hardware.	FMCAD	2009	DBLP DOI BibTeX RDF
9	Michael Backes 0001, Boris Köpf, Andrey Rybalchenko	Automatic Discovery and Quantification of Information Leaks.	SP	2009	DBLP DOI BibTeX RDF
9	Florina Almenárez, Patricia Arias, Andrés Marín, Daniel Díaz Sánchez	Towards dynamic trust establishment for identity federation.	EATIS	2009	DBLP DOI BibTeX RDF
9	Ken-ichi Kawarabayashi, Bruce A. Reed	Hadwiger's conjecture is decidable.	STOC	2009	DBLP DOI BibTeX RDF	Hadwiger's conjecture, the four color theorem
9	Raghav Kaushik, Christopher Ré, Dan Suciu	General Database Statistics Using Entropy Maximization.	DBPL	2009	DBLP DOI BibTeX RDF
9	Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Formal verification of practical MPI programs.	PPoPP	2009	DBLP DOI BibTeX RDF	dynamic partial order reduction, model checking, message passing interface, distributed programming, mpi
9	Keith W. Miller 0001, Jeffrey M. Voas	IT as a Profession: Is Competent Creation the Primary Goal?	IT Prof.	2008	DBLP DOI BibTeX RDF
9	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
9	Anubhav Gupta 0001, Kenneth L. McMillan, Zhaohui Fu	Automated assumption generation for compositional verification.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	L*, Model checking, Formal verification, Decision tree, SAT, Compositional verification, Assume-guarantee
9	Gerzson Kéri	The covering radius of extreme binary 2-surjective codes.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classifications 94B75, 05C70, 05C65, 94B25
9	Laurence Pierre, Luca Ferro	A Tractable and Fast Method for Monitoring SystemC TLM Specifications.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
9	Subrat Kumar Panda, Arnab Roy 0001, P. P. Chakrabarti 0001, Rajeev Kumar 0004	Simulation-based verification using Temporally Attributed Boolean Logic.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Bus verification, instruction semantics verification, interrupt testing, offline-online verification algorithm, simulation based verification, temporal logic, timing verification
9	Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001	Auxiliary state machines + context-triggered properties in verification.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF
9	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	TBV, Model checking, fault models, functional verification, TLM