LAnt: Model driven approach for ant colony optimization

JOURNAL OF INTELLIGENT & FUZZY SYSTEMS (p. 1343-1351) - 1/1/2017

10.3233/jifs-169132 View at source

• ISSN 10641246

• iMarina

Fortifier: A formal distributed framework to improve the detection of threatening objects in baggage

Journal of Information and Telecommunication (p. 2-18) - 1/1/2018

10.1080/24751839.2017.1347766 View at source

• ISSN 24751839

• iMarina

Mutomvo: Mutation testing framework for simulated cloud and HPC environments

JOURNAL OF SYSTEMS AND SOFTWARE (p. 187-207) - 1/9/2018

10.1016/j.jss.2018.05.010 View at source

• ISSN 01641212

• iMarina

An expert system for checking the correctness of memory systems using simulation and metamorphic testing

Expert Systems With Applications (p. 44-62) - 15/10/2019

10.1016/j.eswa.2019.04.070 View at source

• ISSN 09574174

• iMarina

Improving cloud architectures using UML profiles and M2T transformation techniques

JOURNAL OF SUPERCOMPUTING (p. 8012-8058) - 1/12/2019

10.1007/s11227-019-02980-w View at source

• ISSN 09208542

• iMarina

MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems

JOURNAL OF SYSTEMS AND SOFTWARE - 1/5/2020

10.1016/j.jss.2020.110522 View at source

• ISSN 01641212

• iMarina

Profiling SLAs for cloud system infrastructures and user interactions

PEERJ COMPUTER SCIENCE (p. 1-37) - 1/1/2021

10.7717/peerj-cs.513 View at source

• ISSN 23765992

• iMarina

Analyzing the Cloud Performance Using Different User Subscription Times

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING (p. 1699-1720) - 1/12/2021

10.1142/s0218194021400180 View at source

• ISSN 02181940

• iMarina

TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems

Ieee Transactions On Reliability (p. 261-284) - 1/3/2021

10.1109/tr.2020.3011512 View at source

• ISSN 00189529

• iMarina

CloudExpert: An intelligent system for selecting cloud system simulators

EXPERT SYSTEMS WITH APPLICATIONS - 1/1/2022

10.1016/j.eswa.2021.115955 View at source

• ISSN 09574174

• iMarina

EMINENT: Embarrassingly parallel mutation testing

Procedia Computer Science (p. 63-73) - 1/1/2016

10.1016/j.procs.2016.05.298 View at source

• ISSN 18770509

• iMarina

OUTRIDER: Optimizing the mutation Testing pRocess In Distributed EnviRonments

Procedia Computer Science (p. 505-514) - 1/1/2017

10.1016/j.procs.2017.05.095 View at source

• ISSN 18770509

• iMarina

MAGICIAN: Model-based design for optimizing the configuration of data-centers

Proceedings Of The International Conference On Software Engineering And Knowledge Engineering, Seke (p. 602-607) - 1/1/2017

10.18293/seke2017-108 View at source

• ISSN 23259000

• iMarina

A multi-agent system architecture for statistics managing and soccer forecasting

2017 2nd Ieee International Conference On Computational Intelligence And Applications, Iccia 2017 (p. 572-576) - 4/12/2017

10.1109/ciapp.2017.8167282 View at source

• iMarina

A hybrid Ant Colony based system for assist the prevention and mitigation of wildfires in forests

2017 2nd Ieee International Conference On Computational Intelligence And Applications, Iccia 2017 (p. 577-581) - 4/12/2017

10.1109/ciapp.2017.8167283 View at source

• iMarina

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools

Lecture Notes In Computer Science (p. 367-374) - 1/1/2018

10.1007/978-3-319-74730-9_32 View at source

• ISSN 03029743

• iMarina

Studying the impact of the user subscription times in different cloud configurations

Proceedings Of The International Conference On Software Engineering And Knowledge Engineering, Seke (p. 211-216) - 1/1/2021

10.18293/seke2021-095 View at source

• ISSN 23259000

• iMarina

Asymob: a platform for measuring and clustering chatbots

Proceedings - International Conference On Software Engineering (p. 16-20) - 1/1/2022

10.1109/icse-companion55297.2022.9793784 View at source

• ISSN 02705257

• iMarina

Analyzing the reliability of simulated distributed systems using Metamorphic Testing

Proceedings - 7th International Workshop On Metamorphic Testing, Met 2022 (p. 34-41) - 1/1/2022

10.1145/3524846.3527342 View at source

• iMarina

ISO-Cloud: An Intelligent System for Optimizing the Overall Income in Cloud Providers

2022 4th International Conference on Computer Communication and the Internet, ICCCI 2022 (p. 7-13) - 1/1/2022

10.1109/iccci55554.2022.9850273 View at source

• iMarina

Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing

1/1/2020

• iMarina