![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Chokri Mraidha
Person information
- affiliation: University of Paris-Saclay, France
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2021
- [j7]Bassem Ouni
, Christophe Aussaguès, Saadia Dhouib, Chokri Mraidha
:
Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors. Sensors 21(15): 5136 (2021) - 2019
- [j6]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): 1-57 (2019) - [j5]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): 738-754 (2019) - 2015
- [j4]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): 25-70 (2015) - 2014
- [j3]Rania Mzid
, Chokri Mraidha
, Jean-Philippe Babau, Mohamed Abid:
RTOS-Aware Refactoring for Portable Real-Time Design Models. J. Softw. 9(7): 1737-1748 (2014) - 2013
- [j2]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): 2467-2487 (2013) - 2011
- [j1]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): 1-8 (2011)
Conference and Workshop Papers
- 2023
- [c52]Prajit T. Rajendran, Huáscar Espinoza, Agnès Delaborde, Chokri Mraidha:
Unsupervised Unknown Unknown Detection in Active Learning. AISafety/SafeRL@IJCAI 2023 - [c51]Guillaume Ollier, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha:
An Ontological Approach for the Dependability Analysis of Automated Systems. DSD 2023: 593-601 - [c50]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: 12-19 - [c49]Luis Palacios Medinacelli, Florian Noyrit, Chokri Mraidha:
A Methodology for Knowledge Integration and Acquisition in Model-Based Systems Engineering. KEOD 2023: 264-271 - [c48]Leo Pouy
, Fouad Khenfri
, Patrick Leserf
, Chokri Mraidha
, Chérif Larouci
:
Open-NAS: A customizable search space for Neural Architecture Search. ICMLT 2023: 102-107 - [c47]Parisis Gallos
, Rance J. 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: 337-341 - [c46]Prajit T. Rajendran, Huáscar Espinoza, Agnès Delaborde, Chokri Mraidha:
Stream-Based Active Learning with Adaptive Uncertainty and Diversity Thresholds. MLSP 2023: 1-6 - [c45]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: 381-390 - 2022
- [c44]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 - [c43]Fabio Arnez
, Guillaume Ollier
, Ansgar Radermacher, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha, François Terrier:
Skeptical Dynamic Dependability Management for Automated Systems. DSD 2022: 118-125 - [c42]Guillaume Ollier
, Diana Razafindrabe, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha:
Using Operational Design Domain in Hazard Identification for Automated Systems. EDCC 2022: 109-112 - [c41]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 - [c40]Luis Palacios Medinacelli, Florian Noyrit, Chokri Mraidha:
Augmenting model-based systems engineering with knowledge. MoDELS (Companion) 2022: 351-358 - 2021
- [c39]Takwa Kochbati, Shuai Li, Sébastien Gérard, Chokri Mraidha:
From User Stories to Models: A Machine Learning Empowered Automation. MODELSWARD 2021: 28-40 - [c38]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: 251-264 - [c37]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: 285-290 - 2020
- [c36]Philippe Glanon, Selma Azaiez, Chokri Mraidha
:
Cyclic Scheduling of Loop-Intensive Applications on Heterogeneous Multiprocessor Architectures. RTCSA 2020: 1-10 - 2019
- [c35]Philippe Glanon, Selma Azaiez, Chokri Mraidha:
Analyzing Throughput for Cyber-Physical Systems modeled with Synchronous Dataflow. CPS Summer School, PhD Workshop 2019: 1-9 - [c34]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: 769-773 - [c33]Philippe Glanon, Selma Azaiez, Chokri Mraidha
:
Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules. VECoS 2019: 79-94 - 2018
- [c32]Philippe Glanon, Selma Azaiez, Chokri Mraidha
:
A modular interoperability layer for connecting the business and manufacturing systems. WFCS 2018: 1-4 - 2017
- [c31]Lamia Ben Romdhane, Hassan A. Sleiman, Chokri Mraidha
, Saadia Dhouib:
Multi-agent solutions for energy systems: A model driven approach. ETFA 2017: 1-4 - [c30]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: 54-69 - 2016
- [c29]Van Cam Pham, Shuai Li, Ansgar Radermacher, Sebastien Gerard, Chokri Mraidha
:
Fostering Software Architect and Programmer Collaboration. ICECCS 2016: 3-12 - [c28]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: 27-36 - 2015
- [c27]Matteo Morelli
, Yasmina Seddik, Marco Di Natale, Chokri Mraidha
, Sara Tucci Piergiovanni:
Simulation-Driven Optimization of Real-Time Control Tasks. HPCC/CSS/ICESS 2015: 991-1000 - 2014
- [c26]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: 235-246 - [c25]Rania Mzid
, Chokri Mraidha
, Jean-Philippe Babau, Mohamed Abid:
SRMP: a software pattern for deadlocks prevention inreal-time concurrency models. QoSA 2014: 139-144 - [c24]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: 122-132 - 2013
- [c23]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: 101-117 - [c22]Ernest Wozniak, Asma Mehiaoui, Chokri Mraidha
, Sara Tucci Piergiovanni, Sebastien Gerard
:
An optimization approach for the synthesis of AUTOSAR architectures. ETFA 2013: 1-10 - [c21]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: 121-132 - [c20]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 - 2012
- [c19]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: 316-323 - [c18]Ernest Wozniak, Chokri Mraidha
, Sebastien Gerard:
Guided task model construction for automotive systems based on time budgets. ETFA 2012: 1-4 - [c17]Rania Mzid
, Chokri Mraidha
, Jean-Philippe Babau, Mohamed Abid:
A MDD Approach for RTOS Integration on Valid Real-Time Design Model. EUROMICRO-SEAA 2012: 9-16 - [c16]Asma Charfi, Chokri Mraidha
, Pierre Boulet
:
An Optimized Compilation of UML State Machines. ISORC 2012: 172-179 - [c15]Rania Mzid
, Chokri Mraidha
, Jean-Philippe Babau, Mohamed Abid:
Real-time design models to RTOS-specific models refinement verification. ACES-MB@MoDELS 2012: 25-30 - 2011
- [c14]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: 468-476 - [c13]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: 317-331 - [c12]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: 1176-1187 - 2010
- [c11]Asma Charfi, Chokri Mraidha
, Sébastien Gérard
, François Terrier, Pierre Boulet
:
Toward optimized code generation through model-based optimization. DATE 2010: 1313-1316 - [c10]Ansgar Radermacher, Chokri Mraidha
, Sara Tucci Piergiovanni
, Sébastien Gérard:
Generation of schedulable real-time component implementations. ETFA 2010: 1-4 - [c9]Asma Charfi, Chokri Mraidha
, Sébastien Gérard, François Terrier, Pierre Boulet
:
Does Code Generation Promote or Prevent Optimizations? ISORC 2010: 75-79 - [c8]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: 377-378 - 2008
- [c7]Chokri Mraidha
, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard:
AnExecution Framework for MARTE-Based Models. ICECCS 2008: 222-227 - 2007
- [c6]Arnaud Cuccuru, Chokri Mraidha
, François Terrier, Sébastien Gérard
:
Templatable Metamodels for Semantic Variation Points. ECMDA-FA 2007: 68-82 - [c5]Arnaud Cuccuru, Chokri Mraidha
, François Terrier, Sébastien Gérard
:
Enhancing UML Extensions with Operational Semantics. MoDELS 2007: 271-285 - 2004
- [c4]Chokri Mraidha, Sylvain Robert, Sébastien Gérard, David Servat:
MDA Platform for Complex Embedded Systems Development. DIPES 2004: 1-10 - [c3]Sébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry:
A UML-Based Concept for High Concurrency: The Real-Time Object. ISORC 2004: 64-67 - 2003
- [c2]Chokri Mraidha
, Sébastien Gérard, François Terrier, Judith Benzakki:
A Two-Aspect Approach for a Clearer Behavior Model. ISORC 2003: 213-220 - [c1]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: 9-15
Parts in Books or Collections
- 2014
- [p1]Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard:
Schedulability Analysis at Early Design Stages with MARTE. Embedded Systems Development, From Functional Models to Implementations 2014: 101-119
Informal and Other Publications
- 2023
- [i1]Léo Pouy, Fouad Khenfri, Patrick Leserf, Chokri Mraidha, Chérif Larouci:
An Approach for Efficient Neural Architecture Search Space Definition. CoRR abs/2310.17669 (2023)
Coauthor Index
aka: Sebastien Gerard
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-28 21:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint