LASSY Publications List

Publications for Lassy

Sous presse

Full Text
See detaile3-service: an ontology for needs-driven real-world service bundling in a multi-supplier setting
De Kinderen, Sybren; de Leenheer, Pieter; Gordijn, Jaap; Akkermans, Hans; Meiland, Franka; Droes, Rose-Marie

in Applied Ontology (in press)

Top of Page

2019

See detailDésérialisation Java : Une brève introduction au ROP de haut niveau
Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Article for general public (2019)

Full Text
See detailTeaching DevOps in academia and industry: reflections and vision
Bobrov, Evgeny; Bucchiarone, Antonio; Capozucca, Alfredo; Guelfi, Nicolas; Mazzara, Manuel; Masyagin, Sergey

Report (2019)

Full Text
See detailShould You Consider Adware as Malware in Your Study?
Gao, Jun; Li, Li; Kong, Pingfan; Bissyande, Tegawendé François D Assise; Klein, Jacques

in 26th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering (2019, February 24)

Full Text
See detailAutomated Search for Configurations of Deep Neural Network Architectures
Ghamizi, Salah; Cordy, Maxime; Papadakis, Mike; Le Traon, Yves

Scientific Conference (2019)

Full Text
See detailLearning to Sport and Refactor Inconsistent Method Names
Liu, Kui; Kim, Dongsun; Bissyande, Tegawendé François D Assise; Kim, Taeyoung; Kim, Kisub; Koyuncu, Anil; Kim, Suntae; Le Traon, Yves

in 41st ACM/IEEE International Conference on Software Engineering (ICSE) (2019, May)

Full Text
See detailYou Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair Systems
Liu, Kui; Koyuncu, Anil; Bissyande, Tegawendé François D Assise; Kim, Dongsun; Klein, Jacques; Le Traon, Yves

in The 12th IEEE International Conference on Software Testing, Verification and Validation (ICST-2019) (2019, April 24)

Full Text
See detailAssessing the impact of attacks on OPC-UA applications in the Industry 4.0 era
Polge, Julien; Robert, Jérémy; Le Traon, Yves

in 16th IEEE Annual Consumer Communications & Networking Conference (CCNC), Las Vegas, 11-14 January 2019 (2019, January 11)

Full Text
See detailOn the Evolution of Keyword-Driven Test Suites
Rwemalika, Renaud; Kintis, Marinos; Papadakis, Mike; Le Traon, Yves; Lorrach, Pierre

in 12th IEEE International Conference on Software Testing, Verification and Validation (2019)

Full Text
See detailMethodological Aspects of Software Engineering, Assurance, Quality, and Reliability Engineering (MAS/AQR) 2019 Welcome from the Minitrack Co-Chairs
Tenbergen, Bastian; Ries, Benoît

in Proceedings of the 52nd Hawaii International Conference on System Sciences (HICSS) (2019, January)

Top of Page

2018

See detailDésérialisation Java : Une brève introduction
Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Article for general public (2018)

See detailFini le Bac à Sable. Avec le CVE-2017-3272, devenez un grand!
Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Article for general public (2018)

Full Text
See detailMUSTI: Dynamic Prevention of Invalid Object Initialization Attacks
Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Report (2018)

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 Electron Markets (2018), 28(1), 53-75

Full Text
See detailO-MI/O-DF vs. MQTT: a performance analysis
Benedick, Paul-Lou; Robert, Jérémy; Le Traon, Yves; Kubler, Sylvain

in O-MI/O-DF vs. MQTT: a performance analysis (2018, June 21)

Full Text
See detailTowards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems
Brau, Guillaume; Navet, Nicolas; Hugues, Jérôme

in Science of Computer Programming (2018), 156

Full Text
See detailDesign of a (yet another?) DevOps course
Capozucca, Alfredo; Guelfi, Nicolas; Ries, Benoît

in Bruel, Jean-Michel; Mazzara, Manuel; Meyer, Bertrand (Eds.) Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment (2018)

Full Text
See detailFraudDroid: Automated Ad Fraud Detection for Android Apps
Dong, Feng; Wang, Haoyu; Li, Li; Guo, Yao; Bissyande, Tegawendé François D Assise; Liu, Tianming; Xu, Guoai; Klein, Jacques

in ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018) (2018, November)

Full Text
See detailSimulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks
Fejoz, Loïc; Regnier, Bruno; Miramont, Philippe; Navet, Nicolas

in Proc. Embedded Real-Time Software and Systems (ERTS 2018) (2018, February 02)

Full Text
See detailOn the impact of tokenizer and parameters on N-gram based Code Analysis
Jimenez, Matthieu; Cordy, Maxime; Le Traon, Yves; Papadakis, Mike

Scientific Conference (2018, September)

Full Text
See detailTUNA: TUning Naturalness-based Analysis
Jimenez, Matthieu; Cordy, Maxime; Le Traon, Yves; Papadakis, Mike

in 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, 26-28 September 2018 (2018, September 26)

Full Text
See detailEnabling the Continous Analysis of Security Vulnerabilities with VulData7
Jimenez, Matthieu; Le Traon, Yves; Papadakis, Mike

in IEEE International Working Conference on Source Code Analysis and Manipulation (2018)

Full Text
See detailAre mutants really natural? A study on how “naturalness” helps mutant selection
Jimenez, Matthieu; Titcheu Chekam, Thierry; Cordy, Maxime; Papadakis, Mike; Kintis, Marinos; Le Traon, Yves; Harman, Mark

in Proceedings of 12th International Symposium on 
 Empirical Software Engineering and Measurement (ESEM'18) (2018, October 11)

Full Text
See detailA Survey of Petri Nets Slicing
Khan, Yasir Imtiaz; Konios, Alexandros; Guelfi, Nicolas

in ACM Computing Surveys (2018), 51(5), 109

Full Text
See detailFaCoY - A Code-to-Code Search Engine
Kim, Kisub; Kim, Dongsun; Bissyande, Tegawendé François D Assise; Choi, Eunjong; Li, Li; Klein, Jacques; Le Traon, Yves

in International Conference on Software Engineering (ICSE 2018) (2018, May 27)

Full Text
See detailHow effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults
Kintis, Marinos; Papadakis, Mike; Papadopoulos, Andreas; Valvis, Evangelos; Malevris, Nicos; Le Traon, Yves

in Empirical Software Engineering (2018)

Full Text
See detailAutomated Testing of Android Apps: A Systematic Literature Review
Kong, Pingfan; Li, Li; Gao, Jun; Liu, Kui; Bissyande, Tegawendé François D Assise; Klein, Jacques

in IEEE Transactions on Reliability (2018)

Full Text
See detailMeasuring inconsistency and deriving priorities from fuzzy pairwise comparison matrices using the knowledge-based consistency index
Kubler, Sylvain; Derigent, William; Voisin, Alexandre; Robert, Jérémy; Le Traon, Yves; Herrera Viedma, Enrique

in Knowledge-Based Systems (2018)

Full Text
See detailComparison of metadata quality in open data portals using the Analytic Hierarchy Process
Kubler, sylvain; Robert, Jérémy; Neumaier, Sebastian; Umbrich, Jürgen; Le Traon, Yves

in Government Information Quarterly (2018)

Full Text
See detailExtracting Statistical Graph Features for Accurate and Efficient Time Series Classification
Li, Daoyuan; Lin, Jessica; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in 21st International Conference on Extending Database Technology (2018, March)

Full Text
See detailMoonlightBox: Mining Android API Histories for Uncovering Release-time Inconsistencies
Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques

in 29th IEEE International Symposium on Software Reliability Engineering (ISSRE) (2018, October)

Full Text
See detailCiD: Automating the Detection of API-related Compatibility Issues in Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Wang, Haoyu; Klein, Jacques

in International Symposium on Software Testing and Analysis (ISSTA) (2018, July)

Full Text
See detailCharacterising Deprecated Android APIs
Li, Li; Gao, Jun; Bissyande, Tegawendé François D Assise; Ma, Lei; Xia, Xin; Klein, Jacques

in 15th International Conference on Mining Software Repositories (MSR 2018) (2018, May)

Full Text
See detailMining Fix Patterns for FindBugs Violations
Liu, Kui; Kim, Dongsun; Bissyande, Tegawendé François D Assise; Yoo, Shin; Le Traon, Yves

in IEEE Transactions on Software Engineering (2018)

Full Text
See detailA Closer Look at Real-World Patches
Liu, Kui; Kim, Dongsun; Koyuncu, Anil; Li, Li; Bissyande, Tegawendé François D Assise; Le Traon, Yves

in 34th IEEE International Conference on Software Maintenance and Evolution (ICSME) (2018, September)

Full Text
See detailDecomposing Models through Dependency Graphs
Ma, Qin; Kelsen, Pierre

in 12th International Symposium on Theoretical Aspects of Software Engineering (2018)

Full Text
See detailTowards Estimating and Predicting User Perception on Software Product Variants
Martinez, Jabier; Sottet, Jean-Sebastien; Garcia-Frey, Alfonso; Bissyande, Tegawendé François D Assise; Ziadi, Tewfik; Klein, Jacques; Temple, Paul; Mathieu, Acher; Le Traon, Yves

in 17th International Conference on Software Reuse (ICSR) (2018, May)

Full Text
See detailFeature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants
Martinez, Jabier; Ziadi, Tewfik; Papadakis, Mike; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Information and Software Technology (2018)

Full Text
See detailInsights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks
Migge, Jörn; Villanueva, Josetxo; Navet, Nicolas; Boyer, Marc

in Proc. Embedded Real-Time Software and Systems (ERTS 2018) (2018, February 02)

Full Text
See detailA training-resistant anomaly detection system
Muller, Steve; Lancrenon, Jean; Harpes, Carlo; Le Traon, Yves; Gombault, Sylvain; Bonnin, Jean-Marie

in Computers & Security (2018), 76

Full Text
See detailInsights into the performance and configuration of TCP in Automotive Ethernet Networks
Navet, Nicolas; Migge, Jörn

Scientific Conference (2018, October 10)

Full Text
See detailPre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism
Navet, Nicolas; Migge, Jörn; Villanueva, Josetxo; Boyer, Marc

in SAE International Journal of Passenger Cars—Electronic and Electrical Systems (2018), 11(3),

Full Text
See detailPre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism
Navet, Nicolas; Migge, Jörn; Villanueva, Josetxo; Boyer, Marc

in Proc. WCX World Congress Experience (2018, April)

Full Text
See detailMutant Quality Indicators
Papadakis, Mike; Titcheu Chekam, Thierry; Le Traon, Yves

in 13th International Workshop on Mutation Analysis (MUTATION'18) (2018)

Full Text
See detailMessir: A Text-First DSL-Based Approach for UML Requirements Engineering (Tool Demo)
Ries, Benoît; Capozucca, Alfredo; Guelfi, Nicolas

in Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering SLE'18 (2018)

Full Text
See detailCan we automate away the main challenges of end-to-end testing?
Rwemalika, Renaud; Kintis, Marinos; Papadakis, Mike; Le Traon, Yves

Scientific Conference (2018, December 11)

Full Text
See detailAugmenting and Structuring User Queries to Support Efficient Free-Form Code Search
Sirres, Raphael; Bissyande, Tegawendé François D Assise; Kim, Dongsun; Lo, David; Klein, Jacques; Le Traon, Yves

in Empirical Software Engineering (2018), 90

Full Text
See detailA Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints
Sundharam, Sakthivel Manikandan; Navet, Nicolas; Altmeyer, Sebastian; Havet, Lionel

in Sensors (2018), 18(2), 628

Full Text
See detailPredicting the Fault Revelation Utility of Mutants
Titcheu Chekam, Thierry; Papadakis, Mike; Bissyande, Tegawendé François D Assise; Le Traon, Yves

in 40th International Conference on Software Engineering, Gothenburg, Sweden, May 27 - 3 June 2018 (2018)

Top of Page

2017

Full Text
See detailRaising Time Awareness in Model-Driven Engineering
Benelallam, Amine; Hartmann, Thomas; Mouline, Ludovic; Fouquet, François; Bourcier, Johann; Barais, Olivier; Le Traon, Yves

in 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (2017, September)

Full Text
See detailHeterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study
Brau, Guillaume; Navet, Nicolas; Hugues, Jérôme

in 25th International Conference on Real-Time Networks and Systems, Grenoble 4-6 October 2017 (2017, October)

Full Text
See detailModel-based design languages: A case study
Cibrario Bertolotti, Ivan; Hu, Tingting; Navet, Nicolas

in 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS) (2017)

Full Text
See detailF-Alloy: a relational model transformation language based on Alloy
Gammaitoni, Loïc; Kelsen, Pierre

in Software & Systems Modeling (2017)

Full Text
See detailAgile Validation of Model Transformations using Compound F-Alloy Specifications
Gammaitoni, Loïc; Kelsen, Pierre; Ma, Qin

in Science of Computer Programming (2017)

Full Text
See detailA Product Line of Software Engineering Project Courses
Guelfi, Nicolas; Capozucca, Alfredo; Ries, Benoît

Poster (2017, November 08)

Full Text
See detailTESMA: Requirements and Design of a Tool for Educational Programs
Guelfi, Nicolas; Jahic, Benjamin; Ries, Benoît

in Information (2017)

Full Text
See detailAnalyzing Complex Data in Motion at Scale with Temporal Graphs
Hartmann, Thomas; Fouquet, François; Jimenez, Matthieu; Rouvoy, Romain; Le Traon, Yves

in Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering (2017, July)

Full Text
See detailThe Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling
Hartmann, Thomas; Moawad, Assaad; Fouquet, François; Le Traon, Yves

in Software & Systems Modeling (2017)

Full Text
See detailTowards Seamless Integration of N-Version Programming in Model-Based Design
Hu, Tingting; Cibrario Bertolotti, Ivan; Navet, Nicolas

in 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA’2017), Limassol, Cyprus, September 12-15 2017 (2017)

Full Text
See detailEuphony: Harmonious Unification of Cacophonous Anti-Virus Vendor Labels for Android Malware
Hurier, Médéric; Suarez-Tangil, Guillermo; Dash, Santanu Kumar; Bissyande, Tegawendé François D Assise; Le Traon, Yves; Klein, Jacques; Cavallaro, Lorenzo

in MSR 2017 (2017, May 21)

Full Text
See detailOn the Naturalness of Mutants
Jimenez, Matthieu; Cordy, Maxime; Kintis, Marinos; Titcheu Chekam, Thierry; Le Traon, Yves; Papadakis, Mike

E-print/Working paper (2017)

Full Text
See detailDetecting Trivial Mutant Equivalences via Compiler Optimisations
Kintis, Marinos; Papadakis, Mike; Jia, Yue; Malevris, Nicos; Le Traon, Yves; Harman, Mark

in IEEE Transactions on Software Engineering (2017)

Full Text
See detailTowards Semantic Interoperability in an Open IoT Ecosystem for Connected Vehicle Services
Kolbe, Niklas; Kubler, Sylvain; Robert, Jérémy; Le Traon, Yves; Zaslavsky, Arkady

in 2017 IEEE Global Internet of Things Summit (GIoTS) Proceedings (2017, July)

Full Text
See detailPROFICIENT: Productivity Tool for Semantic Interoperability in an Open IoT Ecosystem
Kolbe, Niklas; Robert, Jérémy; Kubler, Sylvain; Le Traon, Yves

in Proceedings of the 14th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (2017, November 07)

Full Text
See detailEnriching a Situation Awareness Framework for IoT with Knowledge Base and Reasoning Components
Kolbe, Niklas; Zaslavsky, Arkady; Kubler, Sylvain; Robert, Jérémy; Le Traon, Yves

in Modeling and Using Context (2017, July)

Full Text
See detailImpact of Tool Support in Patch Construction
Koyuncu, Anil; Bissyande, Tegawendé François D Assise; Kim, Dongsun; Klein, Jacques; Monperrus, Martin; Le Traon, Yves

Scientific Conference (2017, July)

Full Text
See detailKnowledge-based Consistency Index for Fuzzy Pairwise Comparison Matrices
Kubler, Sylvain; Derigent, William; Voisin, Alexandre; Robert, Jérémy; Le Traon, Yves

in Knowledge-based Consistency Index for Fuzzy Pairwise Comparison Matrices (2017, July 10)

Full Text
See detailComparison of metadata quality in open data portals using the Analytic Hierarchy Process
Kubler, Sylvain; Robert, Jérémy; Umbrich, Jürgen; Neumaier, Sebastian; Le Traon, Yves

in Government Information Quarterly (2017)

Full Text
See detailAssessing and Improving the Mutation Testing Practice of PIT
Laurent, Thomas; Papadakis, Mike; Kintis, Marinos; Henard, Christopher; Le Traon, Yves; Ventresque, Anthony

in 10th IEEE International Conference on Software Testing, Verification and Validation (2017)

Full Text
See detailSensing by Proxy in Buildings with Agglomerative Clustering of Indoor Temperature Movements
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 32nd ACM Symposium on Applied Computing (SAC 2017) (2017, April)

Full Text
See detailTowards a Plug-and-Play and Holistic Data Mining Framework for Understanding and Facilitating Operations in Smart Buildings
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves; Schummer, Paul; Muller, Ben; Solvi, Anne-Marie

Report (2017)

Full Text
See detailThe Multi-Generation Repackaging Hypothesis
Li, Li; Bissyande, Tegawendé François D Assise; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Poster (2017, May)

Full Text
See detailSimiDroid: Identifying and Explaining Similarities in Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques

in Abstract book of the 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) (2017)

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

in Information and Software Technology (2017)

Full Text
See detailAutomatically Locating Malicious Packages in Piggybacked Android Apps
Li, Li; Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Cai, Haipeng; Lo, David; Le Traon, Yves

in Abstract book of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft 2017) (2017, May)

Full Text
See detailOn Locating Malicious Code in Piggybacked Android Apps
Li, Li; Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Cai, Haipeng; Lo, David; Le Traon, Yves

in Journal of Computer Science & Technology (2017)

Full Text
See detailUnderstanding Android App Piggybacking
Li, Li; Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves; Lo, David; Cavallaro, Lorenzo

Poster (2017, May)

Full Text
See detailUnderstanding Android App Piggybacking: A Systematic Study of Malicious Code Grafting
Li, Li; Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves; Lo, David; Cavallaro, Lorenzo

in IEEE Transactions on Information Forensics & Security (2017)

Full Text
See detailWeaving Rules into Models@run.time for Embedded Smart Systems
Mouline, Ludovic; Hartmann, Thomas; Fouquet, François; Le Traon, Yves; Bourcier, Johann; Barais, Olivier

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)

Full Text
See detailEfficiently computing the likelihoods of cyclically interdependent risk scenarios
Muller, Steve; Harpes, Carlo; Le Traon, Yves; Gombault, Sylvain; Bonnin, Jean-Marie

in Computers & Security (2017), 64

Full Text
See detailSoftware patterns for fault injection in CPS engineering
Navet, Nicolas; Cibrario Bertolotti, Ivan; Hu, Tingting

in 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (2017)

Full Text
See detailInsights on the performance and configuration of AVB and TSN in automotive applications
Navet, Nicolas; Villanueva, Josetxo; Migge, Jörn; Boyer, Marc

Scientific Conference (2017, November 01)

Full Text
See detailMutation Testing Advances: An Analysis and Survey
Papadakis, Mike; Kintis, Marinos; Zhang, Jie; Jia, Yue; Le Traon, Yves; Harman, Mark

in Advances in Computers (2017)

Full Text
See detailAugmenting and Structuring User Queries to Support Efficient Free-Form Code Search
Sirres, Raphael; Bissyande, Tegawendé François D Assise; Kim, Dongsun; Lo, David; Klein, Jacques; Le Traon, Yves

Report (2017)

Full Text
See detailAn Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation that Avoids the Unreliable Clean Program Assumption
Titcheu Chekam, Thierry; Papadakis, Mike; Le Traon, Yves; Harman, Mark

in International Conference on Software Engineering (ICSE 2017) (2017, May 28)

Full Text
See detailComprehending Malicious Android Apps By Mining Topic-Specific Data Flow Signatures
Yang, Xinli; Lo, David; Li, Li; Xia, Xin; Bissyande, Tegawendé François D Assise; Klein, Jacques

in Information and Software Technology (2017)

Top of Page

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 detailTowards a declarative modeling and execution framework for real-time systems
Altmeyer, Sebastian; Navet, Nicolas

in ACM SIGBED Review (2016), 13(2), 30-33

Full Text
See detailThe Case for FIFO Real-Time Scheduling
Altmeyer, Sebastian; Sundharam, Sakthivel Manikandan; Navet, Nicolas

Report (2016)

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 Altmann, Jörn; Silaghi, Gheorghe Cosmin; Rana, Omer F. (Eds.) Economics of Grids, Clouds, Systems, and Services (2016)

