Ahmed Rezine

Ahmed Rezine

Linköping University - Linköping / Sweden
Others
AD Scientific Index ID: 1409571
Linköpings universitet
person_outline Ahmed Rezine's MOST POPULAR ARTICLES
1-) String constraints for verificationPA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J StenmanComputer Aided Verification: 26th International Conference, CAV 2014, Held …, 20141232014
2-) Regular model checking without transducers (on efficient verification of parameterized systems)PA Abdulla, G Delzanno, NB Henda, A RezineTools and Algorithms for the Construction and Analysis of Systems: 13th …, 20071222007
3-) Norn: An SMT solver for string constraintsPA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J StenmanComputer Aided Verification: 27th International Conference, CAV 2015, San …, 2015962015
4-) Parameterized verification of infinite-state processes with global conditionsPA Abdulla, G Delzanno, A RezineComputer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007992007
5-) Stability-aware integrated routing and scheduling for control applications in Ethernet networksR Mahfouzi, A Aminifar, S Samii, A Rezine, P Eles, Z Peng2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 682-687, 2018812018