A Fragment of First Order Logic Adequate for Observation Equivalence. - Halit Oguztüzün (CSL, 1991)

Analysis of Dead Reckoning Procedures by Using Hybrid Automata. - Bahadir Kaan Ozutam; Halit Oguztüzün (DIS-RT, 1999)

Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL. - Baris Sertkaya; Halit Oguztüzün (ISCIS, 2004)

Multilevel graph partitioning: an evolutionary approach. - S. Küçükpetek; Faruk Polat; Halit Oguztüzün (J. Oper. Res. Soc., 2005)

An ontology for trajectory simulation. - Umut Durak; Halit Oguztüzün; S. Kemal Ider (WSC, 2006)

A Mashup-Based Strategy for Migration to Service-Oriented Computing. - Semih Cetin; N. Ilker Altintas; Halit Oguztüzün; Ali H. Dogru; Ozgur Tufekci; Selma Suloglu (ICPS, 2007)

Legacy Migration to Service-Oriented Computing with Mashups. - Semih Cetin; N. Ilker Altintas; Halit Oguztüzün; Ali H. Dogru; Ozgur Tufekci; Selma Suloglu (ICSEA, 2007)

Modeling and querying fuzzy spatiotemporal databases. - Aziz Sözer; Adnan Yazici; Halit Oguztüzün; Osman Tas (Inf. Sci., 2008)

Ontology-Based Trajectory Simulation Framework. - Umut Durak; Halit Oguztüzün; S. Kemal Ider (J. Comput. Inf. Sci. Eng., 2008)

A metamodel for federation architectures. - Okan Topçu; Mehmet Adak; Halit Oguztüzün (ACM Trans. Model. Comput. Simul., 2008)

Animation of Behavioral Specifications through Code Generation for a Payment System. - Ozan Deniz; Mehmet Adak; Halit Oguztüzün (BCI, 2009)

Ontology-Based Domain Engineering for Trajectory Simulation Reuse. - Umut Durak; Halit Oguztüzün; S. Kemal Ider (Int. J. Softw. Eng. Knowl. Eng., 2009)

Metamodeling live sequence charts for code generation. - Okan Topçu; Mehmet Adak; Halit Oguztüzün (Softw. Syst. Model., 2009)

Global Constraints on Feature Models. - Ahmet Serkan Karatas; Halit Oguztüzün; Ali H. Dogru (CP, 2010)

Tool support for transformation from an OWL ontology to an HLA Object Model. - Özer Özdikis; Umut Durak; Halit Oguztüzün (SimuTools, 2010)

Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains. - Ahmet Serkan Karatas; Halit Oguztüzün; Ali H. Dogru (SPLC, 2010)

Model-based code generation for HLA federates. - Mehmet Adak; Okan Topçu; Halit Oguztüzün (Softw. Pract. Exp., 2010)

Querying Fuzzy Spatiotemporal Databases: Implementation Issues. - Aziz Sözer; Adnan Yazici; Halit Oguztüzün; Frederick E. Petry (Uncertainty Approaches for Spatial Data Modeling and Processing, 2010)

Implementation of X-Tree with 3D Spatial Index and Fuzzy Secondary Index. - Sinan Keskin; Adnan Yazici; Halit Oguztüzün (FQAS, 2011)

Multi-Layered Simulation Architecture: A Practical Approach. - Okan Topçu; Halit Oguztüzün (ISCIS, 2011)

Model Based Approach to the Federation Object Model Independence Problem. - Mehmet Fatih Uluat; Halit Oguztüzün (ISCIS, 2011)

An Ontology for a Naval Wargame Conceptual Model. - Serhan Kars; Halit Oguztüzün (MTSR, 2011)

Merging Multi-view Feature Models by Local Rules. - Elcin Atilgan Aydin; Halit Oguztüzün; Ali H. Dogru; Ahmet Serkan Karatas (SERA, 2011)

Using Context Information for Staged Configuration of Feature Models. - Ahmet Serkan Karatas; Ali H. Dogru; Halit Oguztüzün; Mehmet Resit Tolun (Trans. SDPS, 2011)

Towards interoperable and composable trajectory simulations: an ontology-based approach. - Umut Durak; Halit Oguztüzün; C. Köksal Algin; Özer Özdikis (J. Simulation, 2011)

Semantic Expansion of Tweet Contents for Enhanced Event Detection in Twitter. - Ozer Ozdikis; Pinar Senkul; Halit Oguztüzün (ASONAM, 2012)

Kutulu: A Domain-Specific Language for Feature-Driven Product Derivation. - Orçun Dayibas; Halit Oguztüzün (COMPSAC, 2012)

Supporting dynamic simulations with Simulation Modeling Architecture (SiMA): a Discrete Event System Specification-based modeling and simulation framework. - Fatih Deniz; Mahmut Nedim Alpdemir; Ahmet Kara 001; Halit Oguztüzün (Simul., 2012)

Modeling Product Line Software Assets Using Domain-Specific Kits. - N. Ilker Altintas; Semih Cetin; Ali H. Dogru; Halit Oguztüzün (IEEE Trans. Software Eng., 2012)

