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
Compositional parameter synthesis	2020-01-03	Paper
Local planning of multiparty interactions with bounded horizons	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/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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Saddek Bensalem