Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rachida Dssouli
Compiling Real-Time Scenarios Into a Timed Automaton
Multi-Tier Framework for Management of Web Services' Quality
Related publications
Toward Parametric Timed Interfaces for Real-Time Components
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Real-Time Control With Parametric Timed Reachability Games
IFAC Proceedings Volumes
Stochastic Real-Time Games With Qualitative Timed Automata Objectives
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Method for Testing Real-Time System Based on Timed Automata
Ruan Jian Xue Bao/Journal of Software
Software
An Interactive Systemc Course Featuring Real-Time Online Compiling and Analysis
Real-Time Multi-Agent Systems for Telerehabilitation Scenarios
Artificial Intelligence in Medicine
Medicine
Artificial Intelligence
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM
Computer Science
Real-Time Scheduling of Energy Harvesting Embedded Systems With Timed Automata
Writing and Compiling Code Into Biochemistry
