ISSTA 2019
Mon 15 - Fri 19 July 2019
Beijing, China
Toggle navigation
Attending
Venue: Crowne Plaza Beijing Zhongguancun
Visa
Excursion
Conduct
Registration
Transportation Instructions
Program
ISSTA Program
Your Program
Program@Glance
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Tracks
ISSTA 2019
Technical Papers
Workshop – TAV-CPS/IoT
Doctoral Symposium
Artifact Evaluation
Tool Demonstration
Workshops
Student Volunteers
Summer School
Keynote
ISSTA Steering Committee Meeting
Co-hosted Conferences
SPIN
26th International SPIN Symposium on Model Checking of Software
Workshops
Diversity @ ISSTA - The Ada Workshop
Diversity @ ISSTA - The Ada Workshop
Diversity @ ISSTA - The Ada Workshop
Tentative Agenda
Co-hosted Competitions
Testing Competition
Testing Competition
Organization
ISSTA 2019 Committees
Organizing Committee
Track Committees
Technical Papers
Workshop – TAV-CPS/IoT
Organizing Committee
Program Committee
Doctoral Symposium
Artifact Evaluation
Tool Demonstration
Contributors
People Index
Co-hosted Conferences
SPIN
Organizing Committee
Organizing Committee
Program Committee
Workshops
Diversity @ ISSTA - The Ada Workshop
Organizing Committee
Co-hosted Competitions
Testing Competition
Organizing Committee
Search
Series
Series
ISSTA 2025
ISSTA 2024
ISSTA 2023
ISSTA 2022
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ISSTA 2019
(
series
) /
Omar Bataineh
ISSTA 2019 profile
conf.research.org general profile
ICSE 2019 profile
Not registered as user
Name:
Omar Bataineh
Affiliation:
NTU
Contributions
2019
SPIN
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
Show activities from other conferences
Share
ISSTA 2019-profile
View general profile
x
Sun 22 Dec 14:45