Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMohamed Khalgui
Person information
- affiliation: Jinan University, School of Electrical and Information Engineering, Zhuhai, China
- affiliation: Martin Luther University of Halle-Wittenberg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2007
[b1]Mohamed Khalgui:
Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants. (Temporal validation and deployment of component based industrial control applications). National Polytechnic Institute of Lorraine, Nancy, France, 2007
Journal Articles
- 2023
- [j73]Samir Tigane
, Fayçal Guerrouf, Nadia Hamani, Laïd Kahloul, Mohamed Khalgui, Masood Ashraf Ali:
Dynamic Timed Automata for Reconfigurable System Modeling and Verification. Axioms 12(3): 230 (2023) - [j72]Samir Tigane, Laïd Kahloul, Nadia Hamani, Mohamed Khalgui, Masood Ashraf Ali:
On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 53(6): 3311-3323 (2023) - 2022
- [j71]Salwa Habbachi, Amal Zaghdoud, Zhiwu Li, Naiqi Wu, Mohamed Khalgui:
Secret inference and attacktability analysis of discrete event systems. Inf. Sci. 609: 1221-1238 (2022) - 2021
- [j70]Azza Allouch, Omar Cheikhrouhou, Anis Koubâa, Khalifa Toumi, Mohamed Khalgui, Tuan Nguyen Gia:
UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for Internet of Drones. Sensors 21(9): 3049 (2021) - [j69]Le Zhang, Mohamed Khalgui, Zhiwu Li:
Predictive Intelligent Transportation: Alleviating Traffic Congestion in the Internet of Vehicles. Sensors 21(21): 7330 (2021) - [j68]Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li, MengChu Zhou:
RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 18(3): 1392-1405 (2021) - [j67]Aicha Goubaa, Mohamed Khalgui, Zhiwu Li, Georg Frey, Abdulrahman Al-Ahmari:
On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints. IEEE Trans Autom. Sci. Eng. 18(3): 1492-1504 (2021) - [j66]Yousra Ben Aissa, Abdelmalik Bachir, Mohamed Khalgui, Anis Koubaa, Zhiwu Li, Ting Qu:
On Feasibility of Multichannel Reconfigurable Wireless Sensor Networks Under Real-Time and Energy Constraints. IEEE Trans. Syst. Man Cybern. Syst. 51(3): 1446-1461 (2021) - 2020
- [j65]Hamza Chniter, Olfa Mosbahi, Mohamed Khalgui, Mengchu Zhou, Zhiwu Li:
Improved Multi-Core Real-Time Task Scheduling of Reconfigurable Systems With Energy Constraints. IEEE Access 8: 95698-95713 (2020) - [j64]Aicha Goubaa, Mohamed Khalgui, Zhiwu Li, Georg Frey, MengChu Zhou:
Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems. Inf. Sci. 520: 86-104 (2020) - [j63]Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey, Zhiwu Li, MengChu Zhou:
A guidance framework for synthesis of multi-core reconfigurable real-time systems. Inf. Sci. 539: 327-346 (2020) - [j62]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes, Zhiwu Li:
Performance Optimization of Reconfigurable Real-Time Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 50(7): 2623-2637 (2020) - [j61]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
An Extended Object Constraint Language for Adaptive Discrete Event Systems With Application to Reconfigurable Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3562-3576 (2020) - [j60]Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li, Khalid Abdulaziz Alnowibet, Ting Qu:
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3577-3591 (2020) - [j59]Oussama Karoui, Yufeng Chen, Zhiwu Li, Naiqi Wu, Mohamed Khalgui:
On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3613-3627 (2020) - [j58]Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet:
Energy-Efficient Scheduling of Real-Time Tasks in Reconfigurable Homogeneous Multicore Platforms. IEEE Trans. Syst. Man Cybern. Syst. 50(12): 5092-5105 (2020) - 2019
- [j57]Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li:
On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment. IEEE Access 7: 18219-18233 (2019) - [j56]Mohamed Ghaieth Abidi, Moncef Ben Smida, Mohamed Khalgui, Zhiwu Li, Ting Qu:
Source Resizing and Improved Power Distribution for High Available Island Microgrid: A Case Study on a Tunisian Petroleum Platform. IEEE Access 7: 22856-22871 (2019) - [j55]Hamza Gharsellaoui, Mohamed Khalgui:
Dynamic Reconfiguration of Intelligence for High Behaviour Adaptability of Autonomous Distributed Discrete-Event Systems. IEEE Access 7: 35487-35498 (2019) - [j54]Azza Allouch, Anis Koubaa, Mohamed Khalgui, Tarek Abbes:
Qualitative and Quantitative Risk Analysis and Safety Assessment of Unmanned Aerial Vehicles Missions Over the Internet. IEEE Access 7: 53392-53410 (2019) - [j53]Moncef Ben Smida, Khaoula Miled, Mohamed Khalgui, Georg Frey, Zhiwu Li:
Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location. IEEE Access 7: 55090-55107 (2019) - [j52]Anis Koubâa, Azza Allouch, Maram Alajlan, Yasir Javed, Abdelfettah Belghith, Mohamed Khalgui:
Micro Air Vehicle Link (MAVlink) in a Nutshell: A Survey. IEEE Access 7: 87658-87680 (2019) - [j51]Ilyes Naidji, Moncef Ben Smida, Mohamed Khalgui, Abdelmalik Bachir, Zhiwu Li, Naiqi Wu:
Efficient Allocation Strategy of Energy Storage Systems in Power Grids Considering Contingencies. IEEE Access 7: 186378-186392 (2019) - [j50]Anis Koubâa, Basit Qureshi, Mohamed-Foued Sriti, Azza Allouch, Yasir Javed, Maram Alajlan, Omar Cheikhrouhou, Mohamed Khalgui, Eduardo Tovar:
Dronemap Planner: A service-oriented cloud-based management system for the Internet-of-Drones. Ad Hoc Networks 86: 46-62 (2019) - [j49]Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey, Zhiwu Li, Valeriy Vyatkin:
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. IEEE Trans Autom. Sci. Eng. 16(3): 1110-1124 (2019) - [j48]Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
Boundary Scan Extension for Testing Distributed Reconfigurable Hardware Systems. IEEE Trans. Circuits Syst. I Regul. Pap. 66-I(7): 2699-2708 (2019) - [j47]Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Zhiwu Li, Georg Frey, Abdulrahman Al-Ahmari:
Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation. IEEE Trans. Syst. Man Cybern. Syst. 49(3): 623-637 (2019) - 2018
- [j46]Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li, Li Yin:
Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting Constraints. IEEE Access 6: 2068-2084 (2018) - [j45]Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui, Zhiwu Li, Khalid Abdulaziz Alnowibet, Marco Platzner:
R-Codesign: Codesign Methodology for Real-Time Reconfigurable Embedded Systems Under Energy Constraints. IEEE Access 6: 14078-14092 (2018) - [j44]Hamza Chniter, Yuting Li, Mohamed Khalgui, Anis Koubaa, Zhiwu Li, Fethi Jarray:
Multi-Agent Adaptive Architecture for Flexible Distributed Real-Time Systems. IEEE Access 6: 23152-23171 (2018) - [j43]Oussama Karoui, Zhiwu Li, Naiqi Wu, Mohamed Khalgui, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi:
One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy. IEEE Access 6: 34307-34323 (2018) - [j42]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li, Ting Qu:
Coherence and Feasibility of Real-Time Software Tasks in Networked Adaptive Systems. IEEE Access 6: 35824-35843 (2018) - [j41]Oussama Karoui, Mohamed Khalgui, Yufeng Chen, Naiqi Wu, Ateekh-Ur-Rehman, Usama Umer:
State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems. IEEE Access 6: 51515-51527 (2018) - [j40]Chao Gu, Zhiwu Li, Naiqi Wu, Mohamed Khalgui, Ting Qu, Abdulrahman Al-Ahmari:
Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems. IEEE Access 6: 68824-68838 (2018) - [j39]Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li, Ting Qu:
Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems. IEEE Access 6: 70426-70443 (2018) - [j38]Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui, Zhiwu Li:
Reconfiguration-based methodology for improving recovery performance of faults in smart grids. Inf. Sci. 454-455: 73-95 (2018) - [j37]Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
Toward a New Methodology for an Efficient Test of Reconfigurable Hardware Systems. IEEE Trans Autom. Sci. Eng. 15(4): 1864-1882 (2018) - [j36]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes, Zhiwu Li:
R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node. IEEE Trans. Syst. Man Cybern. Syst. 48(6): 892-905 (2018) - [j35]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
New Power-Oriented Methodology for Dynamic Resizing and Mobility of Reconfigurable Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 48(7): 1120-1130 (2018) - 2017
- [j34]Oussama Karoui, Mohamed Khalgui, Anis Koubâa, Emna Guerfala, Zhiwu Li, Eduardo Tovar:
Dual mode for vehicular platoon safety: Simulation and formal verification. Inf. Sci. 402: 216-232 (2017) - [j33]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
RWiN: New Methodology for the Development of Reconfigurable WSN. IEEE Trans Autom. Sci. Eng. 14(1): 109-125 (2017) - [j32]Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui, Zhiwu Li:
Multiagent Framework for Smart Grids Recovery. IEEE Trans. Syst. Man Cybern. Syst. 47(7): 1284-1300 (2017) - 2016
- [j31]Olfa Mosbahi, Mohamed Khalgui:
New solutions for optimal power production, distribution and consumption in smart grids. Int. J. Model. Identif. Control. 26(2): 110-129 (2016) - [j30]Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui:
Real-Time Reconfigurations of Embedded Control Systems. Int. J. Syst. Dyn. Appl. 5(3): 71-93 (2016) - 2015
- [j29]Xi Wang, Imen Khemaissia, Mohamed Khalgui, ZhiWu Li, Olfa Mosbahi, MengChu Zhou:
Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks. IEEE Trans Autom. Sci. Eng. 12(1): 258-271 (2015) - [j28]Jiafeng Zhang, Mohamed Khalgui, Zhiwu Li, Georg Frey, Olfa Mosbahi, Hela Ben Salah:
Reconfigurable Coordination of Distributed Discrete Event Control Systems. IEEE Trans. Control. Syst. Technol. 23(1): 323-330 (2015) - [j27]Meng Qin, Zhiwu Li, Mengchu Zhou, Mohamed Khalgui, Olfa Mosbahi:
Corrections to "Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions". IEEE Trans. Syst. Man Cybern. Syst. 45(10): 1385-1386 (2015) - 2014
- [j26]Atef Gharbi, Mohamed Khalgui:
Functional safety of adaptive embedded control systems: new solutions. Int. J. Crit. Comput. Based Syst. 5(3/4): 300-353 (2014) - 2013
- [j25]Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
Reconfiguration of Synchronous Real-Time Operating System. Int. J. Syst. Dyn. Appl. 2(1): 114-132 (2013) - [j24]Mohamed Khalgui, Zhiwu Li:
Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems. ACM Trans. Embed. Comput. Syst. 12(1): 1:1-1:2 (2013) - [j23]Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li:
Runtime Reconfigurations of Embedded Controllers. ACM Trans. Embed. Comput. Syst. 12(1): 14:1-14:23 (2013) - [j22]Mohamed Khalgui:
Distributed Reconfigurations of Autonomous IEC61499 Systems. ACM Trans. Embed. Comput. Syst. 12(1): 18:1-18:23 (2013) - [j21]Jiafeng Zhang, Mohamed Khalgui, Zhiwu Li, Olfa Mosbahi, Abdulrahman Al-Ahmari:
R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems. IEEE Trans. Syst. Man Cybern. Syst. 43(4): 757-772 (2013) - 2012
- [j20]Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
New Optimal Preemptively Scheduling for Real-Time Reconfigurable Sporadic Tasks Based on Earliest Deadline First Algorithm. Int. J. Adv. Pervasive Ubiquitous Comput. 4(2): 65-81 (2012) - [j19]Mohamed Khalgui, Olfa Mosbahi, Emanuele Carpanzano, Anna Valente:
An Automated Approach for Adaptive Control Systems. Int. J. Intell. Mechatronics Robotics 2(3): 58-71 (2012) - [j18]Amen Ben Hadj Ali, Mohamed Khalgui, Samir Ben Ahmed:
UML-Based Design and Validation of Intelligent Agents-Based Reconfigurable Embedded Control Systems. Int. J. Syst. Dyn. Appl. 1(1): 17-38 (2012) - [j17]Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous Operating System Tasks with Minimizations of Response Time. Int. J. Syst. Dyn. Appl. 1(4): 88-131 (2012) - [j16]Yufeng Chen, ZhiWu Li, Mohamed Khalgui, Olfa Mosbahi:
Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems". IEEE Trans Autom. Sci. Eng. 9(2): 455 (2012) - [j15]Meng Qin, ZhiWu Li, MengChu Zhou, Mohamed Khalgui, Olfa Mosbahi:
Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions. IEEE Trans. Syst. Man Cybern. Part A 42(3): 727-738 (2012) - 2011
- [j14]Mohamed Khalgui, Olfa Mosbahi:
Formal approach for the development of intelligent industrial control components. Int. J. Comput. Appl. Technol. 42(2/3): 84-107 (2011) - [j13]Olfa Mosbahi, Mohamed Khalgui:
Combining formal methods for the development of reactive systems. Int. J. Comput. Appl. Technol. 42(2/3): 127-149 (2011) - [j12]Mohamed Khalgui, Hans-Michael Hanisch:
Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems. Int. J. Model. Identif. Control. 12(3): 223-243 (2011) - [j11]Olfa Mosbahi, Leila Jemni Ben Ayed, Mohamed Khalgui:
A formal approach for the development of reactive systems. Inf. Softw. Technol. 53(1): 14-33 (2011) - [j10]Yufeng Chen, ZhiWu Li, Mohamed Khalgui, Olfa Mosbahi:
Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems. IEEE Trans Autom. Sci. Eng. 8(2): 374-393 (2011) - [j9]Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-Michael Hanisch:
Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. IEEE Trans. Computers 60(4): 538-551 (2011) - [j8]Mohamed Khalgui, Hans-Michael Hanisch:
Reconfiguration Protocol for Multi-Agent Control Software Architectures. IEEE Trans. Syst. Man Cybern. Part C 41(1): 70-80 (2011) - [j7]Olfa Mosbahi, Mohamed Khalgui, Hans-Michael Hanisch, Zhiwu Li:
A Component-Based Approach for the Development of Automated Systems. IEEE Trans. Syst. Man Cybern. Part A 41(5): 1026-1031 (2011) - 2010
- [j6]Mohamed Khalgui:
NCES-based modelling and CTL-based verification of reconfigurable embedded control systems. Comput. Ind. 61(3): 198-212 (2010) - [j5]Mohamed Khalgui, Olfa Mosbahi:
Intelligent distributed control systems. Inf. Softw. Technol. 52(12): 1259-1271 (2010) - [j4]Mohamed Khalgui, Atef Gharbi:
New Solutions for Feasible and Coherent Reconfigurations of Multi-Agent Embedded Software Architectures. J. Ubiquitous Syst. Pervasive Networks 1(1): 19-28 (2010) - 2008
- [j3]Mohamed Khalgui:
A deployment methodology of real-time industrial control applications in distributed controllers. Comput. Ind. 59(5): 450-462 (2008) - [j2]Mohamed Khalgui, Kleanthis Thramboulidis:
An IEC61499-based development approach for distributed industrial control applications. Int. J. Model. Identif. Control. 4(2): 186-204 (2008) - [j1]Mohamed Khalgui, Emanuele Carpanzano, Hans-Michael Hanisch:
An optimised simulation of component-based embedded systems in manufacturing industry. Int. J. Simul. Process. Model. 4(2): 148-162 (2008)
Conference and Workshop Papers
- 2024
- [c117]Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui:
Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL. AINA (2) 2024: 199-212 - 2022
- [c116]Hanene Rouainia, Hanen Grichi, Laïd Kahloul, Mohamed Khalgui:
New Energy Efficient and Fault Tolerant Methodology based on a Multi-agent Architecture in Reconfigurable Wireless Sensor Networks. ENASE 2022: 405-416 - [c115]Hanene Rouainia, Hanen Grichi, Laïd Kahloul, Mohamed Khalgui:
A New Simulation Tool for Sensor Networks Based on an Energy-Efficient and Fault-Tolerant Methodology. ICSOFT (Selected Papers) 2022: 68-97 - [c114]Hanene Rouainia, Hanen Grichi, Laïd Kahloul, Mohamed Khalgui:
Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator. ICSOFT 2022: 349-361 - 2021
- [c113]Soumoud Fkaier, Mohamed Khalgui, Georg Frey:
Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499. ENASE 2021: 221-230 - [c112]Soumoud Fkaier, Mohamed Khalgui, Georg Frey:
A Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems. ICSOFT 2021: 111-121 - [c111]Soumoud Fkaier, Mohamed Khalgui, Georg Frey:
Software Framework of Context-Aware Reconfigurable Secure Smart Grids. ICSOFT (Selected Papers) 2021: 193-217 - 2020
- [c110]Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laïd Kahloul:
Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement. ENASE 2020: 382-389 - [c109]Roufaida Bettira, Laïd Kahloul, Mohamed Khalgui:
A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata. ENASE 2020: 398-406 - [c108]Aicha Goubaa, Mohamed Khalgui, Georg Frey, Zhiwu Li:
Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints. ICSOFT (Selected Papers) 2020: 25-43 - [c107]Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laïd Kahloul, Naïma Souâd Ougouti:
R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture. ICSOFT (Selected Papers) 2020: 44-69 - [c106]Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul:
On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment. ICSOFT (Selected Papers) 2020: 114-133 - [c105]Soumoud Fkaier, Mohamed Khalgui, Georg Frey:
Hybrid Context-awareness Modelling and Reasoning Approach for Microgrid's Intelligent Control. ICSOFT 2020: 116-127 - [c104]Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul:
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. ICSOFT (Selected Papers) 2020: 227-241 - [c103]Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul:
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. ICSOFT 2020: 250-259 - [c102]Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laïd Kahloul, Naïma Souâd Ougouti:
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. ICSOFT 2020: 339-349 - [c101]Hanene Rouainia, Hanen Grichi, Laïd Kahloul, Mohamed Khalgui:
3D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless Sensor Networks based on Multi-agent Architecture under Energy Harvesting Constraints. ICSOFT 2020: 394-406 - [c100]Aicha Goubaa, Mohamed Khalgui, Georg Frey, Zhiwu Li:
New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks. ICSOFT 2020: 452-460 - [c99]Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul:
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. ICSOFT 2020: 544-551 - [c98]Salwa Habbachi, Zhiwu Li, Mohamed Khalgui:
Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms. VECoS 2020: 116-130 - 2019
- [c97]Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi:
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. ENASE 2019: 159-168 - [c96]Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani:
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. ENASE (Selected Papers) 2019: 246-266 - [c95]Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi:
On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems. ENASE (Selected Papers) 2019: 267-285 - [c94]Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani:
On Improved Verification of Reconfigurable Real-Time Systems. ENASE 2019: 394-401 - [c93]Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui:
Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids. ICSOFT (Selected Papers) 2019: 108-129 - [c92]Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui:
New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. ICSOFT 2019: 129-140 - [c91]Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir:
Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids. ICSOFT (Selected Papers) 2019: 205-228 - [c90]Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui:
On Improving Parallel Rebuilding of R-TNCESs. ICSOFT 2019: 315-322 - [c89]Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir:
Cooperative Energy Management Software for Networked Microgrids. ICSOFT 2019: 428-438 - [c88]Yousra Ben Aissa, Hanen Grichi, Mohamed Khalgui, Anis Koubaa, Abdelmalik Bachir:
QCOF: New RPL Extension for QoS and Congestion-Aware in Low Power and Lossy Network. ICSOFT 2019: 560-569 - [c87]Azza Allouch, Omar Cheikhrouhou, Anis Koubâa, Mohamed Khalgui, Tarek Abbes:
MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems. IWCMC 2019: 621-628 - [c86]Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laïd Kahloul, ZhiWu Li:
Smart Grid Rebuilding based on Cloud Computing Architecture. SMC 2019: 2259-2266 - [c85]Roufaida Bettira, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li:
Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification. SMC 2019: 2364-2371 - 2018
- [c84]Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey:
A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems. ENASE 2018: 89-98 - [c83]Aymen Gammoudi, Daniel Chillet, Mohamed Khalgui, Adel Benzina:
Mapping of Periodic Tasks in Reconfigurable Heterogeneous Multi-core Platforms. ENASE 2018: 99-110 - [c82]Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey:
Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints. ENASE (Selected Papers) 2018: 165-185 - [c81]Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui:
Enhanced Test for Reconfigurable Hardware Systems Based on Sequential Logic. EUC 2018: 45-53 - [c80]Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui:
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. ICSOFT 2018: 625-632 - 2017
- [c79]Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui:
Adaptive Task Mapping and Scheduling for Reconfigurable Distributed Embedded Energy Harvesting Systems. AICCSA 2017: 630-636 - [c78]Soumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey:
Context-awareness Meta-model for Reconfigurable Control Systems. ENASE 2017: 226-234 - [c77]Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
From Specification to Implementation of an Automotive Transport System. ICSOFT (Selected Papers) 2017: 49-68 - [c76]Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
Specification Approach using GR-TNCES: Application to an Automotive Transport System. ICSOFT 2017: 105-115 - [c75]Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui:
An Energy Aware Scheduling for Reconfigurable Heterogeneous Systems. ICSOFT 2017: 171-177 - [c74]Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui:
REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting Multiprocessor Systems. ICSOFT 2017: 346-354 - [c73]Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
New Verification Approach for Reconfigurable Distributed Systems. ICSOFT 2017: 355-362 - 2016
- [c72]Soumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey:
Enabling reconfiguration of adaptive control systems using real-time context-aware framework. AICCSA 2016: 1-8 - [c71]Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey:
Reconfigurable function blocks: Extension to the standard IEC 61499. AICCSA 2016: 1-8 - [c70]Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Maryline Chetto:
Real-time scheduling of sporadic tasks in energy harvesting distributed reconfigurable embedded systems. AICCSA 2016: 1-8 - [c69]Hela Ben Salah, Adel Benzina, Mohamed Khalgui:
Verification of Reconfigurable NoC under Quality of Service Constraints. COMPSAC 2016: 329-334 - [c68]Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Maryline Chetto:
Real-Time Scheduling of Reconfigurable Distributed Embedded Systems with Energy Harvesting Prediction. DS-RT 2016: 145-152 - [c67]Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane:
Towards a Secure RA2DL Based Approach. ENASE (Selected Papers) 2016: 89-110 - [c66]Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane:
RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems. ENASE 2016: 102-111 - [c65]Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed:
A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems. ENASE 2016: 140-147 - [c64]Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO. ICINCO (1) 2016: 551-558 - [c63]Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Nicolas Trèves:
A New Approach for Automatic Development of Reconfigurable Real-Time Systems. ICSOFT (Selected Papers) 2016: 22-44 - [c62]Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui, Marco Platzner:
I-Codesign: A Codesign Methodology for Reconfigurable Embedded Systems. ICSOFT (Selected Papers) 2016: 153-174 - [c61]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
CRMPSoC: New Solution for Feasible Reconfigurable MPSoC. ICSOFT (Selected Papers) 2016: 175-198 - [c60]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li:
New Methodology for Feasible Reconfigurable Real-Time Network-on-Chip NoC. ICSOFT-EA 2016: 249-257 - [c59]Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Nicolas Trèves:
MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems. ICSOFT-EA 2016: 330-335 - [c58]Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui, Marco Platzner:
New Co-design Methodology for Real-time Embedded Systems. ICSOFT-EA 2016: 353-364 - [c57]Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet:
Real-Time Scheduling of Reconfigurable Battery-Powered Multi-Core Platforms. ICTAI 2016: 121-129 - [c56]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui:
A Development Tool Chain for Reconfigurable WSNs. SoMeT 2016: 101-114 - 2015
- [c55]Hela Ben Salah, Adel Benzina, Mohamed Khalgui:
Petri Nets-based design of real-time reconfigurable networks on chips. ICIS 2015: 597-604 - [c54]Hamza Gharsellaoui, Ismail Ktata, Naoufel Kharroubi, Mohamed Khalgui:
Real-time reconfigurable scheduling of multiprocessor embedded systems using hybrid genetic based approach. ICIS 2015: 605-609 - [c53]Fethi Jarray, Hamza Chniter, Mohamed Khalgui:
New adaptive middleware for real-time embedded operating systems. ICIS 2015: 610-618 - [c52]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui:
Formal specification and verification of reconfigurable wireless sensor networks. SSD 2015: 1-8 - [c51]Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS. HEALTHINF 2015: 20-31 - [c50]Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture. HEALTHINF 2015: 151-163 - [c49]Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture. BIOSTEC (Selected Papers) 2015: 403-423 - [c48]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui:
ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems. ICSOFT-EA 2015: 45-52 - [c47]Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems. ICSOFT-PT 2015: 64-75 - [c46]Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
R-UML: An UML Profile for Verification of Flexible Control Systems. ICSOFT (Selected Papers) 2015: 118-136 - [c45]Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints. ICSOFT-EA 2015: 373-380 - [c44]Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed:
Modeling and Verification of B-based Distributed Reconfigurable Control Systems. PECCS 2015: 124-131 - [c43]Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui:
An Efficient Simulator for Fault Detection and Recovery in Smart Grids - FDIRSY. PECCS 2015: 132-139 - [c42]Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane:
RA2DL: New Flexible Solution for Adaptive AADL-based Control Components. PECCS 2015: 247-258 - [c41]Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui:
New Solutions for Optimal Hardware Tests of Reconfigurable Hardware Systems. PECCS 2015: 281-288 - [c40]Mohamed Ghaieth Abidi, Moncef Ben Smida, Mohamed Khalgui:
New Forecasting-based Solutions for Optimal Energy Consumption in Microgrids with Load Shedding - Case Study: Petroleum Platform. PECCS 2015: 289-296 - [c39]Asma Nafti, Mohamed Romdhani, Mohamed Khalgui:
CHAMELEON - New Object Oriented Solution for Adaptive Control Systems. PECCS 2015: 297-304 - [c38]Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui:
An Efficient Reconfiguration-Based Approach for Improving Smart Grid Performance. SoMeT 2015: 42-55 - [c37]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes:
PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. SoMeT 2015: 59-72 - [c36]Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet:
New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems. SoMeT 2015: 73-86 - [c35]Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane:
New Solutions for Useful Execution Models of Communicating Adaptive RA2DL. SoMeT 2015: 87-101 - [c34]Rim Idriss, Adlen Loukil, Mohamed Khalgui:
New Middleware for Secured Reconfigurable Real-Time Systems. SoMeT 2015: 469-483 - 2014
- [c33]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui:
New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC Architectures. ACSD 2014: 152-158 - [c32]Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui:
PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems. ADECS @ Petri Nets 2014: 52-67 - [c31]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes:
Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration. ICINCO (Selected Papers) 2014: 23-42 - [c30]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes:
Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling. ICINCO (1) 2014: 42-52 - [c29]Hamza Chniter, Mohamed Khalgui, Fethi Jarray:
Combinatorial Optimization Approach for Feasible Low-Power and Real-Time Flexible OS Tasks. ICINCO (Selected Papers) 2014: 59-77 - [c28]Hamza Chniter, Mohamed Khalgui, Fethi Jarray:
Adaptive Embedded Systems - New Composed Technical Solutions for Feasible Low-Power and Real-time Flexible OS Tasks. ICINCO (1) 2014: 92-101 - [c27]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui:
Reconfigurable CAN in Real-time Embedded Platforms. ICINCO (1) 2014: 355-362 - [c26]Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui:
New Solutions for Fault Detections and Dynamic Recoveries of Flexible Power Smart Grids. ICINCO (1) 2014: 370-377 - [c25]Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed:
New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems. ICINCO (1) 2014: 749-757 - [c24]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui:
New Flexible Architectures for Reconfigurable Wireless Sensor Networks. ICSOFT (Selected Papers) 2014: 151-169 - [c23]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui:
Reconfigurable Wireless Sensor Networks - New Adaptive Dynamic Solutions for Flexible Architectures. ICSOFT EA 2014: 254-265 - [c22]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui:
New Multi-Token based Protocol for Flexible Networked Microcontrollers. ICSOFT EA 2014: 464-469 - [c21]Hamza Chniter, Fethi Jarray, Mohamed Khalgui:
Combinatorial Approaches for Low-power and Real-time Adaptive Reconfigurable Embedded Systems. PECCS 2014: 151-157 - [c20]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Walid Bouzayen:
New Reconfigurable Middleware for Feasible Adaptive RT-Linux. PECCS 2014: 158-167 - [c19]Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
Preemptive Hard Real-time Scheduling of Reconfigurable OS Tasks on Multiprocessors Embedded Control Systems. PECCS 2014: 192-197 - [c18]Aymen Jaouadi, Olfa Mosbahi, Mohamed Khalgui, Ahmed Toujani:
Adaptive STM32F4 Microcontrollers - Case of Flexible Smart Meters. SMARTGREENS 2014: 364-374 - [c17]Aymen Jaouadi, Olfa Mosbahi, Mohamed Khalgui, Asma Sakri:
New Software Solutions for Low-power Management of Green Smart Homes. SMARTGREENS 2014: 375-385 - 2013
- [c16]Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic Tasks. ICSOFT 2013: 377-388 - [c15]Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
Model Checking of Distributed Component-based Control Systems. ICSOFT 2013: 512-519 - 2011
- [c14]Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li, Atef Gharbi:
Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System. ICSOFT (2) 2011: 105-110 - [c13]Atef Gharbi, Mohamed Khalgui, Jiafeng Zhang, Samir Ben Ahmed:
Agent-based Fault Management of Embedded Control Systems. ICSOFT (2) 2011: 277-280 - [c12]Xi Wang, Mohamed Khalgui, Zhiwu Li:
Dynamic Low Power Reconfigurations of Real-time Embedded Systems. PECCS 2011: 415-420 - 2010
- [c11]Atef Gharbi, Mohamed Khalgui, Samir Ben Ahmed:
Optimal model checking of safe control embedded software components. ETFA 2010: 1-8 - 2009
- [c10]Mohamed Khalgui, Hans-Michael Hanisch, Atef Gharbi:
Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems. ETFA 2009: 1-10 - [c9]Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch:
Implementation of agent-based reconfigurable embedded control systems. INDIN 2009: 428-433 - 2008
- [c8]Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch:
A formal approach to check and schedule reconfigurable embedded control systems. ETFA 2008: 383-391 - [c7]Mohamed Khalgui, Hans-Michael Hanisch:
Automatic specification of feasible Control Tasks in Benchmark Production Systems. ETFA 2008: 789-798 - [c6]Mohamed Khalgui, Martin Hirsch, Dirk Missal, Hans-Michael Hanisch:
Reconfiguration of Embedded Systems. ICINCO-ICSO 2008: 157-162 - [c5]Mohamed Khalgui, Hans-Michael Hanisch:
NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems. SIES 2008: 1-10 - 2007
- [c4]Mohamed Khalgui, Emanuele Carpanzano:
A Formal Approach to Deploy Heterogeneous Software Components in a PLC. ICSOFT (SE) 2007: 207-212 - 2006
- [c3]Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion:
Component based deployment of industrial control systems: a hybrid scheduling approach. ETFA 2006: 1293-1300 - [c2]Mohamed Khalgui, Xavier Rebeuf:
A heuristic based method for automatic deployment of distributed component based applications. IES 2006: 1-10 - 2005
- [c1]Mohamed Khalgui, Xavier Rebeuf, Francesco Zampognaro:
Adaptable OPC-XML contracts taking into account network traffic. ETFA 2005
Editorship
- 2014
- [e1]Mohamed Khalgui, Zhiwu Li:
ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014. CEUR Workshop Proceedings 1161, CEUR-WS.org 2014 [contents]
Informal and Other Publications
- 2019
- [i4]Azza Allouch, Anis Koubaa, Mohamed Khalgui, Tarek Abbes:
Qualitative and Quantitative Risk Analysis and Safety Assessment of Unmanned Aerial Vehicles Missions over the Internet. CoRR abs/1904.09432 (2019) - [i3]Azza Allouch, Omar Cheikhrouhou, Anis Koubaa, Mohamed Khalgui, Tarek Abbes:
MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems. CoRR abs/1905.00265 (2019) - [i2]Anis Koubaa, Azza Allouch, Maram Alajlan, Yasir Javed, Abdelfettah Belghith, Mohamed Khalgui:
Micro Air Vehicle Link (MAVLink) in a Nutshell: A Survey. CoRR abs/1906.10641 (2019) - [i1]Ilyes Naidji, Moncef Ben Smida, Mohamed Khalgui, Abdelmalik Bachir:
Non Cooperative Game Theoretic Approach for Residential Energy Management in Smart Grid. CoRR abs/1908.08982 (2019)
Coauthor Index
[j71] [j69] [j68] [j67] [j66] [j65] [j64] [j63] [j62] [j61] [j60] [j59] [j57] [j56] [j53] [j51] [j49] [j48] [j47] [j46] [j45] [j44] [j43] [j42] [j40] [j39] [j38] [j37] [j36] [j35] [j34] [j33] [j32] [j29] [j28] [j27] [j24] [j23] [j21] [j16] [j15] [j10] [j9] [j7] [c108] [c100] [c98] [c86] [c85] [c61] [c60] [c14] [c12] [e1]
[j65] [j62] [j61] [j57] [j48] [j46] [j42] [j39] [j37] [j36] [j35] [j33] [j31] [j29] [j28] [j27] [j23] [j21] [j19] [j16] [j15] [j14] [j13] [j11] [j10] [j9] [j7] [j5] [c91] [c89] [c81] [c79] [c77] [c76] [c74] [c73] [c70] [c68] [c67] [c66] [c65] [c64] [c61] [c60] [c56] [c52] [c51] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [c42] [c41] [c37] [c35] [c33] [c32] [c31] [c30] [c27] [c25] [c24] [c23] [c22] [c20] [c18] [c17] [c14] [c9] [c8]
a service of 
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-09 00:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
