DSpace Repository

Browsing Mühendislik Fakültesi by Author "Kartal, Yusuf Bora"

Browsing Mühendislik Fakültesi by Author "Kartal, Yusuf Bora"

Sort by: Order: Results:

  • Modeling distributed real-time systems in TIOA and UPPAAL 
    Kartal, Yusuf Bora; Schmidt, Ece Güran; Schmidt, Klaus Werner (Assoc Computing Machinery, 2016-11)
    The mission- and life-critical properties of distributed real-time systems require concurrent modeling, analysis, and formal verification in the design stage. The timed input/output automata (TIOA) framework and the UPPAAL ...
  • The verification of a novel framework for real-time shared medium communication network protocols 
    Kartal, Yusuf Bora; Schmidt, Ece Güran; Schmidt, Klaus Werner (2012)
    The subject of this work is the real-time communication of the distributed industrial control applications over shared-medium Ethernet. We developed a framework for the real-time communication protocols over shared-medium ...