Chokri Mraidha
Orcid: 0000-0003-2993-5734Affiliations:
- University of Paris-Saclay, France
According to our database1,
Chokri Mraidha
authored at least 61 papers
between 2003 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the 33rd IEEE International Workshop on Machine Learning for Signal Processing, 2023
MedSecurance Project: Advanced Security-for-Safety Assurance for Medical Device IoT (IoMT).
Proceedings of the Caring is Sharing - Exploiting the Value in Data for Health and Innovation - Proceedings of MIE 2023, Gothenburg, Sweden, 22, 2023
Proceedings of the 8th International Conference on Machine Learning Technologies, 2023
A Methodology for Knowledge Integration and Acquisition in Model-Based Systems Engineering.
Proceedings of the 15th International Joint Conference on Knowledge Discovery, 2023
Towards an Ontological Methodology for Dynamic Dependability Management of Unmanned Aerial Vehicles.
Proceedings of the DroneSE and RAPIDO: System Engineering for constrained embedded systems, 2023
Proceedings of the 26th Euromicro Conference on Digital System Design, 2023
Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), 2023
2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022
Proceedings of the 18th European Dependable Computing Conference, 2022
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022
Human-in-the-loop Learning for Safe Exploration through Anomaly Prediction and Intervention.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022
2021
Sensors, 2021
From word embeddings to text similarities for improved semantic clustering of functional requirements (S).
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
Human-in-the-Loop Learning Methods Toward Safe DL-Based Autonomous Systems: A Review.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021
2020
Cyclic Scheduling of Loop-Intensive Applications on Heterogeneous Multiprocessor Architectures.
Proceedings of the 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2020
2019
Int. J. Embed. Syst., 2019
Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures.
Autom. Softw. Eng., 2019
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held within the CPS Summer School "Designing Cyber-Physical Systems, 2019
2018
A modular interoperability layer for connecting the business and manufacturing systems.
Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018
2017
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
2016
From Document-Based to Model-Based System and Software Engineering: Experience Report of a Selective Catalytic Reduction System Development.
Proceedings of the Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
2015
Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited.
Int. J. Concept. Struct. Smart Appl., 2015
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
2014
Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems.
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
Assigning time budgets to component functions in the design of time-critical automotive systems.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014
2013
Proceedings of the SAFECOMP 2013, 2013
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013
2012
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2012
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams.
Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012
2011
Optimum: a MARTE-based methodology for schedulability analysis at early design stages.
ACM SIGSOFT Softw. Eng. Notes, 2011
A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications.
Proceedings of the IEEE 10th International Conference on Trust, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011
2010
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
2008
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008
2007
Proceedings of the Model Driven Engineering Languages and Systems, 2007
Proceedings of the Model Driven Architecture, 2007
2004
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004
2003
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003