|
|
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 |
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 |
|
Displaying result #201 - #300 of 8775 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|