Full Text
See detailPerformance impact of the interactions between time -triggered and rate-constrained transmissions in TTEthernet
Boyer, Marc; Daigmorte, Hugo; Navet, Nicolas; Migge, Jörn

Scientific Conference (2016, January 27)

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 detailDevelopment of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
Ciarletta, Laurent; Fejoz, Loïc; Guenard, Adrien; Navet, Nicolas

Scientific Conference (2016, January 28)

Full Text
See detailA Context-Aware Collaborative Mobile Application for Silencing the Smartphone during Meetings or Important Events
Dobrican, Remus-Alexandru; Neyens, Gilles; Zampunieris, Denis

in International Journal On Advances in Intelligent Systems (2016), 9(1&2), 171-180

Full Text
See detailA Proactive Solution, using Wearable and Mobile Applications, for Closing the Gap between the Rehabilitation Team and Cardiac Patients
Dobrican, Remus-Alexandru; Zampunieris, Denis

in Proceedings of the IEEE International Conference on Healthcare Informatics 2016 (ICHI 2016) (2016)

Full Text
See detailDemo: Applications of the CPAL language to model, simulate and program Cyber-Physical Systems
Fejoz, Loïc; Navet, Nicolas; Sundharam, Sakthivel Manikandan; Altmeyer, Sebastian

Poster (2016, April 12)

Full Text
See detailAgile Validation of Higher Order Transformations Using F-Alloy
Gammaitoni, Loïc; Kelsen, Pierre; Ma, Qin

in Agile Validation of Higher Order Transformations Using F-Alloy (2016)

Full Text
See detailMeasuring the SWEBOK Coverage: An Approach and a Tool
Guelfi, Nicolas; Capozucca, Alfredo; Ries, Benoît

Scientific Conference (2016, August 25)

Full Text
See detailTESMA : Towards the Development of a Tool for Specification, Management and Assessment of Teaching Programs
Guelfi, Nicolas; Jahic, Benjamin; Ries, Benoît

in Pyshkin, Evgeny; Vazhenin, Alexander; Klyuev, Vitaly (Eds.) Proceeding of the 2nd International Conference on Applications in Information Technology (2016, October)

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 38th International Conference on Software Engineering (ICSE'16) (2016)

Full Text
See detailOn the Lack of Consensus in Anti-Virus Decisions: Metrics and Insights on Building Ground Truths of Android Malware
Hurier, Médéric; Allix, Kevin; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Detection of Intrusions and Malware, and Vulnerability Assessment - 13th International Conference (2016)

Full Text
See detailProfiling Android Vulnerabilities
Jimenez, Matthieu; Papadakis, Mike; Bissyande, Tegawendé François D Assise; Klein, Jacques

in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016) (2016, August)

Full Text
See detailAn Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel
Jimenez, Matthieu; Papadakis, Mike; Le Traon, Yves

in 2016 Asia-Pacific Software Engineering Conference (APSEC) (2016, December)

Full Text
See detailVulnerability Prediction Models: A case study on the Linux Kernel
Jimenez, Matthieu; Papadakis, Mike; Le Traon, Yves

in 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, US, October 2-3, 2016 (2016, October)

Full Text
See detailRegime switching model for financial data: empirical risk analysis
Khaled, Salhi; Deaconu, Madalina; Lejay, Antoine; Champagnat, Nicolas; Navet, Nicolas

in Physica A: Statistical Mechanics and its Applications (2016), 461

Full Text
See detailOpen Data Portal Quality Comparison using AHP
Kubler, Sylvain; Robert, Jérémy; Le Traon, Yves; Umbrich, Jürgen; Neumaier, Sebastian

in Proceedings of the 17th International Digital Government Research Conference on Digital Government Research (2016, June 07)

Full Text
See detailA state-of the-art survey & testbed of Fuzzy AHP (FAHP) applications
Kubler, Sylvain; Robert, Jérémy; William, Derigent; Alexandre, Voisin; Le Traon, Yves

in Expert Systems with Applications (2016), 65

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

in The 15th International Symposium on Intelligent Data Analysis (2016, October)

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

in International Journal of Software Engineering & Knowledge Engineering (2016), 26(9&10), 13611377

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 detailWatch out for This Commit! A Study of Influential Software Changes
Li, Daoyuan; Li, Li; Kim, Dongsun; Bissyande, Tegawendé François D Assise; Lo, David; Le Traon, Yves

Report (2016)

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 detailAccessing Inaccessible Android APIs: An Empirical Study
Li, Li; Bissyande, Tegawendé François D Assise; Le Traon, Yves; Klein, Jacques

in The 32nd International Conference on Software Maintenance and Evolution (ICSME) (2016, October)

Full Text
See detailDroidRA: Taming Reflection to Support Whole-Program Analysis of Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Octeau, Damien; Klein, Jacques

in The 2016 International Symposium on Software Testing and Analysis (2016, July)

Full Text
See detailReflection-Aware Static Analysis of Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Octeau, Damien; Klein, Jacques

in The 31st IEEE/ACM International Conference on Automated Software (ASE) (2016, September)

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 detailMining Families of Android Applications for Extractive SPL Adoption
Li, Li; Martinez, Jabier; Ziadi, Tewfik; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 20th International Systems and Software Product Line Conference (SPLC 2016) (2016)

Full Text
See detailUAV degradation identification for pilot notification using machine learning techniques
Manukyan, Anush; Olivares Mendez, Miguel Angel; Bissyande, Tegawendé François D Assise; Voos, Holger; Le Traon, Yves

in Proceedings of 21st IEEE International Conference on Emerging Technologies and Factory Automation ETFA 2016 (2016, September 06)

Full Text
See detailName Suggestions during Feature Identification: The VariClouds Approach
Martinez, Jabier; Ziadi, Tewfik; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in 20th International Systems and Software Product Line Conference (SPLC 2016) proceedings (2016)

Full Text
See detailFeature Location Benchmark for Software Families using Eclipse Community Releases
Martinez, Jabier; Ziadi, Tewfik; Papadakis, Mike; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Software Reuse: Bridging with Social-Awareness, ICSR 2016 Proceedings (2016)

Full Text
See detail“Overloaded!” — A Model-based Approach to Database Stress Testing
Meira, Jorge Augusto; Almeira, Eduardo Cunha de; Kim, Dongsun; Filho, Edson Ramiro Lucas; Le Traon, Yves

in International Conference on Database and Expert Systems Applications, Porto 5-8 September 2016 (2016)

Full Text
See detailDynamic Risk Analyses and Dependency-Aware Root Cause Model for Critical Infrastructures
Muller, Steve; Harpes, Carlo; Le Traon, Yves; Gombault, Sylvain; Bonnin, Jean-Marie; Hoffmann, Paul

in International Conference on Critical Information Infrastructures Security (2016)

Full Text
See detailTiming Analysis of Automotive Architectures and Software
Navet, Nicolas

Scientific Conference (2016, March 16)

Full Text
See detailThe use of simulation in the design of critical embedded systems
Navet, Nicolas

Scientific Conference (2016, June 09)

Full Text
See detailCPAL: High-Level Abstractions for Safe Embedded Systems
Navet, Nicolas; Fejoz, Loïc

in DSM 2016: Proceedings of the International Workshop on Domain-Specific Modeling (2016)

Full Text
See detailLean Model-Driven Development through Model-Interpretation: the CPAL design flow
Navet, Nicolas; Fejoz, Loïc; Havet, Lionel; Altmeyer, Sebastian

Scientific Conference (2016, January 27)

Full Text
See detailTiming verification of real­time automotive Ethernet networks: what can we expect from simulation?
Navet, Nicolas; Seyler, Jan; Migge, Jörn

Scientific Conference (2016, January 28)

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)

Full Text
See detailThreats to the validity of mutation-based test assessment
Papadakis, Mike; Henard, Christopher; Harman, Mark; Jia; Le Traon, Yves

in International Symposium on Software Testing and Analysis, ISSTA 2016 (2016)

Full Text
See detailMicro-billing framework for IoT: Research & Technological foundations
Robert, Jérémy; Kubler, Sylvain; Le Traon, Yves

in International Conference on Future Internet of Things and Cloud, 22-24 August 2016, Vienna, Austria (2016)

Full Text
See detailO-MI/O-DF Standards as Interoperability Enablers for Industrial Internet: a Performance Analysis
Robert, Jérémy; Kubler, Sylvain; Le Traon, Yves; Främling, Kary

in O-MI/O-DF Standards as Interoperability Enablers for Industrial Internet: a Performance Analysis (2016)

Full Text
See detailA systematic review on the engineering of software for ubiquitous systems
Sanchez Guinea, Alejandro; Nain, Gregory; Le Traon, Yves

in Journal of Systems and Software (2016), 118

Full Text
See detailModel Interpretation for an AUTOSAR compliant Engine Control Function
Sundharam, Sakthivel Manikandan; Altmeyer, Sebastian; Navet, Nicolas

in 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2016, July 05)

Full Text
See detailPoster Abstract: An Optimizing Framework for Real-Time Scheduling
Sundharam, Sakthivel Manikandan; Altmeyer, Sebastian; Navet, Nicolas

in Proceedings of 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016) (2016, April 12)

Full Text
See detailConnected Motorized Riders - A Smart Mobility System to Connect Two and Three-wheelers
Sundharam, Sakthivel Manikandan; Fejoz, Loic; Navet, Nicolas

in Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016) (2016, December 15)

Full Text
See detailA Model-Based Development Environment for Rapid-Prototyping of Latency-Sensitive Automotive Control Software
Sundharam, Sakthivel Manikandan; Havet, Lionel; Altmeyer, Sebastian; Navet, Nicolas

in Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016) (2016, December 15)

Top of Page

2015

Full Text
See detailAre Your Training Datasets Yet Relevant? - An Investigation into the Importance of Timeline in Machine Learning-Based Malware Detection
Allix, Kevin; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Engineering Secure Software and Systems - 7th International Symposium ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings (2015)

Full Text
See detailUsing CPAL to model and validate the timing behaviour of embedded systems
Altmeyer, Sebastian; Navet, Nicolas; Fejoz, Loïc

in 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2015, July 07)

Full Text
See detailFormal verification techniques for model transformations: A tridimensional classification
Amrani, M.; Combemale, B.; Lúcio, L.; Selim, G. M. K.; Dingel, J.; Le Traon, Yves; Vangheluwe, H.; Cordy, J. R.

in Journal of Object Technology (2015), 14(3),

Full Text
See detailSound and Quasi-Complete Detection of Infeasible Test Requirements
Bardin, Sebastien; Delahaye, Mickaël; Kosmatov, Nikolai; David, Robin; Papadakis, Mike; Le Traon, Yves; Marion, Jean-Yves

