Search results for "assertions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Glynn Winskel	A Complete System for SCCS with Modal Assertions.	FSTTCS	1985	DBLP DOI BibTeX RDF
16	Steven Vere	Temporal Scope of Assertions and Window Cutoff.	IJCAI	1985	DBLP BibTeX RDF
16	Leszek Lilien, Bharat K. Bhargava	A Scheme for Batch Verification of Integrity Assertions in a Database System.	IEEE Trans. Software Eng.	1984	DBLP DOI BibTeX RDF
16	Glynn Winskel	On the Composition and Decomposition of Assertions.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
16	Silvio Valentini	The Modal Logic of Consistency Assertions of Peano Arithmetic.	Math. Log. Q.	1983	DBLP DOI BibTeX RDF
16	Albert R. Meyer, John C. Mitchell	Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability	Inf. Control.	1983	DBLP DOI BibTeX RDF
16	Aamer Mahmood, Edward J. McCluskey, David J. Lu	Concurrent Fault Detection Using a Watchdog Processor and Assertions.	ITC	1983	DBLP BibTeX RDF
16	Vladimir Lifschitz	Constructive Assertions in an Extension of Classical Mathematics.	J. Symb. Log.	1982	DBLP DOI BibTeX RDF
16	Krzysztof R. Apt	Recursive Assertions and Parallel Programs.	Acta Informatica	1981	DBLP DOI BibTeX RDF
16	Bharat K. Bhargava, Leszek Lilien	On optimal scheduling of integrity assertions in a transaction processing system.	Int. J. Parallel Program.	1981	DBLP DOI BibTeX RDF
16	Horst Müller	Inductive Assertions for Analyzing Reachability Sets.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
16	N. Frances, Michael Rodeh, Michel Sintzoff	Distributed Termination with Interval Assertions.	ICFPC	1981	DBLP DOI BibTeX RDF
16	Ali Mili 0001	Self-Checking Programs: An Axiomatic Approach to the Validation of Programs by the Use of Assertions		1981	RDF
16	Richard N. Taylor	Assertions in programming languages.	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
16	Sanat K. Basu	A Note on Synthesis of Inductive Assertions.	IEEE Trans. Software Eng.	1980	DBLP DOI BibTeX RDF
16	Frank F. Land	A critical view of some recent assertions about MIS and DBMS.	Inf. Manag.	1980	DBLP DOI BibTeX RDF
16	Krzysztof R. Apt, Lambert G. L. T. Meertens	Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes.	SIAM J. Comput.	1980	DBLP DOI BibTeX RDF
16	S. W. Ng, Adrian Walker	Max-Mim Chaining of Weighted Causal Assertions is Loop Free.	AAAI	1980	DBLP BibTeX RDF
16	Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke	Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data.	VLDB	1980	DBLP BibTeX RDF
16	Henry S. Warren Jr.	Optimization of Inductive Assertions.		1980	RDF
16	George Boolos	Reflection Principles and Iterated Consistency Assertions.	J. Symb. Log.	1979	DBLP DOI BibTeX RDF
16	Krzysztof R. Apt, Jan A. Bergstra, Lambert G. L. T. Meertens	Recursive Assertions are not enough - or are they?	Theor. Comput. Sci.	1979	DBLP DOI BibTeX RDF
16	David B. Wortman	On Legality Assertions in Euclid.	IEEE Trans. Software Eng.	1979	DBLP DOI BibTeX RDF
16	Dushan Z. Badal	On Efficient Monitoring of Database Assertions in Distributed Databases.	Berkeley Workshop	1979	DBLP BibTeX RDF
16	Albert R. Meyer, Irene Greif	Can Partial Correctness Assertions Specify Programming Language Semantics?.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
16	Stef. W. Postma	FEA: a formal English subset for Algebra/Assertions.	ACM SIGPLAN Notices	1978	DBLP DOI BibTeX RDF
16	Zohar Manna, Richard J. Waldinger	Is "Sometime" Sometimes Better Than "Always"? (Intermittent Assertions in Proving Program Correctness).	Commun. ACM	1978	DBLP DOI BibTeX RDF
16	Reino Kurki-Suonio	Nondeterminism, parallelism and intermittent assertions.	Mathematical Studies of Information Processing	1978	DBLP DOI BibTeX RDF
16	Wolfram Bartussek, David Lorge Parnas	Using assertions about traces to write abstract specifications for software modules.	ECI	1978	DBLP DOI BibTeX RDF
16	Michael Condict	The Pascal dynamic array controversy and a method for enforcing global assertions.	ACM SIGPLAN Notices	1977	DBLP DOI BibTeX RDF
16	Patrick Cousot, Radhia Cousot	Automatic synthesis of optimal invariant assertions: Mathematical foundations.	Artificial Intelligence and Programming Languages	1977	DBLP DOI BibTeX RDF
16	Ben Wegbreit	Complexity of Synthesizing Inductive Assertions.	J. ACM	1977	DBLP DOI BibTeX RDF
16	Judea Pearl	On summarizing data using probabilistic assertions.	IEEE Trans. Inf. Theory	1977	DBLP DOI BibTeX RDF
16	Dianne E. Britton, Ralph B. McLaughlin, Richard J. Orgass	A note concerning intermittent assertions.	SIGACT News	1977	DBLP DOI BibTeX RDF
16	Wolfgang Coy	A Note on the Automatic Generation of Inductive Assertions.	MFCS	1976	DBLP DOI BibTeX RDF
16	Zohar Manna, Richard J. Waldinger	Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness.	ICSE	1976	DBLP BibTeX RDF
16	Edward A. Ashcroft	Proving Assertions about Parallel Programs.	J. Comput. Syst. Sci.	1975	DBLP DOI BibTeX RDF
16	Steven M. German, Ben Wegbreit	A Synthesizer of Inductive Assertions.	IEEE Trans. Software Eng.	1975	DBLP DOI BibTeX RDF
16	Michel Caplain	Finding Invariant assertions for proving programs.	Reliable Software	1975	DBLP DOI BibTeX RDF
16	Steven M. German, Ben Wegbreit	A synthesizer of inductive assertions.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
16	Susan L. Gerhart	Assertions and APL programming.	APL	1975	DBLP DOI BibTeX RDF
16	Derek C. Oppen, Stephen A. Cook	Proving Assertions about Programs that Manipulate Data Structures	STOC	1975	DBLP DOI BibTeX RDF
16	Ben Wegbreit	Heuristic Methods for Mechanically Deriving Inductive Assertions.	IJCAI	1973	DBLP BibTeX RDF
16	Ralph L. London	Experience with inductive assertions for proving programs correct.	Symposium on Semantics of Algorithmic Languages	1971	DBLP DOI BibTeX RDF
15	Steffen Heinzl, Benjamin Schmeling	Using XML schema to improve writing, validation, and structure of WS-policies.	SAC	2010	DBLP DOI BibTeX RDF	WS-SecurityPolicy, domain-specific policy, validation, policy, XML schema, WS-policy
15	Jean-Phillipe Martin, Michael Hicks 0001, Manuel Costa, Periklis Akritidis, Miguel Castro 0001	Dynamically checking ownership policies in concurrent c/c++ programs.	POPL	2010	DBLP DOI BibTeX RDF	security, testing, concurrency, debugging, tools, dynamic analysis
15	Christopher Ré, Dan Suciu	Understanding cardinality estimation using entropy maximization.	PODS	2010	DBLP DOI BibTeX RDF	distinct value estimation, database theory, maximum entropy, cardinality estimation
15	Emina Torlak, Mandana Vaziri, Julian Dolby	MemSAT: checking axiomatic specifications of memory models.	PLDI	2010	DBLP DOI BibTeX RDF	sat, bounded model checking, memory models, axiomatic specifications
15	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
15	Jacob Burnim, Koushik Sen	DETERMIN: inferring likely deterministic specifications of multithreaded programs.	ICSE (1)	2010	DBLP DOI BibTeX RDF	parallel programs, determinism, specification inference
15	Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001	Parameterized unit testing: theory and practice.	ICSE (2)	2010	DBLP DOI BibTeX RDF	Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects
15	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
15	Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor	Psi-calculi: Mobile Processes, Nominal Data, and Logic.	LICS	2009	DBLP DOI BibTeX RDF
15	Bernhard Hollunder	Domain-Specific Processing of Policies or: WS-Policy Intersection Revisited.	ICWS	2009	DBLP DOI BibTeX RDF
15	Regina N. Hebig, Christoph Meinel, Michael Menzel 0001, Ivonne Thomas, Robert Warschofsky	A Web Service Architecture for Decentralised Identity- and Attribute-Based Access Control.	ICWS	2009	DBLP DOI BibTeX RDF
15	Stavros Tripakis	A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis.	RV	2009	DBLP DOI BibTeX RDF
15	Daniel Schwartz-Narbonne, Carven Chan, Yogesh S. Mahajan, Sharad Malik	Supporting RTL flow compatibility in a microarchitecture-level design framework.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	microarchitecture level, transactions, formal models, hierarchical design, hardware resources
15	Saurabh Srivastava 0001, Sumit Gulwani	Program verification using templates over predicate abstraction.	PLDI	2009	DBLP DOI BibTeX RDF	constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers
15	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
15	Zvonimir Rakamaric, Alan J. Hu	A Scalable Memory Model for Low-Level Code.	VMCAI	2009	DBLP DOI BibTeX RDF
15	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
15	Doron Drusinsky, James Bret Michael, Man-tak Shing	A framework for computer-aided validation.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Model checking, Formal methods, Runtime verification, Validation and verification
15	Jeff B. Paris, David Picado-Muiño, Michael Rosefield	Information from Inconsistent Knowledge: A Probability Logic Approach.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
15	Simon Baker, Fiora Au, Gillian Dobbie, Ian Warren	Automated Usability Testing Using HUI Analyzer.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF
15	Andreas Podelski	Verification, Least-Fixpoint Checking, Abstraction.	VSTTE	2008	DBLP DOI BibTeX RDF
15	Ahti-Veikko Pietarinen	Diagrammatic Logic of Existential Graphs: A Case Study of Commands.	Diagrams	2008	DBLP DOI BibTeX RDF	diagrammatic logic, existential graphs, tinctures, multi-modality, commands, multi-dimensionality
15	Claudia d'Amato, Nicola Fanizzi, Floriana Esposito	Analogical Reasoning in Description Logics.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF
15	Holger Gast	Lightweight Separation.	TPHOLs	2008	DBLP DOI BibTeX RDF
15	Larissa Meinicke, Ian J. Hayes	Probabilistic Choice in Refinement Algebra.	MPC	2008	DBLP DOI BibTeX RDF
15	Bruno Barras, Bruno Bernardo	The Implicit Calculus of Constructions as a Programming Language with Dependent Types.	FoSSaCS	2008	DBLP DOI BibTeX RDF
15	Myoung Kim, Yoonsik Cheon	A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs.	ICST	2008	DBLP DOI BibTeX RDF	genetic algorithms, object-oriented programming, test data generator, fitness function, evolutionary testing, pre and postconditions, JML language
15	Paolo Ceravolo, Ernesto Damiani, Marcello Leida	Ontology Robustness in Evolution.	OTM Workshops	2008	DBLP DOI BibTeX RDF	Migration of Instances, Ontology Evolution, Ontology Construction
15	Gergely Lukácsy, Péter Szeredi, Balázs Kádár	Prolog Based Description Logic Reasoning.	ICLP	2008	DBLP DOI BibTeX RDF	logic programming, description logic, resolution, large data sets
15	Malak T. Al-Nory, Alexander Brodsky 0001	Unifying simulation and optimization of strategic sourcing and transportation.	WSC	2008	DBLP DOI BibTeX RDF
15	Sergei N. Artëmov, Elena Nogina	Topological Semantics of Justification Logic.	CSR	2008	DBLP DOI BibTeX RDF	Justification Logic, Logic of Proofs, topological semantics, Tarski, modal logic
15	Salvatore Ruggieri, Frédéric Mesnard	Typing Linear Constraints for Moding CLP() Programs.	SAS	2008	DBLP DOI BibTeX RDF	well-moding, constraint logic programming, definiteness, polyhedra, linear constraints
15	Xutao Du, Chunxiao Xing, Lizhu Zhou	Abstract Reachability Graph for Verifying Web Service Interfaces.	ICSR	2008	DBLP DOI BibTeX RDF
15	Michiel De Smet, Andreas Weiermann	Phase Transitions for Weakly Increasing Sequences.	CiE	2008	DBLP DOI BibTeX RDF	Ackermann function, weakly increasing sequences, Erdös-Szekeres, Dilworth, phase transitions, Ramsey theory
15	Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman	A Temporal Language for SystemC.	FMCAD	2008	DBLP DOI BibTeX RDF
15	Ken Koster	A state coverage tool for JUnit.	ICSE Companion	2008	DBLP DOI BibTeX RDF	coverage, unit testing, structural testing, test adequacy criteria, taint analysis, state coverage
15	Xutao Du, Chunxiao Xing, Lizhu Zhou	Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	web service interface, verification, web service composition, reachability analysis
15	Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The software model checker Blast.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Model checking, Software verification, Test-case generation, Software specification, Memory safety
15	Richard D. Boyce, Carol Collins, John R. Horn, Ira Kalet	Modeling Drug Mechanism Knowledge Using Evidence and Truth Maintenance.	IEEE Trans. Inf. Technol. Biomed.	2007	DBLP DOI BibTeX RDF
15	Subir K. Roy	Top Level SOC Interconnectivity Verification Using Formal Techniques.	MTV	2007	DBLP DOI BibTeX RDF
15	Nicola Fanizzi, Claudia d'Amato, Floriana Esposito	Instance-based retrieval by analogy.	SAC	2007	DBLP DOI BibTeX RDF	disjunctive version space, description logics, nearest neighbor, analogy
15	Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn	Variance analyses from invariance analyses.	POPL	2007	DBLP DOI BibTeX RDF	formal verification, program analysis, termination, liveness, software model checking
15	Yuchul Jung, Joo-Young Lee, Youngho Kim, Jaehyun Park, Sung-Hyon Myaeng, Hae-Chang Rim	Building a Large-Scale Commonsense Knowledge Base by Converting an Existing One in a Different Language.	CICLing	2007	DBLP DOI BibTeX RDF
15	Junwu Zhu, Jiandong Wang, Bin Li 0006	SSOA: a Semantic Service-Oriented Architecture Based on Fuzzy Assertion System.	CSCWD	2007	DBLP DOI BibTeX RDF
15	John Harrison 0001	Automating Elementary Number-Theoretic Proofs Using Gröbner Bases.	CADE	2007	DBLP DOI BibTeX RDF
15	James D. Jones, Susanna Badiola, Daley Seeker	A Preliminary Discussion of Fluents for Knowledge Representation in a Meta-Reasoner for Enterprise Information Systems.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Meta-reasoning, Artificial intelligence, Logic programming, Situation calculus
15	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
15	Michele Banko, Oren Etzioni	Strategies for lifelong knowledge extraction from the web.	K-CAP	2007	DBLP DOI BibTeX RDF	machine reading, lifelong learning
15	Patrice Chalin	A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler.	ICSE	2007	DBLP DOI BibTeX RDF
15	Subrat Kumar Panda, Arnab Roy 0001, P. P. Chakrabarti 0001, Rajeev Kumar 0004	Simulation Based Verification using Temporally Attributed Boolean Logic.	VLSI Design	2007	DBLP DOI BibTeX RDF
15	Atsushi Kasuya, Tesh Tesfaye	Verification Methodologies in a TLM-to-RTL Design Flow.	DAC	2007	DBLP DOI BibTeX RDF
15		Applying Formal Methods to Compositionality Description of Web Service.	ICIW	2007	DBLP DOI BibTeX RDF
15	Ali Habibi, Sofiène Tahar	Design and verification of SystemC transaction-level models.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
15	Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego	Constraint satisfaction techniques for diagnosing errors in design by contract software.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	Diagnosis, Design by Contract
15	Gary T. Leavens, Albert L. Baker, Clyde Ruby	Preliminary design of JML: a behavioral interface specification language for java.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
15	Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff	Checking JML specifications using an extensible software model checking framework.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF