Saddek Bensalem

Available identifiers

zbMath Open bensalem.saddekMaRDI QIDQ453500

List of research outcomes

Publication	Date of Publication	Type
Bridging formal methods and machine learning with model checking and global optimisation	2024-02-12	Paper
Synthesizing Invariants by Solving Solvable Loops	2022-08-12	Paper
Institution-based encoding and verification of simple UML state machines in CASL/SPASS	2021-10-27	Paper
A compositional approach to the verification of hybrid systems	2021-05-20	Paper
Priority-based scheduling of mixed-critical jobs	2020-07-13	Paper
Local planning of multiparty interactions with bounded horizons	2020-01-03	Paper
Compositional parameter synthesis	2020-01-03	Paper
Polynomial invariants by linear algebra	2018-10-25	Paper
Left-eigenvectors are certificates of the Orbit problem	2018-10-23	Paper
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation	2018-01-08	Paper
Compositional Verification for Timed Systems Based on Automatic Invariant Generation	2015-10-29	Paper
A Theory Agenda for Component-Based Design	2015-06-22	Paper
Model-Driven Information Flow Security for Component-Based Systems	2014-07-24	Paper
Networks of Processes with Parameterized State Space	2013-05-10	Paper
Priority scheduling of distributed systems based on model checking	2012-09-27	Paper
Runtime Verification of Component-Based Systems	2011-10-28	Paper
Algorithms for Synthesizing Priorities in Component-Based Systems	2011-10-07	Paper
Model Construction and Priority Synthesis for Simple Interaction Systems	2011-07-22	Paper
Methods for Knowledge Based Controlling of Distributed Systems	2010-10-04	Paper
Knowledge Based Scheduling of Distributed Systems	2010-09-07	Paper
Verification: Theory and Practice	2010-03-23	Paper
Priority Scheduling of Distributed Systems Based on Model Checking	2009-06-30	Paper
Compositional Verification for Component-Based Systems and Application	2008-11-20	Paper
Automatic generation of path conditions for concurrent timed systems	2008-10-07	Paper
Generating Path Conditions for Timed Systems	2007-11-29	Paper
Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis	2007-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4817540	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q2769580	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2722048	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4518895	2001-02-05	Paper
Property preserving abstractions for the verification of concurrent systems	1995-04-10	Paper

Research outcomes over time

This page was built for person: Saddek Bensalem