Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Saddek Bensalem
Rigorous System Design: The BIP Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Process Network Model for Reactive Streaming Software With Deterministic Task Parallelism
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Rigorous System Design Flow for Autonomous Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Driven Information Flow Security for Component-Based Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Design of Embedded Systems With Complex Task Dependencies and Shared Resource Interference (Short Paper)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Performance Evaluation of Stochastic Real-Time Systems With the SBIP Framework
International Journal of Critical Computer-Based Systems
Computer Science
Optimized Distributed Implementation of Multiparty Interactions With Observation
Incremental Generation of Linear Invariants for Component-Based Systems
Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
D-Finder: A Tool for Compositional Deadlock Detection and Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
1
2
›