in 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15) (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 detailSimilarity testing for access control
Bertolino, A.; Daoudagh, S.; El Kateb, Donia; Henard, Christopher; Le Traon, Yves; Lonetti, F.; Marchetti, E.; Mouelhi, T.; Papadakis, Mike

in Information and Software Technology (2015), 58

Full Text
See detailA Contract-Based approach to support Goal-Driven Analysis
Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas

in Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (2015, April)

Full Text
See detailBusiness Process Regulatory Compliance is Hard
Colombo Tosatto, Silvano; Kelsen, Pierre; Governatori, Guido

in IEEE Transactions on Services Computing (2015), 8(6), 958-970

Full Text
See detailAlgorithms for tractable compliance problems
Colombo Tosatto, Silvano; Kelsen, Pierre; Ma, Qin; el Kharbili, Marwane; Governatori, Guido; van der Torre, Leon

in Frontiers of Computer Science (2015), 9(1), 55-74

Full Text
See detailSilentMeet - A Prototype Mobile Application for Real-Time Automated Group-Based Collaboration
Dobrican, Remus-Alexandru; Neyens, Gilles; Zampunieris, Denis

in Proceedings of the 5th International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA 2015) (2015)

Full Text
See detailTowards a full support of obligations in XACML
El Kateb, Donia; Elrakaiby, Y.; Mouelhi, T.; Rubab, Iram; Le Traon, Yves

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2015), 8924

Full Text
See detailConviviality-driven access control policy
El Kateb, Donia; Zannone, N.; Moawad, Assaad; Caire, Patrice; Nain, Grégory; Mouelhi, T.; Le Traon, Yves

in Requirements Engineering (2015), 20(4), 363-382

Full Text
See detailF-Alloy: An Alloy Based Model Transformation Language
Gammaitoni, Loïc; Kelsen, Pierre

in Theory and Practice of Model Transformations (2015)

Full Text
See detailDesigning Languages using Lightning
Gammaitoni, Loïc; Kelsen, Pierre; Glodt, Christian

in Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering (2015)

Full Text
See detailSoftware Engineering and Modeling Education: Problems and Solutions
Guelfi, Nicolas

in Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015. (2015)

Full Text
See detailStream my Models: Reactive Peer-to-Peer Distributed Models@run.time
Hartmann, Thomas; Moawad, Assaad; Fouquet, François; Nain, Grégory; Klein, Jacques; Le Traon, Yves

in Lethbridge, Timothy; Cabot, Jordi; Egyed, Alexander (Eds.) 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015, September)

Full Text
See detailSuspicious Electric Consumption Detection Based on Multi-Profiling Using Live Machine Learning
Hartmann, Thomas; Moawad, Assaad; Fouquet, François; Reckinger, Yves; Mouelhi, Tejeddine; Klein, Jacques; Le Traon, Yves

in 2015 IEEE International Conference on Smart Grid Communications (SmartGridComm) (2015, November)

Full Text
See detailCombining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines
Henard, Christopher; Papadakis, Mike; Harman, Mark; Le Traon, Yves

in 37th International Conference on Software Engineering (ICSE 2015) (2015)

Full Text
See detailFlattening or not of the combinatorial interaction testing models
Henard, Christopher; Papadakis, Mike; Le Traon, Yves

in Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops (2015, April)

Full Text
See detailAssessing and Improving the Mutation Testing Practice of PIT
Laurent, Thomas; Ventresque, Anthony; Papadakis, Mike; Henard, Christopher; Le Traon, Yves

E-print/Working paper (2015)

Full Text
See detailPotential Component Leaks in Android Apps: An Investigation into a new Feature Set for Malware Detection
Li, Li; Allix, Kevin; Li, Daoyuan; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques

in The 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS 2015) (2015, August)

Full Text
See detailA Study of Potential Component Leaks in Android Apps
Li, Li; Allix, Kevin; Li, Daoyuan; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques

Report (2015)

Full Text
See detailApkCombiner: Combining Multiple Android Apps to Support Inter-App Analysis
Li, Li; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in International Conference on ICT Systems Security and Privacy Protection (SEC 2015) (2015, May)

Full Text
See detailIccTA: Detecting Inter-Component Privacy Leaks in Android Apps
Li, Li; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves; Arzt, Steven; Rasthofer, Siegfried; Bodden, Eric; Octeau, Damien; McDaniel, Patrick

in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE 2015) (2015)

Full Text
See detailAn Investigation into the Use of Common Libraries in Android Apps
Li, Li; Bissyandé, Tegawendé F.; Klein, Jacques; Le Traon, Yves

in arXiv preprint arXiv:1511.06554 (2015)

Full Text
See detailUsing An Instrumentation based Approach to Detect Inter-Component Leaks in Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

Scientific Conference (2015, March)

Full Text
See detailA generic model decomposition technique and its application to the Eclipse modeling framework
Ma, Qin; Kelsen, Pierre; Glodt, Christian

in Software & Systems Modeling (2015), 14(2), 921-952

Full Text
See detailEstimating and Predicting Average Likability on Computer-Generated Artwork Variants
Martinez, Jabier; Rossi, Gabriele; Ziadi, Tewfik; Bissyandé, Tegawendé François D. Assise; Klein, Jacques; Traon, Yves Le

in Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid Spain, July 11-15, 2015, Companion Material Proceedings (2015)

Full Text
See detailBottom-up adoption of software product lines: a generic and extensible approach
Martinez, Jabier; Ziadi, Tewfik; Bissyandé, Tegawendé F.; Klein, Jacques; Traon, Yves Le

in Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015 (2015)

Full Text
See detailAutomating the Extraction of Model-based Software Product Lines from Model Variants
Martinez, Jabier; Ziadi, Tewfik; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015) (2015)

Full Text
See detailAdaptive Blurring of Sensor Data to balance Privacy and Utility for Ubiquitous Services
Moawad, Assaad; Hartmann, Thomas; Fouquet, François; Klein, Jacques; Le Traon, Yves

in The 30th Annual ACM Symposium on Applied Computing (2015, April)

Full Text
See detailPolymer: A Model-Driven Approach for Simpler, Safer, and Evolutive Multi-Objective Optimization Development
Moawad, Assaad; Hartmann, Thomas; Fouquet, François; Nain, Grégory; Klein, Jacques; Bourcier, Johann

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)

Full Text
See detailBeyond Discrete Modeling: A Continuous and Efficient Model for IoT
Moawad, Assaad; Hartmann, Thomas; Fouquet, François; Nain, Grégory; Klein, Jacques; Le Traon, Yves

in Lethbridge, Timothy; Cabot, Jordi; Egyed, Alexander (Eds.) 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015, September)

See detailInroads in Testing Access Control
Mouelhi, Tejeddine; El Kateb, Donia; Le Traon, Yves

in Advances in Computers (2015)

Full Text
See detailLean Model-Driven Development through Model-Interpretation: the CPAL design flow
Navet, Nicolas; Fejoz, Loïc; Havet, Lionel; Altmeyer, Sebastian

Report (2015)

Full Text
See detailTiming verification of real-time automotive Ethernet networks: what can we expect from simulation?
Navet, Nicolas; Seyler, Jan; Migge, Jörn

Scientific Conference (2015, May 23)

Full Text
See detailEnhancing Mobile Devices with Cooperative Proactive Computing
Neyens, Gilles; Dobrican, Remus-Alexandru; Zampunieris, Denis

in Proceedings of the 5th International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA 2015) (2015)

Full Text
See detailAn Extensive Systematic Review on the Model-Driven Development of Secure Systems
Nguyen, Phu; Kramer, Max; Klein, Jacques; Le Traon, Yves

in Information & Software Technology (2015), 68(December 2015), 62-81

Full Text
See detailSoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems
Nguyen, Phu; Yskout, Koen; Heyman, Thomas; Klein, Jacques; Scandariato, Riccardo; Le Traon, Yves

in Proceedings ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (2015, October)

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

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

Full Text
See detailTrivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
Papadakis, Mike; Yue, Jia; Harman, Mark; Le Traon, Yves

in 37th International Conference on Software Engineering (ICSE 2015) (2015)

Full Text
See detailA Conceptual Model for Compliance Checking Support of Enterprise Architecture Decisions
Plataniotis, Georgios; De Kinderen, Sybren; Ma, Qin; Proper, Erik

in Proceedings of the 17th IEEE Conference on Business Informatics, Lisbon Portugal, July 13-16, 2015, Volume 1 (2015)

Full Text
See detailTraceability and Modeling of Requirements in Enterprise Architecture from a Design Rationale Perspective
Plataniotis, Georgios; De Kinderen, Sybren; Ma, Qin; Proper, Henderik

in Ninth IEEE conference on Research Challenges in Information Systems (RCIS 2015), Athens, May 13-15, 2015 (2015)

Full Text
See detailInsights on the Configuration and Performances of SOME/IP Service Discovery
Seyler, Jan; Navet, Nicolas; Fejoz, Loïc

in SAE International Journal of Passenger Cars- Electronic and Electrical Systems (2015), 8(1), 124-129

Full Text
See detailFormal Analysis of the Startup Delay of SOME/IP Service Discovery
Seyler, Jan; Streichert, Thilo; Glaß, Michael; Navet, Nicolas; Teich, Jürgen

in Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (2015)

Full Text
See detailAutomated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets
Xu, Dianxiang; Kent, Michael; Thomas, Lijo; Mouelhi, Tejeddine; Le Traon, Yves

in IEEE TRANSACTIONS ON COMPUTERS (2015), 64(9), 2490-2505

Full Text
See detailRoundtable: Research Opportunities and Challenges for Emerging Software Systems
Zhang, X.; Zhang, D.; Le Traon, Yves; Wang, Q.; Zhang, L.

in Journal of Computer Science and Technology (2015), 30(5), 935-941

Top of Page

2014

Full Text
See detailEmpirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: an Urgent Need for Systematic Security Regression Testing
Abgrall, Erwan; Le Traon, Yves; Gombault, Sylvain; Monperrus, Martin

in 7th IEEE International Conference on Software Testing, Verification and Validation (ICST)- Workshop SECTEST (2014)

Full Text
See detailEmpirical assessment of machine learning-based malware detectors for Android: Measuring the Gap between In-the-Lab and In-the-Wild Validation Scenarios
Allix, Kevin; Bissyande, Tegawendé François D Assise; Jerome, Quentin; Klein, Jacques; State, Radu; Le Traon, Yves

in Empirical Software Engineering (2014)

