Search results for: Yamine Ait-Ameur
Journal of Software: Evolution and Process > 35 > 7 > n/a - n/a
Journal of Software: Evolution and Process > 32 > 2 > n/a - n/a
Frontiers of Computer Science > 2018 > 12 > 2 > 351-375
Future Generation Computer Systems > 2017 > 70 > Complete > 1-3
Future Generation Computer Systems > 2017 > 68 > C > 442-444
IEEE Transactions on Services Computing > 2017 > 10 > 1 > 107 - 120
IFIP — The International Federation for Information Processing > Building the Information Society > Semantic Integration of Heterogeneous Data > 31-36
Lecture Notes in Computer Science > Abstract State Machines, Alloy, B and Z > ABZ Short Papers (Abstracts) > 405-406
Lecture Notes in Computer Science > Engineering for Human-Computer Interaction > Formal Methods > 39-55
Science of Computer Programming > 2016 > 121 > C > 100-127
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 4 > 465-485
Lecture Notes in Computer Science > Advances in Databases and Information Systems > Object-Oriented Systems > 141-156
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 5. ABZ Short Papers > 339-340
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Languages and Methods for Designing and Verifying Complex Embedded Systems > 58-59