SDN Intent-based conformance checking: application to security policies
Nicolas Herbaut
,
Camilo Correa
,
Jacques Robin
,
Raul Mazo
7th IEEE International Conference on Network Softwarization (IEEE NetSoft 2021) , Jun 2021, Tokyo (virtual), Japan
Conference papers
hal-03207525v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges
Andrey Sadovykh
,
Tewfik Ziadi
,
Alessandra Bagnato
,
Thorsten Berger
,
Jan-Philipp Steghöfer
,
et al.
International Conference on Objects, Components, Models and Patterns (TOOLS 2019) , Oct 2019, Innopolis, Russia. pp.406-417,
⟨10.1007/978-3-030-29852-4_34⟩
Conference papers
hal-02428581v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The state of adoption and the challenges of systematic variability management in industry
Thorsten Berger
,
Jan-Philipp Steghöfer
,
Tewfik Ziadi
,
Jacques Robin
,
Jabier Martinez
Journal articles
hal-03968100v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Online Verification through Model Checking of Medical Critical Intelligent Systems
Joao Martins
,
Raul Barbosa
,
Nuno Lourenco
,
Jacques Robin
,
Henrique Madeira
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) , Jun 2020, Valencia, Spain. pp.32-37,
⟨10.1109/DSN-W50199.2020.00015⟩
Conference papers
hal-03967999v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
REVAMP: challenges and innovation roadmap for variability management in round-trip engineering of software-intensive systems
Andrey Sadovykh
,
Alessandra Bagnato
,
Jacques Robin
,
Alexander Viehl
,
Tewfik Ziadi
,
et al.
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes , In press, 120, pp.32-36
Journal articles
hal-03968410v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned
George Bravos
,
Antonio J Cabrera
,
Camilo Correa
,
Dragan Danilovic
,
Nikolaos Evangeliou
,
et al.
Journal articles
hal-03967801v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Lightweight Method to Define Solver-Agnostic Semantics of Domain Specific Languages for Software Product Line Variability Models
Camilo Correa
,
Raul Mazo
,
Andres O. Lopez
,
Jacques Robin
SOFTENG 2023 - The 9th International Conference on Advances and Trends in Software Engineering , IARIA: International Academy, Research and Industry Association, Apr 2023, Venise, Italy
Conference papers
hal-04077798v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned
George Bravos
,
Antonio Cabrera
,
Camilo Correa
,
Dragan Danilovic
,
Nikolaos Evangeliou
,
et al.
Journal articles
hal-03937439v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
Jacques Robin
,
Raúl Mazo
,
Henrique Madeira
,
Raul Barbosa
,
Daniel Diaz
,
et al.
International Workshop on Artificial Intelligence Safety Engineering , 2019, Turku, Finland
Conference papers
hal-02297049v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges
Andrey Sadovykh
,
Tewfik Ziadi
,
Alessandra Bagnato
,
Thorsten Berger
,
Jan-Philipp Steghöfer
,
et al.
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019 , Oct 2019, Innopolis, Russia. pp.406-417,
⟨10.1007/978-3-030-29852-4_34⟩
Conference papers
hal-03968251v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
REVAMP: Challenges and innovation roadmap for variability management in round-trip engineering of software-intensive systems
Andrey Sadovykh
,
Alessandra Bagnato
,
Jacques Robin
,
Alexander Viehl
,
Tewfik Ziadi
,
et al.
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes , 2017, 120, pp.32-36
Journal articles
hal-01529649v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search
Camilo Correa
,
Jacques Robin
,
Raul Mazo
,
Salvador Abreu
16th International Conference on Risks and Security of Internet and Systems, CRISIS 2021 , Nov 2021, Virtual, Online, United States. pp.91-107,
⟨10.1007/978-3-031-02067-4_6⟩
Conference papers
hal-03687205v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The State of Adoption and the Challenges of Systematic Variability Management in Industry
Thorsten Berger
,
Jan-Philipp Steghöfer
,
Tewfik Ziadi
,
Jacques Robin
,
Jabier Martinez
Journal articles
hal-02400963v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Online Verification through Model Checking of Medical Critical Intelligent Systems
Joao Martins
,
Raul Barbosa
,
Nuno Lourenco
,
Jacques Robin
,
Henrique Madeira
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) , Jun 2020, Valencia, Spain. pp.32-37,
⟨10.1109/DSN-W50199.2020.00015⟩
Conference papers
hal-03996783v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More