Full Text
See detailLarge-scale Machine Learning-based Malware Detection: Confronting the "10-fold Cross Validation" Scheme with Reality
Allix, Kevin; Bissyande, Tegawendé François D Assise; Jerome, Quentin; Klein, Jacques; State, Radu; Le Traon, Yves

in Proceedings of the 4th ACM Conference on Data and Application Security and Privacy (2014, March)

Full Text
See detailMachine Learning-Based Malware Detection for Android Applications: History Matters!
Allix, Kevin; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

Report (2014)

Full Text
See detailA Forensic Analysis of Android Malware -- How is Malware Written and How It Could Be Detected?
Allix, Kevin; Jerome, Quentin; Bissyande, Tegawendé François D Assise; Klein, Jacques; State, Radu; Le Traon, Yves

in Proceedings of the 2014 IEEE 38th Annual Computer Software and Applications Conference (2014, July)

Full Text
See detailA Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification
Amrani, Moussa; Lúcio, Lévi; Selim, Gehan; Combemale, Benoît; Dingel, Jürgen; Vangheluwe, Hans; Le Traon, Yves; Cordy, James

in Journal of Technology (2014)

Full Text
See detailFlowDroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps
Arzt, S.; Rasthofer, S.; Fritz, C.; Bodden, E.; Bartel, A.; Klein, Jacques; Le Traon, Yves; Octeau, D.; McDaniel, P.

Scientific Conference (2014, June)

Full Text
See detailStatic Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android
Bartel, Alexandre; Klein, Jacques; Monperrus, Martin; Le Traon, Yves

in IEEE Transactions on Software Engineering (TSE) (2014), 40(6), 617-632

Full Text
See detailSimilarity testing for access control
Bertolino, Antonia; daoudagh, said; El Kateb, Donia; Henard, Christopher; Le Traon, Yves; lonetti, francesca; marchetti, eda; Mouelhi, Tejeddine; Papadakis, Mike

in Information and Software Technology (2014)

Full Text
See detailCoverage-based Test Cases Selection for XACML Policies
Bertolino, Antonia; Le Traon, Yves; Lonetti, Francesca; Marchetti, Eda; Mouelhi, Tejeddine

in IEEE International Conference on Software Testing Verification and Validation Workshops (2014)

Full Text
See detailTools for Conviviality in Multi-Context Systems
bikakis, Antonis; Caire, Patrice; Le Traon, Yves

in IfCoLog Journal of Logics and Their Applications (2014), 1(1),

See detailIntegrating end-system frame scheduling for more accurate AFDX timing analysis
Boyer, Marc; Santinelli, Luca; Navet, Nicolas; Migge, Jörn; Fumey, Marc

Scientific Conference (2014, February 07)

See detailDT4BP: Dependability and Time for Business Processes
Capozucca, Alfredo

Book published by Scholars' Press (2014)

Full Text
See detailDetecting Deontic Conflicts in Dynamic Settings
Colombo Tosatto, Silvano; Kelsen, Pierre; Governatori, Guido

in Cariani, Fabrizio; Grossi, Davide; Meheus, Joke; Parent, Xavier (Eds.) Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings (2014)

See detailA Toolchain for Model-Based Design and Testing of Access Control Systems
Daoudagh, Said; El Kateb, Donia; Lonetti, Francesca; Marchetti, Eda; Mouelhi, Tejeddine

in MODELSWARD 2015 (2014)

Full Text
See detailTowards An Analysis Driven Approach for Adapting Enterprise Architecture Languages
De Kinderen, Sybren; Ma, Qin

in 6th international EMISA workshop, Luxembourg-ville, 25 to 26 september 2014 (2014)

Full Text
See detailMoving Towards a Distributed Network of Proactive, Self-Adaptive and Context-Aware Systems
Dobrican, Remus-Alexandru; Zampunieris, Denis

in ADAPTIVE 2014 - The Sixth International Conference on Adaptive and Self-Adaptive Systems and Applications (2014)

Full Text
See detailMoving Towards Distributed Networks of Proactive, Self-Adaptive and Context-Aware Systems: a New Research Direction?
Dobrican, Remus-Alexandru; Zampunieris, Denis

in The International Journal on Advances in Networks and Services (2014), 7(3 & 4), 262-272

Full Text
See detailA Proactive Approach for Information Sharing Strategies in an Environment of Multiple Connected Ubiquitous Devices
Dobrican, Remus-Alexandru; Zampunieris, Denis

in Proceedings of the 11th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC 2014) (2014)

Full Text
See detailTowards a Full Support of Obligations In XACML
El Kateb, Donia; Elrakaiby, Yehia; Mouelhi, Tejeddine; Rubab, Iram; Le Traon, Yves

Scientific Conference (2014)

Full Text
See detailOptimizing Multi-Objective Evolutionary Algorithms to Enable Quality-Aware Software Provisioning
El Kateb, Donia; Fouquet, François; bourcier, Johann; Le Traon, Yves

Scientific Conference (2014, October)

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 detailConviviality-Driven Access Control Policy
El Kateb, Donia; Zannone, Nicola; Moawad, Assaad; Caire, Patrice; Nain, Grégory; Mouelhi, Tejeddine; Le Traon, Yves

in Requirements Engineering (2014)

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 detailSecurity@Runtime: A flexible MDE approach to enforce fine-grained security policies
Elrakaiby, Yehia; Amrani, Moussa; Le Traon, Yves

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2014), 8364 LNCS

Full Text
See detailThe impact of cultural differences on enterprise architecture effectiveness: a case study
Faller, Hella; De Kinderen, Sybren

in 8th MCIS conference, Verona, Italy, 3-5 september 2014 (2014)

Full Text
See detailDomain-Specific Visualization of Alloy Instances
Gammaitoni, Loïc; Kelsen, Pierre

in 4th International ABZ 2014 Conference (2014)

Full Text
See detailFunctional Alloy Modules
Gammaitoni, Loïc; Kelsen, Pierre

Report (2014)

Full Text
See detailVerifying Modelling Languages using Lightning: a Case Study
Gammaitoni, Loïc; Kelsen, Pierre; Mathey, Fabien

in MoDeVVa 2014: Model-Driven Engineering, Verification and Validation (2014)

Full Text
See detailGenerating Realistic Smart Grid Communication Topologies Based on Real-Data
Hartmann, Thomas; Fouquet, François; Klein, Jacques; Le Traon, Yves; Pelov, Alexander; Toutain, Laurent; Ropitault, Tanguy

in 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm) (2014, November)

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)

Full Text
See detailA Native Versioning Concept to Support Historized Models at Runtime
Hartmann, Thomas; Fouquet, François; Nain, Grégory; Morin, Brice; Klein, Jacques; Barais, Olivier; Le Traon, Yves

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)

Full Text
See detailReasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach
Hartmann, Thomas; Fouquet, François; Nain, Grégory; Morin, Brice; Klein, Jacques; Le Traon, Yves

in Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering (2014, July)

Full Text
See detailMutaLog: a Tool for Mutating Logic Formulas
Henard, Christopher; Papadakis, Mike; Le Traon, Yves

in Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)

Full Text
See detailMutation-based Generation of Software Product Line Test Configurations
Henard, Christopher; Papadakis, Mike; Le Traon, Yves

in Symposium on Search-Based Software Engineering (SSBSE 2014) (2014)

Full Text
See detailBypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Configurations for Software Product Lines
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Heymans, Patrick; Le Traon, Yves

in IEEE Transactions on Software Engineering (2014), 40(7), 650-670

Full Text
See detailAnalysis as a first-class citizen: an application to Architecture Description Languages
Hugues, Jérôme; Brau, Guillaume

in Proceedings of the IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (2014, September)

Full Text
See detailUsing opcode-sequences to detect malicious Android applications
Jerome, Quentin; Allix, Kevin; State, Radu; Engel, Thomas

in IEEE International Conference on Communications, ICC 2014, Sydney Australia, June 10-14, 2014 (2014, June)

Full Text
See detailSlicing High-level Petri nets
Khan, Yasir Imtiaz

Report (2014)

Full Text
See detailSLAPn: A Tool for slicing Algebraic Petri nets
Khan, Yasir Imtiaz; Guelfi, Nicolas

Poster (2014)

Full Text
See detailSlicing High-level Petri nets
Khan, Yasir Imtiaz; Guelfi, Nicolas

in International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014 (2014, June 23)

See detailAPI Document Quality for Resolving Deprecated APIs
Ko, Deokyoon; Ma, Kyeongwook; Park, Sooyong; Kim, Suntae; Kim, Dongsun; Le Traon, Yves

Scientific Conference (2014, December 01)

Full Text
See detailAutomatically Exploiting Potential Component Leaks in Android Applications
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Report (2014)

Full Text
See detailAutomatically Exploiting Potential Component Leaks in Android Applications
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

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)

Full Text
See detailDetecting privacy leaks in Android Apps
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Scientific Conference (2014, February 26)

Full Text
See detailUsing A Path Matching Algorithm to Detect Inter-Component Leaks in Android Apps
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Scientific Conference (2014, March 12)

Full Text
See detailI know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves; Arzt, Steven; Rasthofer, Siegfried; Bodden, Eric; Octeau, Damien; McDaniel, Patrick

Report (2014)

Full Text
See detailAn Empirical Investigation of Modularity Metrics for Indicating Architectural Technical Debt
Li, Zengyang; Liang, Peng; Avgeriou, Paris; Guelfi, Nicolas

in Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures (2014, June)

Full Text
See detailIntra-query Adaptivity for MapReduce Query Processing Systems
Lucas Filho, Edson Ramiro; Cunha De Almeida, Eduardo; Le Traon, Yves

in IDEAS 2014 : 18th International Database Engineering Applications Symposium (2014)

Full Text
See detailModel Transformation Intents and Their Properties
Lúcio, Lévi; Amrani, Moussa; Dingel, Jürgen; Lambers, Leen; Salay, Rick; Selim, Gehan; Syriani, Eugene; Wimmer, Manuel

in Software & Systems Modeling (2014)

Full Text
See detailAdvances in Model-Driven Security
Lucio, Levi; Zhang, Qin; Nguyen, Phu Hong; Amrani, Moussa; Klein, Jacques; Vangheluwe, Hans; Le Traon, Yves

in Memon, Atif (Ed.) Advances in Computers (2014)

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

Poster (2014)

Full Text
See detailIdentifying and Visualising Commonality and Variability in Model Variants
Martinez, Jabier; Ziadi, Tewfik; Klein, Jacques; Le Traon, Yves

in ECMFA 2014 European Conference on Modelling Foundations and Applications (2014)

