arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Emmanuel Coquery

32 papers · 2001–2026

2001: 12002: 02003: 02004: 22005: 02006: 02007: 12008: 52009: 22010: 12011: 32012: 22013: 12014: 22015: 22016: 02017: 12018: 02019: 02020: 02021: 02022: 22023: 12024: 22025: 22026: 2
2001peak 5 in 20082026

Frequent co-authors

Papers

showing 1–25 of 32 RSS

A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence

Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs +1 more

Artificial Intelligence · Frontiers in artificial intelligence and applications · · cited 48× · DOI ↗ · more like this ·

In this paper we propose a satisfiability-based approach for enumerating all frequent, closed and maximal patterns with wildcards in a given sequence. In this context, since frequency is the most used criterion, we introduce a new polynomial inductive formulation of the cardinality constraint as a Boolean formula. A nogood-based formulation of the anti-monotonicity property is proposed and dynamically used for pruning. This declarative framework allows us to exploit the efficiency of modern SAT solvers and particularly their clause learning component. The experimental evaluation on real world data shows the feasibility of our proposed approach in practice.

An Ontological Interface for Software Developers to Select Security Patterns

Paul El Khoury, Amine Mokhtari, Emmanuel Coquery +1 more

Information Systems · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 28× · DOI ↗ · more like this ·

In the software development lifecycle, security expertise is one common missing quality that needs to be addressed on a stronger footing, by taking advantage of the scaling effect of security patterns. Security patterns capture security experts' knowledge for a given security problem. Hence, they are produced by experts in security and consumed by novice security users, such as software developers. In this paper we present an ontology based approach to find an eligible set of security patterns requested by software developers. We adopt the formal description of security properties presented in the Serenity EU project for defining our ground security requirements. We distinguish between two profiles for software developers and define a corresponding ontological interface. This ontological interface contains a mapping between security requirements from one side and threat models, security…

Typing constraint logic programs

Francois Fages, Emmanuel Coquery

cs.PL · · cited 22× · arXiv ↗ · more like this ·

We present a prescriptive type system with parametric polymorphism and subtyping for constraint logic programs. The aim of this type system is to detect programming errors statically. It introduces a type discipline for constraint logic programs and modules, while maintaining the capabilities of performing the usual coercions between constraint domains, and of typing meta-programming predicates, thanks to the flexibility of subtyping. The property of subject reduction expresses the consistency of a prescriptive type system w.r.t. the execution model: if a program is "well-typed", then all derivations starting from a "well-typed" goal are again "well-typed". That property is proved w.r.t. the abstract execution model of constraint programming which proceeds by accumulation of constraints only, and w.r.t. an enriched execution model with type constraints for substitutions. We describe our…

Privacy-Aware Web Service Protocol Replaceability

Nawal Guermouche, Salima Benbernou, Emmanuel Coquery +1 more

Sociology and Political Science · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 18× · DOI ↗ · more like this ·

Business protocols are becoming a necessary part ofWeb services description [4]. The work presented in [4] investigates mechanisms for analyzing the compatibility and the substitution (i.e., replaceability) of Web services based on their functional properties. In this paper, we focus on the replaceability analysis.Whether a service can replace another depends not only on their functional properties but also on non functional requirements (e.g., privacy policies). We propose a privacy-aware protocol replaceability approach to extend the work presented in [4] by privacy properties. We introduce a rule-based privacy model and we extend business protocols, leading to what we call private business protocols. Finally, a private replaceability analysis of private business protocols is discussed. We mainly investigate compatibility issues, that is whether one private business protocol can…

A Constraint Programming Approach for Enumerating Motifs in a Sequence

Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs

Computer Networks and Communications · · cited 11× · DOI ↗ · more like this ·

In this paper we propose a constraint programming approach for enumerating all frequent patterns with wildcards in a given sequence. To reduce the search space, we show that the anti-monotonicity property of frequent patterns can be dynamically encoded using no good recording based approach. Finally, the constraints network is encoded as a Boolean formula. This last step allows us to exploit the efficiency of modern SAT solvers and particularly their clauses learning component. Preliminary experiments on real world data show the feasibility of our approach in practice.

Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control

Emad Elabd, Emmanuel Coquery, Mohand-Saïd Hacid

Information Systems · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 8× · DOI ↗ · more like this ·

Recently, most enterprises adapt Web services technologies for designing and building complex inter-enterprise business applications. These applications are built by the coordination between set of Web services. Therefore, checking the compatibility between two services to guarantee that they can interact correctly is an important issue. In case of service update or replacement, there is a need for checking the replaceability to ensure that the new service is compatible with all the services which were compatible with the replaced one. These two type of checking are based on the services descriptions. Enriching services descriptions by including their behaviours is becoming more and more important. This behaviour can be described by business protocols representing the possible sequences of message exchanges. Since a lot of Web services use access control policies to restrict the access…

