Yves Le Traon

Yves Le Traon

Professor in Computer Science - Systems and Software Reliability

Research Topics Software Engineering, Software Testing, Model Driven Engineering, Security, Adaptive systems, Resilience
Faculty or Centre Faculté des Sciences, de la Technologie et de la Communication
Research Unit CSC
Postal Address Weicker Building, Université du Luxembourg
4, rue Alphonse Weicker
L-2721 Luxembourg
Campus Office C113
Email
Telephone (+352) 46 66 44 5262
powered by
orbilu.uni.lu

2016

Full Text
See detailAndroZoo: Collecting Millions of Android Apps for the Research Community
Allix, Kevin; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Proceedings of the 13th International Workshop on Mining Software Repositories (2016, May)

Full Text
See detailPrivacy Challenges in Ambient Intelligence Systems
Caire, Patrice; Moawad, Assaad; Efthymiou, Vasileios; bikakis, Antonis; Le Traon, Yves

in Journal of Ambient Intelligence and Smart Environments (2016)

Full Text
See detailNear Real-Time Electric Load Approximation in Low Voltage Cables of Smart Grids with Models@run.time
Hartmann, Thomas; Moawad, Assaad; Fouquet, François; Reckinger, Yves; Klein, Jacques; Le Traon, Yves

in 31st Annual ACM Symposium on Applied Computing (SAC'16) (2016, April)

Full Text
See detailComparing White-box and Black-box Test Prioritization
Henard, Christopher; Papadakis, Mike; Harman, Mark; Jia, Yue; Le Traon, Yves

in Comparing White-box and Black-box Test Prioritization (2016)

Full Text
See detailTime Series Classification with Discrete Wavelet Transformed Data: Insights from an Empirical Study
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 28th International Conference on Software Engineering and Knowledge Engineering (SEKE 2016) (2016, July)

Full Text
See detailProfiling household appliance electricity usage with n-gram language modeling
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Kubler, Sylvain; Klein, Jacques; Le Traon, Yves

in The 2016 IEEE International Conference on Industrial Technology (ICIT 2016) (2016, March)

Full Text
See detailDSCo: A Language Modeling Approach for Time Series Classification
Li, Daoyuan; Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in 12th International Conference on Machine Learning and Data Mining (MLDM 2016) (2016, July)

Full Text
See detailAn Investigation into the Use of Common Libraries in Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016, March)

Full Text
See detailParameter Values of Android APIs: A Preliminary Study on 100,000 Apps
Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016, March)

Full Text
See detailStatic Analysis of Android Apps: A Systematic Literature Review
Li, Li; Bissyande, Tegawendé François D Assise; Papadakis, Mike; Rasthofer, Siegfried; Bartel, Alexandre; Octeau, Damien; Klein, Jacques; Le Traon, Yves

Report (2016)

Full Text
See detailTowards a Generic Framework for Automating Extensive Analysis of Android Applications
Li, Li; Li, Daoyuan; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016) (2016, April)

Full Text
See detailUngrafting Malicious Code from Piggybacked Android Apps
Li, Li; Li, Daoyuan; Bissyande, Tegawendé François D Assise; Lo, David; Klein, Jacques; Le Traon, Yves

Report (2016)

Full Text
See detailCombining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis
Octeau, Damien; Jha, Somesh; Dering, Matthew; McDaniel, Patrick; Bartel, Alexandre; Li, Li; Klein, Jacques; Le Traon, Yves

in The 43rd Symposium on Principles of Programming Languages (POPL 2016) (2016, January)

Top of Page

2015

Full Text
See detailCloud Providers Viability: How to Address it from an IT and Legal Perspective?
Bartolini, Cesare; El Kateb, Donia; Le Traon, Yves; Hagen, David

in Economics of Grids, Clouds, Systems, and Services (2015, September 16)

Full Text
See detailMetallaxis-FL: mutation-based fault localization
Papadakis, Mike; Le Traon, Yves

in Software Testing : Verification & Reliability (2015), 25

Top of Page

2014

Full Text
See detailGeneric Cloud Platform Multi-objective Optimization Leveraging Models@run.time
El Kateb, Donia; Fouquet, François; Nain, Grégory; Meira, Jorge Augusto; Ackerman, Michel; Le Traon, Yves

Scientific Conference (2014, March)

Full Text
See detailA Flexible MDE approach to Enforce Fine- grained Security Policies
Elrakaiby, Yehia; Amrani, Moussa; Le Traon, Yves

in Proceedings of the International Symposium on Engineering Secure Software and Systems (2014)

Full Text
See detailReactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning
Hartmann, Thomas; Fouquet, François; Klein, Jacques; Nain, Grégory; Le Traon, Yves