Full Text
See detailFeature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines
Martinez, Jabier; Ziadi, Tewfik; Mazo, Raul; Klein, Jacques; Le Traon, Yves

in 2nd IEEE Working Conference on Software Visualization (2014)

Full Text
See detailA state machine for database non-functional testing
Meira, Jorge Augusto; Almeida, Eduardo; Le Traon, Yves

Poster (2014)

See detailTiming verification of automotive communication architectures using quantile estimation
Navet, Nicolas; Louvart, Shehnaz; Villanueva, Jose; Campoy-Martinez, Sergio; Migge, Jörn

Scientific Conference (2014, March 07)

Full Text
See detailModel-Driven Security with A System of Aspect-Oriented Security Design Patterns
Nguyen, Phu Hong; Klein, Jacques; Le Traon, Yves

in 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (2014, July 22)

Full Text
See detailModeling, composing, and testing of security concerns in a Model-Driven Security approach
Nguyen, Phu Hong; Klein, Jacques; Le Traon, Yves

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)

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

Full Text
See detailThe NOAH Project: Giving a Chance to Threatened Species in Africa with UAVs
Olivares Mendez, Miguel Angel; Bissyandé, Tegawendé; Somasundar, Kannan; Klein, Jacques; Voos, Holger; Le Traon, Yves

in Bissyandé, Tegawendé F.; van Stam, Gertjan (Eds.) e-Infrastructure and e-Services for Developing Countries (2014)

Full Text
See detailMitigating the Effects of Equivalent Mutants with Mutant Classification Strategies
Papadakis, Mike; Delamaro, Eduardo Márcio; Le Traon, Yves

in Science of Computer Programming (2014), 95

Full Text
See detailSampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing
Papadakis, Mike; Henard, Christopher; Le Traon, Yves

in 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)

Full Text
See detailEffective Fault Localization via Mutation Analysis: A Selective Mutation Approach
Papadakis, Mike; Le Traon, Yves

in ACM Symposium On Applied Computing (SAC'14) (2014)

Full Text
See detailCapturing Design Rationales in Enterprise Architecture: A Case Study
Plataniotis, Georgios; De Kinderen, Sybren; Proper, Henderik

in 7th IFIP WG 8.1 Working Conference, PoEM 2014, Manchester, UK, November 12-13 (2014, November 12)

Full Text
See detailA computational approach for design rationalization in Enterprise Architecture
Plataniotis, Georgios; De Kinderen, Sybren; Proper, Henderik A.

in IEEE Eighth International Conference on Research Challenges in Information Science, Marrakesh May 28-30, 2014 (2014)

Full Text
See detailImplementing a Software Prototype for Enterprise Architecture Rationalization: Lessons Learned
Plataniotis, Georgios; De Kinderen, Sybren; Proper, Henderik A.

in 9th workshop on Trends in Enterprise Architecture (TEAR 2014), Ulm 1-2 september 2014 (2014)

Full Text
See detailEA anamnesis An Approach for Decision Making Analysis in Enterprise Architecture
Plataniotis, Georgios; De Kinderen, Sybren; Proper, Hendrik A.

in International Journal of Information Systems Modeling and Design (2014), 4(1),

Full Text
See detailCombining Models with Code: a Tale of Two Languages
Qin, Ma; Schmit, Sam; Glodt, Christian; Kelsen, Pierre

in IEEE International Conference on Global Software Engineeering Workshops (2014)

Full Text
See detailModel-Based Testing of Obligations
Rubab, Iram; Ali, Shaukat; Briand, Lionel; Le Traon, Yves

in 14th Annual International Conference on Quality Software (QSIC) (2014)

Full Text
See detailModel-based testing of global properties on large-scale distributed systems
Sunyé, G.; De Almeida, E. C.; Le Traon, Yves; Baudry, B.; Jézéquel, J.-M.

in Information and Software Technology (2014), 56(7), 749-762

Full Text
See detailTowards a Language-Independent Approach for Reverse-Engineering of Software Product Lines
Ziadi, Tewfik; Henard, Christopher; Papadakis, Mike; Ziane, Mikal; Le Traon, Yves

in 29th Symposium on Applied Computing (SAC 2014) (2014)

Top of Page

2013

Full Text
See detailRelaxing Behavioural Inheritance
Amalio, Nuno

in Electronic Proceedings in Theoretical Computer Science [=EPTCS] (2013), 115

Full Text
See detailSustainable ICT4D in Africa: Where Do We Go From Here?
Bissyande, Tegawendé François D Assise; Ahmat, Daouda; Ouoba, Jonathan; van Stam, Gertjan; Klein, Jacques; Le Traon, Yves

in EAI International Conference on e-Infrastructure and e-Services for Developing Countries (2013)

Full Text
See detailGot Issues? Who Cares About It? A Large Scale Investigation of Issue Trackers from GitHub
Bissyande, Tegawendé François D Assise; Lo, David; Jiang, Lingxiao; Reveillere, Laurent; Klein, Jacques; Le Traon, Yves

in Proceedings of the 24th International Symposium on Software Reliability Engineering (ISSRE 2013) (2013, November)

Full Text
See detailCombining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support
Boyer, Marc; Navet, Nicolas; Fumey, Marc; Migge, Jörn; Havet, Lionel

in Proceedings of the 5th European Conference for Aeronautics and Space Sciences (EUCASS) (2013, July 01)

Full Text
See detailRefinement of AADL models using early-stage analysis methods
Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas

in Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop (2013, November)

Full Text
See detailRefinement of AADL models using early-stage analysis methods : An avionics example
Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas

Report (2013)

Full Text
See detailInformation Dependencies in MCS: Conviviality-Based Model and Metrics
Caire, Patrice; Bikakis, Antonis; Le Traon, Yves

in 16th INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2013) (2013, December 01)

Full Text
See detailAssessing software designs by simulation (Fast Abstract)
Capozucca, Alfredo

in Supplemental Volume of the 6th Latin-American Symposium on Dependable Computing (LADC 2013) (2013, April)

See detailAn empirical analysis of heavy-tails behavior of financial data: the case for power laws
Champagnat, Nicolas; Deaconu, Madalina; Lejay, Antoine; Navet, Nicolas; Boukherouaa, Souhail

Report (2013)

Full Text
See detailAlgorithms for Basic Compliance Problems
Colombo Tosatto, Silvano; El Kharbili, Marwane; Governatori, Guido; Kelsen, Pierre; Ma, Qin; van der Torre, Leon

in 2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013. (2013, March)

Full Text
See detailTowards an Abstract Framework for Compliance
Colombo Tosatto, Silvano; Governatori, Guido; Kelsen, Pierre

in Bagheri, Ebrahim; Gasevic, Dragan; Halle, Sylvain; Hatala, Marek; Motahari Nezhad, Hamid R.; Reichert, Manfred (Eds.) Proceedings of the 17th IEEE International EDOC 2013 Conference Workshops, Vancouver, Canada, 9 September 2013. (2013, September 09)

Full Text
See detailEmpirical Investigations on Community Building and Collaborative Work inside a LMS using Proactive Computing
Dobrican, Remus-Alexandru; Reis, Sandro; Zampunieris, Denis

in Proceedings of E-Learn - World Conference on E-Learning 2013 Conference (2013)

Full Text
See detailSUPPORTING COLLABORATIVE LEARNING INSIDE COMMUNITIES OF PRACTICE THROUGH PROACTIVE COMPUTING
Dobrican, Remus-Alexandru; Zampunieris, Denis

in Proceedings of the 5th annual International Conference on Education and New Learning Technologies, Barcelona, Spain 1-3 July, 2013 (2013)

Full Text
See detailAccess Control Enforcement Testing
El Kateb, Donia; ElRakaiby, Yehia; Mouelhi, Tejeddine; Le Traon, Yves

in Abstract book of 2013 8TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST (AST) (2013)

Full Text
See detailA PEP-PDP Architecture to Monitor and Enforce Security Policies in Java Applications
Elrakaiby, Yehia; Le Traon, Yves

