Chokri Mraidha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
21
Active years
2003–2026
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MODELSWARD | Towards an Ontology-Driven MBSE Framework for Life Cycle Assessment. | Fatima Danash, Imen Azouzi, Saadia Dhouib, Chokri Mraidha |
| 2025 | ICMLA | Oracle-Guided Soft Shielding for Safe Move Prediction in Chess. | Prajit T. Rajendran, Fabio Arnez, Huscar Espinoza, Agns Delaborde, Chokri Mraidha |
| 2023 | DSD | An Ontological Approach for the Dependability Analysis of Automated Systems. | Guillaume Ollier, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha |
| 2023 | IC3K | A Methodology for Knowledge Integration and Acquisition in Model-Based Systems Engineering. | Luis Palacios Medinacelli, Florian Noyrit, Chokri Mraidha |
| 2023 | MODELS | Towards an End-to-End Metamodeling Approach Using Rust. | Lo Olivier, Marcos Didonet Del Fabro, Chokri Mraidha, Sbastien Grard |
| 2022 | AAAI | Human-in-the-loop Learning for Safe Exploration through Anomaly Prediction and Intervention. | Prajit T. Rajendran, Huscar Espinoza, Agns Delaborde, Chokri Mraidha |
| 2022 | DSD | Skeptical Dynamic Dependability Management for Automated Systems. | Fabio Arnez, Guillaume Ollier, Ansgar Radermacher, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha, Franois Terrier |
| 2022 | EDCC | Using Operational Design Domain in Hazard Identification for Automated Systems. | Guillaume Ollier, Diana Razafindrabe, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha |
| 2022 | IJCAI | Safety-aware Active Learning with Perceptual Ambiguity and Criticality Assessment. | Prajit T. Rajendran, Guillaume Ollier, Huscar Espinoza, Morayo Adedjouma, Agns Delaborde, Chokri Mraidha |
| 2022 | MODELS | Augmenting model-based systems engineering with knowledge. | Luis Palacios Medinacelli, Florian Noyrit, Chokri Mraidha |
| 2021 | MODELSWARD | From User Stories to Models: A Machine Learning Empowered Automation. | Takwa Kochbati, Shuai Li, Sbastien Grard, Chokri Mraidha |
| 2021 | SEKE | From word embeddings to text similarities for improved semantic clustering of functional requirements (S). | Takwa Kochbati, Sbastien Grard, Shuai Li, Chokri Mraidha |
| 2021 | SAFECOMP | Human-in-the-Loop Learning Methods Toward Safe DL-Based Autonomous Systems: A Review. | Prajit T. Rajendran, Huscar Espinoza, Agns Delaborde, Chokri Mraidha |
| 2020 | RTCSA | Cyclic Scheduling of Loop-Intensive Applications on Heterogeneous Multiprocessor Architectures. | Philippe Glanon, Selma Azaiez, Chokri Mraidha |
| 2019 | MODELS | A Model Driven Tool for Requirements and Hardware Engineering. | Asma Charfi, Shuai Li, Thomas Peyret, Patrick Tessier, Chokri Mraidha, Sbastien Grard |
| 2019 | VECoS | Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules. | Philippe Glanon, Selma Azaiez, Chokri Mraidha |
| 2018 | WFCS | A modular interoperability layer for connecting the business and manufacturing systems. | Philippe Glanon, Selma Azaiez, Chokri Mraidha |
| 2017 | ETFA | Multi-agent solutions for energy systems: A model driven approach. | Lamia Ben Romdhane, Hassan A. Sleiman, Chokri Mraidha, Saadia Dhouib |
| 2017 | EUMAS | A Model Driven Methodology for Developing Multi Agent Solutions for Energy Systems. | Lamia Ben Romdhane, Hassan A. Sleiman, Saadia Dhouib, Chokri Mraidha |
| 2016 | ICECCS | Fostering Software Architect and Programmer Collaboration. | Van Cam Pham, Shuai Li, Ansgar Radermacher, Sebastien Gerard, Chokri Mraidha |
| 2016 | MODELS | From Document-Based to Model-Based System and Software Engineering: Experience Report of a Selective Catalytic Reduction System Development. | Morayo Adedjouma, Thibaud Thomas, Chokri Mraidha, Sebastien Gerard, Guillaume Zeller |
| 2015 | HPCC | Simulation-Driven Optimization of Real-Time Control Tasks. | Matteo Morelli, Yasmina Seddik, Marco Di Natale, Chokri Mraidha, Sara Tucci Piergiovanni |
| 2013 | ETFA | An optimization approach for the synthesis of AUTOSAR architectures. | Ernest Wozniak, Asma Mehiaoui, Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard |
| 2013 | SAFECOMP | Automatic Optimisation of System Architectures using EAST-ADL. | De-Jiu Chen, Henrik Lnn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Lus Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker |
| 2012 | ETFA | Guided task model construction for automotive systems based on time budgets. | Ernest Wozniak, Chokri Mraidha, Sebastien Gerard |
| 2012 | ISORC | An Optimized Compilation of UML State Machines. | Asma Charfi, Chokri Mraidha, Pierre Boulet |
| 2012 | MODELS | Real-time design models to RTOS-specific models refinement verification. | Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid |
| 2011 | ICECCS | An Efficient Modeling and Execution Framework for Complex Systems Development. | Isabelle Perseil, Laurent Pautet, Jean-Franois Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frdric Mallet, Dominique Bertrand, Sbastien Faucou, Abdelhafid Zitouni, Mahmoud Boufada, Lionel Seinturier, Jol Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sbastien Grard |
| 2011 | TrustCom | A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications. | Sara Tucci Piergiovanni, Chokri Mraidha, Ernest Wozniak, Agnes Lanusse, Sbastien Grard |
| 2010 | DATE | Toward optimized code generation through model-based optimization. | Asma Charfi, Chokri Mraidha, Sbastien Grard, Franois Terrier, Pierre Boulet |
| 2010 | ETFA | Generation of schedulable real-time component implementations. | Ansgar Radermacher, Chokri Mraidha, Sara Tucci Piergiovanni, Sbastien Grard |
| 2010 | ISORC | Does Code Generation Promote or Prevent Optimizations? | Asma Charfi, Chokri Mraidha, Sbastien Grard, Franois Terrier, Pierre Boulet |
| 2008 | ICECCS | AnExecution Framework for MARTE-Based Models. | Chokri Mraidha, Yann Tanguy, Christophe Jouvray, Franois Terrier, Sebastien Gerard |
| 2007 | MODELS | Enhancing UML Extensions with Operational Semantics. | Arnaud Cuccuru, Chokri Mraidha, Franois Terrier, Sbastien Grard |
| 2004 | ISORC | A UML-Based Concept for High Concurrency: The Real-Time Object. | Sbastien Grard, Chokri Mraidha, Franois Terrier, Benoit Baudry |
| 2003 | ISORC | A Two-Aspect Approach for a Clearer Behavior Model. | Chokri Mraidha, Sbastien Grard, Franois Terrier, Judith Benzakki |
| 2003 | RSP | A Component-Based Methodology for Embedded System Prototyping. | Patrick Tessier, Sbastien Grard, Chokri Mraidha, Jean-Marc Geib |