Concepedia

Safouan Taha

ST

7

Publications

111

Citations

7

H-Index

2007

Active since

Affiliations

University of Waterloo(Current)

CentraleSupélec

Laboratoire de Recherche en Informatique

Institut national de recherche en sciences et technologies du numérique

Université Paris-Saclay

Safouan Taha is an author at University of Waterloo specializing in engineering, formal methods, and computer engineering.

Top concepts

EngineeringFormal MethodsSoftware DesignComputer ScienceComputer EngineeringCryptographyData PrivacyData SecuritySystem SoftwareEmbedded Systems

Publications per year

2007–2018

7

Publications

7

Formal verification of automotive embedded software

Vassil Todorov, Frédéric Boulanger, Safouan Taha · 2018 · 23 citations · Full text

Engineering, Verification, Software Engineering +20

MARTE: UML-based Hardware Design from Modelling to Simulation.

Safouan Taha, Ansgar Radermacher, Sébastien Gérard et al. · Forum on specification and Design Languages · 2007 · 22 citations

Hardware Modeling, Engineering, Computer Engineering +6

An Open Framework for Detailed Hardware Modeling

Safouan Taha, Ansgar Radermache, Sébastien Gérard et al. · 2007 · 19 citations

Hardware Modeling, Engineering, Hardware Verification Language +22

Anonymous Home Binding Update Scheme for Mobile IPv6 Wireless Networking

Safouan Taha, Xuemin Shen · 2011 · 16 citations

Engineering, Location Privacy, Mobile Ipv6 Networks +16

Specification of temporal properties with OCL

Bilal Kanso, Safouan Taha · Science of Computer Programming · 2014 · 11 citations

Engineering, Automated Reasoning, Formal Methods +5

Rows per page

1–5 of 7