in 2013 International Conference on Availability, Reliability and Security (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 detailHighly precise taint analysis for Android applications
Fritz, Christian; Arzt, Steven; Rasthofer, Siegfried; Bodden, Eric; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves; Octeau, Damien; McDaniel, Patrick

Report (2013)

Full Text
See detailAssessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Le Traon, Yves

in 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013 (2013)

Full Text
See detailMulti-objective test generation for software product lines
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Le Traon, Yves

in 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013 (2013)

Full Text
See detailPLEDGE: a product line editor and test generation tool
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Le Traon, Yves

in 17th International Software Product Line Conference co-located workshops, SPLC 2013 workshops, Tokyo, Japan - August 26 (2013)

Full Text
See detailTowards automated testing and fixing of re-engineered feature models
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Le Traon, Yves

in Proceedings of the 2013 International Conference on Software Engineering (2013)

Full Text
See detailOptimizing verification of structurally evolving algebraic petri nets
Khan, Yasir Imtiaz

in Software Engineering for Resilient Systems Lecture Notes in Computer Science Volume (2013, September 08), 8166

Full Text
See detailSurvey of Petri nets Slicing
Khan, Yasir Imtiaz; Guelfi, Nicolas

Report (2013)

Full Text
See detailRandom Cluster Sampling on X-Machines Test Cases
Khan, Yasir Imtiaz; kausar, sadia

in 11th International Conference on Information Technology : New Generations ITNG 2013 (2013)

Full Text
See detailOptimizing algebraic petri net model checking by slicing
Khan, Yasir Imtiaz; risoldi, matteo

in International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24, 2013. (2013)

Full Text
See detailAchieving Practical Genericity in Model Weaving through Extensibility
Kramer, Max E.; Klein, Jacques; Steel, Jim R. H.; Morin, Brice; Kienzle, Jörg; Barais, Olivier; Jézéquel, Jean-Marc

in Duddy, Keith; Kappel, Gerti (Eds.) Theory and Practice of Model Transformations (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 detailUsage and testability of AOP: An empirical study of AspectJ
Munoz, F.; Baudry, B.; Delamare, R.; Le Traon, Yves

in Information and Software Technology (2013), 55(2), 252-266

Full Text
See detailQuantile-based performance evaluation on CAN
Navet, Nicolas

Scientific Conference (2013, November 12)

Full Text
See detailIn-vehicle communication networks - a historical perspective and review
Navet, Nicolas; Simonot-Lion, Françoise

Report (2013)

Full Text
See detailA Systematic Review of Model-Driven Security
Nguyen, Phu Hong; Klein, Jacques; Kramer, Max; Le Traon, Yves

in The 20th Asia-Pacific Software Engineering Conference Proceedings (2013, December)

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 detailTesting Delegation Policy Enforcement via Mutation Analysis
Nguyen, Phu Hong; Papadakis, Mike; Rubab, Iram

in 7th International Workshop on Mutation Analysis (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)

Full Text
See detailProteum/FL: A tool for localizing faults using mutation analysis.
Papadakis, Mike; Delamaro, Eduardo Márcio; Le Traon, Yves

in International Working Conference on Source Code Analysis and Manipulation (2013)

Full Text
See detailMutation Testing Strategies using Mutant Classification
Papadakis, Mike; Le Traon, Yves

in Abstract book of 28th Symposium On Applied Computing (2013)

Full Text
See detailAdaptive Ontology-Based Web Information Retrieval: The TARGET Framework
Pruski, Cédric; Guelfi, Nicolas; Raynaud, Chantal

in Polgar, Jana; Adamson, Greg (Eds.) Web Portal Design, Implementation, Integration, and Optimization (2013)

Full Text
See detailTowards Test-Driven and Architecture Model-Based Security and Resilience Engineering
Saidane, Ayda; Guelfi, Nicolas

in Singh, Hardeep; Kaur, Kulwant (Eds.) Designing, Engineering, and Analyzing Reliable and Efficient Software (2013)

Full Text
See detailExperimentation of Proactive Computing in Context Aware Systems: Case Study of Human-Computer Interactions in e-Learning Environment
Shirnin, Denis; Reis, Sandro; Zampunieris, Denis

in Cognitive Methods in Situation Awareness and Decision Support (CogSIMA), 2013 IEEE International Multi-Disciplinary Conference on (2013)

Top of Page

2012

Full Text
See detailThe Type System of VCL
Amalio, Nuno

Report (2012)

Full Text
See detailA Formal Semantics of Kermeta
Amrani, Moussa

in Mernik, Marjan (Ed.) Formal and Practical Aspects of Domain-Specific Languages: Recent Developments (2012)

Full Text
See detailA Formal Semantics of Kermeta
Amrani, Moussa

Report (2012)

Full Text
See detailTowards a Model Transformation Intent Catalog
Amrani, Moussa; Dingel, Jürgen; Lambers, Leen; Lúcio, Lévi; Salay, Rick; Selim, Gehan; Syriani, Eugene; Wimmer, Manuel

in Proceedings of the First Workshop on Analysis of Model Transformations (2012)

Full Text
See detailA Tridimensional Approach for Studying the Formal Verification of Model Transformations
Amrani, Moussa; Lucio, Levi; Selim, Gehan M. K.; Combemale, Benoit; Dingel, Juergen; Vangheluwe, Hans; LeTraon, Yves; Cordy, James R.

in Proceedings of the First Workshop on Verification and Validation of Model Transformations (2012)

Full Text
See detailInvariant Preservation in Interative Modelling (Extended Version)
Amrani, Moussa; Lúcio, Lévi; Syriani, Eugene; Zhang, Qin; Vangheluwe, Hans

Report (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 detailIn-Vivo Bytecode Instrumentation for Improving Privacy on Android Smartphones in Uncertain Environments
Bartel, Alexandre; Klein, Jacques; Monperrus, Martin; Allix, Kevin; Le Traon, Yves

E-print/Working paper (2012)

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 IEEE/ACM International Conference on Automated Software Engineering (2012)

Full Text
See detailDexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot
Bartel, Alexandre; Klein, Jacques; Monperrus, Martin; Le Traon, Yves

in ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012) (2012)

Full Text
See detailIntroducing Conviviality as a property of Multi-Context Systems
Bikakis, Antonis; Efthymiou, Vasileios; Caire, Patrice; Le Traon, Yves

in The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-12 (2012, August 27)

Full Text
See detailFormalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Dhaussy, Philippe; Boniol, Frédéric; Roger, Jean-Charles; Raji, Amine; Le Traon, Yves; Baudry, Beno It

in TSI. Technique et science informatiques (2012), 31(6), 797--825

Full Text
See detailProactive Dynamic Community of Practice
Dobrican, Remus-Alexandru

Bachelor/master dissertation (2012)

Full Text
See detailAccess Control Enforcement Testing
El Kateb, Donia; Elrakaiby, Yehia; Mouelhi, Tejeddine; Le Traon, Yves

in 8th International Workshop on Automation of Software Test (AST), 2013 (2012, May)

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 detailTesting Obligation Policy Enforcement using Mutation Analysis
El Rakaiby, Yehia; Mouelhi, Tejeddine; Le Traon, Yves

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)

Full Text
See detailRefactoring Access Control Policies for Performance Improvement
Elkateb, Donia; Mouelhi, Tejeddine; Le Traon, Yves; Hwang, Jeehyun; Xie, Tao

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

Full Text
See detailTesting obligation policy enforcement using mutation analysis
Elrakaiby, Yehia; Mouelhi, Tejeddine; Le Traon, Yves

in Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012 (2012)

Full Text
See detailReusing Transaction Models for Dependable Cloud Computing
Gallina, Barbara; Guelfi, Nicolas

in Yang, Hongji; Liu, Xiaodong (Eds.) Software Reuse in the Emerging Cloud Computing Era (2012)

Full Text
See detailBypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Heymans, Patrick; Le Traon, Yves

Report (2012)

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 detailLanguage Enrichment for Resilient MDE
Khan, Yasir Imtiaz; risoldi, matteo

in Software Engineering for Resilient Systems Lecture Notes in Computer Science (2012, September 27), 7527

Full Text
See detailOn the Formalisation of GeKo: a Generic Aspect Models Weaver
Klein, Jacques; Kramer, Max E.; Steel, Jim R. H.; Morin, Brice; Kienzle, Jörg; Barais, Olivier; Jézéquel, Jean-Marc

in On the Formalisation of GeKo: a Generic Aspect Models Weaver (Tech Report) (2012)

Full Text
See detailBuilding specifications as a domain-specific aspect language
Kramer, Max E.; Klein, Jacques; Steel, Jim R. H.

in DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages (2012)

Full Text
See detailREACT: an Architectural Framework for the Development of a Software Product Line for Dependable Crisis Management Systems
Ledyayev, Roman; Ries, Benoît; Gorbenko, Anatoliy

in Radioelectronic and Computer Systems (2012), 59(7), 284-288

Full Text
See detailModelling a cardiac pacemaker visually and formally
Leemans, Jerome; Amalio, Nuno

in VLHCC 2012 (2012)

Full Text
See detailInvariant Preservation In Iterative Modeling
Lucio, Levi; Syriani, Eugene; Amrani, Moussa; Zhang, Qin; Vangheluwe, Hans

in Workshop on Models And Evolution, co-located with MoDELS 2012 (2012)

Full Text
See detailPersonalized, Adaptive and Intelligent Support for Online Assignments Based on Proactive Computing
Marques Dias, Sergio; Reis, Sandro; Zampunieris, Denis

in Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, Rome, Italy 4-6 July, 2012 (2012)

Full Text
See detailProactive Computing Based Implementation of Personalized and Adaptive Technology Enhanced Learning over Moodle(TM)
Marques Dias, Sergio; Reis, Sandro; Zampunieris, Denis

in Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, Rome, Italy 4-6 July, 2012 (2012)

Full Text
See detailPeer-to-Peer Load Testing
Meira, Jorge Augusto; Almeida, Eduardo Cunha; Le Traon, Yves; Sunye, Gerson

in Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on (2012)

Full Text
See detailEvolving Software - Introduction to the Special Theme
Mens, Tom; Klein, Jacques

in ERCIM News (2012), 88

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

See detailComparing Six Modeling Approaches
Mussbacher, Gunter; Al Abed, Wisam; Alam, Omar; Ali, Shaukat; Beugnard, Antoine; Bonnet, Valentin; Bræk, Rolv; Capozucca, Alfredo; Cheng, Betty; Fatima, Urooj; France, Robert; Georg, Geri; Guelfi, Nicolas; Istoan, Paul; Jézéquel, Jean-Marc; Kienzle, Jörg; Klein, Jacques; Lézoray, Jean-Baptiste; Malakuti, Somayeh; Moreira, Ana; Phung-Khac, An; Troup, Lucy

in Kienzle, Joerg (Ed.) Models in Software Engineering (2012)

Full Text
See detailAssessing Composition in Modeling Approaches
Mussbacher, Gunter; Amalio, Nuno

in Proceedings of the CMA 2012 Workshop (2012, December)

Full Text
See detailUsing Mutants to Locate "Unknown" Faults
Papadakis, Mike; Le Traon, Yves

in ICST 2012 (2012)

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 detailPairwise testing for software product lines: Comparison of two approaches
Perrouin, Gilles; Oster, Sebastian; Sen, Sagar; Klein, Jacques; Baudry, Benoit; Le Traon, Yves

in Software Quality Journal (2012), 20(3), 605-643

Full Text
See detailSETER: Towards Architecture-Model Based Security Engineering
Saïdane, Ayda; Guelfi, Nicolas

in International Journal of Secure Software Engineering (2012), 3(3), 23-49

Full Text
See detailDesign of Proactive Scenarios and Rules for Enhanced e-Learning
Shirnin, Denis; Reis, Sandro; Zampunieris, Denis

in Proceedings of the 4th International Conference on Computer Supported Education, Porto, Portugal 16-18 April, 2012 (2012)

Full Text
See detailVisual Modelling of and on Tangible User Interfaces
Tobias, Eric; Kelsen, Pierre

Report (2012)

Full Text
See detailSuitability of visual modelling languages for modelling tangible user interface applications
Tobias, Eric; Ras, Eric; Amalio, Nuno

in Visual Languages and Human-Centric Computing (VL/HCC) (2012)

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 detailAspect-Oriented Model Development at Different Levels of Abstraction
Alferez, Mauricio; Amalio, Nuno; Ciraci, Selim; Fleurey, Franck; Kienzle, Jorg; Klein, Jacques; Kramer, Max; Mosser, Sebastien; Mussbacher, Gunter; Roubtsova, Ella; Zhang, Gefei

in Modelling Foundations and Applications - 7th European Conference, ECMFA 2011 (2011)

Full Text
See detailBuilding VCL Models and Automatically Generating Z Specifications from Them
Amalio, Nuno; Glodt, Christian; Kelsen, Pierre

in Formal Methods - 17th International Symposium on Formal Methods (2011)

Full Text
See detailAutomated Generation of Platform-Variant Applications from Platform-Independent Models via Templates
Amalio, Nuno; Glodt, Christian; Pinto, Frederico; Kelsen, Pierre

in Electronic Notes in Theoretical Computer Science (2011), 279(3), 3-25

Full Text
See detailModel Driven Mutation Applied to Adaptative Systems Testing
Bartel, Alexandre; Baudry, Benoit; Munoz, Freddy; Klein, Jacques; Mouelhi, Tejeddine; Le Traon, Yves

in Mutation 2011 (@ICST) (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)

Full Text
See detailOO-SPL modelling of the focused case study
Capozucca, Alfredo; Cheng, Betty; Guelfi, Nicolas; Istoan, Paul

in Comparing Modeling Approaches (CMA) International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (CMA@MODELS2011) (2011)

Full Text
See detailCoReL: Policy-Based and Model-Driven Regulatory Compliance Management
El Kharbili, Marwane; Ma, Qin; Kelsen, Pierre; Pulvermueller, Elke

in Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference (2011)

Full Text
See detailEnterprise Regulatory Compliance Modeling using CoReL: An illustrative Example
El Kharbili, Marwane; Ma, Qin; Kelsen, Pierre; Pulvermueller, Elke

in The 13th IEEE Conference on Commerce and Enterprise Computing, CEC 2011 (2011)

See detailReusing Transaction Models for Dependable Cloud Computing
Gallina, Barbara; Guelfi, Nicolas

in Xiaodong, Yang Hongji (Ed.) Software Reuse in the Emerging Cloud Computing Era (2011)

Full Text
See detailIssues in model-driven behavioural product derivation
Istoan, Paul; Biri, Nicolas; Klein, Jacques

in Fifth International Workshop on Variability Modelling of Software-intensive Systems (Vamos 2011) (2011)

Full Text
See detailA Metamodel-based Classification of Variability Modeling Approaches
Istoan, Paul; Klein, Jacques; Perrouin, Gilles; Jezequel, Jean-Marc

in VARY, International Workshop affiliated with ACM/IEEE 14th International Conference on Driven Engineering Languages and Systems (2011)

Full Text
See detailModels within Models: Taming Model Complexity Using the Sub-model Lattice
Kelsen, Pierre; Ma, Qin; Glodt, Christian

in 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011) (2011)

