Concepedia

Author

Safouan Taha

University of Waterloo

Also Known As

Benoit Valiron, S. Taha, Safouan Taha, Sara Younes Taha, Taha, Safouan

32

Publications

213

Citations

10

H-Index

33

Concepts

All Affiliations

University of WaterlooCentraleSupélecLaboratoire de Recherche en InformatiqueInstitut national de recherche en sciences et technologies du numériqueUniversité Paris-Saclay
ST

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

101

2

Computer Engineering

3

3

64

3

Computer Science

3

3

52

4

Systems Engineering

2

2

42

5

Computer Architecture

2

2

41

Safouan Taha

×

7

Publications

111

Citations

7

H-Index

YearCitations

Formal verification of automotive embedded software

Vassil Todorov, Frédéric Boulanger, Safouan Taha

2018

23

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

Safouan Taha, Ansgar Radermacher, Sébastien Gérard,

Forum on specification and Design Languages

2007

22

An Open Framework for Detailed Hardware Modeling

Safouan Taha, Ansgar Radermache, Sébastien Gérard,

2007

19

Anonymous Home Binding Update Scheme for Mobile IPv6 Wireless Networking

Safouan Taha, Xuemin Shen

2011

16

Specification of temporal properties with OCL

Bilal Kanso, Safouan Taha

Science of Computer Programming

2014

11

EM<sup>3</sup> A: Efficient mutual multi-hop mobile authentication scheme for PMIP networks

Safouan Taha, Sandra Céspedes, Xuemin Shen

2012

10

A compositional automata-based semantics and preserving transformation rules for testing property patterns

Safouan Taha, Jacques Julliand, Frédéric Dadeau,

Formal Aspects of Computing

2014

10

Page 1