Compatibility and Replaceability Analysis of Timed Web Services Protocols

Emad Elabd, Emmanuel Coquery, Mohand-Saïd Hacid

Information Systems · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 7× · DOI ↗ · more like this ·

Nowadays, most enterprises use Web services as a framework for facilitating application-to-application interaction within and across them. Describing behaviour of Web services is becoming more and more important. This behaviour can be described by timed business protocols representing the possible sequences of message exchanges. Studying the behaviour of Web services by analyzing their timed business protocols is the main contribution of this work. This paper introduces notions of compatibility and replaceability w.r.t. timed business protocols together with the corresponding verification algorithms.

Verification of Privacy Timed Properties in Web Service Protocols

Kouider Mokhtari, Salima Benbernou, M. Hadj Saïd +3 more

Sociology and Political Science · Fachbereich Informatik (University of Stuttgart) · · cited 7× · DOI ↗ · more like this ·

In this work we propose an approach for verifying privacy timed-related properties of web service protocol. While in \cite{anal} the addressed problem in business protocols is focused on the analysis and management of functional requirements that support rich timing constraints, our approach extends the previous results to capture the timed behavior of privacy constraints. Hence, we provide a model called Timed Private Business Protocol $\mathcal{TPBP}$. Next, we emphasize the timed properties related to privacy in $\mathcal{TPBP}$. Finally, we present the different types of timed property verification to achieve upon the timed private business protocol.

Access control to materialized views

Sarah Nait Bahloul, Emmanuel Coquery, Mohand-Saïd Hacid

Sociology and Political Science · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 6× · DOI ↗ · more like this ·

Ensuring security of data is one of the fundamental needs of people. In this context, issues related to confidentiality, integrity and availability of the data arise with a crucial importance, whether in economic, legal or medical domains. Standards covering fine-grained access control were proposed and adopted to control access to data through queries. In this paper, we propose a novel approach to facilitate the administration of access control rules to ensure the confidentiality of data at the level of materialized views. Several techniques and models have been proposed to control access to databases, but to our knowledge the problem of automatically generating from access control rules defined over base relations the applicable access control rules needed to control materialized views is not investigated. We are investigating this problem by resorting to an adaptation of query…

Query Rewriting for Rule Mining in Databases

Brice Chardin, Emmanuel Coquery, Benjamin Gouriou +2 more

Computer Networks and Communications · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 4× · OpenAlex ↗ · more like this ·

Abstract. Promoting declarative approaches in data mining is a long standing theme. This paper goes into this direction by proposing a well-founded logical query language, SafeRL, allowing the expression of a wide variety of “rules ” to be discovered against the data. SafeRL ex-tends and generalizes functional dependencies in databases to new and unexpected rules easily expressed with a SQL-like language. In this set-ting, every rule mining problem turns out to be seen as a query process-ing problem. We provide a query rewriting technique and a construc-tive proof of the main query equivalence theorem, leading to an efficient query processing technique. Based on a concrete SQL-like grammar for SafeRL, we show how a tight integration can be performed on top of any DBMS. The approach has been implemented and experimented on sensor network data. This contribution is an attempt to bridge…

Supporting Web Service Protocol Changes by Propagation

Ahmed Azough, Emmanuel Coquery, Mohand-Saïd Hacid

Information Systems · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 4× · DOI ↗ · more like this ·

Very often, enterprises are subject to changes. These changes require adaptations regarding business process, security components, database access, etc. In this paper we present a comprehensive (basic) approach for the controlled evolution of Web service business protocols in a cooperative Web services framework. A set of elementary change operators is proposed to capture the change of protocols and a selective process of change projection is adopted to predict potentially interesting changes to partners in order to maintain compatibility.

RQL: A SQL-Like Query Language for Discovering Meaningful Rules

Brice Chardin, Emmanuel Coquery, Marie Pailloux +1 more

Information Systems · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 3× · DOI ↗ · more like this ·

The Rule Query Language (RQL) is an SQL-like pattern mining language that extends and generalizes functional dependencies to new and unexpected rules. It brings to the data analysts' desktop a convenient tool to discover logical implications between attributes of the database. Such implications may reveal data quality problems or surprising correlations between attributes over some part of the database. The computation of RQL queries is based on a query rewriting technique that pushes as much processing as possible to the underlying DBMS. This contribution is an attempt to bridge the gap between pattern mining and databases and facilitates the use of data mining techniques by SQL-aware analysts and students.

Timed Web Services Analysis after Removing Complex Implicit Transitions

Emad Elabd, Emmanuel Coquery, Mohand-Saïd Hacid

Information Systems · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 3× · DOI ↗ · more like this ·

