Search results for "Correctness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Milos Besta, Frank A. Stomp	An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm.	ICECCS	2006	DBLP DOI BibTeX RDF
19	Alessandro Coglio, Cordell Green	A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets.	VSTTE	2005	DBLP DOI BibTeX RDF
19	Nikola Milanovic	Contract-Based Web Service Composition Framework with Correctness Guarantees.	ISAS	2005	DBLP DOI BibTeX RDF
19	Jian Cai, Wen Zhao, Shikun Zhang, Lifu Wang	Correctness Verification of synchronization based workflow model.	ICEBE	2005	DBLP DOI BibTeX RDF	workjlow logic, workjlow semantic, model checking, Petri net, workflow, spin model checker
19	Yue Li 0019, Depei Qian, Chunxiao Xing, Ying He 0002	The PARNEM: Using Network Emulation to Predict the Correctness and Performance of Applications.	GCC	2005	DBLP DOI BibTeX RDF
19	Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger	Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
19	Emre Kycyman, Yi-Min Wang	Discovering Correctness Constraints for Self-Management of System Configuration.	ICAC	2004	DBLP DOI BibTeX RDF
19	Tiberiu Seceleanu, Juha Plosila	Constituent Elements of a Correctness-Preserving UML Design Approach.	IFM	2004	DBLP DOI BibTeX RDF	UML, refinement, Action Systems
19	Carlo Sartiani	On the Correctness of Query Results in XML P2P Databases.	Peer-to-Peer Computing	2004	DBLP DOI BibTeX RDF
19	Dexter Kozen, Jerzy Tiuryn	Substructural logic and partial correctness.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	specification, linear logic, Dynamic logic, Hoare logic, sequent calculus, substructural logic, Kleene algebra, Kleene algebra with tests
19	Ewen Denney, Bernd Fischer 0002	Correctness of Source-Level Safety Policies.	FME	2003	DBLP DOI BibTeX RDF	program safety, code certification, Program verification, Hoare logic, proof-carrying code
19	Susumu Nishimura	Correctness of a Higher-Order Removal Transformation through a Relational Reasoning.	APLAS	2003	DBLP DOI BibTeX RDF
19	Aaron Wilson, Margaret M. Burnett, Laura Beckwith, Orion Granatir, Ledah Casburn, Curtis R. Cook, Mike Durham, Gregg Rothermel	Harnessing curiosity to increase correctness in end-user programming.	CHI	2003	DBLP DOI BibTeX RDF	forms/3, surprise-explain-reward strategy, assertions, end-user software engineering, curiosity
19	Milo M. K. Martin, Mark D. Hill, David A. Wood 0001	Token Coherence: Decoupling Performance and Correctness.	ISCA	2003	DBLP DOI BibTeX RDF
19	Micaela Mayero	Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm).	TPHOLs	2002	DBLP DOI BibTeX RDF
19	Timothy Griffin, Gordon T. Wilfong	On the correctness of IBGP configuration.	SIGCOMM	2002	DBLP DOI BibTeX RDF	BGP congfiguration, internal BGP, BGP, border gateway protocol
19	Andrés Farías, Mario Südholt	On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction.	OTM	2002	DBLP DOI BibTeX RDF
19	Karl Meinke, L. J. Steggles	Correctness of dataflow and systolic algorithms using algebras of streams.	Acta Informatica	2001	DBLP DOI BibTeX RDF
19	Joseph E. Stoy, Xiaowei Shen, Arvind	Proofs of Correctness of Cache-Coherence Protocols.	FME	2001	DBLP DOI BibTeX RDF
19	Cristiano Calcagno	Stratified operational semantics for safety and correctness of the region calculus.	POPL	2001	DBLP DOI BibTeX RDF
19	Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones	A Framework for Microprocessor Correctness Statements.	CHARME	2001	DBLP DOI BibTeX RDF
19	Anthony C. J. Fox, Neal A. Harman	Algebraic Models of Correctness for Microprocessors.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Formal Verification, Microprocessors, Algebraic Models
19	Jing Dong 0005, Paulo S. C. Alencar, Donald D. Cowan	Ensuring Structure and Behavior Correctness in Design Composition.	ECBS	2000	DBLP DOI BibTeX RDF	design composition, formal methods, design patterns, temporal logic, first-order logic, component-based software development, design components
19	Adam Fischbach, John Hannan	Specification and Correctness of Lambda Lifting.	SAIG	2000	DBLP DOI BibTeX RDF
19	Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi	Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution.	ASP-DAC	1999	DBLP DOI BibTeX RDF
19	Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas	A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer.	CHARME	1999	DBLP DOI BibTeX RDF
19	Michel Bidoit, Rolf Hennicker	Modular Correctness Proofs of Behavioural Implementations.	Acta Informatica	1998	DBLP DOI BibTeX RDF
19	Wolfgang Goerigk, Ulrich Hoffmann 0002	Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct.	FM-Trends	1998	DBLP DOI BibTeX RDF
19	Antonio Cerone, David A. Kearney, George J. Milne	Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems.	ACSD	1998	DBLP DOI BibTeX RDF
19	David Sands 0001	Proving the Correctness of Recursion-Based Automatic Program Transformations.	TAPSOFT	1995	DBLP DOI BibTeX RDF
19	J. R. Jefferson Wadkins	Rigorous proofs of program correctness without formal logic.	SIGCSE	1995	DBLP DOI BibTeX RDF
19	Mitchell Wand	Specifying the Correctness of Binding-Time Analysis.	POPL	1993	DBLP DOI BibTeX RDF
19	Soumen Chakrabarti, Katherine A. Yelick	On the Correctness of a Distributed Memory Gröbner basis Algorithm.	RTA	1993	DBLP DOI BibTeX RDF
19	Mitchell Wand, Dino Oliva	Proving the Correctness of Storage Representations.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
19	Matthias Mutz	Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior.	CAV	1991	DBLP DOI BibTeX RDF
19	Mitchell Wand	Correctness of Procedure Representations in Higher-Order Assembly Language.	MFPS	1991	DBLP DOI BibTeX RDF
19	William M. Farmer, John D. Ramsdell, Ronald J. Watro	A Correctness Proof for Combinator Reduction with Cycles.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
19	Carl A. Gunter	Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs.	POPL	1990	DBLP DOI BibTeX RDF
19	Annalisa Bossi, Nicoletta Cocco	Verifying Correctness of Logic Programs.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
19	Jeannette M. Wing	Verifying Atomic Data Types.	REX Workshop	1989	DBLP DOI BibTeX RDF	fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types
19	Frank A. Stomp	A Derivation of a Broadcasting Protocol Using Sequentially Phased Reasoning.	REX Workshop	1989	DBLP DOI BibTeX RDF
19	David E. Langworthy	Evaluating correctness criteria for transactions.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
19	Masaki Murakami	Proving Partial Correctness of Guarded Horn Clauses Programs.	LP	1987	DBLP DOI BibTeX RDF
19	Peter Dybjer	Using Domain Algebras to Prove the Correctness of a Compiler.	STACS	1985	DBLP DOI BibTeX RDF
19	Vijay A. Saraswat	Partial correctness semantics for CP [ , \| , &].	FSTTCS	1985	DBLP DOI BibTeX RDF
19	Oscar H. Ibarra, Louis E. Rosier	The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract).	MFCS	1984	DBLP DOI BibTeX RDF
19	Derek Coleman, Robin M. Gallimore	Partial Correctness of Distributed Programs.	Program Specification	1981	DBLP DOI BibTeX RDF
19	Leslie Lamport	A New Approach to Proving the Correctness of Multiprocess Programs.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
19	Arthur G. Duncan, Lawrence Yelowitz	Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness.	ICALP	1979	DBLP DOI BibTeX RDF
19	Filip Maric	Formalization and Implementation of Modern SAT Solvers.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Algorithms, Data structures, Software verification, DPLL, SAT solving
19	Matthew Staats, Mats Per Erik Heimdahl	Partial Translation Verification for Untrusted Code-Generators.	ICFEM	2008	DBLP DOI BibTeX RDF
19	Thirumalaisamy Ragunathan, P. Krishna Reddy	Improving the Performance of Read-Only Transactions Through Speculation.	DNIS	2007	DBLP DOI BibTeX RDF	Transaction processing, Serializability, Speculation, Read-Only Transactions
19	David S. Hardin, Eric W. Smith, William D. Young	A robust machine code proof framework for highly secure applications.	ACL2	2006	DBLP DOI BibTeX RDF	cryptography, theorem proving, certification, symbolic simulation, ACL2, high-assurance, processor modeling
19	Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa	Tool-Assisted Specification and Verification of Typed Low-Level Languages.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	virtual machine, theorem proving, Java Card, bytecode verification
19	Pierre Salverda, Grigore Rosu, Craig B. Zilles	Formally Defining and Verifying Master/Slave Speculative Parallelization.	FM	2005	DBLP DOI BibTeX RDF
19	Usa Sammapun, Insup Lee 0001, Oleg Sokolsky	RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.	RTCSA	2005	DBLP DOI BibTeX RDF
19	José Raymundo Marcial-Romero, Martín Hötzel Escardó	Semantics of a Sequential Language for Exact Real-Number Computation.	LICS	2004	DBLP DOI BibTeX RDF
19	Daniel Hoffman, Durga Prabhakar, Paul A. Strooper	Testing iptables.	CASCON	2003	DBLP BibTeX RDF	IP
16	Peter Dadam, Manfred Reichert	The ADEPT project: a decade of research and development for robust and flexible process support.	Comput. Sci. Res. Dev.	2009	DBLP DOI BibTeX RDF	Process Flexibility, Robustness, Workflow Management, Business Process Management, Correctness by Construction, Process Change
16	Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane	An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	correctness, reachability analysis, multiway decision graphs, HOL theorem prover
16	Artem Polyvyanyy, Luciano García-Bañuelos, Mathias Weske	Unveiling Hidden Unstructured Regions in Process Models.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF	Process structure tree, process model analysis, process model correctness, process model transformation
16	Sudipta Kundu, Zachary Tatlock, Sorin Lerner	Proving optimizations correct using parameterized program equivalence.	PLDI	2009	DBLP DOI BibTeX RDF	compiler optimization, correctness, translation validation
16	Rose H. Abdul Rauf, Ulrich Berger 0001, Anton Setzer	A Provably Correct Translation of the lambda -Calculus into a Mathematical Model of C++.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Simply typed lambda-calculus, Kripke-style logical relation, Object-oriented programming, Functional programming, Inheritance, Denotational semantics, Correctness proof
16	Tolga Ayav, Pascal Fradet, Alain Girault	Implementing fault-tolerance in real-time programs by automatic program transformations.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Fault-tolerance, program transformations, checkpointing, correctness proofs, heartbeating
16	Alberto Pettorossi, Maurizio Proietti	Totally correct logic program transformations via well-founded annotations.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Program transformation rules, Partial and total correctness, Well-founded orderings, Logic programming
16	Laurence Rideau, Bernard P. Serpette, Xavier Leroy	Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Parallel move, Parallel assignment, The Coq proof assistant, Compilation, Compiler correctness
16	Basil Becker, Holger Giese	Modeling of correct self-adaptive systems: a graph transformation system based approach.	CSTST	2008	DBLP DOI BibTeX RDF	invariant checking, modeling, correctness, graph transformations, self-adaptive systems
16	Bruno Galilée, Franck Mamalet, Marc Renaudin, Pierre-Yves Coulon	Parallel Asynchronous Watershed Algorithm-Architecture.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Asynchronous algorithm-architecture, performance evaluation, image segmentation, hill-climbing, correctness proof, parallel processors, watershed
16	Long Zhang 0001, Wei Chen 0001, David S. Ebert, Qunsheng Peng 0001	Conservative voxelization.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Conservative correctness, GPU, Voxelization
16	Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel	Necessary and sufficient conditions for deterministic desynchronization.	EMSOFT	2007	DBLP DOI BibTeX RDF	endochrony, execution machine, reaction to signal absence, correctness, determinism, GALS, desynchronization, kahn process network
16	Stephen Drape, Clark D. Thomborson, Anirban Majumdar 0001	Specifying Imperative Data Obfuscations.	ISC	2007	DBLP DOI BibTeX RDF	Data Obfuscation, Specification, Refinement, Correctness
16	Neal A. Harman	Algebraic Models of Simultaneous Multithreaded and Multi-core Processors.	CALCO	2007	DBLP DOI BibTeX RDF	many-sorted algebra, verification, microprocessors, correctness, threaded
16	Michal Armoni	On the role of proofs in a course on design and analysis of algorithms.	ACM SIGCSE Bull.	2006	DBLP DOI BibTeX RDF	algorithms, correctness, proof
16	Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard	Automated Translation of C/C++ Models into a Synchronous Formalism.	ECBS	2006	DBLP DOI BibTeX RDF	GNU Compiler Collection, Synchronous Formalism, Functional and Compositional Design Correctness, Formal Methods, SIGNAL, Static Single Assignment
16	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.	POPL	2006	DBLP DOI BibTeX RDF	subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction
16	Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller 0001, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump	Roadmap for enhanced languages and methods to aid verification.	GPCE	2006	DBLP DOI BibTeX RDF	verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction
16	Karthikeyan Bhargavan, Carl A. Gunter	Network Event Recognition.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	correctness of implementations, languages for network protocols, network event recognition, NERL, Network monitoring, protocol verification, formal analysis
16	Klaus Haller, Heiko Schuldt, Can Türker	Decentralized coordination of transactional processes in peer-to-peer environments.	CIKM	2005	DBLP DOI BibTeX RDF	DSGT, global correctness, partial rollback, transactional processes, peer-to-peer communication, decentralized coordination
16	Anna Paszynska	An extension of vose's markov chain model for genetic algorithms.	GECCO	2005	DBLP DOI BibTeX RDF	Bentley's GA, asymptotic correctness, genetic algorithms, theory, schema theory, ergodity, Markov chain model
16	Fubo Zhang, Erik H. D'Hollander	Using Hammock Graphs to Structure Programs.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	optimization, parallel processing, compilers, Program transformation, structured programming, correctness proofs, software/program verification
16	Francisco José Galán Morillo, José Miguel Cañete Valdeón	A Method for Compiling and Executing Expressive Assertions.	IFM	2004	DBLP DOI BibTeX RDF	programming with assertions, meaning-preservingtransformation, formal specification, testing, logic program, correctness, Assertion, program synthesis
16	César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler	Formal verification of conflict detection algorithms.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Conflict detection correctness, Aircraft trajectory modeling, AILS alerting algorithm, Formal methods
16	Marius Bozga, Radu Iosif, Yassine Lakhnech	Storeless semantics and alias logic.	PEPM	2003	DBLP DOI BibTeX RDF	heap models, weakest precondition, total correctness
16	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Probabilistic Invariants for Probabilistic Machines.	ZB	2003	DBLP DOI BibTeX RDF	the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions
16	Martin Erwig, Deling Ren	A rule-based language for programming software updates.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	type change, update program, update safey, type correctness
16	Janis Voigtländer	Concatenate, reverse and map vanish for free.	ICFP	2002	DBLP DOI BibTeX RDF	list abstraction, rank-2 types, shortcut deforestation, the concatenate vanishes, theorems for free, program transformation, denotational semantics, combinators, parametricity, correctness proofs
16	Svend Frølund, Rachid Guerraoui	X-Ability: a theory of replication.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Exactly-once, Correctness condition, Replication, High-availability, Multi-tier systems
16	Ta-Chung Chang, Vikram Iyengar, Elizabeth M. Rudnick	A Biased Random Instruction Generation Environment for Architectural Verification of Pipelined Processors.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	architectural verification, biased random instruction generation, correctness checking, design error coverage, design verification, coverage metrics
16	Philip W. L. Fong, Robert D. Cameron	Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking
16	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Testing embedded real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
16	Naijun Zhan	Another formal proof for Deadline Driven Scheduler.	RTCSA	2000	DBLP DOI BibTeX RDF	Deadline Driven Scheduler, DDS correctness, random preemption, induction rules, induction propositions, intuitive facts, scheduling, real-time systems, theorem proving, process algebra, duration calculus, formal proof, DC
16	Jonathan S. Shapiro, Sam Weber	Verifying the EROS Confinement Mechanism.	S&P	2000	DBLP DOI BibTeX RDF	capability systems, verification, formal specification, operating systems, confinement, proof of correctness
16	Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater	Model Checking of Workflow Schemas.	EDOC	2000	DBLP DOI BibTeX RDF	workflow schemas, error-prone process, primitive syntactic verification, automata-based method, compositional reachability analysis, model checking, formal methods, formal verification, robustness, correctness, reachability analysis, liveness properties
16	Flemming Nielson, Hanne Riis Nielson	Type and Effect Systems.	Correct System Design	1999	DBLP DOI BibTeX RDF	Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness
16	Colin D. Walter	Moduli for Testing Implementations of the RSA Cryptosystem.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF	RSA modulus, implementation validation benchmark, verification, testing, cryptography, Computer arithmetic, correctness
16	Patrícia D. L. Machado	On Oracles for Interpreting Test Results against Algebraic Specifications.	AMAST	1998	DBLP DOI BibTeX RDF	formal verification, correctness, algebraic specification, specification based-testing, oracle
16	Carroll Morgan	The Generalised Substitution Language Extended to Probabilistic Programs.	B	1998	DBLP DOI BibTeX RDF	GSL, Probability, weakest preconditions, B, program correctness, generalised substitutions
16	Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre	Petri nets based proofs of Ada 95 solution for preference control.	APSEC	1997	DBLP DOI BibTeX RDF	Petri nets based proofs, preference control, dining philosophers paradigm, entry families, requeue statements, Petri nets, deadlock, colored Petri nets, Ada 95, correctness proofs, starvation, protected objects
16	Willem C. Mallon, Jan Tijmen Udding	Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications.	ASYNC	1997	DBLP DOI BibTeX RDF	delay-insensitive specifications, recursive definition, linear proofs, intuitive induction rule, algebraic specification, algebraic specifications, theorem provers, correctness proofs, proof rules, proof rule
16	James B. Hiller, Thomas C. Hartrum	Conservative Synchronization in Object-Oriented Parallel Battlefield Discrete Event Simulations.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF	execution time savings, generic simulation attributes, logical correctness, null message algorithm, parallel battlefield discrete event simulations, simulation system design, spatially decomposed simulation, deadlock, military computing, performance gain, object-oriented simulation, load imbalance, conservative synchronization