Search results for "Correctness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Lydie du Bousquet	Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required.	ICSEA	2006	DBLP DOI BibTeX RDF
16	Gabor Karsai, Anantha Narayanan	On the Correctness of Model Transformations in the Development of Embedded Systems.	Monterey Workshop	2006	DBLP DOI BibTeX RDF
16	Jose-Norberto Mazón, Juan Trujillo 0001, Jens Lechtenbörger	A Set of QVT Relations to Assure the Correctness of Data Warehouses by Using Multidimensional Normal Forms.	ER	2006	DBLP DOI BibTeX RDF
16	Huabing Yang, Xingyuan Zhang, Yuanyuan Wang	A Correctness Proof of the DSR Protocol.	MSN	2006	DBLP DOI BibTeX RDF
16	Huabing Yang, Xingyuan Zhang, Yuanyuan Wang	A correctness proof of the SRP protocol.	IPDPS	2006	DBLP DOI BibTeX RDF
16	Tarek Melliti, Céline Boutrous-Saab, Sylvain Rampacek	Verifying Correctness of Web Services Choreography.	ECOWS	2006	DBLP DOI BibTeX RDF
16	Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Correctness-preserving synthesis for real-time control software.	QSIC	2006	DBLP DOI BibTeX RDF
16	Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro 0001	Proving correctness of highly-concurrent linearisable objects.	PPoPP	2006	DBLP DOI BibTeX RDF	rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability
16	Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell	A modular correctness proof of IEEE 802.11i and TLS.	CCS	2005	DBLP DOI BibTeX RDF	protocol composition logic, TLS, IEEE 802.11i
16	Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang	Functional Correctness Proofs of Encryption Algorithms.	LPAR	2005	DBLP DOI BibTeX RDF
16	Aybek Mukhamedov, Steve Kremer, Eike Ritter	Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model.	Financial Cryptography	2005	DBLP DOI BibTeX RDF
16	Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul	On the Correctness of Operating System Kernels.	TPHOLs	2005	DBLP DOI BibTeX RDF
16	Marie-Claude Gaudel	Formal Methods and Testing: Hypotheses, and Correctness Approximations.	FM	2005	DBLP DOI BibTeX RDF
16	Herbert Stoyan, Stefan Mandl, Sebastian Schmidt 0002, Mario Vogel	An Agent-Based Approach to Correctness in Databases.	Data Management in a Connected World	2005	DBLP DOI BibTeX RDF
16	Juliane Dehnert, Armin Zimmermann	On the Suitability of Correctness Criteria for Business Process Models.	Business Process Management	2005	DBLP DOI BibTeX RDF	Validation of business process models, Petri nets, Workflow
16	Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe	Benchmarking and Testing OSD for Correctness and Compliance.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
16	Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou	Estimating likelihood of correctness for error candidates to assist debugging faulty HDL designs.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
16	Pawel T. Wojciechowski, Olivier Rütti	On Correctness of Dynamic Protocol Update.	FMOODS	2005	DBLP DOI BibTeX RDF
16	Gudmund Grov	Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning.	ASE	2005	DBLP DOI BibTeX RDF	model checking, formal methods, formal verification, theorem proving, specification languages
16	Zièd Choukair	Correctness Proof Obligation for CoCTelS Telecom Services Composition Model.	AINA	2005	DBLP DOI BibTeX RDF
16	Lisa Higham, Jalal Kawash	Impact of Instruction Re-Ordering on the Correctness of Shared-Memory Programs.	ISPAN	2005	DBLP DOI BibTeX RDF	Instruction re-ordering, High-performance multiprocessors, Mutual exclusion, Sequential consistency, Critical Sections, Memory consistency models
16	Ola Olsson, Angela Wallenburg	Customised Induction Rules for Proving Correctness of Imperative Programs.	SEFM	2005	DBLP DOI BibTeX RDF
16	Kerry Trentelman	Proving Correctness of JavaCard DL Taclets using Bali.	SEFM	2005	DBLP DOI BibTeX RDF
16	Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo	Proving correctness of timed concurrent constraint programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Concurrency, constraints, temporal logic, reactive systems
16	Masahiro Hamano	Softness of MALL proof-structures and a correctness criterion with Mix.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Multiplicative Additive Proof-Nets, Linear Logic, Sequentialization
16	Daniel Leivant	Partial Correctness Assertions Provable in Dynamic Logics.	FoSSaCS	2004	DBLP DOI BibTeX RDF
16	Pinar Yolum	Correctness Requirements for Multiagent Commitment Protocols.	ISCIS	2004	DBLP DOI BibTeX RDF
16	Karl Meinke	Automated black-box testing of functional correctness using function approximation.	ISSTA	2004	DBLP DOI BibTeX RDF	formal specification, approximation, functional test, constraint solving, test coverage, black-box test, satisfiability problem
16	Bozena Wozna, Alessio Lomuscio	A Logic for Knowledge, Correctness, and Real Time.	CLIMA	2004	DBLP DOI BibTeX RDF
16	Roberto Maieli	A new correctness criterion for multiplicative non-commutative proof nets.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
16	Richard A. Frost	Monadic Memoization towards Correctness-Preserving Reduction of Search.	AI	2003	DBLP DOI BibTeX RDF
16	Stefanie Rinderle, Manfred Reichert, Peter Dadam	Evaluation of Correctness Criteria for Dynamic Workflow Changes.	Business Process Management	2003	DBLP DOI BibTeX RDF
16	Mohamed Layouni, Jozef Hooman, Sofiène Tahar	On the Correctness of an Intrusion-Tolerant Group Communication Protocol.	CHARME	2003	DBLP DOI BibTeX RDF
16	Bertrand Meyer 0001	Towards Practical Proofs of Class Correctness.	ZB	2003	DBLP DOI BibTeX RDF
16	Manfred Reichert, Stefanie Rinderle, Peter Dadam	On the Common Support of Workflow Type and Instance Changes under Correctness Constraints.	OTM	2003	DBLP DOI BibTeX RDF
16	David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen	Proving correctness of compiler optimizations by temporal logic.	POPL	2002	DBLP DOI BibTeX RDF
16	Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo	Proving Correctness of Timed Concurrent Constraint Programs.	FoSSaCS	2002	DBLP DOI BibTeX RDF	Concurrency, constraints, temporal logic, real-time programming
16	Pascual Julián Iranzo	On the Correctness of the Factoring Transformation.	FLOPS	2002	DBLP DOI BibTeX RDF
16	Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic	A Compositional Logic for Protocol Correctness.	CSFW	2001	DBLP DOI BibTeX RDF
16	Virgile Mogbil	Quadratic Correctness Criterion for Non-commutative Logic.	CSL	2001	DBLP DOI BibTeX RDF
16	Azzedine Boukerche, Sungbum Hong, Tom Jacob	A Distributed Synchronization Scheme for Multimedia Streams in Mobile Systems: Proof and Correctness.	LCN	2001	DBLP DOI BibTeX RDF
16	Paul B. Jackson	Total-Correctness Refinement for Sequential Reactive Systems.	TPHOLs	2000	DBLP DOI BibTeX RDF
16	Ross J. Anderson	The Correctness of Crypto Transaction Sets.	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
16	Ewen Denney, Thomas P. Jensen	Correctness of Java Card Method Lookup via Logical Relations.	ESOP	2000	DBLP DOI BibTeX RDF
16	Man Lin, Jacek Malec, Simin Nadjm-Tehrani	On Semantics and Correctness of Reactive Rule-Based Programs.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
16	Sin Yeung Lee, Tok Wang Ling	Verify Updating Trigger Correctness.	DEXA	1999	DBLP DOI BibTeX RDF
16	Jean-François Monin, Francis Klay	Correctness Proof of the Standardized Algorithm for ABR Conformance.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
16	Cecilia Metra, Michele Favalli, Bruno Riccò	Concurrent Checking of Clock Signal Correctness.	IEEE Des. Test Comput.	1998	DBLP DOI BibTeX RDF
16	Giovanni Di Crescenzo, Kouichi Sakurai, Moti Yung	Checking Programs Discreetly: Demonstrating Result-Correctness Efficiently while Concealing it.	ISAAC	1998	DBLP DOI BibTeX RDF
16	Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan	Decomposing the Proof of Correctness of pipelined Microprocessors.	CAV	1998	DBLP DOI BibTeX RDF
16	Felice Balarin	Correctness of the Concurrent Approach to Symbolic Verification of Interleaved Models.	CAV	1998	DBLP DOI BibTeX RDF
16	Christoph Schwarzweller	Mizar Correctness Proofs of Generic Fraction Field Arithmetic.	Generic Programming	1998	DBLP DOI BibTeX RDF
16	Sanjay Kumar Madria, Bharat K. Bhargava	On the Correctness of a Transaction Model for Mobile Computing.	DEXA	1998	DBLP DOI BibTeX RDF
16	Paulo Ferreira 0001, Marc Shapiro 0001	Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof.	ECOOP	1998	DBLP DOI BibTeX RDF
16	Jörg Desel, Ekkart Kindler	Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	verification, Petri nets, Distributed algorithms, temporal logic
16	Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung	Formal verification of the correctness in hybrid expert systems.	KES (2)	1997	DBLP DOI BibTeX RDF
16	Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo	A Notion of Correctness with Theories Containing Theoretical Terms.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
16	Vicent Cholvi, José M. Bernabéu-Aubán	Correctness Proof for a Distributed Memory System.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
16	Haruo Hosoya, Naoki Kobayashi 0001, Akinori Yonezawa	Partial Evaluation Scheme for Concurrent Languages and Its Correctness.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
16	Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen	On Verifying the Correctness of Retimed Circuits.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF	3-valued equivalence, delay-compensation, sequential ATPG, formal verification, retiming, equivalence-Checking
16	John Hatcliff	Mechanically Verifying the Correctness of an Offline Partial Evaluator	PLILP	1995	DBLP DOI BibTeX RDF
16	Wen-Chi Hou, Zhongyang Zhang	Enhancing Database Correctness: a Statistical Approach.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF
16	Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, Steven M. Nowick	A correctness criterion for asynchronous circuit validation and optimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
16	Ralf Lämmel, Günter Riedewald	Provable Correctness of Prototype Interpreters in LDL.	CC	1994	DBLP DOI BibTeX RDF
16	Anna Formica, Michele Missikoff	Correctness of ISA Hierarchies in Object-Oriented Database Schemas.	EDBT	1994	DBLP DOI BibTeX RDF
16	Torben Poort Lange	The Correctness of an Optimized Code Generation.	PEPM	1993	DBLP DOI BibTeX RDF
16	Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval	Correctness of Automated Distribution of Sequential Programs.	PARLE	1993	DBLP DOI BibTeX RDF	distributed memory parallel machines, formal program development methodologies, parallel language constructs and semantics
16	Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl	On the Correctness of Orphan Management Algorithms.	J. ACM	1992	DBLP DOI BibTeX RDF	avalon, camelot, input-output automata, recovery, serializability, atomic actions, Argus
16	Joseph Y. Halpern, Lenore D. Zuck	A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols.	J. ACM	1992	DBLP DOI BibTeX RDF	reasoning about knowledge
16	Wolfgang Reif	Correctness of Full First-Order Specifications.	SEKE	1992	DBLP DOI BibTeX RDF
16	Robert S. Boyer, Yuan Yu	Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.	CADE	1992	DBLP DOI BibTeX RDF	Nqthm, Boyer-Moore Theorem Prover, Gnu, Ada, C, Automated reasoning, object code, formal program verification
16	Tadeusz Gruzlewski, Zbigniew Weiss	Semantic correctness of structural editing.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
16	Jordi Farrés-Casals	Proving Correctness wrt Specifications with Hidden Parts.	ALP	1990	DBLP DOI BibTeX RDF
16	Michael I. Schwartzbach	Static Correctness of Hierarchical Procedures.	ICALP	1990	DBLP DOI BibTeX RDF
16	Jifeng He 0001	Various Simulations and Refinements.	REX Workshop	1989	DBLP DOI BibTeX RDF	Hiding Refinement, Simulation, Refinement, Labelled Transition System
16	Nancy A. Lynch	Multivalued Possibilities Mappings.	REX Workshop	1989	DBLP DOI BibTeX RDF	abstraction mapping, possibilities mapping, history variables, distributed algorithms, mapping, garbage collection, transaction processing, safety property, time bounds, Alternating Bit Protocol
16	Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko	Modular Verification of Petri Nets: The Temporal Logic Approach.	REX Workshop	1989	DBLP DOI BibTeX RDF	modular system design, verification, Petri nets, specification, temporal logic, computer architecture
16	Job Zwiers	Predicated, Predicate Transformers and Refinement.	REX Workshop	1989	DBLP DOI BibTeX RDF
16	Bettina Buth, Karl-Heinz Buth	Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting.	VDM Europe	1988	DBLP DOI BibTeX RDF
16	Richard M. Plishka	File processing - a correctness approach.	SIGCSE	1988	DBLP DOI BibTeX RDF	COBOL
16	Flemming Nielson	Correctness of Code Generation from a Two-Level Meta-Language.	ESOP	1986	DBLP DOI BibTeX RDF
16	Nancy A. Lynch	Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	transaction, atomicity, breakpoint
16	E. Gansner, Joseph R. Horgan, Chandra M. R. Kintala, D. J. Moore, Pamela Surko	Semantics and Correctness of a Query Language Translation.	POPL	1982	DBLP DOI BibTeX RDF
16	Ramachandran Krishnaswamy, Arthur B. Pyster	On the Correctness of Semantic-Syntax-Directed Translations.	J. ACM	1980	DBLP DOI BibTeX RDF
16	Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz	Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness.	ICALP	1980	DBLP DOI BibTeX RDF
16	Paul Y. Gloess	An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions.	CADE	1980	DBLP DOI BibTeX RDF
16	Michel Sintzoff	Ensuring Correctness by Arbitrary Postfixed-Points.	MFCS	1978	DBLP DOI BibTeX RDF
16	Thomas W. Doeppner Jr.	Parallel Program Correctness Through Refinement.	POPL	1977	DBLP DOI BibTeX RDF
16	Joseph A. Goguen, José Meseguer 0001	Correctness of Recursive Flow Diagram Programs.	MFCS	1977	DBLP DOI BibTeX RDF
16	Peter A. Ng, Sung Y. Bang	Another Approach for Proving Program Correctness.	MFCS	1977	DBLP DOI BibTeX RDF
16	Barbara H. Liskov	Data types and program correctness.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
15	Artem Starostin, Alexandra Tsyban	Verified Process-Context Switch for C-Programmed Kernels.	VSTTE	2008	DBLP DOI BibTeX RDF
15	Andreas Podelski	Verification, Least-Fixpoint Checking, Abstraction.	VSTTE	2008	DBLP DOI BibTeX RDF
15	Andrea De Lucia, Carmine Gravino, Rocco Oliveto, Genoveffa Tortora	Assessing the Support of ER and UML Class Diagrams during Maintenance Activities on Data Models.	CSMR	2008	DBLP DOI BibTeX RDF
15	Jeongwoo Ko, Eric Nyberg, Luo Si	A probabilistic graphical model for joint answer ranking in question answering.	SIGIR	2007	DBLP DOI BibTeX RDF	answer ranking, question answering, probabilistic graphical model
15	Kai-Hui Chang, David A. Papa, Igor L. Markov, Valeria Bertacco	InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization.	ISQED	2007	DBLP DOI BibTeX RDF
15	David C. Parkes, Michael O. Rabin, Stuart M. Shieber, Christopher Thorpe	Practical secrecy-preserving, verifiably correct and trustworthy auctions.	ICEC	2006	DBLP DOI BibTeX RDF
15	Ewen Denney, Bernd Fischer 0002	Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).	ASE	2006	DBLP DOI BibTeX RDF
15	Timothy S. Gegg-Harrison	Constructing contracts: Making discrete mathematics relevant to beginning programmers.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	programming by contract, Formal methods, program verification, weakest preconditions, programming tools, loop invariants, axiomatic semantics
15	Nirav Dave, Man Cheuk Ng, Arvind	Automatic synthesis of cache-coherence protocol processors using Bluespec.	MEMOCODE	2005	DBLP DOI BibTeX RDF