Time is an important parameter in modeling and analyzing Web services. A Web service can be presented by its behavior which can be described by a business protocol representing the possible sequences of message exchanges. Automated analyses of timed Web services such as compatibility checking are very difficult and in some cases are not possible with the presence of implicit transitions (internal transitions) based on time constraints. The semantics of the implicit transitions is the source of this difficulty because most of well known modeling tools do not express this semantics (e.g., epsilon transition on the timed automata has a different semantics). This paper presents an approach for removing complex implicit transitions of the timed business protocols before performing the interoperability analysis without changing the semantics of the protocols.

Consistency checking of role assignments in inter-organizational collaboration

Paul El Khoury, Emmanuel Coquery, Mohand-Saïd Hacid

Sociology and Political Science · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 2× · DOI ↗ · more like this ·

The establishment of globalization is driving inter- organizational collaboration towards a necessity. We cannot expect total conformity between organizations nor homogeneous security settings. Nevertheless, each organization, with its own security policies, needs to exchange data. Employees involved in inter-organizational tasks shall require remote access to data hosted by other organizations. Administrating access control policies for those employees creates problems for security officers, particularly for role assignments. Flexibility in extending (or restricting) permissions for roles imported from other organizations is required. In this work, we present an approach based on Description Logic formalisms to create from the inter-organizational agreement a set of bridge rules that in addition to (i) the permissions assigned to a given role from one organization and (ii) the…

From Implicit to Explicit Transitions in Business Protocols

Emad Elabd, Emmanuel Coquery, Mohand-Saïd Hacid

Information Systems · International Journal of Web Services Research · · cited 1× · DOI ↗ · more like this ·

Modeling Web services is a major step towards their automated analysis. One of the important parameters in this modeling, for the majority of Web services, is the time. A Web service can be presented by its behavior which can be described by a business protocol representing the possible sequences of message exchanges. To the best of the authors’ knowledge, automated analysis of timed Web services (e.g., compatibility and replaceability checking) is very difficult and in some cases it is not possible with the presence of implicit transitions (internal transitions) based on time constraints. The semantics of the implicit transitions is the source of this difficulty because most of well-known modeling tools do not express this semantics (e.g., epsilon transition on the timed automata has a different semantics). This paper presents an approach for converting any protocol containing implicit…

ConVer-G: A Suite for Versioning, Querying and Visualization of Dynamic Knowledge Graphs

Jey Puget Gil, Emmanuel Coquery, John Samuel +1 more

Artificial Intelligence · The Journal of Open Source Software · · cited 0× · DOI ↗ · more like this ·

A Knowledge Graph (KG) is a structured representation of facts where entities are connected by typed relationships, typically encoded using the Resource Description Framework (RDF) standard.KGs are widely used across domains such as life sciences, urban planning, and weather forecasting, but evolve continuously as data is updated, corrected, and expanded.Managing this evolution through explicit versioning-much like Git does for source code-is essential for reproducibility, auditability, provenance tracking, and temporal analysis.ConVer-G (Concurrent Versioning of Knowledge Graphs) is a software suite designed to address these challenges by providing snapshot-based version management for RDF datasets (Gil et al., 2024).It allows users to ingest successive states of an RDF dataset, query any past version using the standard SPARQL query language, compare versions, and visually inspect how…

Représentation condensée pour les graphes RDF basés sur des instantanés

Jey Puget Gil, Emmanuel Coquery, John Samuel +1 more

Artificial Intelligence · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 0× · OpenAlex ↗ · more like this ·

Evolving phenomena, often complex, can be represented using knowledge graphs, which have the capability to model heterogeneous data from multiple sources. Nowadays, a considerable amount of sources delivering periodic updates to knowledge graphs in various domains is openly available. The evolution of data is of interest to knowledge graph management systems, and therefore it is crucial to organize these constantly evolving data to make them easily accessible and exploitable for analysis. In this article, we will present and formalize the condensed representation of these evolving graphs and propose a new solution called QuaQue that allows querying across multiple versions of graphs and we also present the results of our benchmark comparing our solution against existing approaches.

Condensed Representation for Snapshot-Based RDF Graphs

Jey Puget Gil, Emmanuel Coquery, John Samuel +1 more

cs.DB · · cited 0× · arXiv ↗ · more like this ·

Evolving phenomena, often complex, can be represented using knowledge graphs, which have the capability to model heterogeneous data from multiple sources. Nowadays, a considerable amount of sources delivering periodic updates to knowledge graphs in various domains is openly available. The evolution of data is of interest to knowledge graph management systems, and therefore it is crucial to organize these constantly evolving data to make them easily accessible and exploitable for analysis. In this article, we will present and formalize the condensed representation of these evolving graphs and propose a new solution called QuaQue that allows querying across multiple versions of graphs and we also present the results of our benchmark comparing our solution against existing approaches.

Graph versioning for evolving urban data

Jey Puget Gil, Emmanuel Coquery, John Samuel +1 more

cs.DB · · cited 0× · arXiv ↗ · more like this ·

The continuous evolution of cities poses significant challenges in terms of managing and understanding their complex dynamics. With the increasing demand for transparency and the growing availability of open urban data, it has become important to ensure the reproducibility of scientific research and computations in urban planning. To understand past decisions and other possible scenarios, we require solutions that go beyond the management of urban knowledge graphs. In this work, we explore existing solutions and their limits and explain the need and possible approaches for querying across multiple graph versions.

ConVer-G: Concurrent versioning of knowledge graphs

Jey Puget Gil, Emmanuel Coquery, John Samuel +1 more

cs.DB · · cited 0× · arXiv ↗ · more like this ·

The multiplication of platforms offering open data has facilitated access to information that can be used for research, innovation, and decision-making. Providing transparency and availability, open data is regularly updated, allowing us to observe their evolution over time. We are particularly interested in the evolution of urban data that allows stakeholders to better understand dynamics and propose solutions to improve the quality of life of citizens. In this context, we are interested in the management of evolving data, especially urban data and the ability to query these data across the available versions. In order to have the ability to understand our urban heritage and propose new scenarios, we must be able to search for knowledge through concurrent versions of urban knowledge graphs. In this work, we present the ConVer-G (Concurrent Versioning of knowledge Graphs) system for…

Deep Multi-Source Supervised Domain Adaptation with Class Imbalance

Thomas Ranvier, Haytham Elghazel, Emmanuel Coquery +1 more

Artificial Intelligence · Research Square · · cited 0× · DOI ↗ · more like this ·

Abstract Deep multi-source domain adaptation is based on deep neural networks and exploits knowledge from multiple source domains to improve predictions on a target domain.In this paper, we are especially interested in investigating domain adaptation in a supervised context, with limited data and class imbalance. We propose a new multi-source supervised domain adaptation approach that is able to transfer both shared knowledge across all source domains and source domain specific knowledge toward a target domain. Transfer contribution weights are computed during training based on domain divergence. They are used to balance each source domain impact on learning during the model training phase, limiting negative transfer as much as possible. We conduct extensive experiments to show that our approach competes and even outperforms other state-of-the-art domain adaptation approaches on both…

Localized Feature Ranking approach for Multi-Target Regression

Hugo Bertrand, Haytham Elghazel, Sahar Masmoudi +2 more

Computer Vision and Pattern Recognition · 2022 International Joint Conference on Neural Networks (IJCNN) · · cited 0× · DOI ↗ · more like this ·

Multi-target regression (MTR) aims at designing models able to predict multiple continuous variables simultaneously. The key for designing an effective feature selection model for MTR is to develop a framework under which the feature importances are measured using the correlation between features and targets in a natural way. So far, feature importances in MTR problems were evaluated in a global sense where proposed approaches generate a single ordered list of features common for all the targets. In this work, we adapt the Ensemble of Regressor Chains algorithm in tandem with the random forest paradigm to appropriately model both dependencies among features and targets in a target-specific (localized) feature ranking process. We provide empirical results on several benchmark MTR data sets indicating the effectiveness of our strategy to perform better than selecting one global ranking…

Autoencoder-based Attribute Noise Handling Method for Medical Data

Thomas Ranvier, Haytham Elgazel, Emmanuel Coquery +1 more

cs.LG · · cited 0× · arXiv ↗ · more like this ·

Medical datasets are particularly subject to attribute noise, that is, missing and erroneous values. Attribute noise is known to be largely detrimental to learning performances. To maximize future learning performances it is primordial to deal with attribute noise before any inference. We propose a simple autoencoder-based preprocessing method that can correct mixed-type tabular data corrupted by attribute noise. No other method currently exists to handle attribute noise in tabular data. We experimentally demonstrate that our method outperforms both state-of-the-art imputation methods and noise correction methods on several real-world medical datasets.

Using SAT and SQL for Pattern Mining in Relational Databases

Emmanuel Coquery, Jean-Marc Petit, Lakhdar Saïs

Information Systems · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 0× · OpenAlex ↗ · more like this ·

Abstract. In this paper, we present an ongoing work bridg-ing the gap between pattern mining, SQL and SAT for a particular class of patterns. We extend the work presented in [2] that proposes a logical query language for rule patterns satisfying Armstrong’s axioms. Our contributions are the fol-lowing: firstly, we allow a large part of the relational tuple calculus (SQL) to be used in the specification of queries. Sec-ondly, we propose a boolean encoding of the query that can be used to compute answers even in the case of non Armstrong-compliant queries. Some experiments have been performed on top of Derby (embedded Java DBMS) and a modified version of MiniSat to show the feasibility of the approach. 1