


Остановите войну!
for scientists:
Saddek 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
- 2022
- [j36]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) - [j35]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) - [c114]Salim Chehida, Saddek Bensalem, Davide Conzon, Enrico Ferrera, Xu Tao:
BRAIN-IoT Architecture and Platform for Building IoT Systems. IoTBDS 2022: 67-77 - [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
- [j34]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) - [j33]Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Programming dynamic reconfigurable systems. Int. J. Softw. Tools Technol. Transf. 23(5): 701-719 (2021) - [c113]Siham Khoussi, Alan Heckert, Abdella Battou, Saddek Bensalem:
A neural networks-based methodology for fitting data to probability distributions. AICCSA 2021: 1-7 - [c112]Salim Chehida
, Abdelhakim Baouya
, Saddek Bensalem
:
Component-Based Approach Combining UML and BIP for Rigorous System Design. FACS 2021: 27-43 - [c111]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
- [j32]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) - [j31]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) - [c110]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 - [c109]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 - [c108]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 - [c107]Abdelhakim Baouya
, Salim Chehida
, Saddek Bensalem, Marius Bozga:
Fog Computing and Blockchain for Massive IoT Deployment. MECO 2020: 1-4 - [c106]Salim Chehida
, Abdelhakim Baouya
, Marius Bozga, Saddek Bensalem:
Exploration of Impactful Countermeasures on IoT Attacks. MECO 2020: 1-4 - [c105]Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand
:
Runtime Verification of Timed Properties in Autonomous Robots. MEMOCODE 2020: 1-12 - [c104]Salim Chehida
, Abdelhakim Baouya
, Saddek Bensalem
, Marius Bozga
:
Applied Statistical Model Checking for a Sensor Behavior Analysis. QUATIC 2020: 399-411 - [c103]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 - [c102]Abdelhakim Baouya
, Salim Chehida
, Saddek Bensalem, Marius Bozga:
Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. SoMeT 2020: 330-342 - [c101]Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem:
Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. VECoS 2020: 149-164 - [c100]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
- [j30]Iulia Dragomir, Saddek Bensalem:
Rigorous Design of FDIR Systems with BIP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019) - [j29]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) - [j28]Dario Socci, Peter Poplavko
, Saddek Bensalem, Marius Bozga:
Priority-based scheduling of mixed-critical jobs. Real Time Syst. 55(4): 709-773 (2019) - [c99]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 - [c98]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
- [j27]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) - [j26]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) - [j25]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) - [j24]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) - [j23]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) - [c97]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 - [c96]Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Programming Dynamic Reconfigurable Systems. FACS 2018: 118-136 - [c95]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 - [c94]Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem:
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. ISoLA (3) 2018: 155-171 - [c93]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 - [c92]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem:
Mitigating Security Risks Through Attack Strategies Exploration. ISoLA (2) 2018: 392-413 - [c91]Steven de Oliveira, Virgile Prevosto
, Peter Habermehl, Saddek Bensalem:
Left-Eigenvectors Are Certificates of the Orbit Problem. RP 2018: 30-44 - [c90]Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem:
Predictability in Mixed-Criticality Systems. RTCSA 2018: 179-184 - [c89]Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem:
Algorithmic Complexity of Correctness Testing in MC-Scheduling. RTNS 2018: 180-190 - [c88]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
- [j22]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) - [c87]Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga:
Knowledge Based Optimization for Distributed Real-Time Systems. APSEC 2017: 751-756 - [c86]Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
:
Synthesizing Invariants by Solving Solvable Loops. ATVA 2017: 327-343 - [c85]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem:
Improved Learning for Stochastic Timed Models by State-Merging Algorithms. NFM 2017: 178-193 - [c84]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 - [c83]Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
:
Regression-Based Statistical Bounds on Software Execution Time. VECoS 2017: 48-63 - [c82]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
- [j21]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) - [j20]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) - [j19]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) - [c81]Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
:
Polynomial Invariants by Linear Algebra. ATVA 2016: 479-494 - [c80]Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga:
A Compositional Approach to the Verification of Hybrid Systems. Theory and Practice of Formal Methods 2016: 88-103 - [c79]Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess:
Compositional Parameter Synthesis. FM 2016: 60-68 - [c78]Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem:
Local Planning of Multiparty Interactions with Bounded Horizons. FM 2016: 199-216 - [c77]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Monitoring Multi-threaded Component-Based Systems. IFM 2016: 141-159 - [c76]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 - [c75]Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
A Model-Based Approach to Secure Multiparty Distributed Systems. ISoLA (1) 2016: 893-908 - [c74]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 - [c73]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 - [c72]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
- [j18]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) - [j17]Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Optimized distributed implementation of multiparty interactions with Restriction. Sci. Comput. Program. 98: 293-316 (2015) - [j16]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) - [j15]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) - [c71]Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga:
A Theory Agenda for Component-Based Design. Software, Services, and Systems 2015: 409-439 - [c70]Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga:
Models for deterministic execution of real-time multiprocessor applications. DATE 2015: 1665-1670 - [c69]Martin Törngren
, Saddek Bensalem, John Alexander 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 - [c68]Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
A Robust Framework for Securing Composed Web Services. FACS 2015: 105-122 - [c67]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 - [c66]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 - [c65]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
A Timed-Automata Based Middleware for Time-Critical Multicore Applications. ISORC Workshops 2015: 1-8 - [c64]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. ISORC 2015: 198-207 - [c63]Ahlem Triki, Jacques Combaz, Saddek Bensalem:
Optimized distributed implementation of timed component-based systems. MEMOCODE 2015: 30-35 - [c62]Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Compositional Verification of Parameterised Timed Systems. NFM 2015: 66-81 - [c61]Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem:
Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. NFM 2015: 359-374 - [c60]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
- [j14]Saddek Bensalem, Klaus Havelund, Andrea Orlandini
:
Verification and validation meet planning and scheduling. Int. J. Softw. Tools Technol. Transf. 16(1): 1-12 (2014) - [c59]Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
Model-Driven Information Flow Security for Component-Based Systems. FPS@ETAPS 2014: 1-20 - [c58]Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki:
Rigorous System Design Flow for Autonomous Systems. ISoLA (1) 2014: 184-198 - [c57]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 - [c56]Ayoub Nouri, Balaji Raman
, Marius Bozga, Axel Legay, Saddek Bensalem:
Faster Statistical Model Checking by Means of Abstraction and Learning. RV 2014: 340-355 - [c55]Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Compositional Invariant Generation for Timed Systems. TACAS 2014: 263-278 - [c54]Saddek Bensalem:
Compositional Verification of Timed Systems. VECoS 2014: 5-11 - [c53]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
- [j13]Saddek Bensalem, Axel Legay, Marius Bozga:
Rigorous embedded design: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. 15(3): 149-154 (2013) - [c52]Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay:
Incremental Generation of Linear Invariants for Component-Based Systems. ACSD 2013: 80-89 - [c51]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
Mixed Critical Earliest Deadline First. ECRTS 2013: 93-102 - [c50]Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis:
Model-Based Implementation of Parallel Real-Time Systems. FASE 2013: 235-249 - [c49]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 - [c48]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 - [c47]Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled:
Synthesizing distributed scheduling implementation for probabilistic component-based systems. MEMOCODE 2013: 87-96 - [c46]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
- [j12]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) - [j11]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) - [c45]Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Optimized distributed implementation of multiparty interactions with observation. AGERE!@SPLASH 2012: 71-82 - [c44]Chih-Hong Cheng, Rongjie Yan, Harald Ruess, Saddek Bensalem:
Distributed priority synthesis using knowledge. AGERE!@SPLASH 2012: 129-132 - [c43]Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. FMOODS/FORTE 2012: 118-134 - [c42]Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf:
Knowledge Based Transactional Behavior. Haifa Verification Conference 2012: 40-55 - [c41]