Travelled to:1 × Belgium
2 × USA
Collaborated with:A.Bouajjani Y.Lakhnech R.Echahed T.Abdellatif L.Sfaxi
Talks about:system (3) linear (3) hybrid (3) distribut (1) subclass (1) properti (1) calculus (1) automata (1) regular (1) control (1)
Person: Riadh Robbana
DBLP: Robbana:Riadh
Contributed to:
2011
19951994Wrote 4 papers:
- CBSE-2011-AbdellatifSRL #automation #component #data flow #distributed
- Automating information flow control in component-based distributed systems (TA, LS, RR, YL), pp. 73–82.
- CAV-1995-BouajjaniLR #automaton #calculus #hybrid #linear
- From Duration Calculus To Linear Hybrid Automata (AB, YL, RR), pp. 196–210.
- CAV-1995-BouajjaniR #hybrid #linear #subclass #verification
- Verifying ω-Regular Properties for a Subclass of Linear Hybrid Systems (AB, RR), pp. 437–450.
- CAV-1994-BouajjaniER #hybrid #linear #using #verification
- Verification of Context-Free Timed Systems Using Linear Hybrid Observers (AB, RE, RR), pp. 118–131.