Husnu Yenigun
Email protected, enable Java to see my address.
Courses
Publications
Prof. Activities
Curriculum Vitae
Calendar
Contact
Links
Best Works
Professional Activities
- Reviewer for
Canadian Journal of Electrical and Computer Engineering
Computer Standards & Interfaces
Computing and Informatics
Distributed Computing
EURASIP Journal on Embedded Systems
Formal Methods in System Design
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
Information Sciences
Software Testing, Verification and Reliability
The Computer Journal
The Journal of Systems and Software
The Turkish Journal of Electrical Engineering & Computer Sciences
Theoretical Computer Science
- TPC Member of
The 18th IEEE International Conference on Software Security and Reliability (QRS2018)
- TPC Member of
22nd International Symposium on Formal Methods (FM2018)
- TPC Member of
Yazilim Test Muhendisligi Alt Alani, Ulusal Yazilim Muhendisligi Sempozyumu - Software Test Engineering Track, National Symposium on Software Engineering (YTM 2017)
- PC Chair of
The 29th IFIP International Conference on Testing Software and Systems (ICTSS 2017)
- TPC Member of
Yazilim Test Muhendisligi Alt Alani, Ulusal Yazilim Muhendisligi Sempozyumu - Software Test Engineering Track, National Symposium on Software Engineering (YTM 2017)
- TPC Member of
7th IEEE International Workshop on Model-Based Verification and Validation (MVV 2017)
- TPC Member for
5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017)
- Guest Editor,
International Journal on Software Tools for Technology Transfer, vol 18 (3), June 2016
- TPC Member of
The 28th IFIP International Conference on Testing Software and Systems (ICTSS 2016)
- TPC Member of
Ulusal Yazilim Muhendisligi Sempozyumu - National Symposium on Software Engineering (UYMS 2016)
- TPC Member of
Yazilim Test Muhendisligi Alt Alani, Ulusal Yazilim Muhendisligi Sempozyumu - Software Test Engineering Track, National Symposium on Software Engineering (YTM 2016)
- TPC Member of
6th IEEE International Workshop on Model-Based Verification and Validation (MVV 2016) - From Research to Practice
- Reviewer for
10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016)
- TPC Member of
Ulusal Yazilim Muhendisligi Sempozyumu - National Symposium on Software Engineering (UYMS 2015)
- TPC Member of
Yazilim Test Muhendisligi Alt Alani, Ulusal Yazilim Muhendisligi Sempozyumu - Software Test Engineering Track, National Symposium on Software Engineering (YTM 2015)
- TPC Member of
The 27th IFIP International Conference on Testing Software and Systems (ICTSS 2015)
- TPC Member of
9th South East European Doctoral Student Conference (DSC 2014) - RT2 Information & Communication Technologies
- TPC Member of
Ulusal Yazilim Muhendisligi Sempozyumu - National Symposium on Software Engineering (UYMS 2014)
- TPC Member of
The 26th IFIP International Conference on Testing Software and Systems (ICTSS 2014)
- TPC Member of
The Fourth International Workshop on Regression Testing (Regression 2014)
- Steering Committee Member of
International Conference on Testing Software and Systems
(2013-2016)
- PC Chair of
The 25th IFIP International Conference on Testing Software and Systems (ICTSS 2013)
- TPC Member of
8th South East European Doctoral Student Conference (DSC 2013)
- Reviewer for
25th International Conference on Computer Aided Verification (CAV 2013)
- Panel Co-chair of
IEEE Conference on Computers, Software, and Applications (COMPSAC 2012)
- TPC Member of
4th IEEE International Workshop on Software Test Automation (STA 2012)
- TPC Member of
10th International Conference on Software Engineering and Formal Methods (SEFM 2012)
- TPC Member of
7th South East European Doctoral Student Conference (DSC 2012)
- TPC Member of
26th International Symposium on Computer and Information Sciences (ISCIS 2011)
- TPC Member of
3rd Workshop on Model-Based Verification and Validation (MVV 2011) - From Research to Practice
- TPC Member of
6th South East European Doctoral Student Conference (DSC 2011)
- TPC Member of
7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010)
- TPC Member of
2nd Model-Based Verification & Validation (MVV 2010) - From Research to Practice
- TPC Member of
5th South East European Doctoral Student Conference (DSC 2010)
- TPC Member of
25th International Symposium on Computer and Information Sciences (ISCIS 2010)
- Sesson chair at
24th International Symposium on Computer and Information Sciences (ISCIS 2009)
- TPC Member of
Doctoral Symposium associated with 16th International Symposium on Formal Methods (FM2009-DS)
- TPC Member of
16th International Symposium on Formal Methods (FM2009)
- TPC Member of
6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009)
- TPC Member of
Model-Based Verification & Validation (MVV09) - From Research to Practice
- TPC Member of
4th Balkan Conference in Informatics (BCI09)
- TPC Member of
National Congress of Electrical, Electronics, Computer and Biomedical Engineering 2009 [in Turkish]
- PC Chair of
5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008)
- TPC Member of and session chair at
23rd International Symposium on Computer and Information Sciences (ISCIS 2008)
- Reviewer for
International Symposium on Wireless Pervasive Computing (ISWPC 2008)
- TPC Member of
3rd South East European Workshop on Formal Methods (SEEFM 2007)
- TPC Member of
22nd International Symposium on Computer and Information Sciences (ISCIS 2007)
- TPC Member of
18th IFIP International Conference on Testing Communicating Systems (TestCom 2006)
- Organizer of
21st International Symposium on Computer and Information Sciences (ISCIS 2006)
- TPC Member of
Ulusal Yazilim Muhendisligi Sempozyumu - National Symposium on Software Engineering (UYMS 2005-2006-2007-2009-2011)
- Reviewer for
20th International Symposium on Computer and Information Sciences (ISCIS 2005)
- TPC Member of
2nd South East European Workshop on Formal Methods (SEEFM 2005)
- TPC Member of
1st South East European Workshop on Formal Methods (SEEFM 2003)
[activities.php] : Last modified Saturday, 24th March, 2018 @ 05:17pm