Top of Page

2010

Full Text
See detailModular Design by Contract Visually and Formally using VCL
Amalio, Nuno; Kelsen, Pierre

in Visual Languages and Human-Centric Computing (VL/HCC) (2010)

Full Text
See detailVisual behavioral modelling with contracts
Amalio, Nuno; Kelsen, Pierre

Scientific Conference (2010)

Full Text
See detailSpecifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL
Amalio, Nuno; Kelsen, Pierre; Ma, Qin

in 15th International Conference, EMMSAD 2010 (2010)

Full Text
See detailUsing VCL as an Aspect-Oriented Approach to Requirements Modelling
Amalio, Nuno; Kelsen, Pierre; Ma, Qin; Glodt, Christian

in Transactions on Aspect-Oriented Software Development (2010), 7

Full Text
See detailModelling Dependable Collaborative Time-constrained Business Process
Capozucca, Alfredo; Guelfi, Nicolas

in Enterprise Information Systems (2010), 4(2), 153-214

Full Text
See detailAspect-Oriented Design with Reusable Aspect Models
Joerg, Kienzle; Wisam, Al Abedl; Fleurey, Franck; Jézéquel, Jean-Marc; Klein, Jacques

in Transactions on Aspect-Oriented Software Development (2010)

Full Text
See detailA Modular Model Composition Technique
Kelsen, Pierre; Ma, Qin

in 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010) (2010)

Full Text
See detailFlexible model element introduction policies for aspect-oriented modeling
Morin, Brice; Klein, Jacques; Kienzle, Jörg; Jézéquel, Jean-Marc

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

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

2009

Full Text
See detailAnalysing Security requirements formally and flexibly based on suspicion
Amalio, Nuno

in International Journal on Advances in Security (2009), 2(4), 344-357

Full Text
See detailDesigning Reliable Real-Time Concurrent Object-Oriented Software Systems
Capozucca, Alfredo; Guelfi, Nicolas

in Proceedings of the 24th ACM Symposium on Applied Computing (Track on Real-Time Systems) SAC'09 (2009)

Full Text
See detailFrameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study
Capozucca, Alfredo; Guelfi, Nicolas; Pelliccione, Patrizio; Romanovsky, Alexander; Zorzo, Avelino Francisco

in Journal of Systems and Software (2009), 82(2), 207-228

Full Text
See detailTowards an Alloy Formal Model for Flexible Advanced Transactional Model Development
Gallina, Barbara; Guelfi, Nicolas; Kelsen, Pierre

in Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33) (2009)

Full Text
See detailFrom Platform-Independent to Platform-Specific Models using Democles
Glodt, Christian; Kelsen, Pierre; Amalio, Nuno; Ma, Qin

in International Conference on Object-Oriented Programming, Systems, Languages, and Applications (2009)

Full Text
See detailDomain Hierarchies: a Basic Theoretical Framework for Integrating Software Domains
Kelsen, Pierre; Ma, Qin

in 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

Full Text
See detailAspect-Oriented Multi-View Modeling
Kienzle, Joerg; Al Abed, Wisam; Klein, Jacques

in Abstract book of 8th International Conference on Aspect Oriented Software Development (AOSD.09) (2009)

Full Text
See detailAspect model unweaving
Klein, Jacques; Kienzle, J.; Morin, B.; Jézéquel, J.-M.

in Abstract book of 12th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, (2009), 5795 LNCS

Top of Page

2008

See detailAnalysis and framework-based design of a fault-tolerant web information system for m-health
Balbastro, Florencia; Capozucca, Alfredo; Guelfi, Nicolas

in Service Oriented Computing and Applications (2008), 2(2-3), 111-144

Full Text
See detailComposing Multi-View Aspect Models
Barais, Olivier; Klein, Jacques; Baudry, Benoit; Jackson, Andrew; Clarke, Siobhan

in Abstract book of 7th IEEE International Conference on Composition Based Software Systems (2008)

Full Text
See detailSelection, Evaluation and Generation of Test Cases in an Industrial Setting: a Process and a Tool
Guelfi, Nicolas; Ries, Benoît

in Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference (2008)

Full Text
See detailA Lightweight Approach for Defining the Formal Semantics of a Modeling Language
Kelsen, Pierre; Ma, Qin

in ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008) (2008)

Full Text
See detailA Generic Weaver for supporting Product Lines
Morin, Brice; Klein, Jacques; Barais, Olivier; Jezequel, Jean-Marc

in Early Aspects Workshop at E (2008)

Full Text
See detailReconciling Automation and Flexibility in Product Derivation
Perrouin, Gilles; Klein, Jacques; Guelfi, Nicolas; Jezequel, Jean Marc

in Abstract book of 12th International Software Product Line Conference (SPLC2008) (2008)

Top of Page

2007

See detailOn the Integration of Mobility in a Fault-Tolerant e-HealthWeb Information System
Balbastro, Florencia; Capozucca, Alfredo; Guelfi, Nicolas

in Advanced Information Networking and Applications Workshops, 2007, AINAW '07. 21st International Conference on (Volume:2 ) (2007)

Full Text
See detailReusable Aspect Models
Klein, Jacques; Kienzle, Jörg

in Abstract book of 11th Workshop on Aspect Oriented Modeling, AOM at Models’07 (2007)

Top of Page

2006

See detailCORRECT Developing Fault-Tolerant Distributed Systems
Capozucca, Alfredo; Gallina, Barbara; Guelfi, Nicolas; Pelliccione, Patrizio; Romanovsky, Alexander

in ERCIM News 64 (2006)

See detailThe Fault-Tolerant Insulin Pump Therapy
Capozucca, Alfredo; Guelfi, Nicolas; Pelliccione, Patrizio

in Michael, Butler; Cliff, Jones; Alexander, Romanovsky; Elena, Troubitsyna (Eds.) Rigorous Development of Complex Fault-Tolerant Systems, 4157 (2006)

See detailCAA-DRIP: a framework for implementing Coordinated Atomic Actions
Capozucca, Alfredo; Guelfi, Nicolas; Pelliccione, Patrizio; Romanovsky, Alexander; Zorzo, Avelino

in The 17th International Symposium on Software Reliability (2006)

Top of Page

2005

See detailModeling Exception Handling: a UML2.0 Platform Independent Profile for CAA
Capozucca, Alfredo; Gallina, Barbara; Guelfi, Nicolas; Pelliccione, Patrizio

in Proceedings of ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems (2005, July)

See detailThe Fault-Tolerant Insulin Pump Therapy
Capozucca, Alfredo; Guelfi, Nicolas; Pelliccione, Patrizio

in Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (2005, July)

Full Text
See detailSCTL: A StateChart Transformation Language for Test Sets Reduction
Guelfi, Nicolas; Ries, Benoît

in ERCIM Workshop on Dependable Software Intensive Embedded Systems, workshop of the 31st EUROMICRO Conference on Software Engineering and Advanced Appli (2005)

Top of Page

2004

Full Text
See detailEngineering of Dependable Complex Business Processes using UML and Coordinated Atomic Actions
Guelfi, Nicolas; Le Cousin, Guillaume; Ries, Benoît

in International Workshop on Modeling Inter-Organizational Systems (MIOS'04) (2004)

Full Text
See detailA Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain
Guelfi, Nicolas; Mammar, Amel; Ries, Benoît

in International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04 (2004)

Full Text
See detailA Study of Mobile Internet Technologies for Secure e-commerce Applications Development
Guelfi, Nicolas; Pruski, Cédric; Ries, Benoît

in Techniques and Applications for Mobile Commerce (TAMOCO) part of Multi-Konferenz Wirtschaftsinformatik 2004 (2004)

Top of Page

2003

Full Text
See detailMEDAL: A CASE Tool Extension for Model-driven Software Engineering
Guelfi, Nicolas; Ries, Benoît; Sterges, Paul

in SwSTE'03 IEEE International Conference on Software - Science, Technology & Engineering (2003)

Top of Page

2002

Full Text
See detailUsing and Specializing a Pattern-Based E-business Framework: An Auction Case Study
Guelfi, Nicolas; Ries, Benoît

in The 6th Annual IASTED International Conference on Software Engineering and Applications (2002)

Top of Page

Undated

Full Text
See detailLinked Vocabulary Recommendation Tools for Internet of Things: A Survey
Kolbe, Niklas; Kubler, Sylvain; Robert, Jérémy; Le Traon, Yves; Zaslavsky, Arkady

in ACM Computing Surveys (n.d.)

Top of Page