Search results for "Correctness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Ying Liu, Ambuj K. Singh, Rajive L. Bagrodia	A Decompositional Approach to the Design of Parallel Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	complete computer programs, decompositional approach, parallel program design, parallel implementation correctness, module specifications, frequently occurring control structures, subprograms, property refinement procedure, sequential composition, UNITY logic, UC programming language, diffusion aggregation, fluid flow simulations, formal specification, parallel programming, program verification, digital simulation, diffusion, iteration, physics computing, program control structures, program specifications, flow simulation
24	Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider	Engineering and Analysis of Fixed Priority Schedulers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	timing correctness, validation process, blocking components, fixed priority scheduling algorithms, timer-driven scheduling, event-driven scheduling, optimal timer rate, schedulability, scheduling, real-time systems, real-time applications, operating systems (computers), fixed priority schedulers, operating system kernels, scheduling theory, hardware platforms
24	Laura K. Dillon	Verifying General Safety Properties of Ada Tasking Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	safety properties verification, Ada tasking programs, isolation approach, automating partial correctness proofs, Ada, program verification, concurrent programs, deadlock, mutual exclusion, symbolic execution, multiprocessing programs
24	Wenhui Zhang	Correctness and Bounded Correctness [Keynote Address].	ICIS	2019	DBLP DOI BibTeX RDF
24	Andrei-Sebastian Buruiana, Stefan Ciobaca	Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics.	WPTE@FSCD	2018	DBLP DOI BibTeX RDF
24	Nafi Diallo, Wided Ghardallou, Ali Mili 0001	Correctness and Relative Correctness.	ICSE (2)	2015	DBLP DOI BibTeX RDF
24	Flávio Oquendo	On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL.	ICSOFT (1)	2009	DBLP BibTeX RDF
24	Franz Weber	Getting Class Correctness and System Correctness Equivalent (How to get covariance right).	TOOLS (8)	1992	DBLP BibTeX RDF
24	Dean Jacobs, David Gries	General Correctness: A Unification of Partial and Total Correctness.	Acta Informatica	1985	DBLP DOI BibTeX RDF
24	Dean Jacobs	General Correctness: A Unification of Partial and Total Correctness.		1985	RDF
23	José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, José Ramón Garitagoitia, Francesc D. Muñoz-Escoí	Correctness proof of a database replication protocol under the perspective of the I/O automaton model.	Acta Informatica	2009	DBLP DOI BibTeX RDF
23	Peter Williams, Radu Sion, Bogdan Carbunar	Building castles out of mud: practical access pattern privacy and correctness on untrusted storage.	CCS	2008	DBLP DOI BibTeX RDF	private information retrieval, data outsourcing
23	Eyad Alkassar, Peter Böhm, Steffen Knapp	Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.	MEMOCODE	2008	DBLP DOI BibTeX RDF
23	Yogesh Murarka, Umesh Bellur	Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs.	APSEC	2008	DBLP DOI BibTeX RDF
23	Vaide Zuikeviciute, Fernando Pedone	Correctness Criteria for Database Replication: Theoretical and Practical Aspects.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF
23	Raman Kazhamiakin, Andreas Metzger, Marco Pistore	Towards Correctness Assurance in Adaptive Service-Based Applications.	ServiceWave	2008	DBLP DOI BibTeX RDF
23	Eyad Alkassar, Peter Böhm, Steffen Knapp	Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.	DIPES	2008	DBLP DOI BibTeX RDF
23	Mark McKenney, Alejandro Pauly, Reasey Praing, Markus Schneider 0001	Ensuring the Semantic Correctness of Complex Regions.	ER Workshops	2007	DBLP DOI BibTeX RDF
23	Frantisek Mráz, Friedrich Otto, Martin Plátek	Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata.	MCU	2007	DBLP DOI BibTeX RDF
23	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Automatic Correctness Proofs for Logic Program Transformations.	ICLP	2007	DBLP DOI BibTeX RDF
23	Paulin Jacobé de Naurois, Virgile Mogbil	Correctness of Multiplicative (and Exponential) Proof Structures is NL -Complete.	CSL	2007	DBLP DOI BibTeX RDF
23	Günter Kniesel, Uwe Bardey	An Analysis of the Correctness and Completeness of Aspect Weaving.	WCRE	2006	DBLP DOI BibTeX RDF
23	Hartmut Messerschmidt, Frantisek Mráz, Friedrich Otto, Martin Plátek	Correctness Preservation and Complexity of Simple RL-Automata.	CIAA	2006	DBLP DOI BibTeX RDF
23	Jan Lindström	Relaxed Correctness for Firm Real-Time Databases.	RTCSA	2006	DBLP DOI BibTeX RDF
23	Milos Besta, Frank A. Stomp	A Complete Mechanization of Correctness of a String-Preprocessing Algorithm.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	formal methods, pattern matching, theorem proving, PVS
23	Michinori Nakata, Hiroshi Sakai	Checking Whether or Not Rough-Set-Based Methods to Incomplete Data Satisfy a Correctness Criterion.	MDAI	2005	DBLP DOI BibTeX RDF
23	Jens-Matthias Bohli, Jörn Müller-Quade, Stefan Röhrich	Fairness and Correctness in Case of a Premature Abort.	INDOCRYPT	2005	DBLP DOI BibTeX RDF
23	Anthony C. J. Fox	An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL.	CALCO	2005	DBLP DOI BibTeX RDF
23	Leona F. Fass	Approximations, anomalies and "the proof of correctness wars".	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	model checking, verification, testing, formal methods, specification
23	Wolf Zimmermann	On the Correctness of Transformations in Compiler Back-Ends.	ISoLA	2004	DBLP DOI BibTeX RDF
23	Lieven Desmet, Nico Janssens, Sam Michiels, Frank Piessens, Wouter Joosen, Pierre Verbaeten	Towards preserving correctness in self-managed software systems.	WOSS	2004	DBLP DOI BibTeX RDF	distributed software compositions, runtime software reconfiguration, software architectures
23	Clara Segura, Ricardo Pena	Correctness of Non-determinism Analyses in a Parallel-Functional Language.	IFL	2003	DBLP DOI BibTeX RDF
23	Mark D. Aagaard	A Hazards-Based Correctness Statement for Pipelined Circuits.	CHARME	2003	DBLP DOI BibTeX RDF
23	Gilbert Caplain	Correctness properties in a shared-memory parallel language.	J. ACM	2002	DBLP DOI BibTeX RDF	Parallel computing
23	Orieta Celiku, Joakim von Wright	Theorem Prover Support for Precondition and Correctness Calculation.	ICFEM	2002	DBLP DOI BibTeX RDF
23	Prabhas Chongstitvatana, Chatchawit Aporntewan	Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences.	Evolvable Hardware	1999	DBLP DOI BibTeX RDF
23	Anna Formica, Hans Dietmar Gröger, Michele Missikoff	An Efficient Method for Checking Object-Oriented Database Schema Correctness.	ACM Trans. Database Syst.	1998	DBLP DOI BibTeX RDF	inheritance conflicts, inheritance process, object-oriented database schemas, databases, graph theory, recursive types
23	Kyu-Woong Lee, Seog Park	Classification of Weak Correctness Criteria for Real-Time Database Applications.	COMPSAC	1996	DBLP DOI BibTeX RDF
23	Bernhard Bauer, Rolf Hennicker	Proving the Correctness of Algebraic Implementations by the ISAR System.	DISCO	1993	DBLP DOI BibTeX RDF
23	Christoph Beierle, Egon Börger	Correctness Proof For the WAM with Types.	CSL	1991	DBLP DOI BibTeX RDF
23	Maurice Herlihy, Jeannette M. Wing	Linearizability: A Correctness Condition for Concurrent Objects.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
23	Diederik Verkest, Luc J. M. Claesen, Hugo De Man	Correctness proofs of parameterized hardware modules in the CATHEDRAL-II synthesis environment.	EURO-DAC	1990	DBLP DOI BibTeX RDF
23	Ernst-Rüdiger Olderog	Correctness of Concurrent Processes.	MFCS	1989	DBLP DOI BibTeX RDF
23	Victor M. Markowitz, Arie Shoshani	On the Correctness of Representing Extended Entity-Relationship Structures in the Relational Model.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
23	Kim Guldstrand Larsen	Compositional Theories Based on an Operational Semantics of Contexts.	REX Workshop	1989	DBLP DOI BibTeX RDF	Classification of Compositionality, Contexts as Transducers, Relative Bisimulation, Recursive Modal Logic, Weakest Property Transformer, Process Algebra, Bisimulation, Reactive Systems, Environments, Compositionality
23	Henry F. Korth, Gregory D. Speegle	Formal Model of Correctness Without Serializability.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
23	Laurian M. Chirica, David F. Martin	Toward Compiler Implementation Correctness Proofs.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
23	Gilles Bernot, Michel Bidoit, Christine Choppy	Abstract Implementations and Correctness Proofs.	STACS	1986	DBLP DOI BibTeX RDF
23	Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward	Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs.	POPL	1980	DBLP DOI BibTeX RDF
23	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
23	Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul	Towards the Pervasive Verification of Automotive Systems.	CHARME	2005	DBLP DOI BibTeX RDF
23	Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm	Provably Correct Compiler Development and Implementation.	CC	1992	DBLP DOI BibTeX RDF
20	Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh	Transactions in the jungle.	SPAA	2010	DBLP DOI BibTeX RDF	transactional memory, correctness, memory models
20	Joonhyuk Yoo, Manoj Franklin	Hierarchical Verification for Increasing Performance in Reliable Processors.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Active verification management, Filter checker, Correctness non-critically, Fault tolerance, Performance, Hierarchical verification
20	Aytekin Vargun, David R. Musser	Code-carrying theory.	SAC	2008	DBLP DOI BibTeX RDF	secure code delivery, correctness, proof-carrying code, memory safety
20	Yifat Ben-David Kolikant	Computer-science education as a cultural encounter: a socio-cultural framework for articulating learning difficulties.	ITiCSE	2008	DBLP DOI BibTeX RDF	sociocultural theories, correctness, learning difficulties
20	Erez Shalom, Yuval Shahar, Meirav Taieb-Maimon, Guy Bar, Susana B. Martins, Ohad Young, Laszlo T. Vaszar, Yair Liel, Avi Yarkoni, Mary K. Goldstein, Akiva Leibowitz, Tal Marom, Eitan Lunenfeld	Can Physicians Structure Clinical Guidelines? Experiments with a Mark-Up-Process Methodology.	K4HelP	2008	DBLP DOI BibTeX RDF	Mark-up, Ontologies, Evaluation, Knowledge acquisition, Completeness, Correctness, Clinical guidelines, Clinical decision support systems
20	Yanlong Zhai, Hongyi Su, Shouyi Zhan	A Reflective Framework to Improve the Adaptability of BPEL-based Web Service Composition.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	web service, adaptability, composition, correctness
20	Mike Livesey, Ronald Morrison, David S. Munro	The Doomsday distributed termination detection protocol.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Distributed termination detection, Protocols, Correctness
20	Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford	Providing a formal linkage between MDG and HOL.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Verification system correctness, Hybrid verification systems, Formal hardware verification, Usability verification
20	Chris Nettleton, Wilson Ifill, Colin Marsh	Towards a demonstrably-correct ada compiler.	SIGAda	2007	DBLP DOI BibTeX RDF	compiler, correctness, ada95
20	Xiaozhou Li 0001, Jayadev Misra, C. Greg Plaxton	Concurrent Maintenance of Rings.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Distributed algorithm, Concurrency, Correctness, Network protocols, Distributed data structures
20	Kun Peng, Colin Boyd, Ed Dawson, Eiji Okamoto	A Novel Range Test.	ACISP	2006	DBLP DOI BibTeX RDF	interval range, range test, specialized zero test, correctness, soundness
20	Luc Moreau 0001, Peter Dickman, Richard E. Jones	Birrell's distributed reference listing revisited.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	distributed reference counting/listing, proof of correctness, Distributed garbage collection
20	Alberto Pettorossi, Maurizio Proietti	A theory of totally correct logic program transformations.	PEPM	2004	DBLP DOI BibTeX RDF	partial and total correctness, program transformation rules, well-founded orderings, logic programming
20	Mary Shaw	"Self-healing": softening precision to avoid brittleness: position paper for WOSS '02: workshop on self-healing systems.	WOSS	2002	DBLP DOI BibTeX RDF	software homeostasis, software utility theory, sufficient correctness, self-healing systems
20	Tei-Wei Kuo, Aloysius K. Mok	Real-Time Data Semantics and Similarity-Based Concurrency Control.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	schedule correctness, Concurrency control, similarity, serializability, real-time database
20	Joachim Biskup, David W. Embley	Mediated Information Gain.	IDEAS	2000	DBLP DOI BibTeX RDF	mediated information gain, human burden, algorithmically tractable subtasks, quality level, mediation task, formal information state, returned answer, internal consistency maintenance, relevant source parts, searching, information systems, implementation, embeddings, querying, completeness, rules, correctness, user interactions, updating, sensor fusion, high-level architecture, iteration, schema, precision, revisions, heterogeneous data sources, instance, query specifications
20	Neelam Soundarajan	Refining Interactions in a Distributed System.	FAABS	2000	DBLP DOI BibTeX RDF	Interaction refinement, Communication traces, Correctness criteria
20	Markus Müller-Olm, Andreas Wolf 0004	On the Translation of Procedures to Finite Machines.	ESOP	2000	DBLP DOI BibTeX RDF	resource-limitation, verification, compiler, refinement, correctness, procedure, predicate transformer
20	Colin D. Walter	Data Integrity in Hardware for Modular Arithmetic.	CHES	2000	DBLP DOI BibTeX RDF	checker circuit, fault tolerance, testing, cryptography, data integrity, RSA, Computer arithmetic, correctness, error correction, soft errors, Montgomery multiplication, modular multiplication, modular exponentiation
20	Ed Brinksma	Cache Consistency by Design.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Caching protocols, Correctness preserving, Transformations, Process algebra, Reactive systems, Formal design
20	Shao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok	Similarity-based load adjustment for real-time data-intensive applications.	RTSS	1997	DBLP DOI BibTeX RDF	similarity-based load adjustment, real-time data-intensive applications, application semantics, semantics-based concurrency control, read events, write events, system workload, transaction skipping, performance, resource allocation, air traffic control, data consistency, simulation experiments, correctness criteria
20	Pierre Flener, Kung-Kiu Lau, Mario Ornaghi	Correct-Schema-Guided Synthesis of Steadfast Programs.	ASE	1997	DBLP DOI BibTeX RDF	steadfast programs, semi-automated software development, schema correctness, structured program design principles, hierarchical program synthesis, syntactic representation, higher-order expressions, informal knowledge capture, program schema formalisation, open first-order logical theory, open logic program, logic programming, program synthesis, domain knowledge
20	Robert J. Hall 0001	Reactive System Validation using Automated Reasoning over a Fragment Library.	ASE	1997	DBLP DOI BibTeX RDF	reactive system validation, fragment library, intermediate protocol step, protocol outcomes, CS-NC protocol, personal channel agent, eavesdropper actions, protocol message, channel identifiers, correctness, automated reasoning, software libraries, keys
20	Zena M. Ariola	Relating graph and term rewriting via Böhm models.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Term model, Compiler optimizations, Correctness, Term rewriting, Graph rewriting
20	Jan Hlavicka, Stanislav Racek, Pavel Smrha	Functional Validation of Fault-Tolerant Asynchronous Algorithms.	EUROMICRO	1996	DBLP DOI BibTeX RDF	fault-tolerant asynchronous algorithms, distributed asynchronous algorithms, algorithm correctness, process-oriented discrete simulation, fault injector, C-based validation tool, C-Sim, C-coded implementation, distributed election algorithm, formal specification, communication channels, time behavior, functional validation, state observer, failure semantics
20	Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell	Automated verification of temporal properties specified as state machines in VHDL.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties
20	Josyula R. Rao	Reasoning about Probabilistic Parallel Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	verification, parallel programming, probabilistic algorithms, correctness proofs, programming methodology, specification techniques
20	G. A. Venkatesh, Charles N. Fischer	SPARE: A Development Environment For Program Analysis Algorithms.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	program analysis specifications, high-level specification language, SPARE, structured program analysis refinement environment, denotational specification, formal specification, testing, software tools, software tools, programming environments, specification languages, program testing, development environment, correctness proofs
20	Jeffrey J. Joyce	Totally Verified Systems: Linking Verified Software to Verified Hardware.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF	machine-assisted theorem proving, safety-critical systems, higher-order logic, hardware verification, compiler correctness
20	Stewart N. Weiss, Elaine J. Weyuker	An Extended Domain-Bases Model of Software Reliability.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	extended domain-based model, tolerance function, probability function, operational input distribution, probability, software reliability, software reliability, program verification, program testing, correctness, programming theory, test sets
19	Rakesh Kumar	Computing with stochastic processors: revisiting the correctness contract between software and hardware.	ISLPED	2010	DBLP DOI BibTeX RDF	stochastic processor, reliability, error resilience, error tolerance
19	Kim Solin	A While Program Normal Form Theorem in Total Correctness.	RelMiCS	2009	DBLP DOI BibTeX RDF
19	Oliver Sharma, Jonathan Lewis, Alice Miller 0001, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek	Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.	SPIN	2009	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Distributed systems, Concurrency, Formal Modelling
19	Xinming Wang, Shing-Chi Cheung, Wing Kwong Chan, Zhenyu Zhang 0004	Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization.	ICSE	2009	DBLP DOI BibTeX RDF
19	Cristian S. Calude, Christine Müller	Formal Proof: Reconciling Correctness and Understanding.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
19	Islam Elgedawy, Zahir Tari, James A. Thom	Correctness-aware high-level functional matching approaches for semantic Web services.	ACM Trans. Web	2008	DBLP DOI BibTeX RDF	High-level functional matching, semantic Web services, service aggregation
19	Amogh Kavimandan, Anantha Narayanan, Aniruddha S. Gokhale, Gabor Karsai	Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-Time and Embedded Systems.	ISORC	2008	DBLP DOI BibTeX RDF	Middleware QoS Configuration, Configuration Evaluation, Model Transformation
19	Huaigu Wu, Bettina Kemme	Showing correctness of a replication algorithm in a component based system.	IDEAS	2008	DBLP DOI BibTeX RDF
19	Sarvjeet Singh, Sunil Prabhakar	Ensuring correctness over untrusted private database.	EDBT	2008	DBLP DOI BibTeX RDF
19	Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling	Correctness-Preserving Configuration of Business Process Models.	FASE	2008	DBLP DOI BibTeX RDF	Reference process model, model configuration, Petri net
19	Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp	Practical Model-Checking Method for Verifying Correctness of MPI Programs.	PVM/MPI	2007	DBLP DOI BibTeX RDF
19	Patrick Lam 0001, Martin C. Rinard	Static Verification of Design Constraints and Software Correctness Properties in the Hob System.	IPDPS	2007	DBLP DOI BibTeX RDF
19	Hakan Erdogmus	Measurement and Interpretation of Productivity and Functional Correctness.	Empirical Software Engineering Issues	2006	DBLP DOI BibTeX RDF
19	Muthusrinivasan Muthuprasanna, Govindarasu Manimaran	Secure Routing Using Factual Correctness.	Networking	2006	DBLP DOI BibTeX RDF
19	Milad Niqui	Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers.	TYPES	2006	DBLP DOI BibTeX RDF
19	Adnene Guabtni, François Charoy, Claude Godart	Using Isolation Spheres for Cooperative Processes Correctness.	CSCWD	2006	DBLP DOI BibTeX RDF
19	Martin T. Vechev, Eran Yahav, David F. Bacon	Correctness-preserving derivation of concurrent garbage collection algorithms.	PLDI	2006	DBLP DOI BibTeX RDF	verification, synthesis, concurrent garbage collection, concurrent algorithms
19	Panagiotis Papadimitratos, Zygmunt J. Haas, Jean-Pierre Hubaux	How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET.	BROADNETS	2006	DBLP DOI BibTeX RDF