Skip to main content
SpringerLink
Log in

Theoretical Aspects of Computing – ICTAC 2019

16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Robert Mark Hierons

    1. University of Sheffield, Sheffield, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mohamed Mosbah

    1. University of Bordeaux, Talence, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11884)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICTAC 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  3. Models and Transition Systems

    1. Front Matter

      Pages 39-39
      Download chapter PDF

    2. The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism

      • Arpit Sharma
      Pages 41-58

    3. Computing Branching Distances Using Quantitative Games

      • Uli Fahrenberg, Axel Legay, Karin Quaas
      Pages 59-75

    4. Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems

      • Fateh Latreche, Abdelkader Moudjari, Hichem Talbi
      Pages 76-90

    5. Optimal Run Problem for Weighted Register Automata

      • Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata
      Pages 91-110

  4. Real-Time and Temporal Logics

    1. Front Matter

      Pages 111-111
      Download chapter PDF

    2. Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty

      • Étienne André, Jawher Jerray, Sahar Mhiri
      Pages 113-123

    3. Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains

      • Moez Krichen
      Pages 124-133

    4. Verification of Multi-agent Systems with Timeouts for Migration and Communication

      • Bogdan Aman, Gabriel Ciobanu
      Pages 134-151

    5. LTL to Smaller Self-Loop Alternating Automata and Back

      • František Blahoudek, Juraj Major, Jan Strejček
      Pages 152-171

  5. Verification and Concurrency

    1. Front Matter

      Pages 173-173
      Download chapter PDF

    2. Starvation-Free Monitors

      • Jafar Hamin
      Pages 175-195

    3. Taming Concurrency for Verification Using Multiparty Session Types

      • Kirstin Peters, Christoph Wagner, Uwe Nestmann
      Pages 196-215

    4. Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams

      • Samir Ouchani
      Pages 216-234

    5. Context-Free Grammars for Deterministic Regular Expressions with Interleaving

      • Xiaoying Mou, Haiming Chen, Yeting Li
      Pages 235-252

  6. Privacy and Security

    1. Front Matter

      Pages 253-253
      Download chapter PDF
Back to top

Other volumes

  1. Theoretical Aspects of Computing – ICTAC 2019

Keywords

About this book

This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.
The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions.
The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages. 

Editors and Affiliations

  • University of Sheffield, Sheffield, UK

    Robert Mark Hierons

  • University of Bordeaux, Talence, France

    Mohamed Mosbah

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation