Zobrazeno 1 - 10
of 100
pro vyhledávání: '"Ana R. Cavalli"'
Publikováno v:
Communications in Computer and Information Science ISBN: 9783031141782
QUATIC 2022: 15th International Conference on the Quality of Information and Communications Technology
15th International Conference Quality of Information and Communications Technology (QUATIC 2022)
15th International Conference Quality of Information and Communications Technology (QUATIC 2022), Sep 2022, Talavera de la Reina, Spain. pp.205-219, ⟨10.1007/978-3-031-14179-9_14⟩
QUATIC 2022: 15th International Conference on the Quality of Information and Communications Technology
15th International Conference Quality of Information and Communications Technology (QUATIC 2022)
15th International Conference Quality of Information and Communications Technology (QUATIC 2022), Sep 2022, Talavera de la Reina, Spain. pp.205-219, ⟨10.1007/978-3-031-14179-9_14⟩
International audience; Digital Twin (DT) is one of the pillars of modern information technologies that plays an important role on industry's digitalization. A DT is composed of a real physical object, a virtual abstraction of the object and a bidire
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e223b19eca495cfbd11c0096f96c4425
https://doi.org/10.1007/978-3-031-14179-9_14
https://doi.org/10.1007/978-3-031-14179-9_14
A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System
Autor:
Ana R. Cavalli, Khalifa Toumi, Mohamed H. E. Aouadi, Jordi Puiggalí Allepuz, Wissam Mallouli, Pol Valletb Montfort
Publikováno v:
The Computer Journal
The Computer Journal, Oxford University Press (UK), 2018, 61 (8), pp.1109-1122. ⟨10.1093/comjnl/bxy018⟩
The Computer Journal, Oxford University Press (UK), 2018, 61 (8), pp.1109-1122. ⟨10.1093/comjnl/bxy018⟩
International audience; Testing and monitoring the effectiveness of security policies under pervasive system architectures is still a major challenging problem for the research community as well as industrials. The inherent characteristics of these s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52eb5dbc5f9a8abeb14305597a9c84b2
https://doi.org/10.1093/comjnl/bxy018
https://doi.org/10.1093/comjnl/bxy018
Publikováno v:
ICSOFT 2019: 14th International Conference on Software Technologies
ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. ⟨10.5220/0007918203970406⟩
ICSOFT
ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. ⟨10.5220/0007918203970406⟩
ICSOFT
International audience; Ensuring the correctness of complex distributed software systems is a challenging task, the issue of building frameworks for developing such safe and correct systems still remains a difficult issue. Where test coverage is diss
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69ef96601399b06a02e5407e942dff20
https://hal.archives-ouvertes.fr/hal-02269604
https://hal.archives-ouvertes.fr/hal-02269604
Publikováno v:
ICSOFT 2019: 14th International Conference on Software Technologies
ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.407-415, ⟨10.5220/0007923004070415⟩
ICSOFT
ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.407-415, ⟨10.5220/0007923004070415⟩
ICSOFT
International audience; This paper presents an approach for the automated testing of Enterprise Resource Planning (ERP) systems. ERPs are complex software systems that provide a chain management covering all corporate activities. Testing of these sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::166dcafaa816600a4c0199e96d0eaaf9
https://hal.archives-ouvertes.fr/hal-02268593
https://hal.archives-ouvertes.fr/hal-02268593
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030291563
ICSOFT (Selected Papers)
ICSOFT 2018: International Conference on Software Technologies
ICSOFT 2018: International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.194-219, ⟨10.1007/978-3-030-29157-0_9⟩
ICSOFT (Selected Papers)
ICSOFT 2018: International Conference on Software Technologies
ICSOFT 2018: International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.194-219, ⟨10.1007/978-3-030-29157-0_9⟩
International audience; Requests to improve the quality of software are increasing due to the competition in software industry and the complexity of software development integrating multiple technology domains (e.g., IoT, Big Data, Cloud, Artificial
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6775fbdfe2563bc780a2dd6af9a5c1e5
https://doi.org/10.1007/978-3-030-29157-0_9
https://doi.org/10.1007/978-3-030-29157-0_9
Autor:
Diego Rivera Villagra, Ana R. Cavalli
Publikováno v:
IEEE Latin America Transactions
IEEE Latin America Transactions, Institute of Electrical and Electronics Engineers, 2016, 14 (6), pp.2773-2776. ⟨10.1109/TLA.2016.7555253⟩
IEEE Latin America Transactions, Institute of Electrical and Electronics Engineers, 2016, 14 (6), pp.2773-2776. ⟨10.1109/TLA.2016.7555253⟩
International audience; In a context in which the Internet provides a platform used to distribute contents, new actors have emerged in the business of multimedia services, who have taken advantage of this new platform to deliver services at lower cos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b886f011d697fe0319a82f4c818e65e
https://doi.org/10.1109/tla.2016.7555253
https://doi.org/10.1109/tla.2016.7555253
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319766867
CRiSIS
Proceedings CRISIS 2017 : 12th International Conference on Risks and Security of Internet and Systems
CRISIS 2017 : 12th International Conference on Risks and Security of Internet and Systems
CRISIS 2017 : 12th International Conference on Risks and Security of Internet and Systems, Sep 2017, Dinard, France. pp.140-155, ⟨10.1007/978-3-319-76687-4_10⟩
CRiSIS
Proceedings CRISIS 2017 : 12th International Conference on Risks and Security of Internet and Systems
CRISIS 2017 : 12th International Conference on Risks and Security of Internet and Systems
CRISIS 2017 : 12th International Conference on Risks and Security of Internet and Systems, Sep 2017, Dinard, France. pp.140-155, ⟨10.1007/978-3-319-76687-4_10⟩
International audience; This paper presents a study of existing threat detection techniques in cloud computing, together with an experimental evaluation of a subset of them. We consider the threats defined in the Cloud Security Alliance (CSA) report
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::165db4ebdee83880a407c8d346c3aae3
https://doi.org/10.1007/978-3-319-76687-4_10
https://doi.org/10.1007/978-3-319-76687-4_10
Publikováno v:
ICSOFT
Proceedings ICSOFT 2018: 13th International Conference on Software Technologies
ICSOFT 2018: 13th International Conference on Software Technologies
ICSOFT 2018: 13th International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.120-131, ⟨10.5220/0006856501540165⟩
Proceedings ICSOFT 2018: 13th International Conference on Software Technologies
ICSOFT 2018: 13th International Conference on Software Technologies
ICSOFT 2018: 13th International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.120-131, ⟨10.5220/0006856501540165⟩
International audience; To improve software quality, it is necessary to introduce new metrics with the required detail and increased expressive power, in order to provide valuable information to the different actors of software development. In this p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a40b4ba227b3fc91c11e7ad9d87a8dcc
https://doi.org/10.5220/0006856501540165
https://doi.org/10.5220/0006856501540165
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319743127
Ershov Informatics Conference
Proceedings PSI 2017 : 11th International Adrei Ershov Informatics Conference
PSI 2017 : 11th International Adrei Ershov Informatics Conference
PSI 2017 : 11th International Adrei Ershov Informatics Conference, Jun 2017, Moscou, Russia. pp.59-71, ⟨10.1007/978-3-319-74313-4_5⟩
Ershov Informatics Conference
Proceedings PSI 2017 : 11th International Adrei Ershov Informatics Conference
PSI 2017 : 11th International Adrei Ershov Informatics Conference
PSI 2017 : 11th International Adrei Ershov Informatics Conference, Jun 2017, Moscou, Russia. pp.59-71, ⟨10.1007/978-3-319-74313-4_5⟩
International audience; This paper presents a security assurance platform to monitor and control the security in the context of multi-cloud applications. Indeed, this property is a crucial issue in multi cloud-based environments where many aspects ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d06564533c77b17c3cc096007fb6df42
https://doi.org/10.1007/978-3-319-74313-4_5
https://doi.org/10.1007/978-3-319-74313-4_5
Publikováno v:
EWDTS
Proceedings EWDTS 2017 : 15th IEEE East-West Design & Test Symposium
EWDTS 2017 : 15th IEEE East-West Design & Test Symposium
EWDTS 2017 : 15th IEEE East-West Design & Test Symposium, Sep 2017, Novi Sad, Serbia. pp.1-4, ⟨10.1109/EWDTS.2017.8110091⟩
Proceedings EWDTS 2017 : 15th IEEE East-West Design & Test Symposium
EWDTS 2017 : 15th IEEE East-West Design & Test Symposium
EWDTS 2017 : 15th IEEE East-West Design & Test Symposium, Sep 2017, Novi Sad, Serbia. pp.1-4, ⟨10.1109/EWDTS.2017.8110091⟩
International audience; The paper presents a Finite State Machine (FSM) based approach for deriving tests with reduced complexity, under the White Box testing assumption where all the faulty implementations are explicitly enumerated. The specificatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2bd9a32f6e4cc8f708a53b30d0ea177e
https://doi.org/10.1109/ewdts.2017.8110091
https://doi.org/10.1109/ewdts.2017.8110091