Chokri Mraidha

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 29

Top Topics

Cyclic Scheduling

Effective Pruning

Systems Engineering

Top Venues

MoDELS (Companion)

SAFECOMP Workshops

Publications

Léo Olivier, Marcos Didonet Del Fabro, Chokri Mraidha, Sébastien Gérard
Towards an End-to-End Metamodeling Approach Using Rust. MoDELS (Companion) (2023)
Prajit T. Rajendran, Huáscar Espinoza, Agnès Delaborde, Chokri Mraidha
Stream-Based Active Learning with Adaptive Uncertainty and Diversity Thresholds. MLSP (2023)
Prajit T. Rajendran, Huáscar Espinoza, Agnès Delaborde, Chokri Mraidha
Unsupervised Unknown Unknown Detection in Active Learning. AISafety/SafeRL@IJCAI (2023)
Léo Pouy, Fouad Khenfri, Patrick Leserf, Chokri Mraidha, Chérif Larouci
An Approach for Efficient Neural Architecture Search Space Definition. CoRR (2023)
Guillaume Ollier, Fabio Arnez, Morayo Adedjouma, Raphaël Lallement, Simos Gerasimou, Chokri Mraidha
Towards an Ontological Methodology for Dynamic Dependability Management of Unmanned Aerial Vehicles. DroneSE/RAPIDO@HiPEAC (2023)
Guillaume Ollier, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha
An Ontological Approach for the Dependability Analysis of Automated Systems. DSD (2023)
Luis Palacios Medinacelli, Florian Noyrit, Chokri Mraidha
A Methodology for Knowledge Integration and Acquisition in Model-Based Systems Engineering. KEOD (2023)
Parisis Gallos, Rance DeLong, Nicholas Matragkas, Allan Blanchard, Chokri Mraidha, Gregory Epiphaniou, Carsten Maple, Konstantinos Katzis, Jaime Delgado, Silvia Llorente, Pedro Maló, Andreas Menychtas, Christos Panagopoulos, Ilias Maglogiannis, Petros Papachristou, Mariana Soares, Paula Breia, Ana Cristina Vidal, Martin Ratz, Ross Williamson, Eduard Erwee, Lukasz Stasiak, Orfeu Flores, Carla Clemente, John Mantas, Patrick Weber, Theodoros N. Arvanitis, Scott Hansen
MedSecurance Project: Advanced Security-for-Safety Assurance for Medical Device IoT (IoMT). MIE (2023)
Leo Pouy, Fouad Khenfri, Patrick Leserf, Chokri Mraidha, Chérif Larouci
Open-NAS: A customizable search space for Neural Architecture Search. ICMLT (2023)
Prajit T. Rajendran, Guillaume Ollier, Huáscar Espinoza, Morayo Adedjouma, Agnès Delaborde, Chokri Mraidha
Safety-aware Active Learning with Perceptual Ambiguity and Criticality Assessment. AISafety@IJCAI (2022)
Fabio Arnez, Guillaume Ollier, Ansgar Radermacher, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha, François Terrier
Skeptical Dynamic Dependability Management for Automated Systems. DSD (2022)
Prajit T. Rajendran, Huáscar Espinoza, Agnès Delaborde, Chokri Mraidha
Human-in-the-loop Learning for Safe Exploration through Anomaly Prediction and Intervention. SafeAI@AAAI (2022)
Luis Palacios Medinacelli, Florian Noyrit, Chokri Mraidha
Augmenting model-based systems engineering with knowledge. MoDELS (Companion) (2022)
Guillaume Ollier, Diana Razafindrabe, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha
Using Operational Design Domain in Hazard Identification for Automated Systems. EDCC (2022)
Prajit T. Rajendran, Huáscar Espinoza, Agnès Delaborde, Chokri Mraidha
Human-in-the-Loop Learning Methods Toward Safe DL-Based Autonomous Systems: A Review. SAFECOMP Workshops (2021)
Takwa Kochbati, Shuai Li, Sébastien Gérard, Chokri Mraidha
From User Stories to Models: A Machine Learning Empowered Automation. MODELSWARD (2021)
Bassem Ouni, Christophe Aussaguès, Saadia Dhouib, Chokri Mraidha
Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors. Sensors 21 (15) (2021)
Takwa Kochbati, Sébastien Gérard, Shuai Li, Chokri Mraidha
From word embeddings to text similarities for improved semantic clustering of functional requirements (S). SEKE (2021)
Philippe Glanon, Selma Azaiez, Chokri Mraidha
Cyclic Scheduling of Loop-Intensive Applications on Heterogeneous Multiprocessor Architectures. RTCSA (2020)
Philippe Glanon, Selma Azaiez, Chokri Mraidha
Analyzing Throughput for Cyber-Physical Systems modeled with Synchronous Dataflow. CPS Summer School, PhD Workshop (2019)
Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
From real-time design model to RTOS-specific models: a model-driven methodology. Int. J. Embed. Syst. 11 (6) (2019)
Asma Charfi, Shuai Li, Thomas Peyret, Patrick Tessier, Chokri Mraidha, Sébastien Gérard
A Model Driven Tool for Requirements and Hardware Engineering. MoDELS (Companion) (2019)
Philippe Glanon, Selma Azaiez, Chokri Mraidha
Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules. VECoS (2019)
Asma Mehiaoui, Ernest Wozniak, Jean-Philippe Babau, Sara Tucci Piergiovanni, Chokri Mraidha
Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures. Autom. Softw. Eng. 26 (1) (2019)
Philippe Glanon, Selma Azaiez, Chokri Mraidha
A modular interoperability layer for connecting the business and manufacturing systems. WFCS (2018)
Lamia Ben Romdhane, Hassan A. Sleiman, Saadia Dhouib, Chokri Mraidha
A Model Driven Methodology for Developing Multi Agent Solutions for Energy Systems. EUMAS/AT (2017)
Lamia Ben Romdhane, Hassan A. Sleiman, Chokri Mraidha, Saadia Dhouib
Multi-agent solutions for energy systems: A model driven approach. ETFA (2017)
Van Cam Pham, Shuai Li, Ansgar Radermacher, Sebastien Gerard, Chokri Mraidha
Fostering Software Architect and Programmer Collaboration. ICECCS (2016)
Morayo Adedjouma, Thibaud Thomas, Chokri Mraidha, Sebastien Gerard, Guillaume Zeller
From Document-Based to Model-Based System and Software Engineering: Experience Report of a Selective Catalytic Reduction System Development. EduSymp/OSS4MDE@MoDELS (2016)
Matteo Morelli, Yasmina Seddik, Marco Di Natale, Chokri Mraidha, Sara Tucci Piergiovanni
Simulation-Driven Optimization of Real-Time Control Tasks. HPCC/CSS/ICESS (2015)
Ramin Tavakoli Kolagari, De-Jiu Chen, Agnes Lanusse, Renato Librino, Henrik Lönn, Nidhal Mahmud, Chokri Mraidha, Mark-Oliver Reiser, Sandra Torchiaro, Sara Tucci Piergiovanni, Tobias Wägemann, Nataliya Yakymets
Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited. Int. J. Concept. Struct. Smart Appl. 3 (2) (2015)
Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard
Assigning time budgets to component functions in the design of time-critical automotive systems. ASE (2014)
Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
RTOS-Aware Refactoring for Portable Real-Time Design Models. J. Softw. 9 (7) (2014)
Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
SRMP: a software pattern for deadlocks prevention inreal-time concurrency models. QoSA (2014)
Asma Mehiaoui, Sara Tucci Piergiovanni, Chokri Mraidha, Jean-Philippe Babau
Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems. SIES (2014)
Ernest Wozniak, Asma Mehiaoui, Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard
An optimization approach for the synthesis of AUTOSAR architectures. ETFA (2013)
Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gérard
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. LCTES (2013)
De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker
Automatic Optimisation of System Architectures using EAST-ADL. ASCoMS@SAFECOMP (2013)
Rania Mzid, Chokri Mraidha, Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Mohamed Abid
DPMP: A Software Pattern for Real-Time Tasks Merge. ECMFA (2013)
Martin Walker, Mark-Oliver Reiser, Sara Tucci Piergiovanni, Yiannis Papadopoulos, Henrik Lönn, Chokri Mraidha, David Parker, De-Jiu Chen, David Servat
Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. 86 (10) (2013)
Ernest Wozniak, Chokri Mraidha, Sebastien Gerard
Guided task model construction for automotive systems based on time budgets. ETFA (2012)
Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
Real-time design models to RTOS-specific models refinement verification. ACES-MB@MoDELS (2012)
Asma Charfi, Chokri Mraidha, Pierre Boulet
An Optimized Compilation of UML State Machines. ISORC (2012)
Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
A MDD Approach for RTOS Integration on Valid Real-Time Design Model. EUROMICRO-SEAA (2012)
Yessine Hadj Kacem, Adel Mahfoudhi, Amina Magdich, Chokri Mraidha, Walid Karamti
Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams. ECBS (2012)
Sara Tucci Piergiovanni, Chokri Mraidha, Ernest Wozniak, Agnes Lanusse, Sébastien Gérard
A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications. TrustCom (2011)
Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard
Optimum: a MARTE-based methodology for schedulability analysis at early design stages. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Ernest Wozniak, Chokri Mraidha, Sebastien Gerard, François Terrier
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain. EUROMICRO-SEAA (2011)
Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard
An Efficient Modeling and Execution Framework for Complex Systems Development. ICECCS (2011)
Asma Charfi, Chokri Mraidha, Sébastien Gérard, François Terrier, Pierre Boulet
Toward optimized code generation through model-based optimization. DATE (2010)
Ansgar Radermacher, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard
Generation of schedulable real-time component implementations. ETFA (2010)
Julien DeAntoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon
RT-simex: retro-analysis of execution traces. SIGSOFT FSE (2010)
Asma Charfi, Chokri Mraidha, Sébastien Gérard, François Terrier, Pierre Boulet
Does Code Generation Promote or Prevent Optimizations? ISORC (2010)
Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard
AnExecution Framework for MARTE-Based Models. ICECCS (2008)
Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard
Templatable Metamodels for Semantic Variation Points. ECMDA-FA (2007)
Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard
Enhancing UML Extensions with Operational Semantics. MoDELS (2007)
Sébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry
A UML-Based Concept for High Concurrency: The Real-Time Object. ISORC (2004)
Chokri Mraidha, Sylvain Robert, Sébastien Gérard, David Servat
MDA Platform for Complex Embedded Systems Development. DIPES (2004)
Chokri Mraidha, Sébastien Gérard, François Terrier, Judith Benzakki
A Two-Aspect Approach for a Clearer Behavior Model. ISORC (2003)
Patrick Tessier, Sébastien Gérard, Chokri Mraidha, Jean-Marc Geib
A Component-Based Methodology for Embedded System Prototyping. IEEE International Workshop on Rapid System Prototyping (2003)