Prof.Dr. MEHMET HALİT S. OĞUZTÜZÜN
FACULTY OF ENGINEERING
PublicationsResearchMembership & Awards
E-mail :  
Url :  -
Phone :  +90312210 5587
Fax :  +903122105544
Address :
 

Education

  Bachelor's, Middle East Technical University, Computer Eng.
  Master's, Middle East Technical University, Computer Eng.
  Doctorate, University of Iowa, Computer Science

Research

Thesis Supervised

  A.1 A genetic algorithm for university examination scheduling. Msc Thesis. Ayhan Ergül. (1995)
  A.2 A cellular automata simulator for Windows. Msc Thesis. Dinar Öztürk. (1995)
  A.3 Use-case based analysis of an enterprise information system. Msc Thesis. Ahmet Dönmez. (1996)
  A.4 Access control in Windows/Netware environment. Msc Thesis. Eray Yağdereli. (1997)
  A.5 A partial evaluator and post-optimizer for a flow chart language. Msc Thesis. Levent Erkök. (1997)
  A.6 Personnel Assignment for Turkish Land Forces. Msc Thesis. Kenan Dinç. (1998)
  A.7 Analysis of Dead Reckoning Procedures by Using Hybrid Automata. Msc Thesis. Bahadır Kaan Özütam. (1998)
  A.8 Naval Surface Tactical Maneuvering Simulation System (NSTMSS). Msc Thesis. Okan Topçu. (1999)
  A.9 A Testbed Based on Discrete Event Simulation for Performance Evaluation of Multicast Protocols. Msc Thesis. Bülent Elmacı. (2000)
  A.10 The Stretching Method and Its Support Tool for Weight Assignment in Multiple Criteria Decision Making. Msc Thesis. Nuri Boyacı. (2000)
  A.11 Development of Scenario Manager and Monitor Federates for a Naval Federation. Msc Thesis. Hasan Basri Akırmak. (2000)
  A.12 Verification of an Air-Ground Data Link Protocol. Msc Thesis. Serkan Karataş. (2000)
  A.13 A Web-based Source Code Browser for Pascal. Phd Thesis. Bülent Mehmet Adak. (2000)
  A.14 A Decision Support System for Assembly Line Balancing. Msc Thesis. Güven Fidan. (2001)
  A.15 Component-oriented Modeling of the Unemployment Insurance System using COSEML. Msc Thesis. Hüseyin Cahit Ekiz. (2001)
  A.16 Developing a Discrete Event Simulation Engine with Concurrent Constraint Programming. Msc Thesis. Gürkan Özhan. (2001)
  A.17 A COM component set for High Level Architecture Interface Specification. Msc Thesis. Zeki Savaş Cengiz. (2002)
  A.18 Integrating a radar model into synthetic environment. Msc Thesis. Akıncı, Yüksel. (2003)
  A.19 Modeling and simulation of chemical agent dispersion. Phd Thesis. Özdamar, Hüdai Hakkı. (2003)
  A.20 Monitoring and checking of discrete event simulations. Msc Thesis. Ulu, Buket. (2003)
  A.21 Proof of the basic theorem on concept lattices in Isabelle/HOL. Msc Thesis. Sertkaya, Barış. (2003)
  A.22 Deriving a dynamic programming algorithm for batch scheduling in the refinement calculus. Msc Thesis. Aktuğ, İrem. (2003)
  A.23 A programming language for beginners based on Turkish syntax. Msc Thesis. Sercan Tutar. (2004)
  A.24 Specification and verification of confidentiality in software architectures. Phd Thesis. Cemil Ulu. (2004)
  A.25 Coordinate systems for a naval virtual environment. Msc Thesis. Aslı Kılıç. (2005)
  A.26 A metamodel for the High Level Architecture Object Model. Msc Thesis. Deniz Çetinkaya. (2005)
  A.27 Metamodeling for the HLA Federation Architectures. Phd Thesis. Okan Topçu. (2007)
  A.28 Modeling and Simulation of a Maneuvering Ship. Msc Thesis. Sinan Pakkan. (2007)
  A.29 Model-Based Code Generation for the High Level Architecture Federates. Phd Thesis. Bülent Mehmet Adak. (2007)
  A.30 Ontology Based Reuse Infrastructure for Trajectory Simulation. Phd Thesis. Umut Durak. (2007)
  A.31 Model-Based Approach to the Federation Object Model Independence Problem. Msc Thesis. Mehmet Fatih Uluat. (2007)
  A.32 DYNAMIC MODEL INTEGRATION AND 3D GRAPHICAL INTERFACE FOR A VIRTUAL SHIP. Msc Thesis. CANKU ALP ÇALARGÜN. (2008)
  A.33 FEATURE ORIENTED DOMAIN SPECIFIC LANGUAGE FOR DEPENDENCY INJECTION IN DYNAMIC SOFTWARE PRODUCT LINES. Msc Thesis. ORÇUN DAYIBAŞ. (2009)
  A.34 HLA FOM DEVELOPMENT WITH MODEL TRANSFORMATIONS. Msc Thesis. ALİ CEM DİNÇ. (2010)
  A.35 ANALYSIS OF EXTENDED FEATURE MODELS WITH CONSTRAINT PROGRAMMING. Phd Thesis. AHMET SERKAN KARATAŞ. (2010)
  A.36 CONTEXT BASED INTEROPERABILITY TO SUPPORT INFRASTRUCTURE MANAGEMENT IN MUNICIPALITIES. Phd Thesis. EMRAH TUFAN. (2010)
  A.37 GOAL ORIENTED MODELING OF SITUATION AWARENESS IN A COMMAND AND CONTROL SYSTEM. Msc Thesis. HASAN ALİ SOĞANCI. (2010)
  A.38 ONTOLOGY DRIVEN DEVELOPMENT FOR HLA FEDERATES. Msc Thesis. CEREN FATMA KÖKSAL ALGIN. (2010)
  A.39 DESIGN AND IMPLEMENTATION OF SPATIOTEMPORAL DATABASES. Phd Thesis. AZİZ SÖZER. (2010)
  A.40 VARIABLE STRUCTURE AND DYNAMISM EXTENSIONS TO A DEVS BASED MODELING AND SIMULATION FRAMEWORK. Msc Thesis. FATİH DENİZ. (2010)
  A.41 An XML-Based Feature Modeling Language. Msc Thesis. Leili Nabdel. (2011)
  A.42 Transforming Mission Space Models to Executable Simulation Models. Phd Thesis. Gürkan Özhan. (2011)
  A.43 Merging Multi-view Feature Models. Msc Thesis. Elçin Atılgan-Aydın. (2011)
  A.44 REPRESENTING COMPONENT VARIABILITY IN CONFIGURATION MANAGEMENT. Msc Thesis. GAMZE BAYRAKTAR. (2012)
  A.45 ALGORITHMS FOR THE WEAPON - TARGET ALLOCATION PROBLEM. Msc Thesis. AYŞE TURAN. (2012)
  A.46 DDS BASED MIL-STD-1553B DATA BUS INTERFACE SIMULATION. Msc Thesis. ERTAN DENİZ. (2012)
  A.47 CONDITION ORIENTED ENRICHMENT APPROACH IN BUSINESS RULE MANAGAMENT SYSTEMS. Msc Thesis. MUSTAFA HALİL YILDIZ. (2013)
  A.48 FEATURE MODELING AND AUTOMATED ANALYSIS FOR AN EMBEDDED SOFTWARE PRODUCT FAMILY. Msc Thesis. GÜLSEREN FEDAKAR GÖNÜL. (2013)
  A.49 Describing the Software Architecture of a Multimedia Data Management System. Msc Thesis. Çiğdem Avcı-Salma. (2013)
  A.50 DISTRIBUTED DISCRETE EVENT SIMULATION ARCHITECTURE WITH CONNECTORS. Msc Thesis. İSMET ÖZGÜR ÇOLPANKAN. (2014)
  A.51 A METHODOLOGY FOR CROSS-RESOLUTION MODELING IN DEVS USING EVENT-B REFINEMENT. Phd Thesis. AHMET KARA. (2014)
  A.52 FUNCTIONAL MOCKUP UNIT ADAPTATION FOR HLA-COMPLIANT DISTRIBUTED SIMULATION. Msc Thesis. FARUK YILMAZ. (2014)
  A.53 METAMODELING ATOMIC MODELS IN DISCRETE EVENT SYSTEM SPECIFICATION (DEVS) FORMALISM USING MULTIVARIATE ADAPTIVE REGRESSION SPLINES (MARS). Phd Thesis. CUMHUR DORUK BOZAĞAÇ. (2014)
  A.54 A GOAL QUESTION METRIC BASED TOOL FOR GOAL ORIENTED BUSINESS PROCESS MODELING. Msc Thesis. BAŞAK MERAL. (2014)
  A.55 RSAR: A LAYERED SOFTWARE ARCHITECTURE FOR CYBER-PHYSICAL SYSTEMS. Msc Thesis. ERHAN AKAGÜNDÜZ. (2015)
  A.56 SPARKS: A LANGUAGE FOR TEST PROCESS SCRIPTING FOR INSTRUMENTATION SYSTEMS. Msc Thesis. MAHDI SAEEDI NIKOO. (2015)
  A.57 DENSITY ESTIMATION IN LARGE-SCALE WIRELESS SENSOR NETWORKS. Msc Thesis. ALPEREN EROĞLU. (2015)
  A.58 SPATIOTEMPORAL DATA MINING FOR SITUATION AWARENESS IN MICROBLOGS. Phd Thesis. ÖZER ÖZDİKİŞ. (2016)
  A.59 AN OBJECT-ORIENTED FRAMEWORK FOR FUNCTIONAL MOCK-UP INTERFACE CO-SIMULATION. Msc Thesis. MEMDUHA ASLAN. (2016)
  A.60 MODELING AND CODE GENERATION FOR A REFERENCE SOFTWARE ARCHITECTURE FOR NAVAL PLATFORM COMMAND AND CONTROL SYSTEMS. Msc Thesis. Nafiye Kübra TURHAN. (2017)

