|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8467 occurrences of 3600 keywords
|
|
|
Results
Found 8775 publication records. Showing 8775 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
34 | Wlodzimierz Drabent, Miroslawa Milkowska |
Proving Correctness and Completeness of Normal Programs - A Declarative Approach. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Chih Lai, H. Rebecca Callison |
A framework for simulation of concurrency control policy in real-time systems. |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP DOI BibTeX RDF |
concurrency control policy, formal policies, logical correctness, concurrently executing processes, real-time environments, performance, real-time systems, real-time systems, resource allocation, virtual machines, distributed processing, concurrency control, transaction processing, correctness, scheduling policy, overload management, transaction processing systems |
32 | B. M. Subraya, Anshul Kumar, Shashi Kumar |
An HOL based framework for design of correct high level synthesizers. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
HOL based framework, high level synthesizer design, design correctness guarantee, verifiable templates, synthesis module correctness, formal verification, high level synthesis, modularity, formal logic, higher order logic, verification process, formal framework |
32 | Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry |
Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
dynamic code optimization, dynamic correctness checking, dynamic program analysis |
32 | Marcin Bator, Leszek J. Chmielewski |
Finding regions of interest for cancerous masses enhanced by elimination of linear structures and considerations on detection correctness measures in mammography. |
Pattern Anal. Appl. |
2009 |
DBLP DOI BibTeX RDF |
Tumour, Correctness measure, Accumulation line detector, Detection, ROI, Mammograms, Cancer, Elimination, Linear structures |
32 | Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, Huipeng Guo |
Automated synthesis of composite services with correctness guarantee. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
composition synthesis, correctness constraints, learning algorithm |
32 | Lei Pan 0002, Lynn Margaret Batten |
Robust Correctness Testing for Digital Forensic Tools. |
e-Forensics |
2009 |
DBLP DOI BibTeX RDF |
correctness testing, data carving tools, digital forensics |
32 | Janis Voigtländer |
Proving correctness via free theorems: the case of the destroy/build-rule. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
intermediate data structures, rank-2 types, shortcut deforestation, theorems for free, program transformations, correctness proofs, relational parametricity |
32 | Paulin Jacobé de Naurois, Virgile Mogbil |
Correctness of Multiplicative Additive Proof Structures is NL-Complete. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Correctness Criterion, Multiplicative Additive Linear Logic, NL-completness, Computational Complexity, proof-nets |
32 | Matteo Bordin, Tullio Vardanega |
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
Model-Driven Architecture, Metamodelling, Correctness by construction, Ravenscar Profile |
32 | Robert M. Hierons |
Avoiding coincidental correctness in boundary value analysis. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
boundary value analysis, coincidental correctness, domain faults, Test case generation |
32 | Regivan Hugo Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly |
Formal Aspects of Correctness and Optimality of Interval Computations. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Interval representations, Optimality, Correctness, Continuity, Interval analysis |
32 | Yi Wei, Shihong Xia, Dengming Zhu |
A robust method for analyzing the physical correctness of motion capture data. |
VRST |
2006 |
DBLP DOI BibTeX RDF |
equations of multi-rigid- body's motion, physical correctness, motion capture data |
32 | Kun Peng, Colin Boyd, Ed Dawson |
Simple and Efficient Shuffling with Provable Correctness and ZK Privacy. |
CRYPTO |
2005 |
DBLP DOI BibTeX RDF |
privacy, correctness, permutation, zero knowledge, Shuffling |
32 | Shuo Yang, Ali Raza Butt, Y. Charlie Hu, Samuel P. Midkiff |
Trust but verify: monitoring remotely executing programs for progress and correctness. |
PPoPP |
2005 |
DBLP DOI BibTeX RDF |
progress monitoring, security, grid computing, trustworthiness, correctness verification, cycle-sharing |
32 | Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava |
Model Checking Correctness Properties of Electronic Contracts. |
ICSOC |
2003 |
DBLP DOI BibTeX RDF |
contract representation, contract enforcement, correctness requirements, safety and liveness properties, model-checking, validation, finite state machine, Contract, electronic contract |
32 | J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy |
The Application of Correctness Preserving Transformations to Software Maintenance. |
ICSM |
2000 |
DBLP DOI BibTeX RDF |
correctness preserving transformation, formal methods, Reverse engineering, public key cryptography, code optimization |
32 | Stefano Ceri, Giuseppe Pelagatti |
Correctness of Query Execution Strategies in Distributed Databases. |
ACM Trans. Database Syst. |
1983 |
DBLP DOI BibTeX RDF |
correctness of database access, distributed database access, relational algebra, read-only transactions |
31 | Daniel Wasserrab, Denis Lohner, Gregor Snelting |
On PDG-based noninterference and its modular proof. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
modularity, program slicing, noninterference, correctness proof, program dependence graph |
31 | Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis |
Correct Execution of Transactions at Different Isolation Levels. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
transactions, correctness, serializability, Isolation levels |
31 | Markus Müller-Olm, Andreas Wolf 0004 |
On Excusable and Inexcusable Failures. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
runtime-error, verification, compiler, refinement, correctness, divergence, predicate transformer |
31 | Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi |
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. |
ICSEA |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Bogumil Zieba, Marten van Sinderen |
Preservation of Correctness During System Reconfiguration in Data Distribution Service for Real-Time Systems (DDS). |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Keum-Young Sung |
Specification with Java IDL for Correctness and Maintainability of Distributed Software System. |
ICAS |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Stacy Patterson, Divyakant Agrawal, Amr El Abbadi |
Guaranteeing Correctness of Lock-Free Range Queries over P2P Data. |
DBISP2P |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Per Runeson, Måns Holmstedt Jönsson, Fredrik Scheja |
Are Found Defects an Indicator of Software Correctness? An Investigation in a Controlled Case Study. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Mark D. Aagaard, Nancy A. Day, Meng Lou |
Relating Multi-step and Single-Step Microprocessor Correctness Statements. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Krzysztof R. Apt |
Correctness Proofs of Distributed Termination Algorithms. |
ACM Trans. Program. Lang. Syst. |
1986 |
DBLP DOI BibTeX RDF |
CSP |
30 | Peter Wegner |
Granularity of modules in object-based concurrent systems. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Bruce Martin |
Concurrent programming vs. concurrency control: shared events or shared data. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
29 | 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 |
29 | Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb |
Design and Specification of Iterators Using the Swapping Paradigm. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
swapping paradigm, common interface model, user defined iterator abstractions, modular correctness proofs, formal specification, formal specification, formal methods, program verification, program verification, iterators, iterator designs, swapping, proof of correctness, modular reasoning, data encapsulation, imperative languages |
28 | Yanlong Zhai, Hongyi Su, Shouyi Zhan |
A Reflective Framework to Support Adaptive Service Composition under Correctness Constrains. |
ICIW |
2008 |
DBLP DOI BibTeX RDF |
adaptive composition, web service, reflection, correctness, data flow analysis |
28 | Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal |
On the correctness issues in two-process mutual exclusion algorithms. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
parallel processing, weakest precondition, program specification, program correctness |
28 | Matthias F. Stallmann, Suzanne Balik, Robert D. Rodman, Sina Bahram, Michael C. Grace, Susan D. High |
ProofChecker: an accessible environment for automata theory correctness proofs. |
ITiCSE |
2007 |
DBLP DOI BibTeX RDF |
accessibility, finite automata, correctness proof |
28 | Dirk Niebuhr, Andreas Rausch |
A concept for dynamic wiring of components: correctness in dynamic adaptive systems. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
runtime testing, adaptation, component, reconfiguration, correctness, dynamic adaptive systems |
28 | Arthur Charlesworth |
Comprehending software correctness implies comprehending an intelligence-related limitation. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Peano arithmetic, Zermelo-Fraenkel set theory, infallibility, partial correctness, Agent, consistency, soundness, Hoare logic, Turing machine, limitation, formal proof, halting problem |
28 | Giacomo Bucci, Luigi Sassoli, Enrico Vicario |
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification |
28 | Lunjin Lu |
Use of correctness assertions in declarative diagnosis. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
correctness assertions, declarative diagnosis, logic programs |
28 | Roel J. Wieringa, Jaap Gordijn |
Value-oriented design of service coordination processes: correctness and trust. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
business process modeling and specification, requirements for service-oriented processes, trust, e-business, correctness, value modeling, service coordination |
28 | Corneliu Popeea, Wei-Ngan Chin |
A type system for resource protocol verification and its correctness proof. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis |
28 | Sabine Glesner |
Program Checking with Certificates: Separating Correctness-Critical Code. |
FME |
2003 |
DBLP DOI BibTeX RDF |
safety-scalability, real-scale applications, verification, validation, certificates, correctness, program checking |
28 | Corrie Huijs |
Design Correctness of Digital Systems. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
model refinement and heterogeneity, high-level synthesis, correctness, transformational design |
28 | Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin |
Verifying The Correctness Of Cryptographic Protocols Using "Convince". |
ACSAC |
1996 |
DBLP DOI BibTeX RDF |
Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support |
28 | David R. Lester, Sava Mintchev |
Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
Congruence Proof, Lambda Calculus, Denotational Semantics, Theorem Prover, Compiler Correctness |
28 | Ernst-Rüdiger Olderog |
From Trace Specifications to Process Terms. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes |
28 | Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu |
A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
transaction controller, distributed processing, program verification, transaction processing, transaction processing, programming theory, system recovery, communicating sequential processes, correctness proof, distributed deadlock detection |
27 | Martha E. Crosby, Curtis S. Ikehara, Wendy S. Ark |
Identifying the Nature of Knowledge Using the Pressures Applied to a Computer Mouse. |
HCI (16) |
2009 |
DBLP DOI BibTeX RDF |
pressure sensitive computer mouse, confidence of correctness, knowledge |
27 | Ahmed Guessoum, Rached N. Zantout |
A Methodology for Evaluating Arabic Machine Translation Systems. |
Mach. Transl. |
2004 |
DBLP DOI BibTeX RDF |
lexical semantic correctness, grammatical coverage, evaluation, coverage, Arabic, lexicons, pronoun resolution |
27 | Steve Dunne, Andy Galloway |
Lifting General Correctness into Partial Correctness is ok. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Bernhard Josko |
Verifying the Correctness of AADL Modules Using Model Checking. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
model checking, verification, temporal logic, computer architecture, expressiveness, modular specification |
27 | Thomas A. Henzinger |
From Boolean to quantitative notions of correctness. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
quantitative specification, quantitative synthesis, quantitative analysis |
27 | Walter Guttmann |
General Correctness Algebra. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Xuanhua Li, Donald Yeung |
Application-Level Correctness and its Impact on Fault Tolerance. |
HPCA |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Manfred Schmidt-Schauß |
Correctness of Copy in Calculi with Letrec. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jens Müller 0004, Andreas Gössling, Sergei Gorlatch |
On correctness of scalable multi-server state replication in online games. |
NETGAMES |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Prakash Linga, Adina Crainiceanu, Johannes Gehrke, Jayavel Shanmugasundaram |
Guaranteeing Correctness and Availability in P2P Range Indices. |
SIGMOD Conference |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson |
Studying program correctness in ProVIDE. |
ITiCSE |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson |
Studying program correctness by constructing contracts. |
ITiCSE |
2003 |
DBLP DOI BibTeX RDF |
Java, design by contract, axiomatic semantics |
27 | John Hughes 0001 |
The Correctness of Type Specialisation. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Marius A. Cornea-Hasegan, Roger A. Golliver, Peter W. Markstein |
Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms. |
IEEE Symposium on Computer Arithmetic |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Peter V. Homeier, David F. Martin |
Mechanical Verification of Total Correctness through Diversion Verification Conditions. |
TPHOLs |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Devendra Kumar, S. Sitharama Iyengar |
A Semiformal Correctness Proof of a Network Broadcast Algorithm. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Robert F. Stärk |
Total Correctness of Logic Programs: A Formal Approach. |
ELP |
1996 |
DBLP DOI BibTeX RDF |
Formal methods in logic programming, verification of logic programs, pure Prolog, negation as failure |
27 | Mark Moriconi, Xiaolei Qian |
Correctness and Composition of Software Architectures. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Divyakant Agrawal, Amr El Abbadi, Ambuj K. Singh |
Consistency and Orderability: Semantics-Based Correctness Criteria for Databases. |
ACM Trans. Database Syst. |
1993 |
DBLP DOI BibTeX RDF |
serializability theory, semantics, concurrency control, object-oriented databases |
27 | Wolfgang Reif |
An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing. |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Stephen L. Bloom, Zoltán Ésik |
Program Correctness and Matricial Iteration Theories. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Alan D. Fekete, Nancy A. Lynch, Liuba Shrira |
A Modular Proof of Correctness for a Network Synchronizer (Research Summary). |
WDAG |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Simon S. Lam |
Protocol conversion - correctness problems. |
SIGCOMM |
1986 |
DBLP DOI BibTeX RDF |
|
27 | E. Allen Emerson, Edmund M. Clarke |
Characterizing Correctness Properties of Parallel Programs Using Fixpoints. |
ICALP |
1980 |
DBLP DOI BibTeX RDF |
|
27 | Matthew M. Geller |
Test Data as an Aid in Proving Program Correctness. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
Inductive assertions, Modular programming, Program verification, Program testing, Recursive programs |
25 | Kassem Saleh, Robert L. Probert |
Synthesis of Error-Recoverable Protocol Specifications from Service Specifications. |
ICCI |
1990 |
DBLP DOI BibTeX RDF |
syntactic correctness, synthesis, error-recovery, protocol design, semantic correctness, Communication software |
25 | Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf |
Validating The Utility Of Abstraction Techniques. |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
Abstraction and representation, Verification, Formal specification, Validation, Programming languages, Correctness, Types, Abstract data types, Encapsulation, Programming methodology, Proofs of correctness, Modular decomposition |
24 | Wes Masri, Rawad Abou Assi |
Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
coincidental correctness, software testing, fault localization |
24 | Hartmut Ehrig, Claudia Ermel, Frank Hermann 0001, Ulrike Prange |
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
Model transformation, correctness, triple graph grammars |
24 | Xiaolei Gao, Huaikou Miao |
Proving Total Correctness of Refinement Based on Tableau. |
ISPA |
2009 |
DBLP DOI BibTeX RDF |
Tableau method, Specification, refinement, theorem proving, Program Synthesis, total correctness |
24 | Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst |
Soundness and Niceness as Correctness Criteria for Grid Workflows. |
eScience |
2008 |
DBLP DOI BibTeX RDF |
correctness, grid workflow |
24 | René Wörzberger, Thomas Kurpick, Thomas Heer |
On Correctness, Compliance and Consistency of Process Models. |
WETICE |
2008 |
DBLP DOI BibTeX RDF |
models, consistency, process, correctness, compliance |
24 | Christopher Thomson, Mike Holcombe |
Correctness of data mined from CVS. |
MSR |
2008 |
DBLP DOI BibTeX RDF |
data mining, correctness, CVS |
24 | Douglas Herbert, Vinaitheerthan Sundaram, Yung-Hsiang Lu, Saurabh Bagchi, Zhiyuan Li 0001 |
Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking. |
ACM Trans. Auton. Adapt. Syst. |
2007 |
DBLP DOI BibTeX RDF |
correctness monitoring, fault tolerance and diagnostics, programming models and languages, data integrity, tools, Invariants, network protocols, run-time, in-network processing and aggregation |
24 | João Araújo 0001, Didar Zowghi, Ana Moreira 0001 |
An evolutionary model of requirements correctness with early aspects. |
IWPSE |
2007 |
DBLP DOI BibTeX RDF |
requirements correctness, aspect-oriented software development, early aspects |
24 | Alexandros Ntoulas, Junghoo Cho |
Pruning policies for two-tiered inverted index with correctness guarantee. |
SIGIR |
2007 |
DBLP DOI BibTeX RDF |
correctness guarantee, pruning, web search engines, inverted index |
24 | Klaus Indermark, Thomas Noll 0001 |
Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. |
Acta Informatica |
2006 |
DBLP DOI BibTeX RDF |
Stack implementation, Formal semantics, Functional languages, Evaluation strategies, Compiler correctness |
24 | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
Types for path correctness of XML queries. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
XML types, XML queries, type correctness |
24 | Lilian Burdy, Antoine Requet, Jean-Louis Lanet |
Java Applet Correctness: A Developer-Oriented Approach. |
FME |
2003 |
DBLP DOI BibTeX RDF |
Proof User Interface, Java, Correctness Proof |
24 | Sorin Lerner, Todd D. Millstein, Craig Chambers |
Automatically proving the correctness of compiler optimizations. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
automated correctness proofs, compiler optimization |
24 | Orna Raz, Mary Shaw |
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions. |
IWSSD |
2000 |
DBLP BibTeX RDF |
Medium-assurance software, everyday software, fitness for task, open resource coalitions, sufficient correctness, software homeostasis, distributed component-based software, fault tolerance |
24 | Bojan Cukic |
Combining Testing and Correctness Verification in Software Reliability Assessment. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
probability of correctness, process-control software, Software reliability, safety-critical systems, statistical sampling |
24 | Kenneth P. Smith, Barbara T. Blaustein, Sushil Jajodia, LouAnna Notargiacomo |
Correctness Criteria for Multilevel Secure Transactions. |
IEEE Trans. Knowl. Data Eng. |
1996 |
DBLP DOI BibTeX RDF |
multilevel secure transactions, transaction execution correctness criteria, distributed databases, concurrency control, Atomicity, database security, locking protocols |
24 | Manuel Blum 0001, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor |
Checking the Correctness of Memories |
FOCS |
1991 |
DBLP DOI BibTeX RDF |
memories correctness checking, reliable memory, sequence of requests, data structure, lower bounds, probability, program checking |
24 | Ralph-Johan Back |
Refinement Calculus, Part II: Parallel and Reactive Programs. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering |
24 | Ralph-Johan Back, Joakim von Wright |
Refinement Calculus, Part I: Sequential Nondeterministic Programs. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness |
24 | David K. Probst, Hon Fung Li |
Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
correctness proving, abstract specification, synchronous data types, systolic network implementations, Parnas trace method, VLSI, VLSI, data structures, data flow, control flow, cellular arrays, software modules |
24 | Jan J. M. M. Rutten |
Correctness and full abstraction of metric semantics for concurrency. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction |
24 | Philip A. Bernstein, David W. Shipman |
The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1). |
ACM Trans. Database Syst. |
1980 |
DBLP DOI BibTeX RDF |
correctness of concurrency control, serializability theory, distributed database system, conflict graph |
24 | Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta |
Automatic Verification of Parameterized Data Structures. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
Parameterized correctness, Data structures |
24 | Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve |
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
modelling, verification, Petri nets, workflow, correctness, soundness, separability, serialisability |
24 | Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright |
Class Refinement as Semantics of Correct Object Substitutability. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Class refinement, Code inheritance, Behavioural compatibility, Object substitutability, Semantics of object-oriented constructs, Implicit and explicit invariants, New methods, Correctness, Subtyping, Subclassing |
24 | Daniel Brand, Reinaldo A. Bergamaschi, Leon Stok |
Be careful with don't cares. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
specifications, logic design, logic CAD, correctness, replaceability, don't cares |
Displaying result #101 - #200 of 8775 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|