Search results for: Sofiene Tahar
Formal Aspects of Computing > 2019 > 31 > 3 > 321-351
Journal of Systems and Software > 2017 > 134 > C > 170-189
Integration, the VLSI Journal > 2017 > 59 > C > 135-147
Journal of Computer and System Sciences > 2017 > 88 > C > 271-289
Journal of Software: Evolution and Process > 29 > 3 > n/a - n/a
Applied Soft Computing > 2017 > 52 > C > 247-261
Journal of Applied Logic > 2016 > 18 > C > 19-41
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Tools > 244-258
Lecture Notes in Computer Science > Integrated Formal Methods > Model Checkers and Theorem Provers > 205-224
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 278-293
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 90-104
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 281-294