Chokri Mraidha

67 papers A* 1A 2B 7C 18Misc 1Journal 10Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Oracle-Guided Soft Shielding for Safe Move Prediction in Chess. CoRR Prajit T. Rajendran, Fabio Arnez, Huáscar Espinoza, Agnès Delaborde, Chokri Mraidha
2026	C	`conf`	Towards an Ontology-Driven MBSE Framework for Life Cycle Assessment. MODELSWARD Fatima Danash, Imen Azouzi, Saadia Dhouib, Chokri Mraidha
2025	J	`jnl`	Can Less Precise Be More Reliable? A Systematic Evaluation of Quantization's Impact on CLIP Beyond Accuracy. CoRR Aymen Bouguerra, Daniel Montoya, Alexandra Gomez-Villa, Fabio Arnez, Chokri Mraidha
2025	—	`conf`	On the use of LLMs for design pattern detection in software models. STAF Workshops Yassine Abdeljalil, Ansgar Radermacher, Marcos Didonet Del Fabro, Chokri Mraidha
2025	C	`conf`	Oracle-Guided Soft Shielding for Safe Move Prediction in Chess. ICMLA Prajit T. Rajendran, Fabio Arnez, Huáscar Espinoza, Agnès Delaborde, Chokri Mraidha
2024	—	`conf`	INSAFEDARE Project: Innovative Applications of Assessment and Assurance of Data and Synthetic Data for Regulatory Decision Support. MIE Parisis Gallos, Nicholas Matragkas, Saif ul Islam, Gregory Epiphaniou, Scott Hansen, Stuart Harrison, Marcel R. Haas, Giorgos Pappous, Simon Brouwer, Francesco Torlontano, Saadullah Farooq Abbasi, Omid Pournik, James Churm, John Mantas, Carlos Luis Parra Calderón, Dimitrios Petkousis, Patrick Weber, Benjamin Dzingina, Chokri Mraidha, Carsten Maple, Jim Achterberg, Marco Spruit, Evi Saratsioti, Younes Moustaghfir, Theodoros N. Arvanitis
2023	C	`conf`	A Methodology for Knowledge Integration and Acquisition in Model-Based Systems Engineering. KEOD Luis Palacios Medinacelli, Florian Noyrit, Chokri Mraidha
2023	J	`jnl`	An Approach for Efficient Neural Architecture Search Space Definition. CoRR Léo Pouy, Fouad Khenfri, Patrick Leserf, Chokri Mraidha, Chérif Larouci
2023	C	`conf`	An Ontological Approach for the Dependability Analysis of Automated Systems. DSD Guillaume Ollier, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha
2023	—	`conf`	MedSecurance Project: Advanced Security-for-Safety Assurance for Medical Device IoT (IoMT). MIE 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
2023	—	`conf`	Open-NAS: A customizable search space for Neural Architecture Search. ICMLT Leo Pouy, Fouad Khenfri, Patrick Leserf, Chokri Mraidha, Chérif Larouci
2023	—	`conf`	Stream-Based Active Learning with Adaptive Uncertainty and Diversity Thresholds. MLSP Prajit T. Rajendran, Huáscar Espinoza, Agnès Delaborde, Chokri Mraidha
2023	—	`conf`	Towards an End-to-End Metamodeling Approach Using Rust. MoDELS (Companion) Léo Olivier, Marcos Didonet Del Fabro, Chokri Mraidha, Sébastien Gérard
2023	—	`conf`	Towards an Ontological Methodology for Dynamic Dependability Management of Unmanned Aerial Vehicles. DroneSE/RAPIDO@HiPEAC Guillaume Ollier, Fabio Arnez, Morayo Adedjouma, Raphaël Lallement, Simos Gerasimou, Chokri Mraidha
2023	—	`conf`	Unsupervised Unknown Unknown Detection in Active Learning. AISafety/SafeRL@IJCAI Prajit T. Rajendran, Huáscar Espinoza, Agnès Delaborde, Chokri Mraidha
2022	—	`conf`	Augmenting model-based systems engineering with knowledge. MoDELS (Companion) Luis Palacios Medinacelli, Florian Noyrit, Chokri Mraidha
2022	—	`conf`	Human-in-the-loop Learning for Safe Exploration through Anomaly Prediction and Intervention. SafeAI@AAAI Prajit T. Rajendran, Huáscar Espinoza, Agnès Delaborde, Chokri Mraidha
2022	—	`conf`	Safety-aware Active Learning with Perceptual Ambiguity and Criticality Assessment. AISafety@IJCAI Prajit T. Rajendran, Guillaume Ollier, Huáscar Espinoza, Morayo Adedjouma, Agnès Delaborde, Chokri Mraidha
2022	C	`conf`	Skeptical Dynamic Dependability Management for Automated Systems. DSD Fabio Arnez, Guillaume Ollier, Ansgar Radermacher, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha, François Terrier
2022	Misc	`conf`	Using Operational Design Domain in Hazard Identification for Automated Systems. EDCC Guillaume Ollier, Diana Razafindrabe, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha
2021	C	`conf`	From User Stories to Models: A Machine Learning Empowered Automation. MODELSWARD Takwa Kochbati, Shuai Li, Sébastien Gérard, Chokri Mraidha
2021	C	`conf`	From word embeddings to text similarities for improved semantic clustering of functional requirements (S). SEKE Takwa Kochbati, Sébastien Gérard, Shuai Li, Chokri Mraidha
2021	—	`conf`	Human-in-the-Loop Learning Methods Toward Safe DL-Based Autonomous Systems: A Review. SAFECOMP Workshops Prajit T. Rajendran, Huáscar Espinoza, Agnès Delaborde, Chokri Mraidha
2021	J	`jnl`	Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors. Sensors Bassem Ouni, Christophe Aussaguès, Saadia Dhouib, Chokri Mraidha
2020	B	`conf`	Cyclic Scheduling of Loop-Intensive Applications on Heterogeneous Multiprocessor Architectures. RTCSA Philippe Glanon, Selma Azaiez, Chokri Mraidha
2019	—	`conf`	A Model Driven Tool for Requirements and Hardware Engineering. MoDELS (Companion) Asma Charfi, Shuai Li, Thomas Peyret, Patrick Tessier, Chokri Mraidha, Sébastien Gérard
2019	—	`conf`	Analyzing Throughput for Cyber-Physical Systems modeled with Synchronous Dataflow. CPS Summer School, PhD Workshop Philippe Glanon, Selma Azaiez, Chokri Mraidha
2019	C	`conf`	Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules. VECoS Philippe Glanon, Selma Azaiez, Chokri Mraidha
2019	J	`jnl`	From real-time design model to RTOS-specific models: a model-driven methodology. Int. J. Embed. Syst. Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
2019	J	`jnl`	Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures. Autom. Softw. Eng. Asma Mehiaoui, Ernest Wozniak, Jean-Philippe Babau, Sara Tucci Piergiovanni, Chokri Mraidha
2018	C	`conf`	A modular interoperability layer for connecting the business and manufacturing systems. WFCS Philippe Glanon, Selma Azaiez, Chokri Mraidha
2017	—	`conf`	A Model Driven Methodology for Developing Multi Agent Solutions for Energy Systems. EUMAS/AT Lamia Ben Romdhane, Hassan A. Sleiman, Saadia Dhouib, Chokri Mraidha
2017	C	`conf`	Multi-agent solutions for energy systems: A model driven approach. ETFA Lamia Ben Romdhane, Hassan A. Sleiman, Chokri Mraidha, Saadia Dhouib
2016	B	`conf`	Fostering Software Architect and Programmer Collaboration. ICECCS Van Cam Pham, Shuai Li, Ansgar Radermacher, Sebastien Gerard, Chokri Mraidha
2016	—	`conf`	From Document-Based to Model-Based System and Software Engineering: Experience Report of a Selective Catalytic Reduction System Development. EduSymp/OSS4MDE@MoDELS Morayo Adedjouma, Thibaud Thomas, Chokri Mraidha, Sebastien Gerard, Guillaume Zeller
2015	J	`jnl`	Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited. Int. J. Concept. Struct. Smart Appl. 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
2015	—	`conf`	Simulation-Driven Optimization of Real-Time Control Tasks. HPCC/CSS/ICESS Matteo Morelli, Yasmina Seddik, Marco Di Natale, Chokri Mraidha, Sara Tucci Piergiovanni
2014	A*	`conf`	Assigning time budgets to component functions in the design of time-critical automotive systems. ASE Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard
2014	—	`conf`	Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems. SIES Asma Mehiaoui, Sara Tucci Piergiovanni, Chokri Mraidha, Jean-Philippe Babau
2014	J	`jnl`	RTOS-Aware Refactoring for Portable Real-Time Design Models. J. Softw. Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
2014	—	`conf`	SRMP: a software pattern for deadlocks prevention inreal-time concurrency models. QoSA Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
2014	—	`ch.`	Schedulability Analysis at Early Design Stages with MARTE. Embedded Systems Development, From Functional Models to Implementations Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard
2013	B	`conf`	A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. LCTES Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gérard
2013	C	`conf`	An optimization approach for the synthesis of AUTOSAR architectures. ETFA Ernest Wozniak, Asma Mehiaoui, Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard
2013	—	`conf`	Automatic Optimisation of System Architectures using EAST-ADL. ASCoMS@SAFECOMP De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker
2013	J	`jnl`	Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. Martin Walker, Mark-Oliver Reiser, Sara Tucci Piergiovanni, Yiannis Papadopoulos, Henrik Lönn, Chokri Mraidha, David Parker, De-Jiu Chen, David Servat
2013	B	`conf`	DPMP: A Software Pattern for Real-Time Tasks Merge. ECMFA Rania Mzid, Chokri Mraidha, Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Mohamed Abid
2012	—	`conf`	A MDD Approach for RTOS Integration on Valid Real-Time Design Model. EUROMICRO-SEAA Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
2012	C	`conf`	An Optimized Compilation of UML State Machines. ISORC Asma Charfi, Chokri Mraidha, Pierre Boulet
2012	C	`conf`	Guided task model construction for automotive systems based on time budgets. ETFA Ernest Wozniak, Chokri Mraidha, Sebastien Gerard
2012	—	`conf`	Real-time design models to RTOS-specific models refinement verification. ACES-MB@MoDELS Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
2012	—	`conf`	Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams. ECBS Yessine Hadj Kacem, Adel Mahfoudhi, Amina magdich, Chokri Mraidha, Walid Karamti
2011	—	`conf`	A Guidance Framework for the Generation of Implementation Models in the Automotive Domain. EUROMICRO-SEAA Ernest Wozniak, Chokri Mraidha, Sebastien Gerard, François Terrier
2011	B	`conf`	A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications. TrustCom Sara Tucci Piergiovanni, Chokri Mraidha, Ernest Wozniak, Agnes Lanusse, Sébastien Gérard
2011	B	`conf`	An Efficient Modeling and Execution Framework for Complex Systems Development. ICECCS 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
2011	J	`jnl`	Optimum: a MARTE-based methodology for schedulability analysis at early design stages. ACM SIGSOFT Softw. Eng. Notes Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard
2010	C	`conf`	Does Code Generation Promote or Prevent Optimizations? ISORC Asma Charfi, Chokri Mraidha, Sébastien Gérard, François Terrier, Pierre Boulet
2010	C	`conf`	Generation of schedulable real-time component implementations. ETFA Ansgar Radermacher, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard
2010	—	`conf`	RT-simex: retro-analysis of execution traces. SIGSOFT FSE Julien Deantoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon
2010	A	`conf`	Toward optimized code generation through model-based optimization. DATE Asma Charfi, Chokri Mraidha, Sébastien Gérard, François Terrier, Pierre Boulet
2008	B	`conf`	AnExecution Framework for MARTE-Based Models. ICECCS Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard
2007	A	`conf`	Enhancing UML Extensions with Operational Semantics. MoDELS Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard
2007	—	`conf`	Templatable Metamodels for Semantic Variation Points. ECMDA-FA Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard
2004	C	`conf`	A UML-Based Concept for High Concurrency: The Real-Time Object. ISORC Sébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry
2004	—	`conf`	MDA Platform for Complex Embedded Systems Development. DIPES Chokri Mraidha, Sylvain Robert, Sébastien Gérard, David Servat
2003	C	`conf`	A Component-Based Methodology for Embedded System Prototyping. IEEE International Workshop on Rapid System Prototyping Patrick Tessier, Sébastien Gérard, Chokri Mraidha, Jean-Marc Geib
2003	C	`conf`	A Two-Aspect Approach for a Clearer Behavior Model. ISORC Chokri Mraidha, Sébastien Gérard, François Terrier, Judith Benzakki