EDBT 2026 Demo / reviewers in the wild / expert
Pascal André
dblp:08/6436
· DBLP profile ↗
8ranked-venue papers
6as first author
2since 2021 · last 2024
0000-0002-1112-2973ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 6 · 5 first-authorSecurity and privacy · 1 · 1 since 2021Databases, data management, data science and information retrieval · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
2 papers |
Software testing · 85% Services computing and microservices · 13% Programming languages and type systems · 2% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing › test infrastructure
harness generation |
0.2 | 1 | 2016 | COSTOTest: a tool for building and running test harness for service-based component models (demo) · ISSTA 2016 |
Software testing
model-based testing |
0.2 | 1 | 2016 | COSTOTest: a tool for building and running test harness for service-based component models (demo) · ISSTA 2016 |
Programming languages and type systems › method dispatch
method lookup |
0.0 | 1 | 1992 | Optimizing Method Search with Lookup Caches and Incremental Coloring · OOPSLA 1992 |
Programming languages and type systems › dynamic languages
dynamically typed languages |
0.0 | 1 | 1992 | Optimizing Method Search with Lookup Caches and Incremental Coloring · OOPSLA 1992 |
Runtime systems and virtual machines
object-oriented language implementation |
0.0 | 1 | 1992 | Optimizing Method Search with Lookup Caches and Incremental Coloring · OOPSLA 1992 |
Methods — techniques the papers use, named apart from their topics
model transformation · 0.2incremental coloring algorithm · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Privbench: A Benchmark Capturing Privilege Escalation Vulnerabilities in AndroidabstractSecurity code smells are receiving increasing attention in the domain of Android app development. They serve as coding guidelines aimed at identifying vulnerabilities originating from the application's source code. Numerous related tools have been proposed to align with DevSecOps guidelines. However, they lack of comparable effort in creating benchmarks for open-source apps, making the thorough evaluation of these tools challenging, and requiring time-consuming manual effort. In this paper, we propose Privbench, an evolving benchmark that captures vulnerabilities related to the Android ecosystem. It incorporates multiple code patterns for each vulnerability. To showcase its significance, we used it to evaluate two well-known tools used to identify Android security code smells. This evaluation focused on Privilege Escalation (PE) vulnerabilities and we present their performance in detecting the vulnerabilities within their scopes. We believe that our benchmark can be useful for advancing the capabilities of state-of-the-art tools, enhancing their effectiveness in vulnerability detection, and increasing developers awareness to evade privilege escalation vulnerabilities. Mohammed El Amin Tebib, Oum-El-Kheir Aktouf, Pascal André, Mariem Graa |
PST | 3 |
| 2021 | More Automation in Model Driven Development
Pascal André, Mohammed El Amin Tebib |
MEDI | 1 |
| 2020 | Refining Automation System Control with MDEabstractInternational audience Pascal André, Mohammed El Amin Tebib |
MODELSWARD | 1 |
| 2019 | Case Studies in Model-Driven Reverse EngineeringabstractInternational audience Pascal André |
MODELSWARD | 1 |
| 2018 | Virtual Extension of Meta-models with Facet ToolsabstractInternational audience Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton |
MODELSWARD | 2 |
| 2017 | Combining Techniques to Verify Service-based ComponentsabstractInternational audience Pascal André, J. Christian Attiogbé, Jean-Marie Mottu |
MODELSWARD | 1 |
| 2016 | COSTOTest: a tool for building and running test harness for service-based component models (demo)abstractEarly testing reduces the cost of detecting faults and improves the system reliability. In particular, testing component or service based systems during modeling frees the tests from implementation details, especially those related to the middleware. COSTOTest is a tool that helps the tester during the process of designing tests at the model level. It suggests the possibilities and the lacks when (s)he builds test cases. Building executable tests is achieved thanks to model transformations. Pascal André, Jean-Marie Mottu, Gerson Sunyé |
ISSTA | 1 |
| 1992 | Optimizing Method Search with Lookup Caches and Incremental ColoringabstractAn efficient mechanism for method lookup is csscntial in any reasonable implementation of a clussbased object-oriented language.One tcchniquc, static caches, provide constant time lookup, but consumes cxcessive memory.To alleviate the memory consumption problem many systems USC a coloring schcmc that allows cache rows to be shared and thus reduces the ovcrall cache size.This technique is easily implcmcntcd I'OI stongly typed languages such as C++ and Eiffcl, but not for languages such as CLOS or Smalltalk.This papct provides a solution to this latter problem: that of coloring for static caches in dynamically typed objcct-oricnted languages.Our solution is to use an incrcmcntal coloring algorithm to avoid the memory consumption problems of the naive approach. Pascal André, Jean-Claude Royer |
OOPSLA | 1 |