Saddek Bensalem

211 papers A* 9A 10B 31C 21Misc 6Journal 69Unranked 61

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Model-based dependability and performance analysis for satellite systems with collaborative maintenance maneuvers via stochastic games. J. Syst. Softw. Abdelhakim Baouya, Brahim Hamid, Otmane Aït Mohamed, Saddek Bensalem
2026	J	`jnl`	Revisiting Out-of-Distribution Detection in Real-Time Object Detection: From Benchmark Pitfalls to a New Mitigation Paradigm. IEEE Trans. Pattern Anal. Mach. Intell. Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2025	J	`jnl`	Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design. CoRR Anis Bekri, Amar Abane, Abdella Battou, Saddek Bensalem
2025	J	`jnl`	Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations. Ad Hoc Networks Abdelhakim Baouya, Brahim Hamid, Otmane Aït Mohamed, Saddek Bensalem
2025	J	`jnl`	Digital twin for the formal analysis of a depth of anesthesia controller. Simul. Mohamed Abdelsalam, Saddek Bensalem, Antoine Delacourt, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Ricardo Ruiz Nolasco, Doron Peled, Matthieu Ponchant, Ismail Ryad, Anastasios Temperekidis, Changshun Wu
2025	J	`jnl`	LoRA-BAM: Input Filtering for Fine-tuned LLMs via Boxed Abstraction Monitors over LoRA Layers. CoRR Changshun Wu, Tianyi Duan, Saddek Bensalem, Chih-Hong Cheng
2025	A	`conf`	Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection. IROS Weicheng He, Changshun Wu, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2025	J	`jnl`	Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection. CoRR Weicheng He, Changshun Wu, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2025	J	`jnl`	Modeling and analysis of data corruption attacks and energy consumption effects on edge servers using concurrent stochastic games. Soft Comput. Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem
2025	Misc	`conf`	Out-of-Distribution Detectors: Not Yet Primed for Practical Deployment. ICASSP Changshun Wu, Wendi Ding, Xiaowei Huang, Saddek Bensalem
2025	A*	`conf`	Randomized Smoothing Meets Vision-Language Models. EMNLP Emmanouil Seferis, Changshun Wu, Stefanos Kollias, Saddek Bensalem, Chih-Hong Cheng
2025	J	`jnl`	Randomized Smoothing Meets Vision-Language Models. CoRR Emmanouil Seferis, Changshun Wu, Stefanos Kollias, Saddek Bensalem, Chih-Hong Cheng
2025	B	`conf`	Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs. RV Chih-Hong Cheng, Changshun Wu, Xingyu Zhao, Saddek Bensalem, Harald Ruess
2025	J	`jnl`	Safeguarding large language models: a survey. Artif. Intell. Rev. Yi Dong, Ronghui Mu, Yanghao Zhang, Siqi Sun, Tianle Zhang, Changshun Wu, Gaojie Jin, Yi Qi, Jinwei Hu, Jie Meng, Saddek Bensalem, Xiaowei Huang
2024	J	`jnl`	A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. CoRR Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
2024	Misc	`conf`	A User-Centric Privacy Control Framework for Decentralized IoT Platforms. QUATIC Xu Tao, Rui Zhao, Salim Chehida, Davide Conzon, Enrico Ferrera, Saddek Bensalem
2024	J	`jnl`	A survey of safety and trustworthiness of large language models through the lens of verification and validation. Artif. Intell. Rev. 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
2024	A	`conf`	BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. IROS Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2024	J	`jnl`	BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. CoRR Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2024	B	`conf`	Box-Based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study. RV Weicheng He, Changshun Wu, Saddek Bensalem
2024	J	`jnl`	Bridging formal methods and machine learning with model checking and global optimisation. J. Log. Algebraic Methods Program. Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao
2024	J	`jnl`	Deploying warehouse robots with confidence: the BRAIN-IoT framework's functional assurance. J. Supercomput. Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Levent Gürgen, Richard Nicholson, Miquel Cantero, Mario Diaz-Nava, Enrico Ferrera
2024	J	`jnl`	Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs. CoRR Chih-Hong Cheng, Changshun Wu, Harald Ruess, Xingyu Zhao, Saddek Bensalem
2024	B	`conf`	Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games. SEAA Abdelhakim Baouya, Brahim Hamid, Otmane Aït Mohamed, Saddek Bensalem
2024	J	`jnl`	Model-based design of resilient systems using quantitative risk assessment. Innov. Syst. Softw. Eng. Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
2024	—	`conf`	Neural Network Innovations in Image-Based Malware Classification: A Comparative Study. AINA (4) Hamzah Al-Qadasi, Djafer Yahia Messaoud Benchadi, Salim Chehida, Kazuhiro Fukui, Saddek Bensalem
2024	J	`jnl`	Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games. Internet Things Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem
2024	J	`jnl`	Safeguarding Large Language Models: A Survey. CoRR Yi Dong, Ronghui Mu, Yanghao Zhang, Siqi Sun, Tianle Zhang, Changshun Wu, Gaojie Jin, Yi Qi, Jinwei Hu, Jie Meng, Saddek Bensalem, Xiaowei Huang
2023	J	`jnl`	A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation. CoRR 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
2023	—	`conf`	A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. PoEM Companion Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
2023	—	`conf`	Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA 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
2023	B	`conf`	Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. RV Changshun Wu, Yliès Falcone, Saddek Bensalem
2023	—	`conf`	DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. AISoLA Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem
2023	—	`conf`	Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems. AITest Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem
2023	J	`jnl`	Towards Rigorous Design of OoD Detectors. CoRR Chih-Hong Cheng, Changshun Wu, Harald Ruess, Saddek Bensalem
2023	J	`jnl`	What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems. CoRR Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
2023	—	`conf`	What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. AISoLA Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
2022	C	`conf`	BRAIN-IoT Architecture and Platform for Building IoT Systems. IoTBDS Salim Chehida, Saddek Bensalem, Davide Conzon, Enrico Ferrera, Xu Tao
2022	—	`conf`	DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks. AITest Hamzah Al-Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem
2022	C	`conf`	Formal Modelling and Security Analysis of Inter-Operable Systems. IEA/AIE Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem
2022	—	`conf`	Formal Specification for Learning-Enabled Autonomous Systems. NSV/FoMLAS@CAV Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
2022	J	`jnl`	Generation and verification of learned stochastic automata using k-NN and statistical model checking. Appl. Intell. Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga
2022	J	`jnl`	Learning and analysis of sensors behavior in IoT systems using statistical model checking. Softw. Qual. J. Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
2022	B	`conf`	Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. ATVA Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
2022	J	`jnl`	Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. CoRR Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
2022	—	`conf`	Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. MESAS Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed Abdelsalam, Ashraf Salem
2021	C	`conf`	A neural networks-based methodology for fitting data to probability distributions. AICCSA Siham Khoussi, Alan Heckert, Abdella Battou, Saddek Bensalem
2021	—	`conf`	Component-Based Approach Combining UML and BIP for Rigorous System Design. FACS Salim Chehida, Abdelhakim Baouya, Saddek Bensalem
2021	J	`jnl`	Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes. CoRR Changshun Wu, Yliès Falcone, Saddek Bensalem
2021	—	`conf`	Monitoring Distributed Component-Based Systems. FACS Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga
2021	J	`jnl`	On methods and tools for rigorous system design. Int. J. Softw. Tools Technol. Transf. Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing
2021	J	`jnl`	Programming dynamic reconfigurable systems. Int. J. Softw. Tools Technol. Transf. Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2020	B	`conf`	A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. SEFM Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2020	Misc	`conf`	Applied Statistical Model Checking for a Sensor Behavior Analysis. QUATIC Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
2020	C	`conf`	Asset-Driven Approach for Security Risk Assessment in IoT Systems. CRiSIS Salim Chehida, Abdelhakim Baouya, Diego Fernández Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem
2020	J	`jnl`	Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. Int. J. Softw. Tools Technol. Transf. Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
2020	J	`jnl`	Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. Int. J. Softw. Tools Technol. Transf. Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
2020	—	`conf`	Exploration of Impactful Countermeasures on IoT Attacks. MECO Salim Chehida, Abdelhakim Baouya, Marius Bozga, Saddek Bensalem
2020	—	`conf`	Fog Computing and Blockchain for Massive IoT Deployment. MECO Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
2020	—	`conf`	Formal Modeling and Simulation of Collaborative Intelligent Robots. ESOCC Workshops Abdelhakim Baouya, Salim Chehida, Miquel Cantero, Marta Millet, Saddek Bensalem, Marius Bozga
2020	C	`conf`	Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. SoMeT Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
2020	—	`conf`	Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. WADT Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
2020	J	`jnl`	Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS. CoRR Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
2020	C	`conf`	Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. VECoS Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
2020	C	`conf`	Runtime Verification of Timed Properties in Autonomous Robots. MEMOCODE Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand
2020	—	`conf`	Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. ISoLA (2) Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg
2019	—	`conf`	Control Synthesis Through Deep Learning. From Reactive Systems to Cyber-Physical Systems Doron Peled, Simon Iosti, Saddek Bensalem
2019	J	`jnl`	Local Planning Semantics: A Semantics for Distributed Real-Time Systems. Leibniz Trans. Embed. Syst. Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
2019	B	`conf`	Performance Evaluation of the NDN Data Plane Using Statistical Model Checking. ATVA Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem
2019	J	`jnl`	Performance evaluation of a NDN forwarder using statistical model checking. CoRR Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem
2019	J	`jnl`	Priority-based scheduling of mixed-critical jobs. Real Time Syst. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2019	J	`jnl`	Rigorous Design of FDIR Systems with BIP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Iulia Dragomir, Saddek Bensalem
2018	B	`conf`	A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. FASE Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
2018	Misc	`conf`	Algorithmic Complexity of Correctness Testing in MC-Scheduling. RTNS Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem
2018	J	`jnl`	DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Des. Autom. Embed. Syst. 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
2018	—	`conf`	Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. ISoLA (3) Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem
2018	—	`conf`	Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. ISoLA (3) Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2018	J	`jnl`	Global and Local Deadlock Freedom in BIP. ACM Trans. Softw. Eng. Methodol. Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
2018	—	`conf`	Left-Eigenvectors Are Certificates of the Orbit Problem. RP Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem
2018	J	`jnl`	Left-eigenvectors are certificates of the Orbit Problem. CoRR Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem
2018	J	`jnl`	Maximal software execution time: a regression-based approach. Innov. Syst. Softw. Eng. Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
2018	—	`conf`	Mitigating Security Risks Through Attack Strategies Exploration. ISoLA (2) Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
2018	J	`jnl`	Performance evaluation of stochastic real-time systems with the SBIP framework. Int. J. Crit. Comput. Based Syst. Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay
2018	B	`conf`	Predictability in Mixed-Criticality Systems. RTCSA Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem
2018	—	`ed.`	Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018. MeTRiD@ETAPS Simon Bliudze, Saddek Bensalem
2018	—	`conf`	Programming Dynamic Reconfigurable Systems. FACS Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2018	J	`jnl`	TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. Innov. Syst. Softw. Eng. Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec
2018	B	`conf`	Tracing Distributed Component-Based Systems, a Brief Overview. RV Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
2018	C	`ed.`	Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings VECoS Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
2017	J	`jnl`	Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Aspects Comput. Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
2017	B	`conf`	Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). SEFM Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo
2017	—	`conf`	Improved Learning for Stochastic Timed Models by State-Merging Algorithms. NFM Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem
2017	C	`conf`	Knowledge Based Optimization for Distributed Real-Time Systems. APSEC Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
2017	J	`jnl`	Monitoring Distributed Component-Based Systems. CoRR Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga
2017	C	`conf`	Regression-Based Statistical Bounds on Software Execution Time. VECoS Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
2017	B	`conf`	Synthesizing Invariants by Solving Solvable Loops. ATVA Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
2017	C	`conf`	TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. VECoS Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec
2016	—	`conf`	A Compositional Approach to the Verification of Hybrid Systems. Theory and Practice of Formal Methods Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga
2016	—	`conf`	A Model-Based Approach to Secure Multiparty Distributed Systems. ISoLA (1) Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
2016	J	`jnl`	Component-based verification using incremental design and invariants. Softw. Syst. Model. Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2016	B	`conf`	Compositional Parameter Synthesis. FM Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
2016	J	`jnl`	Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. CoRR Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
2016	J	`jnl`	Distinguishing extended finite state machine configurations using predicate abstraction. J. Softw. Eng. Res. Dev. Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem
2016	B	`conf`	Local Planning of Multiparty Interactions with Bounded Horizons. FM Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem
2016	—	`conf`	Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. ISoLA (1) Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga
2016	B	`conf`	Monitoring Multi-threaded Component-Based Systems. IFM Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
2016	C	`conf`	Performance Evaluation of Complex Systems Using the SBIP Framework. VECoS Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
2016	B	`conf`	Polynomial Invariants by Linear Algebra. ATVA Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
2016	J	`jnl`	Polynomial invariants by linear algebra. CoRR Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
2016	A	`conf`	Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. RTAS Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem
2016	A	`conf`	RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. TACAS Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz
2016	J	`jnl`	Synthesizing invariants by solving solvable loops. CoRR Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
2015	—	`conf`	A Robust Framework for Securing Composed Web Services. FACS Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
2015	—	`conf`	A Theory Agenda for Component-Based Design. Software, Services, and Systems Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga
2015	—	`conf`	A Timed-Automata Based Middleware for Time-Critical Multicore Applications. ISORC Workshops Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2015	—	`conf`	A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. HRI (Extended Abstracts) Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem
2015	—	`conf`	Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. NFM Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem
2015	B	`conf`	Building distributed sensor network applications using BIP. SAS Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko Djoko, Marius Bozga, Saddek Bensalem
2015	J	`jnl`	Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Log. Methods Comput. Sci. Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz
2015	—	`conf`	Compositional Verification of Parameterised Timed Systems. NFM Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
2015	—	`ch.`	Correctness of Service Components and Service Component Ensembles. The ASCENS Approach Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron
2015	—	`conf`	Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. WESE Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz
2015	A	`conf`	Models for deterministic execution of real-time multiprocessor applications. DATE Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga
2015	C	`conf`	Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. ISORC Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2015	J	`jnl`	Optimized distributed implementation of multiparty interactions with Restriction. Sci. Comput. Program. Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
2015	C	`conf`	Optimized distributed implementation of timed component-based systems. MEMOCODE Ahlem Triki, Jacques Combaz, Saddek Bensalem
2015	J	`jnl`	Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
2015	J	`jnl`	Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay
2015	—	`conf`	Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. HPCC/CSS/ICESS Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2015	J	`jnl`	Timed Orchestration for Component-based Systems. CoRR Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem
2014	C	`conf`	Building faithful high-level models and performance evaluation of manycore embedded systems. MEMOCODE Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem
2014	A	`conf`	Compositional Invariant Generation for Timed Systems. TACAS Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
2014	C	`conf`	Compositional Verification of Timed Systems. VECoS Saddek Bensalem
2014	B	`conf`	Faster Statistical Model Checking by Means of Abstraction and Learning. RV Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem
2014	—	`ed.`	From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings FPS@ETAPS Saddek Bensalem, Yassine Lakhnech, Axel Legay
2014	—	`conf`	Model-Driven Information Flow Security for Component-Based Systems. FPS@ETAPS Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
2014	C	`conf`	Model-based validation of CANopen systems. WFCS Alexios Lekidis, Marius Bozga, Saddek Bensalem
2014	—	`conf`	Rigorous System Design Flow for Autonomous Systems. ISoLA (1) Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki
2014	J	`jnl`	Verification and validation meet planning and scheduling. Int. J. Softw. Tools Technol. Transf. Saddek Bensalem, Klaus Havelund, Andrea Orlandini
2013	J	`jnl`	A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. CoRR Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan
2013	—	`conf`	An Abstract Framework for Deadlock Prevention in BIP. FMOODS/FORTE Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
2013	J	`jnl`	EFSMT: A Logical Framework for Cyber-Physical Systems. CoRR Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem
2013	—	`conf`	Incremental Generation of Linear Invariants for Component-Based Systems. ACSD Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay
2013	B	`conf`	Mixed Critical Earliest Deadline First. ECRTS Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2013	B	`conf`	Model-Based Implementation of Parallel Real-Time Systems. FASE Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis
2013	—	`conf`	Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Haifa Verification Conference Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf
2013	J	`jnl`	Rigorous embedded design: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. Saddek Bensalem, Axel Legay, Marius Bozga
2013	B	`ed.`	Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings RV Axel Legay, Saddek Bensalem
2013	—	`conf`	Stochastic modeling and performance analysis of multimedia SoCs. ICSAMOS Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty
2013	C	`conf`	Synthesizing distributed scheduling implementation for probabilistic component-based systems. MEMOCODE Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled
2012	—	`conf`	Distributed Priority Synthesis SSV Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess
2012	—	`conf`	Distributed priority synthesis using knowledge. AGERE!@SPLASH Chih-Hong Cheng, Rongjie Yan, Harald Ruess, Saddek Bensalem
2012	—	`conf`	Knowledge Based Transactional Behavior. Haifa Verification Conference Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf
2012	—	`conf`	Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. FMOODS/FORTE Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
2012	—	`conf`	Optimized distributed implementation of multiparty interactions with observation. AGERE!@SPLASH Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
2012	—	`conf`	Rigorous Component-Based System Design - (Invited Paper). WRLA Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2012	J	`jnl`	Rigorous design of robot software: A formal component-based approach. Robotics Auton. Syst. Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand
2012	—	`conf`	Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri
2012	J	`jnl`	Statistical abstraction and model-checking of large heterogeneous systems. Int. J. Softw. Tools Technol. Transf. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay
2011	A	`conf`	A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. SC Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan
2011	B	`conf`	Algorithms for Synthesizing Priorities in Component-Based Systems. ATVA Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
2011	J	`jnl`	Algorithms for Synthesizing Priorities in Component-based Systems CoRR Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
2011	—	`conf`	Component Assemblies in the Context of Manycore. FMCO Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis
2011	—	`conf`	D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2011	J	`jnl`	Distributed Priority Synthesis and its Applications CoRR Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess
2011	C	`conf`	Efficient deadlock detection for concurrent systems. MEMOCODE Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled
2011	—	`conf`	Model Construction and Priority Synthesis for Simple Interaction Systems. NASA Formal Methods Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois C. Knoll, Harald Ruess
2011	—	`conf`	PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. FMCO 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
2011	J	`jnl`	Priority scheduling of distributed systems based on model checking. Formal Methods Syst. Des. Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis
2011	J	`jnl`	Rigorous Component-Based System Design Using the BIP Framework. IEEE Softw. Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis
2011	—	`conf`	Rigorous System Design: The BIP Approach. MEMICS Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis
2011	C	`conf`	Rigorous system level modeling and analysis of mixed HW/SW systems. MEMOCODE Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang
2011	B	`conf`	Runtime Verification of Component-Based Systems. SEFM Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
2011	Misc	`conf`	Time-predictable and composable architectures for dependable embedded systems. EMSOFT Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis
2010	J	`jnl`	Compositional verification for component-based systems and application. IET Softw. Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis
2010	J	`jnl`	Detection of deadlock potentials in multithreaded programs. IBM J. Res. Dev. Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang
2010	Misc	`conf`	Incremental Invariant Generation for Compositional Design. TASE Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2010	B	`conf`	Incremental component-based construction and verification using invariants. FMCAD Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2010	—	`conf`	Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli Saddek Bensalem, Doron A. Peled, Joseph Sifakis
2010	B	`conf`	Methods for Knowledge Based Controlling of Distributed Systems. ATVA Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton
2010	—	`conf`	Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
2010	B	`conf`	Statistical Model Checking: An Overview. RV Axel Legay, Benoît Delahaye, Saddek Bensalem
2010	B	`conf`	Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis
2009	A*	`conf`	D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis
2009	J	`jnl`	Designing autonomous robots. IEEE Robotics Autom. Mag. Saddek Bensalem, Matthieu Gallien, Félix Ingrand, Imen Kahloul, Thanh-Hung Nguyen
2009	A*	`conf`	Priority Scheduling of Distributed Systems Based on Model Checking. CAV Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis
2009	B	`ed.`	Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers RV Saddek Bensalem, Doron A. Peled
2008	J	`jnl`	Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
2008	B	`conf`	Compositional Verification for Component-Based Systems and Application. ATVA Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen
2008	A	`conf`	Incremental Component-Based Construction and Verification of a Robotic System. ECAI Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis
2007	C	`conf`	A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. ISoLA Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis
2007	—	`conf`	Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck
2006	A*	`conf`	Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. CAV Grigore Rosu, Saddek Bensalem
2006	—	`conf`	Confirmation of deadlock potentials detected by runtime analysis. PADTAD Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier
2005	—	`conf`	Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference Saddek Bensalem, Klaus Havelund
2005	B	`conf`	Generating Path Conditions for Timed Systems. IFM Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
2004	—	`conf`	Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
2004	—	`conf`	Testing Conformance of Real-Time Applications by Automatic Generation of Observers. RV@ETAPS Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis
2003	—	`conf`	Abstraction as the Key for Invariant Verification. Verification: Theory and Practice Saddek Bensalem, Susanne Graf, Yassine Lakhnech
2001	A	`conf`	Incremental Verification by Abstraction. TACAS Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre
2001	—	`conf`	Networks of Processes with Parameterized State Space. VEPAS Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech
2000	B	`conf`	A Transformational Approach for Generating Non-linear Invariants. SAS Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech
2000	A	`conf`	Abstracting WS1S Systems to Verify Parameterized Networks. TACAS Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl
1999	J	`jnl`	Automatic Generation of Invariants. Formal Methods Syst. Des. Saddek Bensalem, Yassine Lakhnech
1999	A*	`conf`	Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. CAV Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech
1998	A*	`conf`	Computing Abstractions of Infinite State Systems Compositionally and Automatically. CAV Saddek Bensalem, Yassine Lakhnech, Sam Owre
1998	A*	`conf`	InVeST: A Tool for the Verification of Invariants. CAV Saddek Bensalem, Yassine Lakhnech, Sam Owre
1996	A*	`conf`	Powerful Techniques for the Automatic Generation of Invariants. CAV Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi
1995	J	`jnl`	Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods Syst. Des. Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem
1992	A*	`conf`	Property Preserving Simulations. CAV Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis
1985	—	`—`	Algèbre de programmes dans un univers type. (Program algebra in a type universe). Saddek Bensalem