Search - Université Paris 1 Panthéon-Sorbonne Access content directly

Filter your results

14 Results
authFullName_s : Jacques Robin
Image document

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
Image document

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
Image document

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
Empirical Software Engineering, 2020, 25 (3), pp.1755-1797. ⟨10.1007/s10664-019-09787-6⟩
Journal articles hal-03968100v1
Image document

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
Image document

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
Image document

Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned

George Bravos , Antonio J Cabrera , Camilo Correa , Dragan Danilovic , Nikolaos Evangeliou , et al.
IEEE Access, 2022, 10, pp.124747-124765. ⟨10.1109/ACCESS.2022.3225074⟩
Journal articles hal-03967801v1
Image document

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

Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned

George Bravos , Antonio Cabrera , Camilo Correa , Dragan Danilovic , Nikolaos Evangeliou , et al.
IEEE Access, 2022, 10, pp.124747-124765. ⟨10.1109/ACCESS.2022.3225074⟩
Journal articles hal-03937439v1

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
Image document

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

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

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
Image document

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
Empirical Software Engineering, 2020, 25, pp.1755-1797. ⟨10.1007/s10664-019-09787-6⟩
Journal articles hal-02400963v1

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