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