LASSY Publications List
Publications for Lassy
In press
e3-service: an ontology for needs-driven real-world service bundling in a multi-supplier setting; ; ; ; ;
in Applied Ontology (in press)
2022
On the Suitability of SHAP Explanations for Refining Classifications; ; ; ; ; ; ; ;
in In Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022) (2022, February)
Signal-Oriented ECUs in a Centralized Service-Oriented Architecture: Scalability of the Layered Software Architecture; ; ;
Scientific Conference (2022, June 01)
Special Issue on New Paradigms of Software Production and Deployment; ; ;
in SN Computer Science (2022), 3(132),
A Deep Dive inside DREBIN: An Explorative Analysis beyond Android Malware Detection Scores; ; ;
in ACM Transactions on Privacy and Security (2022), 25(2),
Towards Generalizable Machine Learning for Chest X-ray Diagnosis with Multi-task learning; ; ; ; ; ;
E-print/Working paper (2022)
An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement; ; ; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2022)
Approximating WCRT through the aggregation of short simulations with different initial conditions: application to TSN;
in 30th International Conference on Real-Time Networks and Systems (RTNS ’22) (2022, June)
TriggerZoo: A Dataset of Android Applications Automatically Infected with Logic Bombs; ;
in 19th International Conference on Mining Software Repositories, Data Showcase, (MSR 2022) (2022, May 23)
JuCify: A Step Towards Android Code Unification for Enhanced Static Analysis; ; ; ; ; ; ; ;
in 44th International Conference on Software Engineering (ICSE 2022) (2022, May 21)
Difuzer: Uncovering Suspicious Hidden Sensitive Operations in Android Apps; ; ;
in 44th International Conference on Software Engineering (ICSE 2022) (2022, May 21)
2021
A Comparison of Pre-Trained Language Models for Multi-Class Text Classification in the Financial Domain; ; ; ; ; ;
in Companion Proceedings of the Web Conference 2021 (WWW '21 Companion), April 19--23, 2021, Ljubljana, Slovenia (2021, April 19)
CONFUZZION: A Java Virtual Machine Fuzzer for Type Confusion Vulnerabilities; ; ; ;
in IEEE International Conference on Software Quality, Reliability, and Security (QRS), 2021 (2021)
Lessons Learnt on Reproducibility in Machine Learning Based Android Malware Detection; ; ;
in Empirical Software Engineering (2021), 26
DexRay: A Simple, yet Effective Deep Learning Approach to Android Malware Detection Based on Image Representation of Bytecode; ; ; ; ;
in Communications in Computer and Information Science (2021)
Towards AI Assisted Domain Modeling; ; ;
in Advances in Conceptual Modeling - ER 2021 Workshops CoMoNoS, EmpER CMLS, St. John's, NL, Canada, October 18-21, 2021, Proceedings (2021)
Adversarial Robustness in Multi-Task Learning: Promises and Illusions; ; ;
E-print/Working paper (2021)
Evasion Attack STeganography: Turning Vulnerability Of Machine Learning ToAdversarial Attacks Into A Real-world Application; ; ;
in Proceedings of International Conference on Computer Vision 2021 (2021)
Requirements And Threat Models of Adversarial Attacks and Robustness of Chest X-ray classification; ; ;
E-print/Working paper (2021)
Efficient and Transferable Adversarial Examples from Bayesian Neural Networks; ; ;
E-print/Working paper (2021)
A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests; ; ; ;
in 18th International Conference on Mining Software Repositories (2021, May)
Towards Exploring the Limitations of Active Learning: An Empirical Study; ; ; ; ; ;
in The 36th IEEE/ACM International Conference on Automated Software Engineering. (2021)
What You See is What it Means! Semantic Representation Learning of Code based on Visualization; ; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2021)
A Journey Through Android App Analysis: Solutions and Open Challengesin International Symposium on Advanced Security on Software and Systems (2021, June)
ANCHOR: locating android framework-specific crashing faults; ; ; ; ; ;
in Automated Software Engineering (2021)
A critical review on the evaluation of automated program repair systems; ; ; ; ; ;
in Journal of Systems and Software (2021)
Comparing MultiLingual and Multiple MonoLingual Models for Intent Classification and Slot Filling; ; ; ; ;
in 26th International Conference on Applications of Natural Language to Information Systems (2021, June 25)
Test Selection for Deep Learning Systems; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2021), 30(2), 131--1322
Deep Learning to Predict the Feasibility of Priority-Based Ethernet Network Configurations;
in ACM Transactions on Cyber-Physical Systems (2021), 5(4), 126
Improvements to Deep-Learning-based Feasibility Prediction of Switched Ethernet Network Configurations;
in The 29th International Conference on Real-Time Networks and Systems (RTNS2021) (2021, April 07)
Do We Really Need TSN in Next-Generation Helicopters? Insights From a Case-Study; ; ;
in 2021 AIAA/IEEE 40th Digital Avionics Systems Conference (DASC) (2021, October)
Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies; ; ; ; ;
E-print/Working paper (2021)
An MDE Method for Improving Deep Learning Dataset Requirements Engineering using Alloy and UML; ;
in Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development (2021, February)
Revisiting the VCCFinder approach for the identification of vulnerability-contributing commits; ; ; ; ;
in Empirical Software Engineering (2021), 26
A First Look at Android Applications in Google Play related to Covid-19; ; ;
in Empirical Software Engineering (2021)
RAICC: Revealing Atypical Inter-Component Communication in Android Apps; ; ;
in 43rd International Conference on Software Engineering (ICSE) (2021, May)
Android Malware Detection: Looking beyond Dalvik Bytecode; ; ;
in 2021 36th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) (2021, November 15)
Taming Reflection: An Essential Step Toward Whole-program Analysis of Android Apps; ; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2021), 30(3), 1-36
Killing Stubborn Mutants with Symbolic Execution; ; ;
in ACM Transactions on Software Engineering and Methodology (2021), 30(2), 191--1923
Where were the repair ingredients for Defects4j bugs?; ; ; ; ; ; ; ; ;
in Empirical Software Engineering (2021), 26(6), 1--33
Revisiting Test Cases to Boost Generate-and-Validate Program Repair; ; ; ; ; ;
in IEEE International Conference on Software Maintenance and Evolution (ICSME) (2021, September)
On the Impact of Sample Duplication in Machine Learning based Android Malware Detection; ; ; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2021), 30(3), 1-38
SmartGift: Learning to Generate Practical Inputs for Testing Smart Contracts; ; ; ; ;
in IEEE International Conference on Software Maintenance and Evolution (ICSME) (2021, September)
2020
Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach; ; ;
in Communications in Computer and Information Science (2020, February 15)
Teaching DevOps in Academia and Industry: Reflections and Vision; ; ; ;
in Bruel, Jean-Michel; Mazzara, Manuel; Meyer, Bertrand (Eds.) Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment (2020, January 19)
DevOps and Its Philosophy: Education Matters!; ; ; ; ; ;
in Mazzara, Manuel; Rivera, Victor; Sadovykh, Andrey; Dragoni, Nicola; Dustdar, Schahram; Lago, Patricia (Eds.) Microservices: Science and Engineering (2020)
Analysing the SWECOM Standard for Designing a DevOps Education Programme;
in Frontiers in Software Engineering Education. FISEE 2019. Lecture Notes in Computer Science (2020), 12271
Towards Computer-Aided, Iterative TSN-and Ethernet-based E/E Architecture Design; ; ;
Scientific Conference (2020, September 16)
Understanding the Evolution of Android App Vulnerabilities; ; ;
in IEEE Transactions on Reliability (2020)
Borrowing your enemy's arrows: the case of code reuse in android via direct inter-app code invocation; ; ; ;
in ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (2020, November)
Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach; ; ; ; ;
E-print/Working paper (2020)
Search-based adversarial testing and improvement of constrained credit scoring systems; ; ; ; ; ;
in ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20), November 8-13, 2020 (2020)
Adversarial Embedding: A robust and elusive Steganography and Watermarking technique; ; ;
Scientific Conference (2020)
FeatureNET: Diversity-driven Generation of Deep Learning Models; ; ;
in International Conference on Software Engineering (ICSE) (2020)
Data-driven simulation and optimization for covid-19 exit strategies; ; ; ; ; ; ;
in Ghamizi, Salah; Rwemalika, Renaud; Cordy, Maxime; Veiber, Lisa; Bissyande, Tegawendé François D Assise; Papadakis, Mike; Klein, Jacques; Le Traon, Yves (Eds.) Data-driven simulation and optimization for covid-19 exit strategies (2020, August)
Automated Fault Tolerance Augmentation in Model-Driven Engineering for CPS; ; ;
in Computer Standards and Interfaces (2020), 70
Specifying key-properties to improve the recognition skills of neural networks; ;
in Proceedings of the 2020 European Symposium on Software Engineering (2020, November 06)
A Lightweight Modeling Approach Based on Functional Decomposition; ;
in Journal of Object Technology (2020), 19(2), 151-22
LOVBench: Ontology Ranking Benchmark; ; ;
in Proceedings of The Web Conference 2020 (WWW '20) (2020, April)
FixMiner: Mining relevant fix patterns for automated program repair; ; ; ; ; ;
in Empirical Software Engineering (2020)
CDA: Characterising Deprecated Android APIs; ; ; ; ;
in Empirical Software Engineering (2020), 24(118), 1-41
On the Efficiency of Test Suite based Program Repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs; ; ; ; ; ; ; ; ;
in 42nd ACM/IEEE International Conference on Software Engineering (ICSE) (2020, May)
MadDroid: Characterizing and Detecting Devious Ad Contents for Android Apps; ; ; ; ; ; ; ;
in Proceedings of The Web Conference 2020 (2020, April)
Evaluating Pretrained Transformer-based Models on the Task of Fine-Grained Named Entity Recognition; ; ; ;
in Proceedings of the 28th International Conference on Computational Linguistics (2020, December)
Load approximation for uncertain topologies in the low-voltage grid; ;
in INTERNATIONAL CONFERENCE ON SMART GRID COMMUNICATIONS, 11-13 November 2020 (2020, November)
Early-stage Bottleneck Identification and Removal in TSN Networks; ;
Scientific Conference (2020, February 12)
A Case Driven Study of the Use of Time Series Classification for Flexibility in Industry 4.0; ;
in Sensors (2020), 20(24),
Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair; ; ; ; ; ;
in Tian, Haoye (Ed.) 35th IEEE/ACM International Conference on Automated Software Engineering, September 21-25, 2020, Melbourne, Australia (2020)
Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework; ;
in ACM/IEEE International Conference on Automation of Software Test (AST) 2020 (2020)
Challenges Towards Production-Ready Explainable Machine Learning; ; ; ;
in Veiber, Lisa; Allix, Kevin; Arslan, Yusuf; Bissyande, Tegawendé François D Assise; Klein, Jacques (Eds.) Proceedings of the 2020 USENIX Conference on Operational Machine Learning (OpML 20) (2020, July)
2019
An experimental scrutiny of visual design modelling: VCL up against UML+OCL; ;
in Empirical Software Engineering (2019)
Désérialisation Java : Une brève introduction au ROP de haut niveau; ;
Article for general public (2019)
MUSTI: Dynamic Prevention of Invalid Object Initialization Attacks; ;
in IEEE Transactions on Information Forensics and Security (2019)
TRIDENT: A Three-Steps Strategy to Digitise an Industrial System for Stepping into Industry 4.0; ;
in Proceedings of 45th Annual Conference of the IEEE Industrial Electronics Society (2019)
Event Notification in CAN-based Sensor Networks; ; ; ; ;
in IEEE Transactions on Industrial Informatics (2019), 15(10), 5613-5625
Analysing the SWECOM and DDaT standards for designing a DevOps course content;
Presentation (2019, November)
Design of a (yet another?) DevOps course; ;
in Bruel, Jean-Michel; Mazzara, Manuel; Meyer, Bertrand (Eds.) Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment (2019, January 19)
Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems; ; ;
in ACM SIGSOFT International Symposium on Software Testing and Analysis (2019)
F-Alloy: a relational model transformation language based on Alloy;
in Software & Systems Modeling (2019), 18(1), 213-247
Negative Results on Mining Crypto-API Usage Rules in Android Apps; ; ; ;
in Proceedings of the 16th International Conference on Mining Software Repositories (2019)
On the Evolution of Mobile App Complexity; ; ;
in Proceedings of 2019 24th International Conference on Engineering of Complex Computer Systems (2019)
Should You Consider Adware as Malware in Your Study?; ; ; ;
in 26th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering (2019, February 24)
Automated Search for Configurations of Deep Neural Network Architectures; ; ;
in Automated Search for Configurations of Convolutional Neural Network Architectures (2019)
Software Engineering for Dataset Augmentation using Generative Adversarial Networks; ;
in Proceedings of 10th IEEE International Conference on Software Engineering and Service Science (2019, October 19)
An Empirical Study on Vulnerability Prediction of Open-Source Software Releases; ; ; ; ;
in Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (2019)
The Importance of Accounting for Real-World Labelling When Predicting Software Vulnerabilities; ; ; ; ;
in Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (2019)
Popularity-driven Ontology Ranking using Qualitative Features; ;
in The Semantic Web - ISWC 2019 (2019)
Linked Vocabulary Recommendation Tools for Internet of Things: A Survey; ; ; ;
in ACM Computing Surveys (2019)
Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems; ; ; ;
Scientific Conference (2019, July 15)
iFixR: bug report driven program repair; ; ; ; ; ;
in ESEC/FSE 2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (2019, August)
Assessing Transition-based Test Selection Algorithms at Google; ; ; ;
in International Conference on Software Engineering (ICSE) (2019)
Watch out for This Commit! A Study of Influential Software Changes; ; ; ; ;
in Journal of Software: Evolution and Process (2019)
Rebooting Research on Detecting Repackaged Android Apps: Literature Review and Benchmark; ;
in IEEE Transactions on Software Engineering (2019)
On Identifying and Explaining Similarities in Android Apps; ; ;
in Journal of Computer Science and Technology (2019), 34(2), 437-455
Revisiting the impact of common libraries for android-related investigations; ; ; ; ;
in Journal of Systems and Software (2019), 154
Learning to Spot and Refactor Inconsistent Method Names; ; ; ; ; ; ;
in 41st ACM/IEEE International Conference on Software Engineering (ICSE) (2019, May)
You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair Systems; ; ; ; ;
in The 12th IEEE International Conference on Software Testing, Verification and Validation (ICST-2019) (2019, April 24)
A Hybrid Machine Learning and Schedulability Method for the Verification of TSN Networks; ;
in 15th IEEE International Workshop on Factory Communication Systems (WFCS2019) (2019, March)
On the use of supervised machine learning for assessing schedulability: application to Ethernet TSN; ;
in 27th International Conference on Real-Time Networks and Systems (RTNS 2019) (2019)
Early-stage topological and technological choices for TSN-based communication architectures; ;
Scientific Conference (2019, September 24)
Handling duplicates in Dockerfiles families: Learning from experts; ; ; ;
in 35th IEEE International Conference on Software Maintenance and Evolution (ICSME) (2019, October)
Semantic Fuzzing with Zest; ; ; ;
in ACM SIGSOFT International Symposium on Software Testing and Analysis (2019)
Assessing the impact of attacks on OPC-UA applications in the Industry 4.0 era; ;
in 16th IEEE Annual Consumer Communications & Networking Conference (CCNC), Las Vegas, 11-14 January 2019 (2019, January 11)
An industrial study on the differences between pre-release and post-release bugs; ; ; ;
in Proceedings of 35th IEEE International Conference on Software Maintenance and Evolution (2019, September 30)
On the Evolution of Keyword-Driven Test Suites; ; ; ;
in 12th IEEE International Conference on Software Testing, Verification and Validation (2019)
A Replicable Comparison Study of NER Software: StanfordNLP, NLTK, OpenNLP, SpaCy, Gate; ; ; ;
in International Conference on Social Networks Analysis, Management and Security (2019)
Methodological Aspects of Software Engineering, Assurance, Quality, and Reliability Engineering (MAS/AQR) 2019 Welcome from the Minitrack Co-Chairs;
in Proceedings of the 52nd Hawaii International Conference on System Sciences (HICSS) (2019, January)
Mart: A Mutant Generation Tool for LLVM; ;
in Titcheu Chekam, Thierry; Papadakis, Mike; Le Traon, Yves (Eds.) Mart: A Mutant Generation Tool for LLVM (2019)
2018
Cloud Providers Viability: How to Address it from an IT and Legal Perspective?; ; ;
in Electron Markets (2018), 28(1), 53-75
O-MI/O-DF vs. MQTT: a performance analysis; ; ;
in O-MI/O-DF vs. MQTT: a performance analysis (2018, June 21)
Towards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems; ;
in Science of Computer Programming (2018), 156
FraudDroid: Automated Ad Fraud Detection for Android Apps; ; ; ; ; ; ;
in ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018) (2018, November)
Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks; ; ;
in Proc. Embedded Real-Time Software and Systems (ERTS 2018) (2018, February 02)
On the impact of tokenizer and parameters on N-gram based Code Analysis; ; ;
Scientific Conference (2018, September)
TUNA: TUning Naturalness-based Analysis; ; ;
in 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, 26-28 September 2018 (2018, September 26)
Enabling the Continous Analysis of Security Vulnerabilities with VulData7; ;
in IEEE International Working Conference on Source Code Analysis and Manipulation (2018)
Are mutants really natural? A study on how “naturalness” helps mutant selection; ; ; ; ; ;
in Proceedings of 12th International Symposium on Empirical Software Engineering and Measurement (ESEM'18) (2018, October 11)
FaCoY - A Code-to-Code Search Engine; ; ; ; ; ;
in International Conference on Software Engineering (ICSE 2018) (2018, May 27)
How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults; ; ; ; ;
in Empirical Software Engineering (2018)
Automated Testing of Android Apps: A Systematic Literature Review; ; ; ; ;
in IEEE Transactions on Reliability (2018)
Measuring inconsistency and deriving priorities from fuzzy pairwise comparison matrices using the knowledge-based consistency index; ; ; ; ;
in Knowledge-Based Systems (2018)
Comparison of metadata quality in open data portals using the Analytic Hierarchy Process; ; ; ;
in Government Information Quarterly (2018)
Extracting Statistical Graph Features for Accurate and Efficient Time Series Classification; ; ; ;
in 21st International Conference on Extending Database Technology (2018, March)
MoonlightBox: Mining Android API Histories for Uncovering Release-time Inconsistencies; ;
in 29th IEEE International Symposium on Software Reliability Engineering (ISSRE) (2018, October)
CiD: Automating the Detection of API-related Compatibility Issues in Android Apps; ; ;
in International Symposium on Software Testing and Analysis (ISSTA) (2018, July)
Characterising Deprecated Android APIs; ; ; ; ;
in 15th International Conference on Mining Software Repositories (MSR 2018) (2018, May)
Mining Fix Patterns for FindBugs Violations; ; ; ;
in IEEE Transactions on Software Engineering (2018)
A Closer Look at Real-World Patches; ; ; ; ;
in 34th IEEE International Conference on Software Maintenance and Evolution (ICSME) (2018, September)
Decomposing Models through Dependency Graphs;
in 12th International Symposium on Theoretical Aspects of Software Engineering (2018)
Towards Estimating and Predicting User Perception on Software Product Variants; ; ; ; ; ; ; ;
in 17th International Conference on Software Reuse (ICSR) (2018, May)
Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants; ; ; ; ;
in Information and Software Technology (2018)
Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks; ; ;
in Proc. Embedded Real-Time Software and Systems (ERTS 2018) (2018, February 02)
A journey into time-triggered communication protocols with a focus on Ethernet TSNPresentation (2018, June 11)
Insights into the performance and configuration of TCP in Automotive Ethernet Networks;
Scientific Conference (2018, October 10)
Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism; ; ;
in SAE International Journal of Passenger Cars - Electronic and Electrical Systems (2018), 11(3), 197-204
Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism; ; ;
in Proc. WCX World Congress Experience (2018, April)
Mutant Quality Indicators; ;
in 13th International Workshop on Mutation Analysis (MUTATION'18) (2018)
Messir: A Text-First DSL-Based Approach for UML Requirements Engineering (Tool Demo); ;
in Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering SLE'18 (2018)
Can we automate away the main challenges of end-to-end testing?; ; ;
Scientific Conference (2018, December 11)
Augmenting and Structuring User Queries to Support Efficient Free-Form Code Search; ; ; ; ;
in Empirical Software Engineering (2018), 90
A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints; ; ;
in Sensors (2018), 18(2), 628
Predicting the Fault Revelation Utility of Mutants; ; ;
in 40th International Conference on Software Engineering, Gothenburg, Sweden, May 27 - 3 June 2018 (2018)
2017
Raising Time Awareness in Model-Driven Engineering; ; ; ; ; ;
in 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (2017, September)
Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study; ;
in 25th International Conference on Real-Time Networks and Systems, Grenoble 4-6 October 2017 (2017, October)
Model-based design languages: A case study; ;
in 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS) (2017)
Agile Validation of Model Transformations using Compound F-Alloy Specifications; ;
in Science of Computer Programming (2017)
Analyzing Complex Data in Motion at Scale with Temporal Graphs; ; ; ;
in Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering (2017, July)
The Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling; ; ;
in Software & Systems Modeling (2017)
Towards Seamless Integration of N-Version Programming in Model-Based Design; ;
in 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA’2017), Limassol, Cyprus, September 12-15 2017 (2017)
Euphony: Harmonious Unification of Cacophonous Anti-Virus Vendor Labels for Android Malware; ; ; ; ; ;
in MSR 2017 (2017, May 21)
Detecting Trivial Mutant Equivalences via Compiler Optimisations; ; ; ; ;
in IEEE Transactions on Software Engineering (2017)
Towards Semantic Interoperability in an Open IoT Ecosystem for Connected Vehicle Services; ; ; ;
in 2017 IEEE Global Internet of Things Summit (GIoTS) Proceedings (2017, July)
PROFICIENT: Productivity Tool for Semantic Interoperability in an Open IoT Ecosystem; ; ;
in Proceedings of the 14th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (2017, November 07)
Enriching a Situation Awareness Framework for IoT with Knowledge Base and Reasoning Components; ; ; ;
in Modeling and Using Context (2017, July)
Knowledge-based Consistency Index for Fuzzy Pairwise Comparison Matrices; ; ; ;
in Knowledge-based Consistency Index for Fuzzy Pairwise Comparison Matrices (2017, July 10)
Comparison of metadata quality in open data portals using the Analytic Hierarchy Process; ; ; ;
in Government Information Quarterly (2017)
Assessing and Improving the Mutation Testing Practice of PIT; ; ; ; ;
in 10th IEEE International Conference on Software Testing, Verification and Validation (2017)
Sensing by Proxy in Buildings with Agglomerative Clustering of Indoor Temperature Movements; ; ;
in The 32nd ACM Symposium on Applied Computing (SAC 2017) (2017, April)
SimiDroid: Identifying and Explaining Similarities in Android Apps; ;
in Abstract book of the 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) (2017)
Static Analysis of Android Apps: A Systematic Literature Review; ; ; ; ; ; ;
in Information and Software Technology (2017)
Automatically Locating Malicious Packages in Piggybacked Android Apps; ; ; ; ; ;
in Abstract book of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft 2017) (2017, May)
On Locating Malicious Code in Piggybacked Android Apps; ; ; ; ; ;
in Journal of Computer Science and Technology (2017)
Understanding Android App Piggybacking: A Systematic Study of Malicious Code Grafting; ; ; ; ; ;
in IEEE Transactions on Information Forensics and Security (2017)
Weaving Rules into Models@run.time for Embedded Smart Systems; ; ; ; ;
in Mouline, Ludovic; Hartmann, Thomas; Fouquet, François; Le Traon, Yves; Bourcier, Johann; Barais, Olivier (Eds.) Programming '17 Companion to the first International Conference on the Art, Science and Engineering of Programming (2017, April)
Efficiently computing the likelihoods of cyclically interdependent risk scenarios; ; ; ;
in Computers and Security (2017), 64
Software patterns for fault injection in CPS engineering; ;
in 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (2017)
Insights on the performance and configuration of AVB and TSN in automotive applications; ; ;
Scientific Conference (2017, November 01)
Augmenting and Structuring User Queries to Support Efficient Free-Form Code Search; ; ; ; ;
Report (2017)
An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation that Avoids the Unreliable Clean Program Assumption; ; ;
in International Conference on Software Engineering (ICSE 2017) (2017, May 28)
Comprehending Malicious Android Apps By Mining Topic-Specific Data Flow Signatures; ; ; ; ;
in Information and Software Technology (2017)
2016
AndroZoo: Collecting Millions of Android Apps for the Research Community; ; ;
in Proceedings of the 13th International Workshop on Mining Software Repositories (2016, May)
Towards a declarative modeling and execution framework for real-time systems;
in ACM SIGBED Review (2016), 13(2), 30-33
Cloud Providers Viability: How to Address it from an IT and Legal Perspective?; ; ;
in Altmann, Jörn; Silaghi, Gheorghe Cosmin; Rana, Omer F. (Eds.) Economics of Grids, Clouds, Systems, and Services (2016)
Performance impact of the interactions between time -triggered and rate-constrained transmissions in TTEthernet; ; ;
Scientific Conference (2016, January 27)
Privacy Challenges in Ambient Intelligence Systems; ; ; ;
in Journal of Ambient Intelligence and Smart Environments (2016)
Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS; ; ;
Scientific Conference (2016, January 28)
A Context-Aware Collaborative Mobile Application for Silencing the Smartphone during Meetings or Important Events; ;
in International Journal On Advances in Intelligent Systems (2016), 9(1&2), 171-180
A Proactive Solution, using Wearable and Mobile Applications, for Closing the Gap between the Rehabilitation Team and Cardiac Patients;
in Proceedings of the IEEE International Conference on Healthcare Informatics 2016 (ICHI 2016) (2016)
Demo: Applications of the CPAL language to model, simulate and program Cyber-Physical Systems; ; ;
Poster (2016, April 12)
Agile Validation of Higher Order Transformations Using F-Alloy; ;
in Agile Validation of Higher Order Transformations Using F-Alloy (2016)
TESMA : Towards the Development of a Tool for Specification, Management and Assessment of Teaching Programs; ;
in Pyshkin, Evgeny; Vazhenin, Alexander; Klyuev, Vitaly (Eds.) Proceeding of the 2nd International Conference on Applications in Information Technology (2016, October)
Near Real-Time Electric Load Approximation in Low Voltage Cables of Smart Grids with Models@run.time; ; ; ; ;
in 31st Annual ACM Symposium on Applied Computing (SAC'16) (2016, April)
Comparing White-box and Black-box Test Prioritization; ; ; ;
in 38th International Conference on Software Engineering (ICSE'16) (2016)
On the Lack of Consensus in Anti-Virus Decisions: Metrics and Insights on Building Ground Truths of Android Malware; ; ; ;
in Detection of Intrusions and Malware, and Vulnerability Assessment - 13th International Conference (2016)
Profiling Android Vulnerabilities; ; ;
in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016) (2016, August)
An Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel; ;
in 2016 Asia-Pacific Software Engineering Conference (APSEC) (2016, December)
Vulnerability Prediction Models: A case study on the Linux Kernel; ;
in 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, US, October 2-3, 2016 (2016, October)
Regime switching model for financial data: empirical risk analysis; ; ; ;
in Physica A. Statistical Mechanics and its Applications (2016), 461
Open Data Portal Quality Comparison using AHP; ; ; ;
in Proceedings of the 17th International Digital Government Research Conference on Digital Government Research (2016, June 07)
A state-of the-art survey & testbed of Fuzzy AHP (FAHP) applications; ; ; ;
in Expert Systems with Applications (2016), 65
DSCo-NG: A Practical Language Modeling Approach for Time Series Classification; ; ;
in The 15th International Symposium on Intelligent Data Analysis (2016, October)
Time Series Classification with Discrete Wavelet Transformed Data; ; ;
in International Journal of Software Engineering and Knowledge Engineering (2016), 26(9&10), 13611377
Time Series Classification with Discrete Wavelet Transformed Data: Insights from an Empirical Study; ; ;
in The 28th International Conference on Software Engineering and Knowledge Engineering (SEKE 2016) (2016, July)
Profiling household appliance electricity usage with n-gram language modeling; ; ; ;
in The 2016 IEEE International Conference on Industrial Technology (ICIT 2016) (2016, March)
DSCo: A Language Modeling Approach for Time Series Classification; ; ; ;
in 12th International Conference on Machine Learning and Data Mining (MLDM 2016) (2016, July)
An Investigation into the Use of Common Libraries in Android Apps; ; ;
in The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016, March)
Parameter Values of Android APIs: A Preliminary Study on 100,000 Apps; ; ;
in The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016, March)
Accessing Inaccessible Android APIs: An Empirical Study; ; ;
in The 32nd International Conference on Software Maintenance and Evolution (ICSME) (2016, October)
DroidRA: Taming Reflection to Support Whole-Program Analysis of Android Apps; ; ;
in The 2016 International Symposium on Software Testing and Analysis (2016, July)
Reflection-Aware Static Analysis of Android Apps; ; ;
in The 31st IEEE/ACM International Conference on Automated Software (ASE) (2016, September)
Towards a Generic Framework for Automating Extensive Analysis of Android Applications; ; ; ; ;
in The 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016) (2016, April)
Mining Families of Android Applications for Extractive SPL Adoption; ; ; ; ;
in The 20th International Systems and Software Product Line Conference (SPLC 2016) (2016)
UAV degradation identification for pilot notification using machine learning techniques; ; ; ;
in Proceedings of 21st IEEE International Conference on Emerging Technologies and Factory Automation ETFA 2016 (2016, September 06)
Name Suggestions during Feature Identification: The VariClouds Approach; ; ; ;
in 20th International Systems and Software Product Line Conference (SPLC 2016) proceedings (2016)
Feature Location Benchmark for Software Families using Eclipse Community Releases; ; ; ; ;
in Software Reuse: Bridging with Social-Awareness, ICSR 2016 Proceedings (2016)
“Overloaded!” — A Model-based Approach to Database Stress Testing; ; ; ;
in International Conference on Database and Expert Systems Applications, Porto 5-8 September 2016 (2016)
Dynamic Risk Analyses and Dependency-Aware Root Cause Model for Critical Infrastructures; ; ; ; ;
in International Conference on Critical Information Infrastructures Security (2016)
The use of simulation in the design of critical embedded systemsScientific Conference (2016, June 09)
CPAL: High-Level Abstractions for Safe Embedded Systems;
in DSM 2016: Proceedings of the International Workshop on Domain-Specific Modeling (2016)
Lean Model-Driven Development through Model-Interpretation: the CPAL design flow; ; ;
Scientific Conference (2016, January 27)
Timing verification of realtime automotive Ethernet networks: what can we expect from simulation?; ;
Scientific Conference (2016, January 28)
Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis; ; ; ; ; ; ;
in The 43rd Symposium on Principles of Programming Languages (POPL 2016) (2016, January)
Threats to the validity of mutation-based test assessment; ; ; ;
in International Symposium on Software Testing and Analysis, ISSTA 2016 (2016)
Micro-billing framework for IoT: Research & Technological foundations; ;
in International Conference on Future Internet of Things and Cloud, 22-24 August 2016, Vienna, Austria (2016)
O-MI/O-DF Standards as Interoperability Enablers for Industrial Internet: a Performance Analysis; ; ;
in O-MI/O-DF Standards as Interoperability Enablers for Industrial Internet: a Performance Analysis (2016)
A systematic review on the engineering of software for ubiquitous systems; ;
in Journal of Systems and Software (2016), 118
Model Interpretation for an AUTOSAR compliant Engine Control Function; ;
in 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2016, July 05)
Poster Abstract: An Optimizing Framework for Real-Time Scheduling; ;
in Proceedings of 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016) (2016, April 12)
Connected Motorized Riders - A Smart Mobility System to Connect Two and Three-wheelers; ;
in Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016) (2016, December 15)
A Model-Based Development Environment for Rapid-Prototyping of Latency-Sensitive Automotive Control Software; ; ;
in Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016) (2016, December 15)
2015
Challenges and Outlook in Machine Learning-based Malware Detection for AndroidDoctoral thesis (2015)
Are Your Training Datasets Yet Relevant? - An Investigation into the Importance of Timeline in Machine Learning-Based Malware Detection; ; ;
in Engineering Secure Software and Systems - 7th International Symposium ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings (2015)
Using CPAL to model and validate the timing behaviour of embedded systems; ;
in 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2015, July 07)
Formal verification techniques for model transformations: A tridimensional classification; ; ; ; ; ; ;
in Journal of Object Technology (2015), 14(3),
Sound and Quasi-Complete Detection of Infeasible Test Requirements; ; ; ; ; ;
in 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15) (2015)
Cloud Providers Viability: How to Address it from an IT and Legal Perspective?; ; ;
in Economics of Grids, Clouds, Systems, and Services (2015, September 16)
Similarity testing for access control; ; ; ; ; ; ; ;
in Information and Software Technology (2015), 58
A Contract-Based approach to support Goal-Driven Analysis; ;
in Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (2015, April)
Business Process Regulatory Compliance is Hard; ;
in IEEE Transactions on Services Computing (2015), 8(6), 958-970
Algorithms for tractable compliance problems; ; ; ; ;
in Frontiers of Computer Science (2015), 9(1), 55-74
Requirements Engineering for the Design of Conceptual Modeling Languages - a goal- and value-oriented approach;
in Applied Ontology (2015)
SilentMeet - A Prototype Mobile Application for Real-Time Automated Group-Based Collaboration; ;
in Proceedings of the 5th International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA 2015) (2015)
Towards a full support of obligations in XACML; ; ; ;
in Lecture Notes in Computer Science (2015), 8924
Conviviality-driven access control policy; ; ; ; ; ;
in Requirements Engineering (2015), 20(4), 363-382
F-Alloy: An Alloy Based Model Transformation Language;
in Theory and Practice of Model Transformations (2015)
Designing Languages using Lightning; ;
in Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering (2015)
Software Engineering and Modeling Education: Problems and Solutionsin 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)
Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time; ; ; ; ;
in Lethbridge, Timothy; Cabot, Jordi; Egyed, Alexander (Eds.) 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015, September)
Suspicious Electric Consumption Detection Based on Multi-Profiling Using Live Machine Learning; ; ; ; ; ;
in 2015 IEEE International Conference on Smart Grid Communications (SmartGridComm) (2015, November)
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines; ; ;
in 37th International Conference on Software Engineering (ICSE 2015) (2015)
Flattening or not of the combinatorial interaction testing models; ;
in Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops (2015, April)
Potential Component Leaks in Android Apps: An Investigation into a new Feature Set for Malware Detection; ; ; ; ;
in The 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS 2015) (2015, August)
ApkCombiner: Combining Multiple Android Apps to Support Inter-App Analysis; ; ; ;
in International Conference on ICT Systems Security and Privacy Protection (SEC 2015) (2015, May)
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps; ; ; ; ; ; ; ; ;
in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE 2015) (2015)
An Investigation into the Use of Common Libraries in Android Apps; ; ;
in arXiv preprint arXiv:1511.06554 (2015)
Using An Instrumentation based Approach to Detect Inter-Component Leaks in Android Apps; ; ;
Scientific Conference (2015, March)
A generic model decomposition technique and its application to the Eclipse modeling framework; ;
in Software & Systems Modeling (2015), 14(2), 921-952
Estimating and Predicting Average Likability on Computer-Generated Artwork Variants; ; ; ; ;
in Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid Spain, July 11-15, 2015, Companion Material Proceedings (2015)
Bottom-up adoption of software product lines: a generic and extensible approach; ; ; ;
in Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015 (2015)
Automating the Extraction of Model-based Software Product Lines from Model Variants; ; ; ;
in 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015) (2015)
Adaptive Blurring of Sensor Data to balance Privacy and Utility for Ubiquitous Services; ; ; ;
in The 30th Annual ACM Symposium on Applied Computing (2015, April)
Polymer: A Model-Driven Approach for Simpler, Safer, and Evolutive Multi-Objective Optimization Development; ; ; ; ;
in Hammoudi, Slimane; Pires, Luis Ferreira; Desfray, Philippe; Filipe, Joaquim (Eds.) MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development (2015, February)
Beyond Discrete Modeling: A Continuous and Efficient Model for IoT; ; ; ; ;
in Lethbridge, Timothy; Cabot, Jordi; Egyed, Alexander (Eds.) 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015, September)
Timing verification of real-time automotive Ethernet networks: what can we expect from simulation?; ;
Scientific Conference (2015, May 23)
Enhancing Mobile Devices with Cooperative Proactive Computing; ;
in Proceedings of the 5th International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA 2015) (2015)
An Extensive Systematic Review on the Model-Driven Development of Secure Systems; ; ;
in Information and Software Technology (2015), 68(December 2015), 62-81
SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems; ; ; ; ;
in Proceedings ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (2015, October)
Metallaxis-FL: mutation-based fault localization;
in Software Testing : Verification & Reliability (2015), 25
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique; ; ;
in 37th International Conference on Software Engineering (ICSE 2015) (2015)
A Conceptual Model for Compliance Checking Support of Enterprise Architecture Decisions; ; ;
in Proceedings of the 17th IEEE Conference on Business Informatics, Lisbon Portugal, July 13-16, 2015, Volume 1 (2015)
Traceability and Modeling of Requirements in Enterprise Architecture from a Design Rationale Perspective; ; ;
in Ninth IEEE conference on Research Challenges in Information Systems (RCIS 2015), Athens, May 13-15, 2015 (2015)
Insights on the Configuration and Performances of SOME/IP Service Discovery; ;
in SAE International Journal of Passenger Cars- Electronic and Electrical Systems (2015), 8(1), 124-129
Formal Analysis of the Startup Delay of SOME/IP Service Discovery; ; ; ;
in Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (2015)
Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets; ; ; ;
in IEEE Transactions on Computers (2015), 64(9), 2490-2505
Roundtable: Research Opportunities and Challenges for Emerging Software Systems; ; ; ;
in Journal of Computer Science and Technology (2015), 30(5), 935-941
2014
Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: an Urgent Need for Systematic Security Regression Testing; ; ;
in 7th IEEE International Conference on Software Testing, Verification and Validation (ICST)- Workshop SECTEST (2014)
Empirical assessment of machine learning-based malware detectors for Android: Measuring the Gap between In-the-Lab and In-the-Wild Validation Scenarios; ; ; ; ;
in Empirical Software Engineering (2014)
Large-scale Machine Learning-based Malware Detection: Confronting the "10-fold Cross Validation" Scheme with Reality; ; ; ; ;
in Proceedings of the 4th ACM Conference on Data and Application Security and Privacy (2014, March)
A Forensic Analysis of Android Malware -- How is Malware Written and How It Could Be Detected?; ; ; ; ;
in Proceedings of the 2014 IEEE 38th Annual Computer Software and Applications Conference (2014, July)
A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification; ; ; ; ; ; ;
in Journal of Technology (2014)
FlowDroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps; ; ; ; ; ; ; ;
Scientific Conference (2014, June)
Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android; ; ;
in IEEE Transactions on Software Engineering (2014), 40(6), 617-632
Coverage-based Test Cases Selection for XACML Policies; ; ; ;
in IEEE International Conference on Software Testing Verification and Validation Workshops (2014)
Tools for Conviviality in Multi-Context Systems; ;
in IfCoLog Journal of Logics and Their Applications (2014), 1(1),
Integrating end-system frame scheduling for more accurate AFDX timing analysis; ; ; ;
Scientific Conference (2014, February 07)
Detecting Deontic Conflicts in Dynamic Settings; ;
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)
A Toolchain for Model-Based Design and Testing of Access Control Systems; ; ; ;
in MODELSWARD (2014)
Towards An Analysis Driven Approach for Adapting Enterprise Architecture Languages;
in 6th international EMISA workshop, Luxembourg-ville, 25 to 26 september 2014 (2014)
Moving Towards a Distributed Network of Proactive, Self-Adaptive and Context-Aware Systems;
in ADAPTIVE 2014 - The Sixth International Conference on Adaptive and Self-Adaptive Systems and Applications (2014)
Moving Towards Distributed Networks of Proactive, Self-Adaptive and Context-Aware Systems: a New Research Direction?;
in The International Journal on Advances in Networks and Services (2014), 7(3 & 4), 262-272
A Proactive Approach for Information Sharing Strategies in an Environment of Multiple Connected Ubiquitous Devices;
in Proceedings of the 11th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC 2014) (2014)
Optimizing Multi-Objective Evolutionary Algorithms to Enable Quality-Aware Software Provisioning; ; ;
Scientific Conference (2014, October)
Generic Cloud Platform Multi-objective Optimization Leveraging Models@run.time; ; ; ; ;
Scientific Conference (2014, March)
A Flexible MDE approach to Enforce Fine- grained Security Policies; ;
in Proceedings of the International Symposium on Engineering Secure Software and Systems (2014)
Security@Runtime: A flexible MDE approach to enforce fine-grained security policies; ;
in Lecture Notes in Computer Science (2014), 8364 LNCS
The impact of cultural differences on enterprise architecture effectiveness: a case study;
in 8th MCIS conference, Verona, Italy, 3-5 september 2014 (2014)
Verifying Modelling Languages using Lightning: a Case Study; ;
in MoDeVVa 2014: Model-Driven Engineering, Verification and Validation (2014)
Generating Realistic Smart Grid Communication Topologies Based on Real-Data; ; ; ; ; ;
in 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm) (2014, November)
Reactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning; ; ; ;
in Proceedings of the Second Open EIT ICT Labs Workshop on Smart Grid Security (SmartGridSec14) (2014, April)
Model-based time-distorted Contexts for efficient temporal Reasoning; ; ; ; ;
Poster (2014, July 02)
A Native Versioning Concept to Support Historized Models at Runtime; ; ; ; ; ;
in Dingel, Juergen; Schulte, Wolfram; Ramos, Isidro; Abrahao, Silvia; Insfran, Emilio (Eds.) Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings (2014)
Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach; ; ; ; ;
in Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering (2014, July)
MutaLog: a Tool for Mutating Logic Formulas; ;
in Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)
Mutation-based Generation of Software Product Line Test Configurations; ;
in Symposium on Search-Based Software Engineering (SSBSE 2014) (2014)
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Configurations for Software Product Lines; ; ; ; ;
in IEEE Transactions on Software Engineering (2014), 40(7), 650-670
Analysis as a first-class citizen: an application to Architecture Description Languages;
in Proceedings of the IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (2014, September)
Using opcode-sequences to detect malicious Android applications; ; ;
in IEEE International Conference on Communications, ICC 2014, Sydney Australia, June 10-14, 2014 (2014, June)
Slicing High-level Petri nets;
in International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014 (2014, June 23)
API Document Quality for Resolving Deprecated APIs; ; ; ; ;
Scientific Conference (2014, December 01)
Automatically Exploiting Potential Component Leaks in Android Applications; ; ;
in The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14), IEEE, Sept. 2014, Beijing, China. (2014, September)
Using A Path Matching Algorithm to Detect Inter-Component Leaks in Android Apps; ; ;
Scientific Conference (2014, March 12)
I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis; ; ; ; ; ; ; ;
Report (2014)
An Empirical Investigation of Modularity Metrics for Indicating Architectural Technical Debt; ; ;
in Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures (2014, June)
Intra-query Adaptivity for MapReduce Query Processing Systems; ;
in IDEAS 2014 : 18th International Database Engineering Applications Symposium (2014)
Model Transformation Intents and Their Properties; ; ; ; ; ; ;
in Software & Systems Modeling (2014)
Identifying and Visualising Commonality and Variability in Model Variants; ; ;
in ECMFA 2014 European Conference on Modelling Foundations and Applications (2014)
Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines; ; ; ;
in 2nd IEEE Working Conference on Software Visualization (2014)
Timing verification of automotive communication architectures using quantile estimation; ; ; ;
Scientific Conference (2014, March 07)
Model-Driven Security with A System of Aspect-Oriented Security Design Patterns; ;
in 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (2014, July 22)
Modeling, composing, and testing of security concerns in a Model-Driven Security approach; ;
in Joosen, Wouter; Martinelli, Fabio; Heyman, Thomas (Eds.) Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014) (2014, February 26)
Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management; ; ; ;
in Transactions on Aspect-Oriented Software Development (2014), 11
The NOAH Project: Giving a Chance to Threatened Species in Africa with UAVs; ; ; ; ;
in Bissyandé, Tegawendé F.; van Stam, Gertjan (Eds.) e-Infrastructure and e-Services for Developing Countries (2014)
Mitigating the Effects of Equivalent Mutants with Mutant Classification Strategies; ;
in Science of Computer Programming (2014), 95
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing; ;
in 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)
Effective Fault Localization via Mutation Analysis: A Selective Mutation Approach;
in ACM Symposium On Applied Computing (SAC'14) (2014)
Capturing Design Rationales in Enterprise Architecture: A Case Study; ;
in 7th IFIP WG 8.1 Working Conference, PoEM 2014, Manchester, UK, November 12-13 (2014, November 12)
A computational approach for design rationalization in Enterprise Architecture; ;
in IEEE Eighth International Conference on Research Challenges in Information Science, Marrakesh May 28-30, 2014 (2014)
Implementing a Software Prototype for Enterprise Architecture Rationalization: Lessons Learned; ;
in 9th workshop on Trends in Enterprise Architecture (TEAR 2014), Ulm 1-2 september 2014 (2014)
EA anamnesis An Approach for Decision Making Analysis in Enterprise Architecture; ;
in International Journal of Information System Modeling and Design (2014), 4(1),
Combining Models with Code: a Tale of Two Languages; ; ;
in IEEE International Conference on Global Software Engineeering Workshops (2014)
Model-Based Testing of Obligations; ; ;
in 14th Annual International Conference on Quality Software (QSIC) (2014)
Model-based testing of global properties on large-scale distributed systems; ; ; ;
in Information and Software Technology (2014), 56(7), 749-762
Towards a Language-Independent Approach for Reverse-Engineering of Software Product Lines; ; ; ;
in 29th Symposium on Applied Computing (SAC 2014) (2014)
2013
Relaxing Behavioural Inheritancein Electronic Proceedings in Theoretical Computer Science (2013), 115
Towards the Formal Verification of Model Transformations: An Application to KermetaDoctoral thesis (2013)
Sustainable ICT4D in Africa: Where Do We Go From Here?; ; ; ; ;
in EAI International Conference on e-Infrastructure and e-Services for Developing Countries (2013)
Got Issues? Who Cares About It? A Large Scale Investigation of Issue Trackers from GitHub; ; ; ; ;
in Proceedings of the 24th International Symposium on Software Reliability Engineering (ISSRE 2013) (2013, November)
Combining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support; ; ; ;
in Proceedings of the 5th European Conference for Aeronautics and Space Sciences (EUCASS) (2013, July 01)
Refinement of AADL models using early-stage analysis methods; ;
in Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop (2013, November)
Information Dependencies in MCS: Conviviality-Based Model and Metrics; ;
in 16th INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2013) (2013, December 01)
Assessing software designs by simulation (Fast Abstract)in Supplemental Volume of the 6th Latin-American Symposium on Dependable Computing (LADC 2013) (2013, April)
Algorithms for Basic Compliance Problems; ; ; ; ;
in 2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013. (2013, March)
Towards an Abstract Framework for Compliance; ;
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)
Empirical Investigations on Community Building and Collaborative Work inside a LMS using Proactive Computing; ;
in Proceedings of E-Learn - World Conference on E-Learning 2013 Conference (2013)
SUPPORTING COLLABORATIVE LEARNING INSIDE COMMUNITIES OF PRACTICE THROUGH PROACTIVE COMPUTING;
in Proceedings of the 5th annual International Conference on Education and New Learning Technologies, Barcelona, Spain 1-3 July, 2013 (2013)
Access Control Enforcement Testing; ; ;
in Abstract book of 2013 8TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST (AST) (2013)
A PEP-PDP Architecture to Monitor and Enforce Security Policies in Java Applications;
in 2013 International Conference on Availability, Reliability and Security (2013)
Under Pressure Benchmark for DDBMS Availability; ; ; ; ;
in Journal of Information and Data Management (2013)
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing; ; ; ;
in 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013 (2013)
Multi-objective test generation for software product lines; ; ; ;
in 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013 (2013)
PLEDGE: a product line editor and test generation tool; ; ; ;
in 17th International Software Product Line Conference co-located workshops, SPLC 2013 workshops, Tokyo, Japan - August 26 (2013)
Towards automated testing and fixing of re-engineered feature models; ; ; ;
in Proceedings of the 2013 International Conference on Software Engineering (2013)
Optimizing verification of structurally evolving algebraic petri netsin Software Engineering for Resilient Systems Lecture Notes in Computer Science Volume (2013, September 08), 8166
Random Cluster Sampling on X-Machines Test Cases;
in 11th International Conference on Information Technology : New Generations ITNG 2013 (2013)
Optimizing algebraic petri net model checking by slicing;
in International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24, 2013. (2013)
Achieving Practical Genericity in Model Weaving through Extensibility; ; ; ; ; ;
in Duddy, Keith; Kappel, Gerti (Eds.) Theory and Practice of Model Transformations (2013)
Stress Testing of Transactional Database Systems; ; ; ;
in Journal of Information and Data Management (2013)
R-CoRe: A Rule-based Contextual Reasoning Platform for AmI; ; ; ;
in Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium hosted at the 8th International Symposium on Rules (RuleML2013) (2013, July)
A Rule-based Contextual Reasoning Platform for Ambient Intelligence environments; ; ; ;
in Theory, Practice, and Applications of Rules on the Web (2013, July 01)
Usage and testability of AOP: An empirical study of AspectJ; ; ;
in Information and Software Technology (2013), 55(2), 252-266
Verification of automotive networks - what to expect (and not expect) from each techniqueScientific Conference (2013, December 09)
A Systematic Review of Model-Driven Security; ; ;
in The 20th Asia-Pacific Software Engineering Conference Proceedings (2013, December)
Model-Driven Adaptive Delegation; ; ; ;
in Masuhara, Hidehiko; Chiba, Sigeru; Ubayashi, Naoyasu (Eds.) Proceedings of the 12th annual international conference companion on Aspect-oriented software development (2013, March)
Testing Delegation Policy Enforcement via Mutation Analysis; ;
in 7th International Workshop on Mutation Analysis (2013, March)
Effective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis; ; ; ; ; ;
in Effective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis (2013)
Proteum/FL: A tool for localizing faults using mutation analysis.; ;
in International Working Conference on Source Code Analysis and Manipulation (2013)
Mutation Testing Strategies using Mutant Classification;
in Abstract book of 28th Symposium On Applied Computing (2013)
Adaptive Ontology-Based Web Information Retrieval: The TARGET Framework; ;
in Polgar, Jana; Adamson, Greg (Eds.) Web Portal Design, Implementation, Integration, and Optimization (2013)
Towards Test-Driven and Architecture Model-Based Security and Resilience Engineering;
in Singh, Hardeep; Kaur, Kulwant (Eds.) Designing, Engineering, and Analyzing Reliable and Efficient Software (2013)
Experimentation of Proactive Computing in Context Aware Systems: Case Study of Human-Computer Interactions in e-Learning Environment; ;
in Cognitive Methods in Situation Awareness and Decision Support (CogSIMA), 2013 IEEE International Multi-Disciplinary Conference on (2013)
2012
A Formal Semantics of Kermetain Mernik, Marjan (Ed.) Formal and Practical Aspects of Domain-Specific Languages: Recent Developments (2012)
Towards a Model Transformation Intent Catalog; ; ; ; ; ; ;
in Proceedings of the First Workshop on Analysis of Model Transformations (2012)
A Tridimensional Approach for Studying the Formal Verification of Model Transformations; ; ; ; ; ; ;
in Proceedings of the First Workshop on Verification and Validation of Model Transformations (2012)
Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation; ; ; ;
Report (2012)
In-Vivo Bytecode Instrumentation for Improving Privacy on Android Smartphones in Uncertain Environments; ; ; ;
E-print/Working paper (2012)
Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android; ; ;
in IEEE/ACM International Conference on Automated Software Engineering (2012)
Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot; ; ;
in ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012) (2012)
Introducing Conviviality as a property of Multi-Context Systems; ; ;
in The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-12 (2012, August 27)
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués; ; ; ; ;
in TSI. Technique et science informatiques (2012), 31(6), 797--825
Access Control Enforcement Testing; ; ;
in 8th International Workshop on Automation of Software Test (AST), 2013 (2012, May)
Refactoring access control policies for performance improvement; ; ; ;
in Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (2012, April)
Testing Obligation Policy Enforcement using Mutation Analysis; ;
in Proceedings of the 7th International Workshop on Mutation Analysis (associated to the Fifth International Conference on Software Testing, Verification, and Validation, ICST 2012) (2012)
Refactoring Access Control Policies for Performance Improvement; ; ; ;
in Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (ICPE 2012) (2012)
Testing obligation policy enforcement using mutation analysis; ;
in Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012 (2012)
Reusing Transaction Models for Dependable Cloud Computing;
in Yang, Hongji; Liu, Xiaodong (Eds.) Software Reuse in the Emerging Cloud Computing Era (2012)
Selection of Regression System Tests for Security Policy Evolution; ; ; ;
Scientific Conference (2012, September)
Language Enrichment for Resilient MDE;
in Software Engineering for Resilient Systems Lecture Notes in Computer Science (2012, September 27), 7527
On the Formalisation of GeKo: a Generic Aspect Models Weaver; ; ; ; ; ;
in On the Formalisation of GeKo: a Generic Aspect Models Weaver (Tech Report) (2012)
Building specifications as a domain-specific aspect language; ;
in DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages (2012)
REACT: an Architectural Framework for the Development of a Software Product Line for Dependable Crisis Management Systems; ;
in Radioelectronic and Computer Systems (2012), 59(7), 284-288
Invariant Preservation In Iterative Modeling; ; ; ;
in Workshop on Models And Evolution, co-located with MoDELS 2012 (2012)
Personalized, Adaptive and Intelligent Support for Online Assignments Based on Proactive Computing; ;
in Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, Rome, Italy 4-6 July, 2012 (2012)
Proactive Computing Based Implementation of Personalized and Adaptive Technology Enhanced Learning over Moodle(TM); ;
in Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, Rome, Italy 4-6 July, 2012 (2012)
Peer-to-Peer Load Testing; ; ;
in Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on (2012)
Introducing Conviviality as a New Paradigm for Interactions among IT Objects; ; ; ;
in Proceedings of the Workshop on AI Problems and Approaches for Intelligent Environments (2012, August), 907
Comparing Six Modeling Approaches; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ;
in Kienzle, Joerg (Ed.) Models in Software Engineering (2012)
Assessing Composition in Modeling Approaches;
in Proceedings of the CMA 2012 Workshop (2012, December)
Towards Flexible Evolution of Dynamically Adaptive Systems; ; ; ; ; ; ;
in New Ideas & Emerging Results Track of the International Conference of Software Engineering (NIER@ICSE) (2012, June)
Pairwise testing for software product lines: Comparison of two approaches; ; ; ; ;
in Software Quality Journal (2012), 20(3), 605-643
SETER: Towards Architecture-Model Based Security Engineering;
in International Journal of Secure Software Engineering (2012), 3(3), 23-49
Design of Proactive Scenarios and Rules for Enhanced e-Learning; ;
in Proceedings of the 4th International Conference on Computer Supported Education, Porto, Portugal 16-18 April, 2012 (2012)
Suitability of visual modelling languages for modelling tangible user interface applications; ;
in Visual Languages and Human-Centric Computing (VL/HCC) (2012)
A Model-Based Approach to Automated Testing of Access Control Policies; ; ; ;
in Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (2012)
2011
Aspect-Oriented Model Development at Different Levels of Abstraction; ; ; ; ; ; ; ; ; ;
in Modelling Foundations and Applications - 7th European Conference, ECMFA 2011 (2011)
Building VCL Models and Automatically Generating Z Specifications from Them; ;
in Formal Methods - 17th International Symposium on Formal Methods (2011)
Automated Generation of Platform-Variant Applications from Platform-Independent Models via Templates; ; ;
in Electronic Notes in Theoretical Computer Science (2011), 279(3), 3-25
Model Driven Mutation Applied to Adaptative Systems Testing; ; ; ; ;
in 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (2011)
Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android; ; ;
in Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (Tech Report) (2011)
OO-SPL modelling of the focused case study; ; ;
in Comparing Modeling Approaches (CMA) International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (CMA@MODELS2011) (2011)
CoReL: Policy-Based and Model-Driven Regulatory Compliance Management; ; ;
in Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference (2011)
Enterprise Regulatory Compliance Modeling using CoReL: An illustrative Example; ; ;
in The 13th IEEE Conference on Commerce and Enterprise Computing, CEC 2011 (2011)
Reusing Transaction Models for Dependable Cloud Computing;
in Xiaodong, Yang Hongji (Ed.) Software Reuse in the Emerging Cloud Computing Era (2011)
A formal framework for dependability and resilience from a software engineering perspectivein Central European Journal of Computer Science (2011), 1
Issues in model-driven behavioural product derivation; ;
in Fifth International Workshop on Variability Modelling of Software-intensive Systems (Vamos 2011) (2011)
A Metamodel-based Classification of Variability Modeling Approaches; ; ;
in VARY, International Workshop affiliated with ACM/IEEE 14th International Conference on Driven Engineering Languages and Systems (2011)
Models within Models: Taming Model Complexity Using the Sub-model Lattice; ;
in 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011) (2011)
Adaptive Ontology-based Web Information Retrieval: The TARGET Framework; ;
in International Journal of Web Portals (2011), 3
2010
Modular Design by Contract Visually and Formally using VCL;
in Visual Languages and Human-Centric Computing (VL/HCC) (2010)
VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly;
in Diagrams 2010 (2010)
Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL; ;
in 15th International Conference, EMMSAD 2010 (2010)
Specifying structural properties and their constraints formally, visually and modularly using VCL; ;
in EMMSAD 2010 (2010)
Using VCL as an Aspect-Oriented Approach to Requirements Modelling; ; ;
in Transactions on Aspect-Oriented Software Development (2010), 7
Modelling Dependable Collaborative Time-constrained Business Process;
in Enterprise Information Systems (2010), 4(2), 153-214
Aspect-Oriented Design with Reusable Aspect Models; ; ; ;
in Transactions on Aspect-Oriented Software Development (2010)
A Modular Model Composition Technique;
in 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010) (2010)
Flexible model element introduction policies for aspect-oriented modeling; ; ;
in Abstract book of 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, LNCS (2010), 6395 LNCS(PART 2), 63-77
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines; ; ; ;
in International Conference on Software Test and Validation (2010)
2009
Analysing Security requirements formally and flexibly based on suspicionin International Journal on Advances in Security (2009), 2(4), 344-357
Designing Reliable Real-Time Concurrent Object-Oriented Software Systems;
in Proceedings of the 24th ACM Symposium on Applied Computing (Track on Real-Time Systems) SAC'09 (2009)
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study; ; ; ;
in Journal of Systems and Software (2009), 82(2), 207-228
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development; ;
in Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33) (2009)
From Platform-Independent to Platform-Specific Models using Democles; ; ;
in International Conference on Object-Oriented Programming, Systems, Languages, and Applications (2009)
Domain Hierarchies: a Basic Theoretical Framework for Integrating Software Domains;
in 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)
Aspect-Oriented Multi-View Modeling; ;
in Abstract book of 8th International Conference on Aspect Oriented Software Development (AOSD.09) (2009)
Aspect model unweaving; ; ;
in Abstract book of 12th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, (2009), 5795 LNCS
2008
Analysis and framework-based design of a fault-tolerant web information system for m-health; ;
in Service Oriented Computing and Applications (2008), 2(2-3), 111-144
Composing Multi-View Aspect Models; ; ; ;
in Abstract book of 7th IEEE International Conference on Composition Based Software Systems (2008)
Selection, Evaluation and Generation of Test Cases in an Industrial Setting: a Process and a Tool;
in Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference (2008)
SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems;
in ERCIM News (2008), 75
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language;
in ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008) (2008)
Reconciling Automation and Flexibility in Product Derivation; ; ;
in Abstract book of 12th International Software Product Line Conference (SPLC2008) (2008)
2007
On the Integration of Mobility in a Fault-Tolerant e-HealthWeb Information System; ;
in Advanced Information Networking and Applications Workshops, 2007, AINAW '07. 21st International Conference on (Volume:2 ) (2007)
Reusable Aspect Models;
in Abstract book of 11th Workshop on Aspect Oriented Modeling, AOM at Models’07 (2007)
2006
The Fault-Tolerant Insulin Pump Therapy; ;
in Michael, Butler; Cliff, Jones; Alexander, Romanovsky; Elena, Troubitsyna (Eds.) Rigorous Development of Complex Fault-Tolerant Systems, 4157 (2006)
CAA-DRIP: a framework for implementing Coordinated Atomic Actions; ; ; ;
in The 17th International Symposium on Software Reliability (2006)
2005
Modeling Exception Handling: a UML2.0 Platform Independent Profile for CAA; ; ;
in Proceedings of ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems (2005, July)
The Fault-Tolerant Insulin Pump Therapy; ;
in Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (2005, July)
SCTL: A StateChart Transformation Language for Test Sets Reduction;
in ERCIM Workshop on Dependable Software Intensive Embedded Systems, workshop of the 31st EUROMICRO Conference on Software Engineering and Advanced Appli (2005)
2004
Engineering of Dependable Complex Business Processes using UML and Coordinated Atomic Actions; ;
in International Workshop on Modeling Inter-Organizational Systems (MIOS'04) (2004)
A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain; ;
in International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04 (2004)
A Study of Mobile Internet Technologies for Secure e-commerce Applications Development; ;
in Techniques and Applications for Mobile Commerce (TAMOCO) part of Multi-Konferenz Wirtschaftsinformatik 2004 (2004)
2003
MEDAL: A CASE Tool Extension for Model-driven Software Engineering; ;
in SwSTE'03 IEEE International Conference on Software - Science, Technology & Engineering (2003)
2002
Using and Specializing a Pattern-Based E-business Framework: An Auction Case Study;
in The 6th Annual IASTED International Conference on Software Engineering and Applications (2002)
