default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSaddek Bensalem
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j39]Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu
, André Freitas, Mustafa A. Mustafa:
A survey of safety and trustworthiness of large language models through the lens of verification and validation. Artif. Intell. Rev. 57(7): 175 (2024)- [j38]Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem:
Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games. Internet Things 26: 101161 (2024) - [j37]Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem:
Model-based design of resilient systems using quantitative risk assessment. Innov. Syst. Softw. Eng. 20(1): 3-16 (2024) - [j36]Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao:
Bridging formal methods and machine learning with model checking and global optimisation. J. Log. Algebraic Methods Program. 137: 100941 (2024) - [j35]Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Levent Gürgen, Richard Nicholson, Miquel Cantero, Mario Diaz-Nava, Enrico Ferrera:
Deploying warehouse robots with confidence: the BRAIN-IoT framework's functional assurance. J. Supercomput. 80(1): 1206-1237 (2024) - [c130]Hamzah Al-Qadasi, Djafer Yahia Messaoud Benchadi, Salim Chehida, Kazuhiro Fukui, Saddek Bensalem:
Neural Network Innovations in Image-Based Malware Classification: A Comparative Study. AINA (4) 2024: 252-265 - [c129]Xu Tao, Rui Zhao, Salim Chehida, Davide Conzon, Enrico Ferrera, Saddek Bensalem:
A User-Centric Privacy Control Framework for Decentralized IoT Platforms. QUATIC 2024: 408-415 - [c128]Weicheng He, Changshun Wu, Saddek Bensalem:
Box-Based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study. RV 2024: 229-239 - [i21]Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu:
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. CoRR abs/2402.09097 (2024) - [i20]Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem:
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. CoRR abs/2403.18373 (2024) - [i19]Chih-Hong Cheng, Changshun Wu, Harald Ruess, Xingyu Zhao, Saddek Bensalem:
Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs. CoRR abs/2404.16663 (2024) - [i18]Yi Dong, Ronghui Mu, Yanghao Zhang, Siqi Sun, Tianle Zhang, Changshun Wu, Gaojie Jin, Yi Qi, Jinwei Hu, Jie Meng, Saddek Bensalem, Xiaowei Huang:
Safeguarding Large Language Models: A Survey. CoRR abs/2406.02622 (2024) - 2023
- [c127]Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem:
Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems. AITest 2023: 40-48 - [c126]Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu:
A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. PoEM Companion 2023 - [c125]Changshun Wu, Yliès Falcone, Saddek Bensalem:
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. RV 2023: 23-41 - [c124]Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao:
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. AISoLA 2023: 55-76 - [c123]Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem:
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. AISoLA 2023: 77-93 - [c122]Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu:
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA 2023: 256-278 - [i17]Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, André Freitas, Mustafa A. Mustafa:
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation. CoRR abs/2305.11391 (2023) - [i16]Chih-Hong Cheng, Changshun Wu, Harald Ruess, Saddek Bensalem:
Towards Rigorous Design of OoD Detectors. CoRR abs/2306.08447 (2023) - [i15]Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao:
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems. CoRR abs/2307.11784 (2023) - 2022
- [j34]Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga:
Generation and verification of learned stochastic automata using k-NN and statistical model checking. Appl. Intell. 52(8): 8874-8894 (2022) - [j33]Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga:
Learning and analysis of sensors behavior in IoT systems using statistical model checking. Softw. Qual. J. 30(2): 367-388 (2022) - [c121]Hamzah Al-Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem:
DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks. AITest 2022: 64-71 - [c120]Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem:
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. ATVA 2022: 397-413 - [c119]Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled:
Formal Specification for Learning-Enabled Autonomous Systems. NSV/FoMLAS@CAV 2022: 131-143 - [c118]Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem:
Formal Modelling and Security Analysis of Inter-Operable Systems. IEA/AIE 2022: 555-567 - [c117]Salim Chehida, Saddek Bensalem, Davide Conzon, Enrico Ferrera, Xu Tao:
BRAIN-IoT Architecture and Platform for Building IoT Systems. IoTBDS 2022: 67-77 - [c116]Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed Abdelsalam, Ashraf Salem:
Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. MESAS 2022: 163-181 - [i14]Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem:
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. CoRR abs/2205.07736 (2022) - 2021
- [j32]Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing:
On methods and tools for rigorous system design. Int. J. Softw. Tools Technol. Transf. 23(5): 679-684 (2021) - [j31]Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Programming dynamic reconfigurable systems. Int. J. Softw. Tools Technol. Transf. 23(5): 701-719 (2021) - [c115]Siham Khoussi, Alan Heckert, Abdella Battou, Saddek Bensalem:
A neural networks-based methodology for fitting data to probability distributions. AICCSA 2021: 1-7 - [c114]Salim Chehida, Abdelhakim Baouya, Saddek Bensalem:
Component-Based Approach Combining UML and BIP for Rigorous System Design. FACS 2021: 27-43 - [c113]Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga:
Monitoring Distributed Component-Based Systems. FACS 2021: 153-173 - [i13]Changshun Wu, Yliès Falcone, Saddek Bensalem:
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes. CoRR abs/2104.14435 (2021) - 2020
- [j30]Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo:
Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. Int. J. Softw. Tools Technol. Transf. 22(1): 3-32 (2020) - [j29]Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo:
Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. Int. J. Softw. Tools Technol. Transf. 22(1): 33-34 (2020) - [c112]Salim Chehida, Abdelhakim Baouya, Diego Fernández Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem:
Asset-Driven Approach for Security Risk Assessment in IoT Systems. CRiSIS 2020: 149-163 - [c111]Abdelhakim Baouya, Salim Chehida, Miquel Cantero, Marta Millet, Saddek Bensalem, Marius Bozga:
Formal Modeling and Simulation of Collaborative Intelligent Robots. ESOCC Workshops 2020: 41-52 - [c110]Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg:
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. ISoLA (2) 2020: 457-472 - [c109]Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga:
Fog Computing and Blockchain for Massive IoT Deployment. MECO 2020: 1-4 - [c108]Salim Chehida, Abdelhakim Baouya, Marius Bozga, Saddek Bensalem:
Exploration of Impactful Countermeasures on IoT Attacks. MECO 2020: 1-4 - [c107]Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand:
Runtime Verification of Timed Properties in Autonomous Robots. MEMOCODE 2020: 1-12 - [c106]Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga:
Applied Statistical Model Checking for a Sensor Behavior Analysis. QUATIC 2020: 399-411 - [c105]Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. SEFM 2020: 284-302 - [c104]Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga:
Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. SoMeT 2020: 330-342 - [c103]Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem:
Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. VECoS 2020: 149-164 - [c102]Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach:
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. WADT 2020: 120-141 - [i12]Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach:
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS. CoRR abs/2011.00556 (2020)
2010 – 2019
- 2019
- [j28]Iulia Dragomir, Saddek Bensalem:
Rigorous Design of FDIR Systems with BIP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019) - [j27]Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga:
Local Planning Semantics: A Semantics for Distributed Real-Time Systems. Leibniz Trans. Embed. Syst. 6(1): 01:1-01:27 (2019) - [j26]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
Priority-based scheduling of mixed-critical jobs. Real Time Syst. 55(4): 709-773 (2019) - [c101]Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem:
Performance Evaluation of the NDN Data Plane Using Statistical Model Checking. ATVA 2019: 534-550 - [c100]Doron Peled, Simon Iosti, Saddek Bensalem:
Control Synthesis Through Deep Learning. From Reactive Systems to Cyber-Physical Systems 2019: 242-255 - [i11]Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem:
Performance evaluation of a NDN forwarder using statistical model checking. CoRR abs/1905.01607 (2019) - 2018
- [j25]Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Benoît Dupont de Dinechin:
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Des. Autom. Embed. Syst. 22(1-2): 141-181 (2018) - [j24]Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay:
Performance evaluation of stochastic real-time systems with the SBIP framework. Int. J. Crit. Comput. Based Syst. 8(3/4): 340-370 (2018) - [j23]Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros:
Maximal software execution time: a regression-based approach. Innov. Syst. Softw. Eng. 14(2): 101-116 (2018) - [j22]Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec:
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. Innov. Syst. Softw. Eng. 14(2): 117-142 (2018) - [j21]Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket:
Global and Local Deadlock Freedom in BIP. ACM Trans. Softw. Eng. Methodol. 26(3): 9:1-9:48 (2018) - [c99]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem:
S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. ATVA 2018: 536-542 - [c98]Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Programming Dynamic Reconfigurable Systems. FACS 2018: 118-136 - [c97]Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo:
A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. FASE 2018: 94-110 - [c96]Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem:
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. ISoLA (3) 2018: 155-171 - [c95]Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. ISoLA (3) 2018: 304-320 - [c94]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem:
Mitigating Security Risks Through Attack Strategies Exploration. ISoLA (2) 2018: 392-413 - [c93]Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem:
Left-Eigenvectors Are Certificates of the Orbit Problem. RP 2018: 30-44 - [c92]Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem:
Predictability in Mixed-Criticality Systems. RTCSA 2018: 179-184 - [c91]Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem:
Algorithmic Complexity of Correctness Testing in MC-Scheduling. RTNS 2018: 180-190 - [c90]Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem:
Tracing Distributed Component-Based Systems, a Brief Overview. RV 2018: 417-425 - [e5]Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez:
Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. Lecture Notes in Computer Science 11181, Springer 2018, ISBN 978-3-030-00358-6 [contents] - [e4]Simon Bliudze, Saddek Bensalem:
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018. EPTCS 272, 2018 [contents] - [i10]Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem:
Left-eigenvectors are certificates of the Orbit Problem. CoRR abs/1803.09511 (2018) - 2017
- [j20]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga:
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Aspects Comput. 29(6): 951-986 (2017) - [c89]Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga:
Knowledge Based Optimization for Distributed Real-Time Systems. APSEC 2017: 751-756 - [c88]Steven de Oliveira, Saddek Bensalem, Virgile Prevosto:
Synthesizing Invariants by Solving Solvable Loops. ATVA 2017: 327-343 - [c87]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem:
Improved Learning for Stochastic Timed Models by State-Merging Algorithms. NFM 2017: 178-193 - [c86]Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo:
Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). SEFM 2017: 401-407 - [c85]Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros:
Regression-Based Statistical Bounds on Software Execution Time. VECoS 2017: 48-63 - [c84]Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec:
TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. VECoS 2017: 171-188 - [i9]Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga:
Monitoring Distributed Component-Based Systems. CoRR abs/1705.05242 (2017) - 2016
- [j19]Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem:
Distinguishing extended finite state machine configurations using predicate abstraction. J. Softw. Eng. Res. Dev. 4: 1 (2016) - [j18]Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Component-based verification using incremental design and invariants. Softw. Syst. Model. 15(2): 427-451 (2016) - [j17]Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem:
ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. ACM Trans. Embed. Comput. Syst. 15(2): 31:1-31:26 (2016) - [c83]Steven de Oliveira, Saddek Bensalem, Virgile Prevosto:
Polynomial Invariants by Linear Algebra. ATVA 2016: 479-494 - [c82]Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga:
A Compositional Approach to the Verification of Hybrid Systems. Theory and Practice of Formal Methods 2016: 88-103 - [c81]Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess:
Compositional Parameter Synthesis. FM 2016: 60-68 - [c80]Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem:
Local Planning of Multiparty Interactions with Bounded Horizons. FM 2016: 199-216 - [c79]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Monitoring Multi-threaded Component-Based Systems. IFM 2016: 141-159 - [c78]Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga:
Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. ISoLA (1) 2016: 605-621 - [c77]Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
A Model-Based Approach to Secure Multiparty Distributed Systems. ISoLA (1) 2016: 893-908 - [c76]Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem:
Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. RTAS 2016: 52 - [c75]Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz:
RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. TACAS 2016: 394-406 - [c74]Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem:
Performance Evaluation of Complex Systems Using the SBIP Framework. VECoS 2016: 11-26 - [i8]Steven de Oliveira, Saddek Bensalem, Virgile Prevosto:
Polynomial invariants by linear algebra. CoRR abs/1611.07726 (2016) - [i7]Steven de Oliveira, Saddek Bensalem, Virgile Prevosto:
Synthesizing invariants by solving solvable loops. CoRR abs/1611.07753 (2016) - [i6]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga:
Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. CoRR abs/1612.06154 (2016) - 2015
- [j16]Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Log. Methods Comput. Sci. 11(3) (2015) - [j15]Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Optimized distributed implementation of multiparty interactions with Restriction. Sci. Comput. Program. 98: 293-316 (2015) - [j14]Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14(1): 173-199 (2015) - [j13]Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay:
Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. 17(2): 171-185 (2015) - [c73]Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga:
A Theory Agenda for Component-Based Design. Software, Services, and Systems 2015: 409-439 - [c72]Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga:
Models for deterministic execution of real-time multiprocessor applications. DATE 2015: 1665-1670 - [c71]Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz:
Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. WESE 2015: 8:1-8:5 - [c70]Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
A Robust Framework for Securing Composed Web Services. FACS 2015: 105-122 - [c69]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. HPCC/CSS/ICESS 2015: 684-687 - [c68]Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem:
A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. HRI (Extended Abstracts) 2015: 281 - [c67]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
A Timed-Automata Based Middleware for Time-Critical Multicore Applications. ISORC Workshops 2015: 1-8 - [c66]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. ISORC 2015: 198-207 - [c65]Ahlem Triki, Jacques Combaz, Saddek Bensalem:
Optimized distributed implementation of timed component-based systems. MEMOCODE 2015: 30-35 - [c64]Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Compositional Verification of Parameterised Timed Systems. NFM 2015: 66-81 - [c63]Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem:
Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. NFM 2015: 359-374 - [c62]Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko Djoko, Marius Bozga, Saddek Bensalem:
Building distributed sensor network applications using BIP. SAS 2015: 1-6 - [p1]Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron:
Correctness of Service Components and Service Component Ensembles. The ASCENS Approach 2015: 107-159 - [i5]Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem:
Timed Orchestration for Component-based Systems. CoRR abs/1504.05513 (2015) - 2014
- [j12]Saddek Bensalem, Klaus Havelund, Andrea Orlandini:
Verification and validation meet planning and scheduling. Int. J. Softw. Tools Technol. Transf. 16(1): 1-12 (2014) - [c61]Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
Model-Driven Information Flow Security for Component-Based Systems. FPS@ETAPS 2014: 1-20 - [c60]Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki:
Rigorous System Design Flow for Autonomous Systems. ISoLA (1) 2014: 184-198 - [c59]Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem:
Building faithful high-level models and performance evaluation of manycore embedded systems. MEMOCODE 2014: 209-218 - [c58]Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem:
Faster Statistical Model Checking by Means of Abstraction and Learning. RV 2014: 340-355 - [c57]Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Compositional Invariant Generation for Timed Systems. TACAS 2014: 263-278 - [c56]Saddek Bensalem:
Compositional Verification of Timed Systems. VECoS 2014: 5-11 - [c55]Alexios Lekidis, Marius Bozga, Saddek Bensalem:
Model-based validation of CANopen systems. WFCS 2014: 1-10 - [e3]Saddek Bensalem, Yassine Lakhnech, Axel Legay:
From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science 8415, Springer 2014, ISBN 978-3-642-54847-5 [contents] - 2013
- [j11]Saddek Bensalem, Axel Legay, Marius Bozga:
Rigorous embedded design: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. 15(3): 149-154 (2013) - [c54]Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay:
Incremental Generation of Linear Invariants for Component-Based Systems. ACSD 2013: 80-89 - [c53]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
Mixed Critical Earliest Deadline First. ECRTS 2013: 93-102 - [c52]Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis:
Model-Based Implementation of Parallel Real-Time Systems. FASE 2013: 235-249 - [c51]Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket:
An Abstract Framework for Deadlock Prevention in BIP. FMOODS/FORTE 2013: 161-177 - [c50]Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf:
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Haifa Verification Conference 2013: 344-358 - [c49]Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled:
Synthesizing distributed scheduling implementation for probabilistic component-based systems. MEMOCODE 2013: 87-96 - [c48]Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty:
Stochastic modeling and performance analysis of multimedia SoCs. ICSAMOS 2013: 145-154 - [e2]Axel Legay, Saddek Bensalem:
Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings. Lecture Notes in Computer Science 8174, Springer 2013, ISBN 978-3-642-40786-4 [contents] - [i4]Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem:
EFSMT: A Logical Framework for Cyber-Physical Systems. CoRR abs/1306.3456 (2013) - [i3]Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan:
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. CoRR abs/1309.0442 (2013) - 2012
- [j10]Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand:
Rigorous design of robot software: A formal component-based approach. Robotics Auton. Syst. 60(12): 1563-1578 (2012) - [j9]Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay:
Statistical abstraction and model-checking of large heterogeneous systems. Int. J. Softw. Tools Technol. Transf. 14(1): 53-72 (2012) - [c47]Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Optimized distributed implementation of multiparty interactions with observation. AGERE!@SPLASH 2012: 71-82 - [c46]Chih-Hong Cheng, Rongjie Yan, Harald Ruess, Saddek Bensalem:
Distributed priority synthesis using knowledge. AGERE!@SPLASH 2012: 129-132 - [c45]Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. FMOODS/FORTE 2012: 118-134 - [c44]Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf:
Knowledge Based Transactional Behavior. Haifa Verification Conference 2012: 40-55 - [c43]Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri:
Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) 2012: 327-341 - [c42]Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Rigorous Component-Based System Design - (Invited Paper). WRLA 2012: 1-9 - [c41]Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess:
Distributed Priority Synthesis. SSV 2012: 57-72 - 2011
- [j8]Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis:
Priority scheduling of distributed systems based on model checking. Formal Methods Syst. Des. 39(3): 229-245 (2011) - [j7]Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis:
Rigorous Component-Based System Design Using the BIP Framework. IEEE Softw. 28(3): 41-48 (2011) - [c40]Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll:
Algorithms for Synthesizing Priorities in Component-Based Systems. ATVA 2011: 150-167 - [c39]Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis:
Time-predictable and composable architectures for dependable embedded systems. EMSOFT 2011: 351-352 - [c38]Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza, Eric Flamand, Jean-Pierre Krimm, Julien Mottin, Lars Schor, Pratyush Kumar, Hoeseok Yang, Devesh B. Chokshi, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano:
PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. FMCO 2011: 277-293 - [c37]Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis:
Component Assemblies in the Context of Manycore. FMCO 2011: 314-333 - [c36]Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis:
Rigorous System Design: The BIP Approach. MEMICS 2011: 1-19 - [c35]Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang:
Rigorous system level modeling and analysis of mixed HW/SW systems. MEMOCODE 2011: 11-20 - [c34]Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled:
Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129 - [c33]Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods 2011: 453-458 - [c32]Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois C. Knoll, Harald Ruess:
Model Construction and Priority Synthesis for Simple Interaction Systems. NASA Formal Methods 2011: 466-471 - [c31]Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
Runtime Verification of Component-Based Systems. SEFM 2011: 204-220 - [c30]Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan:
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. SC@TOOLS 2011: 116-132 - [i2]Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll:
Algorithms for Synthesizing Priorities in Component-based Systems. CoRR abs/1107.1383 (2011) - [i1]Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess:
Distributed Priority Synthesis and its Applications. CoRR abs/1112.1783 (2011) - 2010
- [j6]Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang:
Detection of deadlock potentials in multithreaded programs. IBM J. Res. Dev. 54(5): 3 (2010) - [j5]Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis:
Compositional verification for component-based systems and application. IET Softw. 4(3): 181-193 (2010) - [c29]Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton:
Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66 - [c28]Saddek Bensalem, Doron A. Peled, Joseph Sifakis:
Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli 2010: 26-41 - [c27]Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Incremental component-based construction and verification using invariants. FMCAD 2010: 257-256 - [c26]Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay:
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE 2010: 32-46 - [c25]Axel Legay, Benoît Delahaye, Saddek Bensalem:
Statistical Model Checking: An Overview. RV 2010: 122-135 - [c24]Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis:
Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV 2010: 330-344 - [c23]Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Incremental Invariant Generation for Compositional Design. TASE 2010: 157-167
2000 – 2009
- 2009
- [j4]Saddek Bensalem, Matthieu Gallien, Félix Ingrand, Imen Kahloul, Thanh-Hung Nguyen:
Designing autonomous robots. IEEE Robotics Autom. Mag. 16(1): 67-77 (2009) - [c22]Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis:
Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93 - [c21]Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis:
D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV 2009: 614-619 - [e1]Saddek Bensalem, Doron A. Peled:
Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Lecture Notes in Computer Science 5779, Springer 2009, ISBN 978-3-642-04693-3 [contents] - 2008
- [j3]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis:
Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404(3): 275-292 (2008) - [c20]Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen:
Compositional Verification for Component-Based Systems and Application. ATVA 2008: 64-79 - [c19]Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis:
Incremental Component-Based Construction and Verification of a Robotic System. ECAI 2008: 631-635 - 2007
- [c18]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck:
Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135 - [c17]Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis:
A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. ISoLA 2007: 191-202 - 2006
- [c16]Grigore Rosu, Saddek Bensalem:
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. CAV 2006: 263-277 - [c15]Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier:
Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50 - 2005
- [c14]Saddek Bensalem, Klaus Havelund:
Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference 2005: 208-223 - [c13]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis:
Generating Path Conditions for Timed Systems. IFM 2005: 5-19 - 2004
- [c12]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis:
Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249 - [c11]Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis:
Testing Conformance of Real-Time Applications by Automatic Generation of Observers. RV@ETAPS 2004: 23-43 - 2003
- [c10]Saddek Bensalem, Susanne Graf, Yassine Lakhnech:
Abstraction as the Key for Invariant Verification. Verification: Theory and Practice 2003: 67-99 - 2001
- [c9]Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre:
Incremental Verification by Abstraction. TACAS 2001: 98-112 - [c8]Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech:
Networks of Processes with Parameterized State Space. VEPAS 2001: 386-400 - 2000
- [c7]Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech:
A Transformational Approach for Generating Non-linear Invariants. SAS 2000: 58-74 - [c6]Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl:
Abstracting WS1S Systems to Verify Parameterized Networks. TACAS 2000: 188-203
1990 – 1999
- 1999
- [j2]Saddek Bensalem, Yassine Lakhnech:
Automatic Generation of Invariants. Formal Methods Syst. Des. 15(1): 75-92 (1999) - [c5]Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech:
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. CAV 1999: 146-159 - 1998
- [c4]Saddek Bensalem, Yassine Lakhnech, Sam Owre:
Computing Abstractions of Infinite State Systems Compositionally and Automatically. CAV 1998: 319-331 - [c3]Saddek Bensalem, Yassine Lakhnech, Sam Owre:
InVeST: A Tool for the Verification of Invariants. CAV 1998: 505-510 - 1996
- [c2]Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi:
Powerful Techniques for the Automatic Generation of Invariants. CAV 1996: 323-335 - 1995
- [j1]Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem:
Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods Syst. Des. 6(1): 11-44 (1995) - 1992
- [c1]Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis:
Property Preserving Simulations. CAV 1992: 260-273
1980 – 1989
- 1985
- [b1]Saddek Bensalem:
Algèbre de programmes dans un univers type. (Program algebra in a type universe). Grenoble Institute of Technology, France, 1985
Coauthor Index
[j34] [j33] [j31] [c113] [c112] [c111] [c109] [c108] [c106] [c105] [c104] [j27] [j26] [j25] [j24] [j21] [c99] [c98] [c96] [c95] [c94] [c90] [j20] [c89] [c87] [c86] [i9] [j19] [j18] [j17] [c82] [c81] [c80] [c79] [c78] [c77] [c75] [c74] [i6] [j16] [j15] [j14] [j13] [c73] [c72] [c70] [c69] [c67] [c66] [c64] [c62] [c61] [c60] [c59] [c58] [c57] [c55] [j11] [c54] [c53] [c51] [c50] [c48] [j9] [c47] [c45] [c44] [c43] [c42] [j7] [c38] [c37] [c36] [c35] [c31] [j5] [c29] [c27] [c26] [c24] [c21] [c20] [c11] [c7]
Doron A. Peled
aka: Doron Peled
aka: Doron Peled
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-11-07 21:34 CET 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:
