BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Hungary
1 × Ireland
1 × Italy
1 × Japan
1 × Norway
1 × Spain
1 × Switzerland
2 × Canada
3 × USA
3 × United Kingdom
Collaborated with:
Y.L.Traon T.F.Bissyandé J.Jézéquel G.Perrouin B.Morin J.Martinez T.Ziadi J.Kienzle T.Hartmann F.Fouquet A.Bartel D.Octeau A.Moawad G.Nain C.Henard M.Papadakis M.Monperrus L.Li O.Barais N.Guelfi L.L.0029 M.E.Kramer F.Fleurey S.Arzt S.Rasthofer E.Bodden P.McDaniel S.Sen B.Baudry P.H.Nguyen K.Yskout T.Heyman R.Scandariato R.Mazo J.R.H.Steel A.Koyuncu K.L.0001 D.K.0001 F.Chauvel F.Dong H.Wang Y.G.0001 T.Liu G.Xu S.Jha M.Dering P.D.McDaniel C.Fritz M.Alférez N.Amálio S.Ciraci S.Mosser G.Mussbacher E.E.Roubtsova G.Zhang
Talks about:
model (15) softwar (6) product (6) android (6) autom (5) line (5) analysi (4) app (4) flexibl (3) system (3)

Person: Jacques Klein

DBLP DBLP: Klein:Jacques

Facilitated 1 volumes:

MoDELS 2016PrCo

Contributed to:

ICSE 20152015
MoDELS 20152015
SAC 20152015
SPLC 20152015
ECMFA 20142014
PLDI 20142014
SEKE 20142014
VISSOFT 20142014
ICMT 20132013
ICSE 20132013
SPLC 20132013
ASE 20122012
ICSE 20122012
ECMFA 20112011
ICST 20102010
MoDELS (2) 20102010
MoDELS 20092009
SPLC 20082008
ASE 20152015
ASE 20162016
ESEC/FSE 20182018
ESEC/FSE 20192019
POPL 20162016

Wrote 26 papers:

ICSE-v1-2015-LiBBKTARBOM #android #component #detection #named #privacy
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps (LL, AB, TFB, JK, YLT, SA, SR, EB, DO, PM), pp. 280–291.
MoDELS-2015-HartmannMFNKT #distributed #modelling #peer-to-peer #runtime
Stream my models: Reactive peer-to-peer distributed models@run.time (TH, AM, FF, GN, JK, YLT), pp. 80–89.
MoDELS-2015-Moawad0FNKT #modelling #performance
Beyond discrete modeling: A continuous and efficient model for IoT (AM, TH, FF, GN, JK, YLT), pp. 90–99.
MoDELS-2015-NguyenYHKST #design pattern #named #security
SoSPa: A system of Security design Patterns for systematically engineering secure systems (PHN, KY, TH, JK, RS, YLT), pp. 246–255.
SAC-2015-Moawad0FKT #adaptation #privacy #ubiquitous
Adaptive blurring of sensor data to balance privacy and utility for ubiquitous services (AM, TH, FF, JK, YLT), pp. 2271–2278.
SPLC-2015-MartinezZBKT #approach #bottom-up #product line
Bottom-up adoption of software product lines: a generic and extensible approach (JM, TZ, TFB, JK, YLT), pp. 101–110.
ECMFA-2014-MartinezZKT #identification #variability #visualisation
Identifying and Visualising Commonality and Variability in Model Variants (JM, TZ, JK, YLT), pp. 117–131.
PLDI-2014-ArztRFBBKTOM #analysis #android #named #precise
FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps (SA, SR, CF, EB, AB, JK, YLT, DO, PM), p. 29.
SEKE-2014-HartmannFNMKT #approach #modelling #reasoning #runtime #using
Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach (TH, FF, GN, BM, JK, YLT), pp. 586–591.
VISSOFT-2014-MartinezZMBKT #constraints #graph #paradigm #product line #visualisation
Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines (JM, TZ, RM, TFB, JK, YLT), pp. 50–59.
ICMT-2013-KramerKSMKBJ #weaving
Achieving Practical Genericity in Model Weaving through Extensibility (MEK, JK, JRHS, BM, JK, OB, JMJ), pp. 108–124.
ICSE-2013-HenardPPKT #automation #feature model #modelling #testing #towards
Towards automated testing and fixing of re-engineered feature models (CH, MP, GP, JK, YLT), pp. 1245–1248.
SPLC-2013-HenardPPKT #generative #multi #product line #testing
Multi-objective test generation for software product lines (CH, MP, GP, JK, YLT), pp. 62–71.
ASE-2012-BartelKTM #android #automation
Automatically securing permission-based software by reducing the attack surface: an application to Android (AB, JK, YLT, MM), pp. 274–277.
ICSE-2012-PerrouinMCFKTBJ #adaptation #evolution #flexibility #towards
Towards flexible evolution of Dynamically Adaptive Systems (GP, BM, FC, FF, JK, YLT, OB, JMJ), pp. 1353–1356.
ECMFA-2011-AlferezACFKKKMMRZ #abstraction #aspect-oriented #development
Aspect-Oriented Model Development at Different Levels of Abstraction (MA, NA, SC, FF, JK, JK, MEK, SM, GM, EER, GZ), pp. 361–376.
ICST-2010-PerrouinSKBT #automation #generative #product line #scalability #testing
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines (GP, SS, JK, BB, YLT), pp. 459–468.
MoDELS-v2-2010-MorinKKJ #aspect-oriented #flexibility #modelling #policy
Flexible Model Element Introduction Policies for Aspect-Oriented Modeling (BM, JK, JK, JMJ), pp. 63–77.
MoDELS-2009-KleinKMJ #weaving
Aspect Model Unweaving (JK, JK, BM, JMJ), pp. 514–530.
SPLC-2008-PerrouinKGJ #automation #flexibility
Reconciling Automation and Flexibility in Product Derivation (GP, JK, NG, JMJ), pp. 339–348.
ASE-2015-MartinezZBKT #automation #modelling #product line
Automating the Extraction of Model-Based Software Product Lines from Model Variants (T) (JM, TZ, TFB, JK, YLT), pp. 396–406.
ASE-2016-LiBOK #android #static analysis
Reflection-aware static analysis of Android apps (LL, TFB, DO, JK), pp. 756–761.
ESEC-FSE-2018-DongWLGBLXK #android #automation #detection #named
FraudDroid: automated ad fraud detection for Android apps (FD, HW, LL0, YG0, TFB, TL, GX, JK), pp. 257–268.
ESEC-FSE-2019-KoyuncuLB0MKT #debugging #named #program repair
iFixR: bug report driven program repair (AK, KL0, TFB, DK0, MM, JK, YLT), pp. 314–325.
POPL-2016-OcteauJDMB0KT #android #component #modelling #probability #static analysis
Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis (DO, SJ, MD, PDM, AB, LL0, JK, YLT), pp. 469–484.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.