in Proceedings of the Second Open EIT ICT Labs Workshop on Smart Grid Security (SmartGridSec14) (2014, April)

Full Text
See detailModel-based time-distorted Contexts for efficient temporal Reasoning
Hartmann, Thomas; Fouquet, François; Nain, Grégory; Brice, Morin; Klein, Jacques; Le Traon, Yves

Poster (2014, July 02)

See detailBUT4Reuse Feature identifier: Identifying reusable features on software variants
Martinez, Jabier; Ziadi, Tewfik; Klein, Jacques; Le Traon, Yves

Poster (2014)

Full Text
See detailModularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management
Nguyen, Phu Hong; Nain, Grégory; Klein, Jacques; Mouelhi, Tejeddine; Le Traon, Yves

in Transactions on Aspect-Oriented Software Development (2014), 11

Top of Page

2013

Full Text
See detailUnder Pressure Benchmark for DDBMS Availability
Fior, Alessandro Gustavo; Meira, Jorge Augusto; Almeida, Eduardo Cunha de; Coelho, Ricardo Gonçalves; Del Fabro, Marcos Didonet; Le Traon, Yves

in Journal of Information and Data Management (2013)

Full Text
See detailStress Testing of Transactional Database Systems
Meira, Jorge Augusto; Almeida, Eduardo Cunha de; Sunyé, Gerson; Le Traon, Yves; Valduriez, Patrick

in Journal of Information and Data Management (2013)

Full Text
See detailR-CoRe: A Rule-based Contextual Reasoning Platform for AmI
Moawad, Assaad; Bikakis, Antonis; Caire, Patrice; Nain, Grégory; Le Traon, Yves

in Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium hosted at the 8th International Symposium on Rules (RuleML2013) (2013, July)

Full Text
See detailA Rule-based Contextual Reasoning Platform for Ambient Intelligence environments
Moawad, Assaad; Bikakis, Antonis; Caire, Patrice; Nain, Grégory; Le Traon, Yves

in Theory, Practice, and Applications of Rules on the Web (2013, July 01)

Full Text
See detailModel-Driven Adaptive Delegation
Nguyen, Phu Hong; Nain, Grégory; Klein, Jacques; Mouelhi, Tejeddine; Le Traon, Yves

in Masuhara, Hidehiko; Chiba, Sigeru; Ubayashi, Naoyasu (Eds.) Proceedings of the 12th annual international conference companion on Aspect-oriented software development (2013, March)

Full Text
See detailEffective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis
Octeau, Damien; McDaniel, Patrick; Jha, Somesh; Bartel, Alexandre; Bodden, Eric; Klein, Jacques; Le Traon, Yves

in Effective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis (2013)

Top of Page

2012

Full Text
See detailImproving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation
Bartel, Alexandre; Klein, Jacques; Monperrus, Martin; Allix, Kevin; Le Traon, Yves

Report (2012)

Full Text
See detailRefactoring access control policies for performance improvement
El Kateb, Donia; Mouelhi, Tejeddine; Le Traon, Yves; Hwang, Jeehyun; Xie, Tao

in Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (2012, April)

Full Text
See detailSelection of Regression System Tests for Security Policy Evolution
Hwang, JeeHyun; Xie, Tao; El Kateb, Donia; Mouelhi, Tejeddine; Le Traon, Yves

Scientific Conference (2012, September)

Full Text
See detailIntroducing Conviviality as a New Paradigm for Interactions among IT Objects
Moawad, Assaad; Efthymiou, Vasileios; Caire, Patrice; Nain, Grégory; Le Traon, Yves

in Proceedings of the Workshop on AI Problems and Approaches for Intelligent Environments (2012, August), 907

Full Text
See detailTowards Flexible Evolution of Dynamically Adaptive Systems
Perrouin, Gilles; Morin, Brice; Chauvel, Franck; Fleurey, Franck; Klein, Jacques; Le Traon, Yves; Barais, Olivier; Jézéquel, Jean-Marc

in New Ideas & Emerging Results Track of the International Conference of Software Engineering (NIER@ICSE) (2012, June)

Full Text
See detailA Model-Based Approach to Automated Testing of Access Control Policies
Xu, Dianxiang; Thomas, Lijo; Kent, Michael; Mouelhi, Tejeddine; Le Traon, Yves

in Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (2012)

Top of Page

2011

Full Text
See detailAutomatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android
Bartel, Alexandre; Klein, Jacques; Monperrus, Martin; Le Traon, Yves

in Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (Tech Report) (2011)

Top of Page

2010

Full Text
See detailAutomated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
Perrouin, Gilles; Sen, Sagar; Klein, Jacques; Baudry, Benoit; Le Traon, Yves

in International Conference on Software Test and Validation (2010)

Top of Page