A Systematic Literature Mapping of Artificial Intelligence Planning in Software Testing
|
2020 |
Lima, Luis F. de |
Threat Modeling for Cyber-Physical Systems: A Two-dimensional Taxonomy Approach for Structuring Attack Actions
|
2020 |
Maidl, Monika |
Visualization Method of Important Regions by Combination of Webpage Structures and Saliency Maps
|
2020 |
Inagaki, Yuya |
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL
|
2020 |
Soualah, Sohaib |
Fuzzy Multi-objective Optimization for Ride-sharing Autonomous Mobility-on-Demand Systems
|
2020 |
Khemiri, Rihab |
Generic GA-PPI-Net: Generic Evolutionary Algorithm to Detect Semantic and Topological Biological Communities
|
2020 |
M’Barek, Marwa Ben |
Big Data Streaming Platforms to Support Real-time Analytics
|
2020 |
Fernandes, Eliana |
Blockchain Project Initiation and Execution: Decision-making Practices and Perceptions
|
2020 |
Kumalakov, Bolatzhan |
Fault Detection and Co-design Recovery for Complex Task within IoT Systems
|
2020 |
Bendimerad, Radia |
Towards a Data Science Framework Integrating Process and Data Mining for Organizational Improvement
|
2020 |
Delgado, Andrea |
Using Blockchain to Implement Traceability on Fishery Value Chain
|
2020 |
Cruz, Estrela Ferreira |
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment
|
2020 |
Choucha, Chams Eddine |
A Novel Approach for Android Malware Detection and Classification using Convolutional Neural Networks
|
2020 |
Lekssays, Ahmed |
IT-Application Behaviour Analysis: Predicting Critical System States on OpenStack using Monitoring Performance Data and Log Files
|
2020 |
Kubiak, Patrick |
Introducing AI/ML Components into Software Systems
|
2020 |
Slezak, Dominik |
Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes
|
2020 |
Mohagheghi, Mohammadsadegh |
A Case Study on Performance Optimization Techniques in Java Programming
|
2020 |
Khlud, Ciprian |
A Data-driven Methodology towards Interpreting Readability against Software Properties
|
2020 |
Karanikiotis, Thomas |
A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications
|
2020 |
Witteck, Ulrike |
Detecting Model View Controller Architectural Layers using Clustering in Mobile Codebases
|
2020 |
Dobrean, Dragos |