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: Klein:Jacques
Facilitated 1 volumes:
PrCoContributed to:
20152015
2015
2015
2014
2014
2014
2014
201320132013
201220122011
201020102009200820152016
20182019
2016Wrote 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.