Project Work

  A.1 K4IGK Domain Analysis. DSİM Projects , 1 NOVEMBER 2007 - 1 MARCH 2010. Local Coordinator .
  A.2 Radar Yapıtaşları Geliştirilmesi Kapsamında Radar Sinyal-Veri İşleme Algoritmalarına ve Anten Tasarımına İlişkin AR-GE Hizmeti Alımı . DSİM Projects , 1 OCTOBER 2009 - 1 OCTOBER 2011. Researcher .
  A.3 Radar Yapıtaşları Geliştirilmesi Kapsamında Radar Sinyal-Veri İşleme Algoritmalarına Ve Anten Tasarımına İlişkin Ar-Ge Hizmeti Alımı (RAYAP). DSİM Projects , 1 OCTOBER 2009 - 1 OCTOBER 2011. Researcher .
  A.4 RADAR YAPITAŞLARI GELİŞTİRİLMESİ KAPSAMINDA RADAR SİNYAL-VERİ İŞLEME ALGORİTMALARINA VE ANTEN TASARIMINA İLİŞKİN AR-GE HİZMETİ ALIMI . DSİM Projects , 1 JANUARY 2011 - 1 SEPTEMBER. Researcher .
  A.5 SOYA (Simülasyon Ortak Yaratım Aracı). Teknokent Project and Consultancy Teknokent Project and Consultancy Kolektif Bilişim Teknolojileri Ltd.Şti., 1 NOVEMBER 2011 - 1 FEBRUARY 2013. Researcher .
  A.6 AABGS (STM A.Ş.). DSİM Projects , 1 JANUARY 2011 - 1 JUNE 2011. Researcher .
  A.7 MDREP (Model Driven Replicability of Simulations). Projects funded within the scope other international institutions Other , 1 DECEMBER 2012 - 1 DECEMBER 2015. Researcher .
  A.8 MDREP (Model-Driven Replicability). Projects funded within the scope other international institutions Other US DoD MDA, 1 DECEMBER 2012 - 1 DECEMBER 2015. Local Coordinator .
  A.9 MOKA (Model Kullanım Altyapısı). AGUDOS Project, Consultancy, Test and Experiments. Projects (including SAYP) ROKETSAN A.Ş., 1 DECEMBER 2012 - 1 DECEMBER 2015. Local Coordinator .
  A.10 MDREP (Model-Driven Replicability of Simulations). Projects funded within the scope other international institutions Other Auburn University, USA, 1 DECEMBER 2012 - 1 DECEMBER 2015. Local Coordinator .
  A.11 MINISTEER (İnsansız Sistemler için Yonga Üzerinde Kontrol Sistemi Tasarımı ve Geliştirilmesi). Teknokent Project and Consultancy Teknokent Project and Consultancy Otonom Teknoloji Ltd. Şti., 1 JUNE 2013 - 1 DECEMBER 2013. Researcher .
  A.12 Twitr - Türkçe için Sosyal Ağlarda Olay Bulma ve Bulunan Olaylar için Konum Tahmini. Projects funded within the scope other international institutions Other COST, 1 APRIL 2013 - 1 DECEMBER 2014. Researcher .
  A.13 ROKETSAN A.Ş. MOKA PROJESİ. AGUDOS Project, Consultancy, Test and Experiments. Projects (including SAYP) SAYP, 1 DECEMBER 2013 - 1 DECEMBER 2015. Local Coordinator .
  A.14 Twitr (Türkçe için Sosyal Ağlarda Olay Bulma ve Bulunan Olaylar için Konum Tahmini). Projects funded within the scope other international institutions Other TÜBİTAK/COST, 1 APRIL 2013 - 1 NOVEMBER 2014. Researcher .
  A.15 Model Kullanım Altyapısı (MOKA). AGUDOS Project, Consultancy, Test and Experiments. Projects (including SAYP) Roketsan A.Ş., 1 DECEMBER 2013 - 1 DECEMBER 2015. Local Coordinator .
  A.16 Paylaşım Tabanlı Geliştirme Sistemi Duration: May 2013 – August 2014.. Teknokent Project and Consultancy Teknokent Project and Consultancy , 1 MAY 2013 - 1 AUGUST 2014. Researcher .
  A.17 PATGES (Paylaşım Tabanlı Geliştirme Sistemi). Teknokent Project and Consultancy Teknokent Project and Consultancy Kolektif Bilişim Teknolojileri Ltd.Şti., 1 MAY 2013 - 1 AUGUST 2014. Researcher .
  A.18 Türkçe için Sosyal Ağlarda Olay Bulma ve Bulunan Olaylar için Konum Tahmini (Twitr). Projects funded within the scope of TUBITAK National Academic Support Programs Scientific and Technological Research Projects (3501, 1001 etc.) ICT COST Action IC1203, 1 APRIL 2013 - 1 JUNE 2015. Researcher .
  A.19 Kalibrasyon prosedürlerine yönelik iş akışı tanımlama dili (Sparkflow) geliştirilmesi. Teknokent Project and Consultancy Teknokent Project and Consultancy , 1 JUNE 2014 - 1 OCTOBER 2015. Researcher .
  A.20 Kalibrasyon prosedürlerine yönelik iş akışı tanımlama dili geliştirilmesi. Teknokent Project and Consultancy Teknokent Project and Consultancy TÜBİTAK-TEYDEB 7140501, 1 MAY 2014 - 1 OCTOBER 2015. Researcher .
  A.21 SparkS Kalibrasyon Betik Diline Ölçeklenebilirlik Kazandırılması. Teknokent Project and Consultancy Teknokent Project and Consultancy Supported by TÜBİTAK-TEYDEB, 1 NOVEMBER 2015 - 1 MARCH 2017. Researcher .
  A.22 SparkS Kalibrasyon Betik Diline Ölçeklenebilirlik Kazandırılması (TEYDEB proje no. 7151243). Teknokent Project and Consultancy Teknokent Project and Consultancy Supported by TÜBİTAK-TEYDEB, 1 NOVEMBER 2015 - 1 MARCH 2017. Researcher .
  A.23 A model-driven generative domain architecture for simulation experiment lifecycle management and system optimization. Projects funded within the scope other international institutions Other Auburn University, Auburn, AL, USA, 1 MARCH 2015 - 1 MARCH 2016. Local Coordinator .
  A.24 Trafik Sistemlerinin Formel Metotlar Kullanılarak Kontrol Edilmesi. Projects funded within the scope of TUBITAK National Academic Support Programs Short term (shorter than 1 year) research projects with small budget (lower than 30.000 TL) ( 1002 etc.) , 1 APRIL 2016 - 1 DECEMBER 2017. Local Coordinator .
  A.25 Dinamik Ürün Hatlarında Otonom Evrim. Projects funded within the scope of TUBITAK National Academic Support Programs Scientific and Technological Research Projects (3501, 1001 etc.) , 1 APRIL 2016 - 1 OCTOBER 2018. Local Coordinator .
  A.26 Dinamik Ürün Hatlarında Otonom Evrim. Projects funded within the scope of TUBITAK National Academic Support Programs Scientific and Technological Research Projects (3501, 1001 etc.) ARDEB 1001, 1 APRIL 2016 - 1 OCTOBER 2018. Local Coordinator .
  A.27 Trafik Sistemlerinin Formel Metotlar Kullanılarak Kontrol Edilmesi. Projects funded within the scope of TUBITAK National Academic Support Programs Short term (shorter than 1 year) research projects with small budget (lower than 30.000 TL) ( 1002 etc.) , 1 APRIL 2016 - 1 DECEMBER 2017. Local Coordinator .
  A.28 DDS Tabanlı Hibrit Aviyonik Emülatör Sistemi Projesi (HAVESİS). AGUDOS Project, Consultancy, Test and Experiments. Projects (including SAYP) Supported by TÜBİTAK-TEYDEB, 1 FEBRUARY 2017 - 1 AUGUST 2018. Local Coordinator .
  A.29 SparkS Kalibrasyon Betik Dilinin Güçlendirilmesi ve Kalibrasyon Laboratuvarları için Akreditasyon Kapsam Editörü Geliştirilmesi. Teknokent Project and Consultancy Teknokent Project and Consultancy , 1 JUNE 2017 - 1 JUNE 2018. Researcher .
<< back