Evidential location estimation for events detected in Twitter. - Ozer Ozdikis; Halit Oguztüzün; Pinar Karagoz (GIR, 2013)

Data and behavior decomposition for the model-driven development of an executable simulation model. - Gürkan Özhan; Halit Oguztüzün (SpringSim (TMS-DEVS), 2013)

Kullanım Eşlemesiyle Mimari Görünümlerin İrdelenmesi Üzerine Bir Örnek Çalışma. - Çigdem Avci Salma; Halit Oguztüzün; Adnan Yazici (UYMS, 2013)

Bir Çoklu Ortam Veri Yönetim Sistemi Mimarisinin ATAM ile Değerlendirilmesi. - Günes Uyaniksoy; Halit Oguztüzün; Adnan Yazici (UYMS, 2013)

From extended feature models to constraint logic programming. - Ahmet Serkan Karatas; Halit Oguztüzün; Ali H. Dogru (Sci. Comput. Program., 2013)

Layered simulation architecture: A practical approach. - Okan Topçu; Halit Oguztüzün (Simul. Model. Pract. Theory, 2013)

GoalDAG - ArchiMate Integration. - Cahit Güngör; Halit Oguztüzün (ICIST, 2014)

Software architecture of a Multimedia Data Management System. - Çigdem Avci Salma; Halit Oguztüzün; Adnan Yazici (ICMCS, 2014)

Scenario development: A Model-Driven Engineering perspective. - Umut Durak; Okan Topçu; Robert Siegfried; Halit Oguztüzün (SIMULTECH, 2014)

Heterogeneous DEVS simulations with connectors and Reo based compositions. - Ahmet Kara 001; Halit Oguztüzün; Mahmut Nedim Alpdemir (SpringSim (TMS-DEVS), 2014)

Toward model-driven engineering principles and practices for model replicability and experiment reproducibility. - Joseph Ledet; Alejandro Teran-Somohano; Zachary Butcher; Levent Yilmaz 001; Alice E. Smith; Halit Oguztüzün; Orçun Dayibas; Bilge Kaan Görür (SpringSim (TMS-DEVS), 2014)

Toward model-driven engineering principles and practices to support model replicability. - Joseph Ledet; Alejandro Teran-Somohano; Zachary Butcher; Levent Yilmaz 001; Alice E. Smith; Halit Oguztüzün; Orçun Dayibas; Bilge Kaan Görür (SummerSim, 2014)

İş Süreçlerinin Hedef Tabanlı Modellenmesi İçin Bir Araç. - Basak Meral; Cahit Güngör; Halit Oguztüzün (UYMS, 2014)

Estimating density of wireless networks in practice. - Alperen Eroglu; Ertan Onur; Halit Oguztüzün (PIMRC, 2015)

Distributed Discrete Event Simulation Architecture with Connectors. - Ismet Özgür Çolpankan; Ahmet Kara 001; Halit Oguztüzün (SIMULTECH, 2015)

Implementation of the sampling importance resampling particle filter algorithm in graphics processing unit. - Özcan Dülger; Halit Oguztüzün; Mübeccel Demirekler (SIU, 2015)

MOKA: an object-oriented framework for FMI co-simulation. - Memduha Aslan; Halit Oguztüzün; Umut Durak; Koray Taylan (SummerSim, 2015)

A model-driven engineering approach to simulation experiment design and execution. - Alejandro Teran-Somohano; Alice E. Smith; Joseph Ledet; Levent Yilmaz 001; Halit Oguztüzün (WSC, 2015)

A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B. - Ahmet Kara 001; Halit Oguztüzün; Mahmut Nedim Alpdemir (Comput. J., 2015)

Indexing Fuzzy Spatiotemporal Data for Efficient Querying: A Meteorological Application. - Aziz Sözer; Adnan Yazici; Halit Oguztüzün (IEEE Trans. Fuzzy Syst., 2015)

Distributed Simulation - A Model Driven Engineering Approach - Okan Topçu; Umut Durak; Halit Oguztüzün; Levent Yilmaz 001 (Springer, 2016)

Metamodeling of reference software architecture and automatic code generation. - Nafiye Kübra Turhan; Halit Oguztüzün (ECSA Workshops, 2016)

Repast HPC with optimistic time management. - Bilge Kaan Görür; Kayhan M. Imre; Halit Oguztüzün; Levent Yilmaz 001 (SpringSim (HPS), 2016)

Ozellik Modelleri ve Temsil Ettikleri Urun Tipleri Arasindaki Iliskilerin Cozumlenmesi. - Ahmet Serkan Karatas; Halit Oguztüzün (UYMS, 2016)

Evidential estimation of event locations in microblogs using the Dempster-Shafer theory. - Ozer Ozdikis; Halit Oguztüzün; Pinar Karagoz (Inf. Process. Manag., 2016)

Dynamic simulation metamodeling using MARS: A case of radar simulation. - Doruk Bozagaç; Inci Batmaz; Halit Oguztüzün (Math. Comput. Simul., 2016)

