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 |
|