Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

28 Résultats
Structure : Identifiant HAL de la structure : 1067623

Unified verification and monitoring of executable UML specifications. A transformation-free approach

Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy
Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩
Article dans une revue hal-03463358v1
Image document

Guidelines for the Specification of IoT Requirements: A Smart Cars Case

Asmaa Achtaich , Camille Salinesi , Nissrine Souissi , Ounsa Roudies , Raul Mazo
IoT Protocols and Applications for Improving Industry, Environment, and Society, 2021
Article dans une revue hal-03566030v1

Prototyping FPGA through overlays

Theotime Bollengier , Loïc Lagadec , Ciprian Teodorov
2021 IEEE International Workshop on Rapid System Prototyping (RSP), Oct 2021, Paris, France. pp.15-21, ⟨10.1109/RSP53691.2021.9806222⟩
Communication dans un congrès hal-03761788v1
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
Communication dans un congrès hal-03207525v1

Security Analysis

Drouot Bastien , Valery Monthe , Sylvain Guérin , Joël Champeau
17th International Conference on Risks and Security of Internet and Systems, CRiSIS 2022, Dec 2022, Sousse, Tunisia. pp.133-152, ⟨10.1007/978-3-031-31108-6_11⟩
Communication dans un congrès hal-04161319v1
Image document

Taxonomy of Requirements Specification Templates

Hiba Hnaini , Raúl Mazo , Paola Vallejo , Jose Galindo , Joël Champeau
SoftEng 23, Apr 2023, Venice, Italy
Communication dans un congrès hal-04105054v1

Carnac: Algorithm Variability for Fast Swarm Verification on FPGA

Emilien Fournier , Ciprian Teodorov , Loïc Lagadec
2021 31st International Conference on Field-Programmable Logic and Applications (FPL), Aug 2021, Dresden, Germany. pp.185-189, ⟨10.1109/FPL53798.2021.00038⟩
Communication dans un congrès hal-03550389v1
Image document

Fouille de Processus de Configuration dans les Lignes de Produits

Camille Salinesi , Houssem Chemingui , Ines Gam , Raul Mazo , Henda Benghezala
INFORSID, Jun 2021, Dijon, France
Communication dans un congrès hal-03252121v1
Image document

PAMELA: an annotation-based Java Modeling Framework

Sylvain Guérin , Guillaume Polet , Caine Silva , Joel Champeau , Jean-Christophe Bach , et al.
Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Article dans une revue hal-03217126v1
Image document

Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case

Anne-Laure Wozniak , Sergio Segura , Raúl Mazo , Sarah Leroy
1st International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI), May 2022, Pittsburgh (virtual), United States. ⟨10.1145/3526073.3527592⟩
Communication dans un congrès hal-03647680v1

Practical multiverse debugging through user-defined reductions

Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Luka Le Roux , et al.
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩
Communication dans un congrès hal-03891589v1

Dolmen: FPGA Swarm for Safety and Liveness Verification

Emilien Fournier , Ciprian Teodorov , Loïc Lagadec
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩
Communication dans un congrès hal-03708237v1

“Snapshot” of the State of Software Reuse in Colombia

Luisa-Fernanda Restrepo-Gutiérrez , Elizabeth Suescún-Monsalve , Raúl Mazo , Paola-Andrea Vallejo-Correa , Daniel Correa
Revista Científica de la Universidad Distrital, 2022, 44 (2), pp.242-256. ⟨10.14483/23448350.18389⟩
Article dans une revue hal-03865842v1
Image document

Security Analysis: From model to system analysis

Drouot Bastien , Valery Monthe , Sylvain Guérin , Joël Champeau
CRiSiS 2022 : International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia
Communication dans un congrès hal-03866297v1
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⟩
Article dans une revue hal-03967801v1

Procédé de configuration d'un circuit logique programmable, circuit logique programmable et dispositif pour implémenter le procédé

Loïc Lagadec , Ciprian Teodorov , Jean-Christophe Le Lann , Théotime Bollengier
France, N° de brevet: FR3115134. 2022
Brevet hal-04032489v1
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
Communication dans un congrès hal-04077798v1

From OCL-based model static analysis to quick fixes

Frédéric Jouault , Maxime Méré , Matthias Brun , Théo Le Calvar , Matthias Pasquier , et al.
21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal (Canada), Canada. pp.889-893, ⟨10.1145/3550356.3561562⟩
Communication dans un congrès hal-03937212v1

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⟩
Article dans une revue hal-03937439v1
Image document

A Unified Vision of Configurable Software

Houssem Chemingui , Ines Gam , Raul Mazo , Henda Benghezala , Camille Salinesi
Inforsid, Jun 2020, Dijon, France. ⟨10.3166/RCMA.25.1-n⟩
Communication dans un congrès hal-03252096v1

State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements

Camille Salinesi , Asmaa Achtaich , Nissrine Souissi , Raul Mazo , Ounsa Roudies , et al.
Journal of Integrated Design and Process Science, 2021, 25 (2), pp.80-99. ⟨10.3233/JID210027⟩
Article dans une revue hal-03708271v1
Image document

A SysML-based Holistic Variability Modelling of Software and Systems Product Lines

Olfa Ferchichi , Raoudha Beltaifa , Raul Mazo , Lamia Labed Jilani
34th International Conference on Computer Applications in Industry and Engineering, CAINE 2021, Oct 2021, Virtual online, United States. pp.99 - 112
Communication dans un congrès hal-03708288v1
Image document

Security property modeling

Hiba Hnaini , Luka Le Roux , Joël Champeau , Ciprian Teodorov
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
Communication dans un congrès hal-03188864v1

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⟩
Communication dans un congrès hal-03687205v1
Image document

G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools

Ciprian Teodorov
Software Engineering [cs.SE]. Université de Bretagne Occidentale (UBO), Brest, 2023
HDR tel-04066483v1

Colla-Config: A stakeholders preferences-based approach for product lines collaborative configuration

Sihem Ben Sassi , Sabrine Edded , Raul Mazo , Henda Ben Ghezala , Camille Salinesi
Journal of Systems and Software, 2023, 197, pp.111586. ⟨10.1016/j.jss.2022.111586⟩
Article dans une revue hal-03970378v1

Multi-Level Modeling with Openflexo/FML

Sylvain Guérin , Joël Champeau , Jean-Christophe Bach , Antoine Beugnard , Fabien Dagnat , et al.
Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Article dans une revue hal-03692372v1

AnimUML as a UML Modeling and Verification Teaching Tool

Frédéric Jouault , Valentin Sebille , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov , et al.
MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
Communication dans un congrès hal-03408698v1