Attribute-based variability in feature models. - Ahmet Serkan Karatas; Halit Oguztüzün (Requir. Eng., 2016)

Guide to Distributed Simulation with HLA - Okan Topçu; Halit Oguztüzün (Springer, 2017)

A Reflexion Model Based Architecture Conformance Analysis Toolkit for OSGi-Compliant Applications. - Evren Çilden; Halit Oguztüzün (ICSA Workshops, 2017)

System entity structure and model base framework in model based engineering of simulations for technical systems. - Umut Durak; Thorsten Pawletta; Halit Oguztüzün; Bernard P. Zeigler (SpringSim (Mod4Sim), 2017)

Improving the performance of optimistic time management mechanism with sub-state saving. - Bilge Kaan Görür; Kayhan M. Imre; Halit Oguztüzün; Levent Yilmaz 001 (SpringSim (HPC), 2017)

Models as self-aware cognitive agents and adaptive mediators for model-driven science. - Levent Yilmaz 001; Sritika Chakladar; Kyle Doud; Alice E. Smith; Alejandro Teran-Somohano; Halit Oguztüzün; Sema Çam; Orçun Dayibas; Bilge Kaan Görür (WSC, 2017)

A survey on location estimation techniques for events detected in Twitter. - Ozer Ozdikis; Halit Oguztüzün; Pinar Karagoz (Knowl. Inf. Syst., 2017)

Incremental clustering with vector expansion for online event detection in microblogs. - Ozer Ozdikis; Pinar Karagoz; Halit Oguztüzün (Soc. Netw. Anal. Min., 2017)

Supporting Simulation Experiments with Megamodeling. - Sema Çam; Orçun Dayibas; Bilge Kaan Görür; Halit Oguztüzün; Levent Yilmaz 001; Sritika Chakladar; Kyle Doud; Alice E. Smith; Alejandro Teran-Somohano (MODELSWARD, 2018)

Non-coalesced access patterns of global memory load transactions in metropolis resampling implemented on graphics processing unit. - Özcan Dülger; Halit Oguztüzün (SIU, 2018)

Usability evaluation of a web-based ontology browser: the case of TSONT. - Türkan Karakus Yilmaz; Umut Durak; Halit Oguztüzün; Kürsat Çagiltay (Turkish J. Electr. Eng. Comput. Sci., 2018)

Memory Coalescing Implementation of Metropolis Resampling on Graphics Processing Unit. - Özcan Dülger; Halit Oguztüzün; Mübeccel Demirekler (J. Signal Process. Syst., 2018)

An MII-Aware SoA Editor for the Industrial Internet of Things. - Mahdi Saeedi Nikoo; Muhammed Cagri Kaya; Michael L. Schwartz; Halit Oguztüzün (MetroInd4.0&IoT, 2019)

A configurable gateway for DDS-HLA interoperability. - Muhammed Cagri Kaya; Alper Karamanlioglu; I. Çaglar Çetintas; Erkin Çilden; M. Haluk Canberi; Halit Oguztüzün (SummerSim, 2019)

Contribution of the Resampling Stage to the Execution Time of Particle Filter. - Özcan Dülger; Halit Oguztüzün (SIU, 2019)

Schedulability analysis of real-time multiframe cosimulations on multicore platforms. - Muhammad Uzair Ahsan; Halit Oguztüzün (Turkish J. Electr. Eng. Comput. Sci., 2019)

On the use of model-driven engineering principles for the management of simulation experiments. - Orçun Dayibas; Halit Oguztüzün; Levent Yilmaz 001 (J. Simulation, 2019)

Predetermined Rollbacks: An extension to Time Warp for spatially parallel agent-based simulation. - Bilge Kaan Görür; Kayhan M. Imre; Halit Oguztüzün; Levent Yilmaz 001 (Simul. Model. Pract. Theory, 2019)

Transformation from SysML to RePast and Back. - Sema Çam; Bilge Kaan Görür; Joseph Ledet; Halit Oguztüzün; Levent Yilmaz 001 (ANT/EDI40, 2020)

Internet of Measurement Things Architecture: Proof of Concept with Scope of Accreditation. - Muhammed Cagri Kaya; Mahdi Saeedi Nikoo; Michael L. Schwartz; Halit Oguztüzün (Sensors, 2020)

Uphill resampling for particle filter and its implementation on graphics processing unit. - Özcan Dülger; Halit Oguztüzün; Mübeccel Demirekler (Parallel Comput., 2023)

Uncertainty Calculation-as-a-Service: Microservice-Based Metrology Applications. - Anil Cetinkaya; Muhammed Cagri Kaya; Teklie Belay Bzuneh; Halit Oguztüzün (ECSA, 2024)

Uncertainty Calculation as a Service: Integrating Cloud-Based Microservices for Enhanced Calibration and DCC Generation. - Anil Cetinkaya; Muhammed Cagri Kaya; Erkan Danaci; Halit Oguztüzün (Sensors, 2024)