We stand with Ukraine  

Yassine Hamza

According to our database1, Yassine Hamza authored at least 3 papers between 2016 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

2016
2017
2018
0
1
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Neural networks for safety-critical applications - Challenges, experiments and perspectives.
[BibTeX]
[DOI]
Chih-Hong Cheng
,
Frederik Diehl
,
Gereon Hinz
,
Yassine Hamza
,
Georg Nührenberg
,
Markus Rickert
,
Harald Ruess
,
Michael Truong-Le
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
Automated Analysis of Multi-View Software Architectures.
[BibTeX]
[DOI]
Chih-Hong Cheng
,
Yassine Hamza
,
Harald Ruess
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
Structural Synthesis for GXW Specifications.
[BibTeX]
[DOI]
Chih-Hong Cheng
,
Yassine Hamza
,
Harald Ruess
Proceedings of the Computer Aided Verification - 28th International Conference, 2016


  Loading...