Asked Publications
Sous presse
A Formal Framework of Software Product Line Analyses; ; ; ; ;
in ACM Transactions on Software Engineering and Methodology (in press)
Test Selection for Deep Learning Systems; ; ; ;
in ACM Transactions on Software Engineering and Methodology (in press)
Inputs from Hell: Learning Input Distributions for Grammar-Based Test Generation; ; ; ;
in IEEE Transactions on Software Engineering (in press)
Killing Stubborn Mutants with Symbolic Execution; ; ;
in ACM Transactions on Software Engineering and Methodology (in press)
2021
A critical review on the evaluation of automated program repair systems; ; ; ; ; ;
in Journal of Systems and Software (2021)
A First Look at Android Applications in Google Play related to Covid-19; ; ;
in Empirical Software Engineering (2021)
RAICC: Revealing Atypical Inter-Component Communication in Android Apps; ; ;
in Samhi, Jordan; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques (Eds.) RAICC: Revealing Atypical Inter-Component Communication in Android Apps (2021, May)
2020
Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach; ; ;
in Communications in Computer and Information Science (2020, February 15)
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing; ; ;
in SOFTWARE PRODUCT LINE CONFERENCE (2020, October)
Mobile App to SGX Enclave Secure Channel; ; ;
in 2019 IEEE International Symposium on Software Reliability Engineering Workshops (2020, February 13)
Towards Privacy Preserving Data Centric Super App; ; ;
in Carvalho Ota, Fernando Kaway; Meira, Jorge Augusto; Frank, Raphaël; State, Radu (Eds.) 2020 Mediterranean Communication and Computer Networking Conference, Arona 17-19 June 2020 (2020, September 10)
Statistical Model Checking for Variability-Intensive Systems; ;
in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020 (2020, April)
Understanding the Evolution of Android App Vulnerabilities; ; ;
in IEEE Transactions on Reliability (2020)
Borrowing your enemy's arrows: the case of code reuse in android via direct inter-app code invocation; ; ; ;
in ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (2020, November)
Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach; ; ; ; ;
E-print/Working paper (2020)
Search-based adversarial testing and improvement of constrained credit scoring systems; ; ; ; ; ;
in ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20), November 8-13, 2020 (2020)
Adversarial Embedding: A robust and elusive Steganography and Watermarking technique; ; ;
Scientific Conference (2020)
FeatureNET: Diversity-driven Generation of Deep Learning Models; ; ;
in International Conference on Software Engineering (ICSE) (2020)
Data-driven simulation and optimization for covid-19 exit strategies; ; ; ; ; ; ;
in Ghamizi, Salah; Rwemalika, Renaud; Cordy, Maxime; Veiber, Lisa; Bissyande, Tegawendé François D Assise; Papadakis, Mike; Klein, Jacques; Le Traon, Yves (Eds.) Data-driven simulation and optimization for covid-19 exit strategies (2020, August)
Abstracting Failure-Inducing Inputs; ; ; ;
in Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (2020, July 18)
IoTEF: A Federated Edge-Cloud Architecture for Fault-Tolerant IoT Applications; ; ;
in Journal of Grid Computing (2020)
When does my program do this? learning circumstances of software behavior; ; ;
in Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (2020, November 08)
Debugging Inputs; ;
in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (2020, June)
LOVBench: Ontology Ranking Benchmark; ; ;
in Proceedings of The Web Conference 2020 (WWW '20) (2020, April)
FixMiner: Mining relevant fix patterns for automated program repair; ; ; ; ; ;
in Empirical Software Engineering (2020)
Interference Exploitation via Symbol-Level Precoding: Overview, State-of-the-Art and Future Directions; ; ; ; ; ; ; ; ;
in IEEE Communications Surveys and Tutorials (2020), 22(2), 796-839
CDA: Characterising Deprecated Android APIs; ; ; ; ;
in Empirical Software Engineering (2020), 24(118), 1-41
Knowledgezooclient: Constructing knowledge graph for android; ; ; ; ; ;
in The 3rd International Workshop on Advances in Mobile App Analysis (2020, September)
On the Efficiency of Test Suite based Program Repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs; ; ; ; ; ; ; ; ;
in 42nd ACM/IEEE International Conference on Software Engineering (ICSE) (2020, May)
MadDroid: Characterizing and Detecting Devious Ad Contents for Android Apps; ; ; ; ; ; ; ;
in Proceedings of The Web Conference 2020 (2020, April)
Evaluating Pretrained Transformer-based Models on the Task of Fine-Grained Named Entity Recognition; ; ; ;
in Proceedings of the 28th International Conference on Computational Linguistics (2020, December)
Commit-Aware Mutation Testing; ; ; ; ;
in IEEE International Conference on Software Maintenance and Evolution (ICSME) (2020)
SDR IMPLEMENTATION OF A TESTBED FOR SYNCHRONIZATION OF COHERENT DISTRIBUTED REMOTE SENSING SYSTEMS; ; ; ; ; ;
in Proceedings of IEEE International Geoscience and Remote Sensing Symposium 2020 (2020, September 26)
Load approximation for uncertain topologies in the low-voltage grid; ;
in INTERNATIONAL CONFERENCE ON SMART GRID COMMUNICATIONS, 11-13 November 2020 (2020, November)
A Case Driven Study of the Use of Time Series Classification for Flexibility in Industry 4.0; ;
in Sensors (2020), 20(24),
Enhanced Lightning Network (off-chain)-based micropayment in IoT ecosystems; ;
in Future Generation Computer Systems (2020)
De l'utilisation d'une bibliothèque à l'exécution d'un code arbitraire;
Article for general public (2020)
Qualifying and Measuring Transparency: A Medical Data System Case Study; ;
in Computers and Security (2020)
Automatic Testing and Improvement of Machine Translation; ; ; ;
in International Conference on Software Engineering (ICSE) (2020)
Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair; ; ; ; ; ;
in Tian, Haoye (Ed.) 35th IEEE/ACM International Conference on Automated Software Engineering, September 21-25, 2020, Melbourne, Australia (2020)
Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework; ;
in ACM/IEEE International Conference on Automation of Software Test (AST) 2020 (2020)
Deep dive into Interledger: Understanding the Interledger ecosystem - Part 4; ;
Learning material (2020)
Challenges Towards Production-Ready Explainable Machine Learning; ; ; ;
in Veiber, Lisa; Allix, Kevin; Arslan, Yusuf; Bissyande, Tegawendé François D Assise; Klein, Jacques (Eds.) Proceedings of the 2020 USENIX Conference on Operational Machine Learning (OpML 20) (2020, July)
2019
Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction; ; ; ; ;
in Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019, Leuven, Belgium, February 06-08, 2019 (2019, February)
Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation; ; ; ; ; ; ;
Book published by ACM (2019)
Désérialisation Java : Une brève introduction au ROP de haut niveau; ;
Article for general public (2019)
MUSTI: Dynamic Prevention of Invalid Object Initialization Attacks; ;
in IEEE Transactions on Information Forensics and Security (2019)
Sistemi Medici e Conformità Legale;
in Rivista Italiana di Medicina Legale: Dottrina, Casistica, Ricerca Sperimentale, Giurisprudenza e Legislazione (2019), XLI(1/2019), 225-242
The DAta Protection REgulation COmpliance Model; ;
in IEEE Security and Privacy (2019), 17(6), 37-45
An Agile Approach to Validate a Formal Representation of the GDPR; ;
in JSAI International Symposium on Artificial Intelligence (2019), 11717
TRIDENT: A Three-Steps Strategy to Digitise an Industrial System for Stepping into Industry 4.0; ;
in Proceedings of 45th Annual Conference of the IEEE Industrial Electronics Society (2019)
Electric-Field Control of Magnetization, Jahn-Teller Distortion, and Orbital Ordering in Ferroelectric Ferromagnets; ; ; ; ; ;
in PHYSICAL REVIEW LETTERS (2019), 122(24),
A Decade of Featured Transition Systems; ; ; ; ; ; ;
in From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (2019)
Automated evaluation of embedded-system design alternatives;
in Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019 (2019, September)
Verification and abstraction of real-time variability-intensive systems;
in International Journal on Software Tools for Technology Transfer (2019), 21(6), 635-649
Towards sampling and simulation-based analysis of featured weighted automata; ; ;
in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering (2019, May)
Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems; ; ;
in ACM SIGSOFT International Symposium on Software Testing and Analysis (2019)
Negative Results on Mining Crypto-API Usage Rules in Android Apps; ; ; ;
in Proceedings of the 16th International Conference on Mining Software Repositories (2019)
On the Evolution of Mobile App Complexity; ; ;
in Proceedings of 2019 24th International Conference on Engineering of Complex Computer Systems (2019)
Should You Consider Adware as Malware in Your Study?; ; ; ;
in 26th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering (2019, February 24)
Automated Search for Configurations of Deep Neural Network Architectures; ; ;
in Automated Search for Configurations of Convolutional Neural Network Architectures (2019)
Access Time Improvement Framework for Standardized IoT Gateways; ; ; ;
in Proceedings of IEEE International Conference on Pervasive Computing and Communications (2019)
An Empirical Study on Vulnerability Prediction of Open-Source Software Releases; ; ; ; ;
in Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (2019)
The Importance of Accounting for Real-World Labelling When Predicting Software Vulnerabilities; ; ; ; ;
in Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (2019)
Assessing the Generalizability of code2vec Token Embeddings; ;
in Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (2019, November)
Database Processing-in-Memory: A Vision; ; ;
in Database Processing-in-Memory: A Vision (2019, August 03)
Popularity-driven Ontology Ranking using Qualitative Features; ;
in The Semantic Web - ISWC 2019 (2019)
Linked Vocabulary Recommendation Tools for Internet of Things: A Survey; ; ; ;
in ACM Computing Surveys (2019)
Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems; ; ; ;
Scientific Conference (2019, July 15)
iFixR: bug report driven program repair; ; ; ; ; ;
in ESEC/FSE 2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (2019, August)
M-QAM Modulation Symbol-Level Precoding for Power Minimization: Closed-Form Solution; ; ;
Scientific Conference (2019, August)
Multifaceted automated analyses for variability-intensive embedded systems; ; ; ;
in Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 (2019, May)
Assessing Transition-based Test Selection Algorithms at Google; ; ; ;
in International Conference on Software Engineering (ICSE) (2019)
Watch out for This Commit! A Study of Influential Software Changes; ; ; ; ;
in Journal of Software: Evolution and Process (2019)
Rebooting Research on Detecting Repackaged Android Apps: Literature Review and Benchmark; ;
in IEEE Transactions on Software Engineering (2019)
On Identifying and Explaining Similarities in Android Apps; ; ;
in Journal of Computer Science and Technology (2019), 34(2), 437-455
Revisiting the impact of common libraries for android-related investigations; ; ; ; ;
in Journal of Systems and Software (2019), 154
Learning to Spot and Refactor Inconsistent Method Names; ; ; ; ; ; ;
in 41st ACM/IEEE International Conference on Software Engineering (ICSE) (2019, May)
You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair Systems; ; ; ; ;
in The 12th IEEE International Conference on Software Testing, Verification and Validation (ICST-2019) (2019, April 24)
AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations; ; ;
in The 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER-2019) (2019, February 24)
TBar: Revisiting Template-based Automated Program Repair; ; ;
in 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) (2019, July)
Demonstrator of Precoding Technique for a Multi-Beams Satellite System; ; ; ; ; ;
in 2019 8th International Workshop on Tracking, Telemetry and Command Systems for Space Applications (TTC) (2019)
Hardware Precoding Demonstration in Multi-Beam UHTS Communications under Realistic Payload Characteristics; ; ; ; ; ; ; ;
in Proceedings of the 37th International Communications Satellite Systems Conference (2019, November 01)
An evolutionary approach to translating operational specifications into declarative specifications; ; ; ; ; ;
in Science of Computer Programming (2019), 181
Training binary classifiers as data structure invariants; ; ; ; ;
in Proceedings of the 41st International Conference on Software Engineering ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 (2019)
TOWARDS A MODELLING FRAMEWORK WITH TEMPORAL AND UNCERTAIN DATA FOR ADAPTIVE SYSTEMSDoctoral thesis (2019)
Handling duplicates in Dockerfiles families: Learning from experts; ; ; ;
in 35th IEEE International Conference on Software Maintenance and Evolution (ICSME) (2019, October)
Semantic Fuzzing with Zest; ; ; ;
in ACM SIGSOFT International Symposium on Software Testing and Analysis (2019)
Towards context-aware automated writing evaluation systems;
in Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, EASEAI@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019 (2019, August 26)
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?; ; ; ;
in 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019 (2019)
Assessing the impact of attacks on OPC-UA applications in the Industry 4.0 era; ;
in 16th IEEE Annual Consumer Communications & Networking Conference (CCNC), Las Vegas, 11-14 January 2019 (2019, January 11)
Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base; ; ; ; ;
in Journal of Logic, Language and Information (2019)
An industrial study on the differences between pre-release and post-release bugs; ; ; ;
in Proceedings of 35th IEEE International Conference on Software Maintenance and Evolution (2019, September 30)
On the Evolution of Keyword-Driven Test Suites; ; ; ;
in 12th IEEE International Conference on Software Testing, Verification and Validation (2019)
A Replicable Comparison Study of NER Software: StanfordNLP, NLTK, OpenNLP, SpaCy, Gate; ; ; ;
in International Conference on Social Networks Analysis, Management and Security (2019)
Empirical Evaluation of Mutation-based Test Prioritization Techniques; ; ;
in Software Testing, Verification and Reliability (2019), 29(1-2),
Mart: A Mutant Generation Tool for LLVM; ;
in Titcheu Chekam, Thierry; Papadakis, Mike; Le Traon, Yves (Eds.) Mart: A Mutant Generation Tool for LLVM (2019)
Deep dive into Interledger: Understanding the Interledger ecosystem - Part 1; ;
Learning material (2019)
Deep dive into Interledger: Understanding the Interledger ecosystem - Part 2; ;
Learning material (2019)
Deep dive into Interledger: Understanding the Interledger ecosystem - Part 3; ;
Learning material (2019)
2018
Satellite Multi-Beam Precoding Hardware Demonstrator, Satellite Communications in the 5G Era; ; ;
Book published by IET (2018)
Cloud Providers Viability: How to Address it from an IT and Legal Perspective?; ; ;
in Electron Markets (2018), 28(1), 53-75
An Interdisciplinary Methodology to Validate Formal Representations of Legal Text Applied to the GDPR; ;
Scientific Conference (2018, November 12)
O-MI/O-DF vs. MQTT: a performance analysis; ; ;
in O-MI/O-DF vs. MQTT: a performance analysis (2018, June 21)
A Hybrid Algorithm for Multi-objective Test Case Selection in Regression Testing; ; ;
in IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (2018)
Model-based mutant equivalence detection using automata language equivalence and simulations; ; ; ; ;
in Journal of Systems and Software (2018)
An Elastic Multi-Core Allocation Mechanism for Database Systems; ; ;
in International Conference on Data Engineering (ICDE) (2018)
FraudDroid: Automated Ad Fraud Detection for Android Apps; ; ; ; ; ; ;
in ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018) (2018, November)
Enabling lock-free concurrent workers over temporal graphs composed of multiple time-series; ; ;
in 33rd Annual ACM Symposium on Applied Computing (SAC'18) (2018, April)
A Family of Lightweight Twisted Edwards Curves for the Internet of Things; ;
in Blazy, Olivier; Yeun, Chan Y. (Eds.) Information Security Theory and Practice, 12th IFIP WG 11.2 International Conference, WISTP 2018, Brussels, Belgium, December 10-11, 2018, Proceedings (2018, December)
On the impact of tokenizer and parameters on N-gram based Code Analysis; ; ;
Scientific Conference (2018, September)
TUNA: TUning Naturalness-based Analysis; ; ;
in 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, 26-28 September 2018 (2018, September 26)
Enabling the Continous Analysis of Security Vulnerabilities with VulData7; ;
in IEEE International Working Conference on Source Code Analysis and Manipulation (2018)
Are mutants really natural? A study on how “naturalness” helps mutant selection; ; ; ; ; ;
in Proceedings of 12th International Symposium on Empirical Software Engineering and Measurement (ESEM'18) (2018, October 11)
Data Exchange Interoperability in IoT Ecosystem for Smart Parking and EV Charging; ; ; ; ; ;
in Sensors (2018)
FaCoY - A Code-to-Code Search Engine; ; ; ; ; ;
in International Conference on Software Engineering (ICSE 2018) (2018, May 27)
How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults; ; ; ; ;
in Empirical Software Engineering (2018)
Automated Testing of Android Apps: A Systematic Literature Review; ; ; ; ;
in IEEE Transactions on Reliability (2018)
Closed-Form Solution for Computationally Efficient Symbol-Level Precoding; ; ; ;
Scientific Conference (2018, December)
Computationally and Energy Efficient Symbol-Level Precoding Communications Demonstrator; ; ; ;
in Physical Communication (2018), 28
Measuring inconsistency and deriving priorities from fuzzy pairwise comparison matrices using the knowledge-based consistency index; ; ; ; ;
in Knowledge-Based Systems (2018)
Comparison of metadata quality in open data portals using the Analytic Hierarchy Process; ; ; ;
in Government Information Quarterly (2018)
Extracting Statistical Graph Features for Accurate and Efficient Time Series Classification; ; ; ;
in 21st International Conference on Extending Database Technology (2018, March)
MoonlightBox: Mining Android API Histories for Uncovering Release-time Inconsistencies; ;
in 29th IEEE International Symposium on Software Reliability Engineering (ISSRE) (2018, October)
CiD: Automating the Detection of API-related Compatibility Issues in Android Apps; ; ;
in International Symposium on Software Testing and Analysis (ISSTA) (2018, July)
Characterising Deprecated Android APIs; ; ; ; ;
in 15th International Conference on Mining Software Repositories (MSR 2018) (2018, May)
Mining Fix Patterns for FindBugs Violations; ; ; ;
in IEEE Transactions on Software Engineering (2018)
A Closer Look at Real-World Patches; ; ; ; ;
in 34th IEEE International Conference on Software Maintenance and Evolution (ICSME) (2018, September)
LSRepair: Live Search of Fix Ingredients for Automated Program Repair; ; ; ;
in 25th Asia-Pacific Software Engineering Conference (APSEC) (2018, December 07)
Time to Clean Your Test Objectives; ; ; ; ;
in 40th International Conference on Software Engineering, May 27 - 3 June 2018, Gothenburg, Sweden (2018, May)
Towards Estimating and Predicting User Perception on Software Product Variants; ; ; ; ; ; ; ;
in 17th International Conference on Software Reuse (ICSR) (2018, May)
Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants; ; ; ; ;
in Information and Software Technology (2018)
Hardware Demonstration of Precoded Communications in Multi-Beam UHTS Systems; ; ; ;
Scientific Conference (2018, October)
A Temporal Model for Interactive Diagnosis of Adaptive Systems; ; ; ;
in Mouline, Ludovic; Benelallam, Amine; Fouquet, François; Bourcier, Johann; Barais, Olivier (Eds.) 2018 IEEE International Conference on Autonomic Computing (ICAC) (2018, September)
Enabling Temporal-Aware Contexts for Adaptative Distributed Systems; ; ; ; ; ;
in SAC 2018: SAC 2018: Symposium on Applied Computing , April 9--13, 2018, Pau, France (2018)
PrOnto: Privacy Ontology for Legal Reasoning; ; ; ;
in International Conference on Electronic Government and the Information Systems Perspective (2018)
Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults; ; ;
in 40th International Conference on Software Engineering, May 27 - 3 June 2018, Gothenburg, Sweden (2018)
Mutant Quality Indicators; ;
in 13th International Workshop on Mutation Analysis (MUTATION'18) (2018)
Mind Your Dependencies for Semantic Query Optimization; ; ;
in Journal of Information and Data Management (2018)
SDR Implementation of a Testbed for Real-Time Interference Detection with Signal Cancellation; ; ; ; ;
in IEEE Access (2018)
On the Synchronization Bottleneck of OpenStack Swift-like Cloud Storage Systems; ; ; ; ; ; ;
in IEEE Transactions on Parallel and Distributed Systems (2018), PP(99), 1-1
Can we automate away the main challenges of end-to-end testing?; ; ;
Scientific Conference (2018, December 11)
Augmenting and Structuring User Queries to Support Efficient Free-Form Code Search; ; ; ; ;
in Empirical Software Engineering (2018), 90
Development of a test track for driverless cars: vehicle design, track configuration, and liability considerations; ; ; ;
in Periodica Polytechnica Transportation Engineering (2018), 46(1), 29-35
Predicting the Fault Revelation Utility of Mutants; ; ;
in 40th International Conference on Software Engineering, Gothenburg, Sweden, May 27 - 3 June 2018 (2018)
A New Modelling Framework over Temporal Graphs for Collaborative Mobility Recommendation Systems; ; ; ; ;
in A New Modelling Framework over Temporal Graphs for Collaborative Mobility Recommendation Systems (2018, March 15)
2017
Investigating Breakdowns in Human Robot Interaction: A Conversation Analysis Guided Single Case Study of a Human-NAO Communication in a Museum Environment; ;
in International Journal of Mechanical, Aerospace, Industrial, Mechatronic and Manufacturing Engineering (2017), 11(5), 839-845
Architecture 64 bits / aslr: quelles conséquences pour les exploits 32 bits? Étude de cas avec Java et le CVE-2010-0842Article for general public (2017)
Software Testing Techniques Revisited for OWL Ontologiesin Hammoudi, Slimane; Ferreira Pires, Luís; Selic, Bran; Desfray, Philippe (Eds.) Model-Driven Engineering and Software Development (2017)
Towards legal compliance by correlating Standards and Laws with a semi-automated methodology; ; ;
in Bosse, Tibor; Bredeweg, Bert (Eds.) Communications in Computer and Information Science (2017)
Using Ontologies to Model Data Protection Requirements in Workflows; ;
in Otake, Mihoko; Kurahashi, Setsuya; Ota, Yuiko; Satoh, Ken; Bekki, Daisuke (Eds.) New Frontiers in Artificial Intelligence (2017)
Critical features of autonomous road transport from the perspective of technological regulation and law; ;
in Transportation Research Procedia (2017), 27
Raising Time Awareness in Model-Driven Engineering; ; ; ; ; ;
in 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (2017, September)
Application of Measurement-Based AHP to Product-Driven System Control; ; ; ;
in Borangiu, Theodor (Ed.) Service Orientation in Holonic and Multi-Agent Manufacturing (2017)
Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation; ; ; ; ;
in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) (2017)
POSTER: Detection of Information Leaks via Reflection in Android Apps; ; ; ; ;
in The 2017 ACM on Asia Conference on Computer and Communications Security (AsiaCCS 2017) (2017)
Identifying Irregular Power Usage by Turning Predictions into Holographic Spatial Visualizations; ; ; ; ; ;
in Proceedings of the 17th IEEE International Conference on Data Mining Workshops (ICDMW 2017) (2017)
The Top 10 Topics in Machine Learning Revisited: A Quantitative Meta-Study; ; ; ; ; ; ;
in Proceedings of the 25th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN 2017) (2017)
Introduction to Detection of Non-Technical Losses using Data Analytics; ; ;
Scientific Conference (2017, September)
The Challenge of Non-Technical Loss Detection using Artificial Intelligence: A Survey; ; ; ;
in International Journal of Computational Intelligence Systems (2017), 10(1), 760-775
Is Big Data Sufficient for a Reliable Detection of Non-Technical Losses?; ; ; ; ;
in Proceedings of the 19th International Conference on Intelligent System Applications to Power Systems (ISAP 2017) (2017, September)
Analyzing Complex Data in Motion at Scale with Temporal Graphs; ; ; ;
in Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering (2017, July)
The Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling; ; ;
in Software & Systems Modeling (2017)
Combined Use of Lifecycle Management and IoT in Smart Cities; ; ; ; ; ;
in Combined Use of Lifecycle Management and IoT in Smart Cities (2017, December)
Euphony: Harmonious Unification of Cacophonous Anti-Virus Vendor Labels for Android Malware; ; ; ; ; ;
in MSR 2017 (2017, May 21)
Detecting Trivial Mutant Equivalences via Compiler Optimisations; ; ; ; ;
in IEEE Transactions on Software Engineering (2017)
Towards Semantic Interoperability in an Open IoT Ecosystem for Connected Vehicle Services; ; ; ;
in 2017 IEEE Global Internet of Things Summit (GIoTS) Proceedings (2017, July)
PROFICIENT: Productivity Tool for Semantic Interoperability in an Open IoT Ecosystem; ; ;
in Proceedings of the 14th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (2017, November 07)
Enriching a Situation Awareness Framework for IoT with Knowledge Base and Reasoning Components; ; ; ;
in Modeling and Using Context (2017, July)
Low Complexity Symbol-Level Design for Linear Precoding Systems; ; ; ;
in Heusdens, Richard; Weber, Jos H. (Eds.) PROCEEDINGS of the 2017 Symposium on Information Theory and Signal Processing in the Benelux (2017, May 11)
Knowledge-based Consistency Index for Fuzzy Pairwise Comparison Matrices; ; ; ;
in Knowledge-based Consistency Index for Fuzzy Pairwise Comparison Matrices (2017, July 10)
Comparison of metadata quality in open data portals using the Analytic Hierarchy Process; ; ; ;
in Government Information Quarterly (2017)
Assessing and Improving the Mutation Testing Practice of PIT; ; ; ; ;
in 10th IEEE International Conference on Software Testing, Verification and Validation (2017)
Sensing by Proxy in Buildings with Agglomerative Clustering of Indoor Temperature Movements; ; ;
in The 32nd ACM Symposium on Applied Computing (SAC 2017) (2017, April)
Mining AndroZoo: A Retrospectin The International Conference on Software Maintenance and Evolution (ICSME) (2017, September)
SimiDroid: Identifying and Explaining Similarities in Android Apps; ;
in Abstract book of the 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) (2017)
Static Analysis of Android Apps: A Systematic Literature Review; ; ; ; ; ; ;
in Information and Software Technology (2017)
Automatically Locating Malicious Packages in Piggybacked Android Apps; ; ; ; ; ;
in Abstract book of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft 2017) (2017, May)
On Locating Malicious Code in Piggybacked Android Apps; ; ; ; ; ;
in Journal of Computer Science & Technology (2017)
Understanding Android App Piggybacking: A Systematic Study of Malicious Code Grafting; ; ; ; ; ;
in IEEE Transactions on Information Forensics & Security (2017)
Towards Security-aware Mutation Testing; ; ; ;
in The 12th International Workshop on Mutation Analysis (Mutation 2017) (2017)
Distilling Provider-Independent Data for General Detection of Non-Technical Losses; ; ; ; ; ;
in Power and Energy Conference, Illinois 23-24 February 2017 (2017)
Computationally Efficient Symbol-Level Precoding Communications Demonstrator; ; ; ; ;
in IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (2017, October)
Weaving Rules into Models@run.time for Embedded Smart Systems; ; ; ; ;
in Mouline, Ludovic; Hartmann, Thomas; Fouquet, François; Le Traon, Yves; Bourcier, Johann; Barais, Olivier (Eds.) Programming '17 Companion to the first International Conference on the Art, Science and Engineering of Programming (2017, April)
Efficiently computing the likelihoods of cyclically interdependent risk scenarios; ; ; ;
in Computers & Security (2017), 64
Modelling Metrics for Transparency in Medical Systems; ;
in Proceedings of TrustBus 2017 (2017, July)
Augmenting and Structuring User Queries to Support Efficient Free-Form Code Search; ; ; ; ;
Report (2017)
An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation that Avoids the Unreliable Clean Program Assumption; ; ;
in International Conference on Software Engineering (ICSE 2017) (2017, May 28)
Comprehending Malicious Android Apps By Mining Topic-Specific Data Flow Signatures; ; ; ; ;
in Information and Software Technology (2017)
2016
An approach to information retrieval and question answering in the legal domain; ; ;
Scientific Conference (2016, November 15)
AndroZoo: Collecting Millions of Android Apps for the Research Community; ; ;
in Proceedings of the 13th International Workshop on Mining Software Repositories (2016, May)
Cloud Providers Viability: How to Address it from an IT and Legal Perspective?; ; ;
in Altmann, Jörn; Silaghi, Gheorghe Cosmin; Rana, Omer F. (Eds.) Economics of Grids, Clouds, Systems, and Services (2016)
A Framework to Reason about the Legal Compliance of Security Standards; ; ;
in Proceedings of the Tenth International Workshop on Juris-informatics (JURISIN) (2016, November)
Towards legal compliance by correlating Standards and Laws with a semi-automated methodology; ;
in Proceedings of the 28 Benelux Conference on Artificial Intelligence (BNAIC) (2016, November)
The right to be forgotten in the light of the consent of the data subject;
in Computer Law & Security Report (2016), 32(2),
Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots; ; ; ; ; ; ;
in 8th International Conference on Agents and Artificial Intelligence, ICAART, Rome, Italy, 2016 (2016)
Privacy Challenges in Ambient Intelligence Systems; ; ; ;
in Journal of Ambient Intelligence and Smart Environments (2016)
PIT a Practical Mutation Testing Tool for Java; ; ; ;
in International Symposium on Software Testing and Analysis, ISSTA 2016 (2016)
Opportunities for enhanced lean construction management using Internet of Things standards; ; ;
in Automation in Construction (2016), 61
Featured model-based mutation analysis; ; ; ; ;
in 38th International Conference on Software Engineering (ICSE'16) (2016)
Neighborhood Features Help Detecting Non-Technical Losses in Big Data Sets; ; ; ; ; ;
in Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing Applications and Technologies (BDCAT 2016) (2016)
Squirrel: Architecture Driven Resource Management; ; ; ;
in 31st Annual ACM Symposium on Applied Computing (SAC'16) (2016)
ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems; ; ; ; ; ; ;
in Journal of Systems and Software (2016)
Enabling Model-Driven Live Analytics For Cyber-Physical Systems: The Case of Smart GridsDoctoral thesis (2016)
Near Real-Time Electric Load Approximation in Low Voltage Cables of Smart Grids with Models@run.time; ; ; ; ;
in 31st Annual ACM Symposium on Applied Computing (SAC'16) (2016, April)
Lifecycle Management in the Smart City Context: Smart Parking Use-Case; ; ; ; ; ;
in 13th IFIP International Conference on Product Lifecycle Management, Columbia SC 10-13 July 2016 (2016, July 13)
Comparing White-box and Black-box Test Prioritization; ; ; ;
in 38th International Conference on Software Engineering (ICSE'16) (2016)
On the Lack of Consensus in Anti-Virus Decisions: Metrics and Insights on Building Ground Truths of Android Malware; ; ; ;
in Detection of Intrusions and Malware, and Vulnerability Assessment - 13th International Conference (2016)
Profiling Android Vulnerabilities; ; ;
in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016) (2016, August)
An Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel; ;
in 2016 Asia-Pacific Software Engineering Conference (APSEC) (2016, December)
Vulnerability Prediction Models: A case study on the Linux Kernel; ;
in 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, US, October 2-3, 2016 (2016, October)
Automatic Identifier Inconsistency Detection Using Code Dictionary;
in Empirical Software Engineering (2016), 21(2), 565-604
Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study; ; ; ;
in International Working Conference on Source Code Analysis and Manipulation (SCAM'16) (2016)
Reasoning over Knowledge-based Generation of Situations in Context Spaces to Reduce Food Waste; ; ;
in Reasoning over Knowledge-based Generation of Situations in Context Spaces to Reduce Food Waste (2016, September 28)
Building Lifecycle Management System for Enhanced Closed Loop Collaboration; ; ;
in 13th IFIP International Conference on Product Lifecycle Management (PLM16) (2016, June 29)
IoT Platforms Initiative; ;
in Vermesan, Ovidiu; Friess, Peter (Eds.) Digitising the Industry Internet of Things Connecting the Physical, Digital and Virtual Worlds (2016)
IoT-based Smart Parking System for Sporting Event Management; ; ; ; ;
in Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (2016, December 01)
Open Data Portal Quality Comparison using AHP; ; ; ;
in Proceedings of the 17th International Digital Government Research Conference on Digital Government Research (2016, June 07)
A state-of the-art survey & testbed of Fuzzy AHP (FAHP) applications; ; ; ;
in Expert Systems with Applications (2016), 65
DSCo-NG: A Practical Language Modeling Approach for Time Series Classification; ; ;
in The 15th International Symposium on Intelligent Data Analysis (2016, October)
Time Series Classification with Discrete Wavelet Transformed Data; ; ;
in International Journal of Software Engineering & Knowledge Engineering (2016), 26(9&10), 13611377
Time Series Classification with Discrete Wavelet Transformed Data: Insights from an Empirical Study; ; ;
in The 28th International Conference on Software Engineering and Knowledge Engineering (SEKE 2016) (2016, July)
Profiling household appliance electricity usage with n-gram language modeling; ; ; ;
in The 2016 IEEE International Conference on Industrial Technology (ICIT 2016) (2016, March)
DSCo: A Language Modeling Approach for Time Series Classification; ; ; ;
in 12th International Conference on Machine Learning and Data Mining (MLDM 2016) (2016, July)
Boosting Static Analysis of Android Apps through Code Instrumentationin The Doctoral Symposium of 38th International Conference on Software Engineering (ICSE-DS 2016) (2016, May)
Boosting Static Security Analysis of Android Apps through Code InstrumentationDoctoral thesis (2016)
An Investigation into the Use of Common Libraries in Android Apps; ; ;
in The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016, March)
Parameter Values of Android APIs: A Preliminary Study on 100,000 Apps; ; ;
in The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016, March)
Accessing Inaccessible Android APIs: An Empirical Study; ; ;
in The 32nd International Conference on Software Maintenance and Evolution (ICSME) (2016, October)
DroidRA: Taming Reflection to Support Whole-Program Analysis of Android Apps; ; ;
in The 2016 International Symposium on Software Testing and Analysis (2016, July)
Reflection-Aware Static Analysis of Android Apps; ; ;
in The 31st IEEE/ACM International Conference on Automated Software (ASE) (2016, September)
Towards a Generic Framework for Automating Extensive Analysis of Android Applications; ; ; ; ;
in The 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016) (2016, April)
Mining Families of Android Applications for Extractive SPL Adoption; ; ; ; ;
in The 20th International Systems and Software Product Line Conference (SPLC 2016) (2016)
Data Quality Assessment of Maintenance Reporting Procedures; ; ; ;
in Expert Systems with Applications (2016)
UAV degradation identification for pilot notification using machine learning techniques; ; ; ;
in Proceedings of 21st IEEE International Conference on Emerging Technologies and Factory Automation ETFA 2016 (2016, September 06)
Name Suggestions during Feature Identification: The VariClouds Approach; ; ; ;
in 20th International Systems and Software Product Line Conference (SPLC 2016) proceedings (2016)
Feature Location Benchmark for Software Families using Eclipse Community Releases; ; ; ; ;
in Software Reuse: Bridging with Social-Awareness, ICSR 2016 Proceedings (2016)
“Overloaded!” — A Model-based Approach to Database Stress Testing; ; ; ;
in International Conference on Database and Expert Systems Applications, Porto 5-8 September 2016 (2016)
Dynamic Risk Analyses and Dependency-Aware Root Cause Model for Critical Infrastructures; ; ; ; ;
in International Conference on Critical Information Infrastructures Security (2016)
Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis; ; ; ; ; ; ;
in The 43rd Symposium on Principles of Programming Languages (POPL 2016) (2016, January)
Threats to the validity of mutation-based test assessment; ; ; ;
in International Symposium on Software Testing and Analysis, ISSTA 2016 (2016)
Micro-billing framework for IoT: Research & Technological foundations; ;
in International Conference on Future Internet of Things and Cloud, 22-24 August 2016, Vienna, Austria (2016)
O-MI/O-DF Standards as Interoperability Enablers for Industrial Internet: a Performance Analysis; ; ;
in O-MI/O-DF Standards as Interoperability Enablers for Industrial Internet: a Performance Analysis (2016)
A systematic review on the engineering of software for ubiquitous systems; ;
in Journal of Systems and Software (2016), 118
On the Synchronization Bottleneck of OpenStack Swift-like Cloud Storage Systems; ; ; ;
in IEEE International Conference on Computer Communications, San Francisco, CA 10-15 April 2016 (2016, April)
KevoreeJS: Enabling dynamic software reconfigurations in the Browser; ; ; ; ; ; ; ;
in WICSA/CompArch 2016 Proceedings (2016, March)
2015
Challenges and Outlook in Machine Learning-based Malware Detection for AndroidDoctoral thesis (2015)
Are Your Training Datasets Yet Relevant? - An Investigation into the Importance of Timeline in Machine Learning-Based Malware Detection; ; ;
in Engineering Secure Software and Systems - 7th International Symposium ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings (2015)
Formal verification techniques for model transformations: A tridimensional classification; ; ; ; ; ; ;
in Journal of Object Technology (2015), 14(3),
Sound and Quasi-Complete Detection of Infeasible Test Requirements; ; ; ; ; ;
in 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15) (2015)
Cloud Providers Viability: How to Address it from an IT and Legal Perspective?; ; ;
in Economics of Grids, Clouds, Systems, and Services (2015, September 16)
Assessing IT Security Standards Against the Upcoming GDPR for Cloud Systems; ; ; ;
Poster (2015, March 11)
Reconciling Data Protection Rights and Obligations: An Ontology of the Forthcoming EU Regulation;
Scientific Conference (2015, September 10)
Using Ontologies to Model Data Protection Requirements in Workflows; ;
Scientific Conference (2015, November)
Similarity testing for access control; ; ; ; ; ; ; ;
in Information and Software Technology (2015), 58
Computing coalitions in Multiagent Systems: A contextual reasoning approach;
in Lecture Notes in Computer Science (2015), 8953
Vulnerabilities of Government Websites in a Developing Country – The Case of Burkina Faso; ; ; ; ; ; ; ;
in 7th International Conference on e‐Infrastructure and e‐Services for Developing Countries (2015, December)
Data supply chain in Industrial Internet; ; ; ; ;
in 11th IEEE World Conference on Factory Communication Systems (2015, May)
Towards a full support of obligations in XACML; ; ; ;
in Lecture Notes in Computer Science (2015), 8924
Conviviality-driven access control policy; ; ; ; ; ;
in Requirements Engineering (2015), 20(4), 363-382
Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time; ; ; ; ;
in Lethbridge, Timothy; Cabot, Jordi; Egyed, Alexander (Eds.) 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015, September)
Suspicious Electric Consumption Detection Based on Multi-Profiling Using Live Machine Learning; ; ; ; ; ;
in 2015 IEEE International Conference on Smart Grid Communications (SmartGridComm) (2015, November)
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines; ; ;
in 37th International Conference on Software Engineering (ICSE 2015) (2015)
Flattening or not of the combinatorial interaction testing models; ;
in Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops (2015, April)
Employing second-order mutation for isolating first-order equivalent mutants; ;
in Software Testing, Verification & Reliability (2015), 25(5-7), 508-535
Technological Theory of Cloud Manufacturing; ; ;
in Borangiu, Theodor (Ed.) Service Orientation in Holonic and Multi Agent Manufacturing and Robotics (2015, November 06)
Opportunity to Leverage Information-as-an-Asset in the IoT -- The road ahead; ; ; ; ;
in 3rd International Conference on Future Internet of Things and Cloud (2015, August 24)
Potential Component Leaks in Android Apps: An Investigation into a new Feature Set for Malware Detection; ; ; ; ;
in The 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS 2015) (2015, August)
ApkCombiner: Combining Multiple Android Apps to Support Inter-App Analysis; ; ; ;
in International Conference on ICT Systems Security and Privacy Protection (SEC 2015) (2015, May)
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps; ; ; ; ; ; ; ; ;
in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE 2015) (2015)
An Investigation into the Use of Common Libraries in Android Apps; ; ;
in arXiv preprint arXiv:1511.06554 (2015)
Using An Instrumentation based Approach to Detect Inter-Component Leaks in Android Apps; ; ;
Scientific Conference (2015, March)
Data Quality Assessment of Company's Maintenance Reporting: A Case Study; ; ;
in Proceedings of 4th International Conference on Data Management Technologies and Applications (2015, July)
Estimating and Predicting Average Likability on Computer-Generated Artwork Variants; ; ; ; ;
in Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid Spain, July 11-15, 2015, Companion Material Proceedings (2015)
Bottom-up adoption of software product lines: a generic and extensible approach; ; ; ;
in Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015 (2015)
Automating the Extraction of Model-based Software Product Lines from Model Variants; ; ; ;
in 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015) (2015)
Adaptive Blurring of Sensor Data to balance Privacy and Utility for Ubiquitous Services; ; ; ;
in The 30th Annual ACM Symposium on Applied Computing (2015, April)
Polymer: A Model-Driven Approach for Simpler, Safer, and Evolutive Multi-Objective Optimization Development; ; ; ; ;
in Hammoudi, Slimane; Pires, Luis Ferreira; Desfray, Philippe; Filipe, Joaquim (Eds.) MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development (2015, February)
Beyond Discrete Modeling: A Continuous and Efficient Model for IoT; ; ; ; ;
in Lethbridge, Timothy; Cabot, Jordi; Egyed, Alexander (Eds.) 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015, September)
An Extensive Systematic Review on the Model-Driven Development of Secure Systems; ; ;
in Information & Software Technology (2015), 68(December 2015), 62-81
SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems; ; ; ; ;
in Proceedings ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (2015, October)
Towards an Autonomous Vision-Based Unmanned Aerial System against Wildlife Poachers; ; ; ; ; ; ; ;
in Sensors (2015), 15(12), 29861
Metallaxis-FL: mutation-based fault localization;
in Software Testing : Verification & Reliability (2015), 25
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique; ; ;
in 37th International Conference on Software Engineering (ICSE 2015) (2015)
Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets; ; ; ;
in IEEE TRANSACTIONS ON COMPUTERS (2015), 64(9), 2490-2505
Roundtable: Research Opportunities and Challenges for Emerging Software Systems; ; ; ;
in Journal of Computer Science and Technology (2015), 30(5), 935-941
2014
Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: an Urgent Need for Systematic Security Regression Testing; ; ;
in 7th IEEE International Conference on Software Testing, Verification and Validation (ICST)- Workshop SECTEST (2014)
Empirical assessment of machine learning-based malware detectors for Android: Measuring the Gap between In-the-Lab and In-the-Wild Validation Scenarios; ; ; ; ;
in Empirical Software Engineering (2014)
Large-scale Machine Learning-based Malware Detection: Confronting the "10-fold Cross Validation" Scheme with Reality; ; ; ; ;
in Proceedings of the 4th ACM Conference on Data and Application Security and Privacy (2014, March)
A Forensic Analysis of Android Malware -- How is Malware Written and How It Could Be Detected?; ; ; ; ;
in Proceedings of the 2014 IEEE 38th Annual Computer Software and Applications Conference (2014, July)
A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification; ; ; ; ; ; ;
in Journal of Technology (2014)
FlowDroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps; ; ; ; ; ; ; ;
Scientific Conference (2014, June)
Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android; ; ;
in IEEE Transactions on Software Engineering (TSE) (2014), 40(6), 617-632
Coverage-based Test Cases Selection for XACML Policies; ; ; ;
in IEEE International Conference on Software Testing Verification and Validation Workshops (2014)
Computing coalitions in Multiagent Systems, A contextual reasoning approach;
in European Conference on Multi-Agent Systems, Prague 18-19 December 2014 (2014, December 18)
Tools for Conviviality in Multi-Context Systems; ;
in IfCoLog Journal of Logics and Their Applications (2014), 1(1),
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel; ; ;
in Automated Software Engineering (2014)
A MCS-based methodology for computing coalitions in Multirobot Systems;
in Cognitive Robotics (2014)
Test Data Generation Techniques for Mutation Testing: A Systematic Mapping; ; ;
in Workshop on Experimental Software Engineering (ESELAW'14) (2014)
A Toolchain for Model-Based Design and Testing of Access Control Systems; ; ; ;
in MODELSWARD 2015 (2014)
A Variability Perspective of Mutation Analysis; ; ; ; ;
in Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014) (2014)
Optimizing Multi-Objective Evolutionary Algorithms to Enable Quality-Aware Software Provisioning; ; ;
Scientific Conference (2014, October)
Generic Cloud Platform Multi-objective Optimization Leveraging Models@run.time; ; ; ; ;
Scientific Conference (2014, March)
A Flexible MDE approach to Enforce Fine- grained Security Policies; ;
in Proceedings of the International Symposium on Engineering Secure Software and Systems (2014)
Security@Runtime: A flexible MDE approach to enforce fine-grained security policies; ;
in Lecture Notes in Computer Science (2014), 8364 LNCS
Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use; ; ; ; ; ;
Report (2014)
Generating Realistic Smart Grid Communication Topologies Based on Real-Data; ; ; ; ; ;
in 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm) (2014, November)
Reactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning; ; ; ;
in Proceedings of the Second Open EIT ICT Labs Workshop on Smart Grid Security (SmartGridSec14) (2014, April)
Model-based time-distorted Contexts for efficient temporal Reasoning; ; ; ; ;
Poster (2014, July 02)
A Native Versioning Concept to Support Historized Models at Runtime; ; ; ; ; ;
in Dingel, Juergen; Schulte, Wolfram; Ramos, Isidro; Abrahao, Silvia; Insfran, Emilio (Eds.) Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings (2014)
Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach; ; ; ; ;
in Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering (2014, July)
MutaLog: a Tool for Mutating Logic Formulas; ;
in Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)
Mutation-based Generation of Software Product Line Test Configurations; ;
in Symposium on Search-Based Software Engineering (SSBSE 2014) (2014)
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Configurations for Software Product Lines; ; ; ; ;
in IEEE Transactions on Software Engineering (2014), 40(7), 650-670
Using opcode-sequences to detect malicious Android applications; ; ;
in IEEE International Conference on Communications, ICC 2014, Sydney Australia, June 10-14, 2014 (2014, June)
API Document Quality for Resolving Deprecated APIs; ; ; ; ;
Scientific Conference (2014, December 01)
Automatically Exploiting Potential Component Leaks in Android Applications; ; ;
in The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14), IEEE, Sept. 2014, Beijing, China. (2014, September)
Using A Path Matching Algorithm to Detect Inter-Component Leaks in Android Apps; ; ;
Scientific Conference (2014, March 12)
I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis; ; ; ; ; ; ; ;
Report (2014)
Intra-query Adaptivity for MapReduce Query Processing Systems; ;
in IDEAS 2014 : 18th International Database Engineering Applications Symposium (2014)
Identifying and Visualising Commonality and Variability in Model Variants; ; ;
in ECMFA 2014 European Conference on Modelling Foundations and Applications (2014)
Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines; ; ; ;
in 2nd IEEE Working Conference on Software Visualization (2014)
Model-Driven Security with Modularity and Reusability for Secure Systems Developmentin STAF-DS 2014 (2014)
Model-Driven Security with A System of Aspect-Oriented Security Design Patterns; ;
in 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (2014, July 22)
Modeling, composing, and testing of security concerns in a Model-Driven Security approach; ;
in Joosen, Wouter; Martinelli, Fabio; Heyman, Thomas (Eds.) Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014) (2014, February 26)
Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management; ; ; ;
in Transactions on Aspect-Oriented Software Development (2014), 11
The NOAH Project: Giving a Chance to Threatened Species in Africa with UAVs; ; ; ; ;
in Bissyandé, Tegawendé F.; van Stam, Gertjan (Eds.) e-Infrastructure and e-Services for Developing Countries (2014)
Sensing in the Urban Technological Deserts-A Position Paper for Smart Cities in Least Developed Countries;
in International Workshop on Web Intelligence and Smart Sensing (2014, September 01)
Mitigating the Effects of Equivalent Mutants with Mutant Classification Strategies; ;
in Science of Computer Programming (2014), 95
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing; ;
in 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)
Effective Fault Localization via Mutation Analysis: A Selective Mutation Approach;
in ACM Symposium On Applied Computing (SAC'14) (2014)
Model-Based Testing of Obligations; ; ;
in 14th Annual International Conference on Quality Software (QSIC) (2014)
Model-based testing of global properties on large-scale distributed systems; ; ; ;
in Information and Software Technology (2014), 56(7), 749-762
Towards a Language-Independent Approach for Reverse-Engineering of Software Product Lines; ; ; ;
in 29th Symposium on Applied Computing (SAC 2014) (2014)
2013
Towards Securing Communications in Infrastructure-poor Areas; ;
in Proceedings of the 5th EAI International Conference on e-Infrastructure and e-Services for Developing Countries (2013)
Sustainable ICT4D in Africa: Where Do We Go From Here?; ; ; ; ;
in EAI International Conference on e-Infrastructure and e-Services for Developing Countries (2013)
Got Issues? Who Cares About It? A Large Scale Investigation of Issue Trackers from GitHub; ; ; ; ;
in Proceedings of the 24th International Symposium on Software Reliability Engineering (ISSRE 2013) (2013, November)
Implementing an Embedded Compiler using Program Transformation Rules; ; ; ;
in Software : Practice & Experience (2013)
Information Dependencies in MCS: Conviviality-Based Model and Metrics; ;
in 16th INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2013) (2013, December 01)
Visual Notation Design 2.0: Towards User-Comprehensible RE Notations; ; ;
in Proceedings of the 21st IEEE International Requirements Engineering Conference (2013)
Argumentation Theoretic Foundations for Abstract Dependence Networks; ;
in International Conference on Agreement Technologies, proceedings in Springer LNCS (2013)
Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies; ;
in AAA' 13. International Workshop on Argument for Agreement and Assurance, Kanagawa, Japan, Oct. 27-28. (2013, October 27)
Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies.; ;
in 25th Benelux Conference on Artificial Intelligence BNAIC'13. Delft, Nov. 7-8. (2013, November)
Access Control Enforcement Testing; ; ;
in Abstract book of 2013 8TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST (AST) (2013)
A PEP-PDP Architecture to Monitor and Enforce Security Policies in Java Applications;
in 2013 International Conference on Availability, Reliability and Security (2013)
Under Pressure Benchmark for DDBMS Availability; ; ; ; ;
in Journal of Information and Data Management (2013)
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing; ; ; ;
in 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013 (2013)
Multi-objective test generation for software product lines; ; ; ;
in 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013 (2013)
PLEDGE: a product line editor and test generation tool; ; ; ;
in 17th International Software Product Line Conference co-located workshops, SPLC 2013 workshops, Tokyo, Japan - August 26 (2013)
Towards automated testing and fixing of re-engineered feature models; ; ; ;
in Proceedings of the 2013 International Conference on Software Engineering (2013)
Achieving Practical Genericity in Model Weaving through Extensibility; ; ; ; ; ;
in Duddy, Keith; Kappel, Gerti (Eds.) Theory and Practice of Model Transformations (2013)
Stress Testing of Transactional Database Systems; ; ; ;
in Journal of Information and Data Management (2013)
R-CoRe: A Rule-based Contextual Reasoning Platform for AmI; ; ; ;
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)
A Rule-based Contextual Reasoning Platform for Ambient Intelligence environments; ; ; ;
in Theory, Practice, and Applications of Rules on the Web (2013, July 01)
Usage and testability of AOP: An empirical study of AspectJ; ; ;
in Information and Software Technology (2013), 55(2), 252-266
A Systematic Review of Model-Driven Security; ; ;
in The 20th Asia-Pacific Software Engineering Conference Proceedings (2013, December)
Model-Driven Adaptive Delegation; ; ; ;
in Masuhara, Hidehiko; Chiba, Sigeru; Ubayashi, Naoyasu (Eds.) Proceedings of the 12th annual international conference companion on Aspect-oriented software development (2013, March)
Testing Delegation Policy Enforcement via Mutation Analysis; ;
in 7th International Workshop on Mutation Analysis (2013, March)
Effective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis; ; ; ; ; ;
in Effective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis (2013)
Proteum/FL: A tool for localizing faults using mutation analysis.; ;
in International Working Conference on Source Code Analysis and Manipulation (2013)
Mutation Testing Strategies using Mutant Classification;
in Abstract book of 28th Symposium On Applied Computing (2013)
An Empirical Study of Adoption of Software Testing in Open Source Projects; ; ;
in Proceedings of the 13th International Conference on Quality Software (QSIC 2013) (2013)
2012
Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation; ; ; ;
Report (2012)
In-Vivo Bytecode Instrumentation for Improving Privacy on Android Smartphones in Uncertain Environments; ; ; ;
E-print/Working paper (2012)
Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android; ; ;
in IEEE/ACM International Conference on Automated Software Engineering (2012)
Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot; ; ;
in ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012) (2012)
Introducing Conviviality as a property of Multi-Context Systems; ; ;
in The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-12 (2012, August 27)
Dependence Networks for Agreement Technologies; ; ;
in AT2012, Agreement Technologies, Proceedings of the First International Conference on Agreement Technologies (2012)
Conviviality by Design; ;
in Social computing, Social cognition, social networks Acquisition, representation and reasoning with contextualized knowledge (ARCOE 2012) (2012)
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués; ; ; ; ;
in TSI. Technique et science informatiques (2012), 31(6), 797--825
Privacy challenges in ambient intelligent systems: A critical discussion.;
in Atelier protection de la vie privée (2012)
Modeling and Evaluating Cooperation in Multi-Context Systems using Conviviality; ;
in Proceedings of BNAIC 2012 The 24th Benelux Conference on Artificial Intelligence (2012)
Access Control Enforcement Testing; ; ;
in 8th International Workshop on Automation of Software Test (AST), 2013 (2012, May)
Refactoring access control policies for performance improvement; ; ; ;
in Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (2012, April)
Testing Obligation Policy Enforcement using Mutation Analysis; ;
in Proceedings of the 7th International Workshop on Mutation Analysis (associated to the Fifth International Conference on Software Testing, Verification, and Validation, ICST 2012) (2012)
Refactoring Access Control Policies for Performance Improvement; ; ; ;
in Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (ICPE 2012) (2012)
Testing obligation policy enforcement using mutation analysis; ;
in Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012 (2012)
An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements; ; ; ; ; ;
in Model Driven Engineering Languages and Systems - 15th International Conference (2012, October)
Towards a More Semantically Transparent i* Visual Syntax; ; ; ;
in Requirements Engineering: Foundation for Software Quality - Essen, Germany, March 19-22, 2012 (2012)
Selection of Regression System Tests for Security Policy Evolution; ; ; ;
Scientific Conference (2012, September)
On the Formalisation of GeKo: a Generic Aspect Models Weaver; ; ; ; ; ;
in On the Formalisation of GeKo: a Generic Aspect Models Weaver (Tech Report) (2012)
Building specifications as a domain-specific aspect language; ;
in DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages (2012)
Peer-to-Peer Load Testing; ; ;
in Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on (2012)
Introducing Conviviality as a New Paradigm for Interactions among IT Objects; ; ; ;
in Proceedings of the Workshop on AI Problems and Approaches for Intelligent Environments (2012, August), 907
Comparing Six Modeling Approaches; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ;
in Kienzle, Joerg (Ed.) Models in Software Engineering (2012)
Mutation Based Test Case Generation via a Path Selection Strategy;
in Information & Software Technology (2012), 54(9), 915-932
Towards Flexible Evolution of Dynamically Adaptive Systems; ; ; ; ; ; ;
in New Ideas & Emerging Results Track of the International Conference of Software Engineering (NIER@ICSE) (2012, June)
Pairwise testing for software product lines: Comparison of two approaches; ; ; ; ;
in Software Quality Journal (2012), 20(3), 605-643
A Model-Based Approach to Automated Testing of Access Control Policies; ; ; ;
in Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (2012)
2011
Aspect-Oriented Model Development at Different Levels of Abstraction; ; ; ; ; ; ; ; ; ;
in Modelling Foundations and Applications - 7th European Conference, ECMFA 2011 (2011)
Model Driven Mutation Applied to Adaptative Systems Testing; ; ; ; ;
in Mutation 2011 (@ICST) (2011)
Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android; ; ;
in Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (Tech Report) (2011)
Conviviality Measures; ; ;
in Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011) (2011)
Enhancing Cooperation in Distributed Information Systems using Conviviality and Multi-Context Systems;
in Multi-disciplinary Trends in Artificial Intelligence - 5th International Workshop, MIWAI 2011, (2011)
Issues in model-driven behavioural product derivation; ;
in Fifth International Workshop on Variability Modelling of Software-intensive Systems (Vamos 2011) (2011)
A Metamodel-based Classification of Variability Modeling Approaches; ; ;
in VARY, International Workshop affiliated with ACM/IEEE 14th International Conference on Driven Engineering Languages and Systems (2011)
2010
Convivial ambient technologies: Requirements, ontology, and design;
in The Computer Journal (2010), 53(8), 12291256
Aspect-Oriented Design with Reusable Aspect Models; ; ; ;
in Transactions on Aspect-Oriented Software Development (2010)
Flexible model element introduction policies for aspect-oriented modeling; ; ;
in Abstract book of 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, LNCS (2010), 6395 LNCS(PART 2), 63-77
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines; ; ; ;
in International Conference on Software Test and Validation (2010)
2009
Norm Negotiation in Online Multi-Player Games; ;
in Knowledge & Information Systems (2009), 18(2), 137156
Designing Convivial Digital Cities: A Social Intelligence Design Approachin AI & Society (2009), 24(1), 97114
How to import the concept of conviviality to web communitiesin International Journal of Web-Based Communities (2009), 3
A Conviviality Measure for Early Requirement Phase of Multiagent System Design;
in Normative Multiagent Systems (2009)
The Design of Convivial Multiagent Systems;
in Social Networks and Multiagent Systems symposium; Artificial Intelligence and Simulation of Behaviour, AISB, April 6-9, 2009 at the Heriot-Watt University, Edinburgh (Scotland). (2009)
Temporal Dependence Networks for the Design of Convivial Multiagent Systems;
in Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (2009)
Aspect-Oriented Multi-View Modeling; ;
in Abstract book of 8th International Conference on Aspect Oriented Software Development (AOSD.09) (2009)
Aspect model unweaving; ; ;
in Abstract book of 12th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, (2009), 5795 LNCS
