C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Brahim Nasraoui
Publication Activity (10 Years)
Years Active: 2009-2016
Publications (10 Years): 1
Top Topics
Databases
Rewriting Systems
Timed Automata
Top Venues
COMPSAC Workshops
</>
Publications
</>
Brahim Nasraoui
,
Riadh Robbana
Reachability Analysis of Multithreaded Programs Using Communicating Rewriting Systems.
COMPSAC Workshops
(2016)
Narjes Ben Rajeb
,
Brahim Nasraoui
,
Riadh Robbana
,
Tayssir Touili
Verifying Multithreaded Recursive Programs with Integer Variables.
INFINITY
(2009)