|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1396 occurrences of 841 keywords
|
|
|
Results
Found 1741 publication records. Showing 1741 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
7 | Yevgeniy Dodis, Leonid Reyzin, Ronald L. Rivest, Emily Shen |
Indifferentiability of Permutation-Based Compression Functions and Tree-Based Modes of Operation, with Applications to MD6. |
FSE |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Hong Liu 0012, Jayathi Raghavan |
A Mathematical Modeling Module with System Engineering Approach for Teaching Undergraduate Students to Conquer Complexity. |
ICCS (2) |
2009 |
DBLP DOI BibTeX RDF |
Compartmental Analysis, Query-Based Modeling Process, Kolb Cognitive Complexity, Validation and Verification |
7 | Marwan Abi-Antoun, Jonathan Aldrich |
Static extraction of sound hierarchical runtime object graphs. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
architectural extraction, ownership domains, object graphs, runtime architecture |
7 | Rémi Douence, Xavier Lorca, Nicolas Loriant |
Lazy Composition of Representations in Java. |
SC@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Olivier Biton, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy |
Optimizing user views for workflows. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Carl Eastlund, Matthias Felleisen |
Making induction manifest in modular ACL2. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
theorem provers, acl2, module systems |
7 | Matthew Hague, C.-H. Luke Ong |
Winning Regions of Pushdown Parity Games: A Saturation Method. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Ana Almeida Matos |
Flow Policy Awareness for Distributed Mobile Code. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Uwe Keller, Stijn Heymans |
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Kyoung-Don Kang, Can Basaran |
Adaptive Data Replication for Load Sharing in a Sensor Data Center. |
ICDCS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Cristian Ene, Yassine Lakhnech, Van Chan Ngo |
Formal Indistinguishability Extended to the Random Oracle Model. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Ron van der Meyden |
Architectural Refinement and Notions of Intransitive Noninterference. |
ESSoS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Martin Hofmann 0001, Dulma Rodriguez |
Efficient Type-Checking for Amortised Heap-Space Analysis. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
Resource analysis, Semantics, OOP, Type systems |
7 | David Turner, Glynn Winskel |
Nominal Domain Theory for Concurrency. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Andreas Abel 0001 |
Typed Applicative Structures and Normalization by Evaluation for System Fomega. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Guillaume Stempfel, Liva Ralaivola |
Learning SVMs from Sloppily Labeled Data. |
ICANN (1) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Yael Tauman Kalai, Ran Raz |
Probabilistically Checkable Arguments. |
CRYPTO |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon 0001 |
A compositional theory for STM Haskell. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, compositional reasoning, ambient calculus |
7 | Tsz Hon Yuen, Qiong Huang 0001, Yi Mu 0001, Willy Susilo, Duncan S. Wong, Guomin Yang |
Efficient Non-interactive Range Proof. |
COCOON |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Jan Jürjens, Tjark Weber |
Finite Models in FOL-Based Crypto-Protocol Verification. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Ming Fu, Yu Zhang 0086, Yong Li |
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Bernd Fischer 0002, Ando Saabas, Tarmo Uustalu |
Program Repair as Sound Optimization of Broken Programs. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Anne Schlicht, Heiner Stuckenschmidt |
Distributed Resolution for Expressive Ontology Networks. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Jian Feng Zhang, Quoc Bao Vo, Ryszard Kowalczyk |
Theoretic study of distributed graph planning. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
distributed planning graph, multi-agent planning |
7 | Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón |
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
Conservative retraction, Independence Rule, boolean derivatives |
7 | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani |
A type system for data-flow integrity on Windows Vista. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
data-flow integrity, hybrid type system, explicit substitution, dynamic access control |
7 | Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Verifiable agent interaction in abductive logic programming: The SCIFF framework. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
Abductive logic programming, IFF proof procedure, SCIFF, SOCS (SOcieties of ComputeeS), formal properties, proof-procedures, declarative semantics, agent interaction protocols |
7 | Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark |
DARE: a system for distributed abductive reasoning. |
Auton. Agents Multi Agent Syst. |
2008 |
DBLP DOI BibTeX RDF |
Distributed inference, Multi-thread Prolog, Abduction |
7 | Erika Ábrahám, Andreas Grüner, Martin Steffen |
Heap-abstraction for an object-oriented calculus with thread classes. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics |
7 | Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández |
Implementing Constructive Intensional Negation. |
New Gener. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Intensional Negation, Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation |
7 | PengCheng Xiong, Yushun Fan, MengChu Zhou |
QoS-Aware Web Service Configuration. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Erika Ábrahám, Andreas Grüner, Martin Steffen |
Abstract Interface Behavior of Object-Oriented Languages with Monitors. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Thread-based concurrency, Observable interface behavior, Monitors, Open systems, Object oriented languages, Formal semantics |
7 | Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster, Patrick Jenkins |
Modular Information Hiding and Type-Safe Linking for C. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
Reliability, Information hiding, Modules, packages, Code design, Coding Tools and Techniques |
7 | Bernhard Heinemann |
A Hybrid Logic for Reasoning about Knowledge and Topology. |
J. Log. Lang. Inf. |
2008 |
DBLP DOI BibTeX RDF |
The logic of knowledge, Nominalstructure for subset spaces, Algebras of sets, Hybrid logic, Topological reasoning |
7 | David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge |
A formal and sound transformation from Focal to UML : an application to airport security regulations. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Airport security regulations, UML, Formal methods, Focal, Graphical documentation |
7 | Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore |
A Mechanical Analysis of Program Verification Strategies. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Inductive assertions, Partial correctness, Theorem proving, Invariants, Total correctness |
7 | Yixiang Chen, Hengyang Wu |
Semantics of sub-probabilistic programs. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
sub-probabilistic programs, wp-calculus, total correctness |
7 | Murdoch James Gabbay, Aad Mathijssen |
Capture-avoiding substitution as a nominal algebra. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Nominal techniques, Nominal algebra, Capture-avoidance, Nominal rewriting, Omega-completeness, Binding, Substitution |
7 | Joseph M. Morris, Malcolm Tyrrell |
Dually nondeterministic functions. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Angelic nondeterminacy, demonic nondeterminacy, free completely distributive lattice, modeling nondeterminacy, nondeterministic functions, nondeterminism |
7 | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
A semantics-based approach to malware detection. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
abstract interpretation, obfuscation, Malware detection, trace semantics |
7 | Moritz Y. Becker, Sebastian Nanz |
The Role of Abduction in Declarative Authorization Policies. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
authorization language, access control, Datalog, abduction |
7 | Mario Coppo, Mariangiola Dezani-Ciancaglini |
Structured Communications with Concurrent Constraints. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Kristina Sojakova, Florian Rabe 0001 |
Translating a Dependently-Typed Logic to First-Order Logic. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Hung-Min Sun, King-Hang Wang |
Defending Secret-Key Based Authentication Protocols against the Stolen-Secret Attack. |
ISECS |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Ryan Q. Hankins, Jigang Liu |
Towards a forensic-aware file system. |
EIT |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Olivier Danvy, Jacob Johannsen |
Inter-deriving Semantic Artifacts for Object-Oriented Programming. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Laurent Hubert |
A non-null annotation inferencer for Java bytecode. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
Java, static analysis, annotation, inference, NonNull |
7 | Ariel Cohen 0002, Amir Pnueli, Lenore D. Zuck |
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin |
A practical and precise inference and specializer for array bound checks elimination. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
size properties, dependent types, safety verification |
7 | Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou |
Sound Multi-party Business Protocols for Service Networks. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Ismael Galindo, Francisco Almeida, José Manuel Badía-Contelles |
Dynamic Load Balancing on Dedicated Heterogeneous Systems. |
PVM/MPI |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards |
Flexible pointer analysis using assign-fetch graphs. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
summary-based analysis, static analysis, pointer analysis |
7 | Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells |
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota 0001 |
Guided Test Generation from CSP Models. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Maayan Zhitomirsky-Geffet, Judit Bar-Ilan, Yitzchak Miller, Snunith Shoham |
A generic framework for collaborative multi-perspective ontology acquisition. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
collaborative multi-perspective ontology |
7 | João Pedro Sousa, Bradley R. Schmerl, Vahe Poladian, Alexander Brodsky 0001 |
uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces. |
WICSA |
2008 |
DBLP DOI BibTeX RDF |
end-user design, ubiquitous computing, software architecture, ambient intelligence |
7 | Jonathan Katz |
Which Languages Have 4-Round Zero-Knowledge Proofs? |
TCC |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Tien N. Nguyen |
Component-Based Software Update Process in Collaborative Software Development. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Amir Pnueli |
Using Abstraction to Verify Arbitrary Temporal Properties. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
7 | François Pottier |
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Proofs of programs, hidden local state, higher-order frame rule, separation logic, dynamic memory allocation |
7 | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
Lazy Behavioral Subtyping. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Arsenii Rudich, Ádám Darvas, Peter Müller 0001 |
Checking Well-Formedness of Pure-Method Specifications. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Michael Ben-Or, Avinatan Hassidim, Haran Pilpel |
Quantum Multi Prover Interactive Proofs with Communicating Provers. |
FOCS |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Cédric Fournet, Tamara Rezk |
Cryptographically sound implementations for typed information-flow security. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow |
7 | James Brotherston, Richard Bornat, Cristiano Calcagno |
Cyclic proofs of program termination in separation logic. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
cyclic proof, program verification, termination, hoare logic, separation logic, inductive definitions |
7 | Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich |
Engineering formal metatheory. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
locally nameless, binding, coq |
7 | Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001 |
Lifting abstract interpreters to quantified logical domains. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter |
7 | Marcus Völp |
Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
information flow, language-based security |
7 | Matthias Wölfel |
Integration of the predictedwalk model estimate into the particle filter framework. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Doina Bucur, Mogens Nielsen |
Secure Data Flow in a Calculus for Context Awareness. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
security, Ubiquitous Computing, context awareness, type system, Mobile Ambients |
7 | Daniel Lehmann 0001 |
Connectives in Cumulative Logics. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Kazuhiro Minami, Adam J. Lee, Marianne Winslett, Nikita Borisov |
Secure aggregation in a publish-subscribe system. |
WPES |
2008 |
DBLP DOI BibTeX RDF |
integrity, aggregation, data privacy, publish-subscribe system |
7 | Bo Meng |
A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model. |
ISIP |
2008 |
DBLP DOI BibTeX RDF |
internet voting protocol, formal analysis, coercion-resistance |
7 | Liqian Chen, Antoine Miné, Patrick Cousot |
A Sound Floating-Point Polyhedra Abstract Domain. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Sergio Maffeis, John C. Mitchell, Ankur Taly |
An Operational Semantics for JavaScript. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Hong Feng Lai, J. L. Hong, Wang Han Jeng |
Model E-contract Update by Coloured Activity Net. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Tassos Dimitriou, Ghassan Karame, Ioannis T. Christou |
SuperTrust - A Secure and Efficient Framework for Handling Trust in Super Peer Networks. |
ICDCN |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett |
A Realizability Model for Impredicative Hoare Type Theory. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson |
Iterative Specialisation of Horn Clauses. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Scott Owens |
A Sound Semantics for OCamllight. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Rishi Graham, Jorge Cortés 0001 |
A cooperative deployment strategy for optimal sampling in spatiotemporal estimation. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Yi Li |
A New Approach to Teaching Logic in Discrete Mathematics. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
7 | 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 |
7 | Richard B. Scherl, Tran Cao Son, Chitta Baral |
State-Based Regression with Sensing and Knowledge. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
Plans, Regression, Knowledge, Sensing |
7 | Tom Schrijvers |
Constraint Handling Rules. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Jan Tretmans |
Model Based Testing with Labelled Transition Systems. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Erik Ernst |
First-Class Object Sets. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
Object sets, multi-object method calls, composition, types |
7 | Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi |
Towards a Type Discipline for Answer Set Programming. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
many sorted interpretation, type checking, Answer set programming, grounding |
7 | Clément Houtmann |
Axiom Directed Focusing. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
superdeduction, Proof theory, focusing, deduction modulo |
7 | María-del-Mar Gallardo, Pedro Merino 0001, David Sanán |
Model Checking C Programs with Dynamic Memory Allocation. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
software model checking, pointers, dynamic memory, Model extraction |
7 | Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory |
Testing Software Product Lines Using Incremental Test Generation. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Denis Silva Loubach, Diogo B. Ramos, Osamu Saotome, Adilson Marques da Cunha |
Comparing Source Codes Generated by CASE Tools with Hand Coded. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
static metrics, software quality, source code, CASE tools, real time embedded systems |
7 | Penousal Machado, Juan Romero, Bill Z. Manaris |
Experiments in Computational Aesthetics. |
The Art of Artificial Evolution |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Alfredo Cuzzocrea, Vincenzo Russo, Domenico Saccà |
A Robust Sampling-Based Framework for Privacy Preserving OLAP. |
DaWaK |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Kathryn E. Gray |
Safe Cross-Language Inheritance. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg |
Regional Logic for Local Reasoning about Global Invariants. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Nicholas Cameron 0001, Sophia Drossopoulou, Erik Ernst |
A Model for Java with Wildcards. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Sven Apel, Christian Kästner, Christian Lengauer |
Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
safe feature composition, type systems, stepwise refinement, feature-oriented programming, featherweight java |
7 | Tetsuo Kamina, Tetsuo Tamai |
Lightweight dependent classes. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
class-based languages, dependent classes, mutually recursive extensions, generics, type safety |
7 | Arthur Charguéraud, François Pottier |
Functional translation of a calculus of capabilities. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership |
|
|