Concepedia

Sylvain Hallé

SH

27

Publications

861

Citations

17

H-Index

1999

Active since

Affiliations

Université du Québec à Chicoutimi(Current)

Université du Québec à Montréal

University of California, Santa Barbara

Concordia University

Sylvain Hallé is an author at Université du Québec à Chicoutimi specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal VerificationVerificationFormal MethodsSoftware EngineeringSystems EngineeringProgram AnalysisSoftware Testing

Publications per year

1999–2021

27

Publications

27

Runtime Enforcement of Web Service Message Contracts with Data

Sylvain Hallé, Roger Villemaire · IEEE Transactions on Services Computing · 2011 · 107 citations

A survey of malware detection in Android apps: Recommendations and perspectives for future research

Asma Razgallah, Raphaël Khoury, Sylvain Hallé et al. · Computer Science Review · 2021 · 87 citations

Mobile Security, Anti-virus Technique, Mobile Malware +4

Runtime Monitoring of Message-Based Workflows with Data

Sylvain Hallé, Roger Villemaire · 2008 · 66 citations

Engineering, Data Dependencies, Verification +25

10 Years of IoT Malware: A Feature-Based Taxonomy

Benjamin Vignau, Raphaël Khoury, Sylvain Hallé · 2019 · 58 citations

Engineering, Evasion Technique, Iot Malware +14

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

Sylvain Hallé, Taylor Ettema, Chris Bunch et al. · 2010 · 57 citations

Navigation Errors, Engineering, Information Security +20

Rows per page

1–5 of 27