Search - Archive ouverte HAL Access content directly

Filter your results

14 Results
authIdHal_s : tayssir-touili
Image document

LTL Model Checking for Communicating Concurrent Programs

Adrien Pommellet , Tayssir Touili
Innovations in Systems and Software Engineering, 2020
Journal articles hal-03033654v1
Image document

Register Automata for Malware Specification

Tayssir Touili
he 17th International Conference on Availability, Reliability and Security, 2022, Vienna, Austria
Conference papers hal-03863310v1
Image document

Model Checking Dynamic Pushdown Networks with Locks and Priorities

Marcio Diaz , Tayssir Touili
NETYS, May 2018, Essaouira, Morocco. ⟨10.1007/978-3-030-05529-5_16⟩
Conference papers hal-03902461v1

Precise Extraction of Malicious Behaviors.

Khanh Huu The Dam , Tayssir Touili
compsac, 2018, Tokyo, Japan
Conference papers hal-03902468v1
Image document

Model-Checking HyperLTL for Pushdown Systems

Adrien Pommelet , Tayssir Touili
Model Checking Software - 25th International Symposium SPIN 2018, Jun 2018, Malaga, Spain. ⟨10.1007/978-3-319-94111-0_8⟩
Conference papers hal-03902458v1

LTL Model Checking of Self Modifying Code.

Tayssir Touili , Xin Ye
ICECCS, 2019, Guangzhou, China
Conference papers hal-03902471v1
Image document

CTL Model Checking of Self Modifying Code

Tayssir Touili , Xin Ye
Proceedings of the 25th INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2020), 2020
Journal articles hal-03034019v1
Image document

Branching Temporal Logic of Calls and Returns for Pushdown Systems

Huu Vu Nguyen , Tayssir Touili
14th International Conference Integrated Formal Methods (IFM 2018 ), Sep 2018, Maynooth, Ireland. ⟨10.1007/978-3-319-98938-9_19⟩
Conference papers hal-03902463v1

STAMAD: a STAtic MAlware Detector.

Khanh Huu The Dam , Tayssir Touili
ARES, 2019, Canterbury, United Kingdom
Conference papers hal-03902472v1
Image document

LTL Model Checking for Communicating Concurrent Programs

Adrien Pommelet , Tayssir Touili
12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018), Sep 2018, Grenoble, France. ⟨10.1007/s11334-020-00363-6⟩
Conference papers hal-03902460v1

BCARET Model Checking for Malware Detection.

Huu Vu Nguyen , Tayssir Touili
ICTAC, 2018, Hammamet, Tunisia
Conference papers hal-03902469v1

Learning Malware Using Generalized Graph Kernels.

Khanh Huu The Dam , Tayssir Touili
Ares, 2018, Hamburg, Germany
Conference papers hal-03902466v1
Image document

MADLIRA -a tool for Android malware detection

Khanh Huu The Dam , Tayssir Touili
Proceedings of the International Conference on Information Systems Security and Privacy (ICISSP 2021), 2021
Journal articles hal-03064454v1
Image document

LTL Model Checking of Self Modifying Code

Tayssir Touili , Xin Ye
Formal Methods in System Design, In press
Journal articles hal-03863361v1