Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 22)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030325046, 9783030325053

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Starvation-Free Monitors

Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32505-3_11 ◽

2019 ◽

pp. 175-195

Author(s):

Jafar Hamin

Download Full-text

LTL to Smaller Self-Loop Alternating Automata and Back

Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32505-3_10 ◽

2019 ◽

pp. 152-171 ◽

Author(s):

František Blahoudek ◽

Juraj Major ◽

Jan Strejček

Keyword(s):

Alternating Automata

Download Full-text

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

Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32505-3_9 ◽

2019 ◽

pp. 134-151

Author(s):

Bogdan Aman ◽

Gabriel Ciobanu

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

Computing Branching Distances Using Quantitative Games

Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32505-3_4 ◽

2019 ◽

pp. 59-75 ◽

Author(s):

Uli Fahrenberg ◽

Axel Legay ◽

Karin Quaas

Download Full-text

Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks

Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32505-3_18 ◽

2019 ◽

pp. 313-331 ◽

Author(s):

Daniele Gorla ◽

Federica Granese ◽

Catuscia Palamidessi

Keyword(s):

Continuous Time ◽

Diffusion Networks

Download Full-text

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

Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32505-3_8 ◽

2019 ◽

pp. 124-133

Author(s):

Moez Krichen

Keyword(s):

Real Time ◽

Real Time Systems ◽

Download Full-text

Solving of Regular Equations Revisited

Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32505-3_22 ◽

2019 ◽

pp. 392-409

Author(s):

Martin Sulzmann ◽

Kenny Zhuo Ming Lu

Download Full-text

Verification by Construction of Distributed Algorithms

Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32505-3_2 ◽

2019 ◽

pp. 22-38

Author(s):

Dominique Méry

Keyword(s):

Distributed Algorithms

Download Full-text

Taming Concurrency for Verification Using Multiparty Session Types

Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32505-3_12 ◽

2019 ◽

pp. 196-215 ◽

Author(s):

Kirstin Peters ◽

Christoph Wagner ◽

Uwe Nestmann

Keyword(s):

Download Full-text

Calculational Design of a Regular Model Checker by Abstract Interpretation

Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32505-3_1 ◽

2019 ◽

pp. 3-21

Author(s):

Patrick Cousot

Keyword(s):

Abstract Interpretation ◽

Model Checker ◽

Download Full-text