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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030325046, 9783030325053

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Multi Agent

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 1

Author(s):

Daniele Gorla ◽

Federica Granese ◽

Catuscia Palamidessi

Keyword(s):

Continuous Time ◽

Diffusion Networks

Download Full-text

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 ◽

Cited By ~ 1

Author(s):

František Blahoudek ◽

Juraj Major ◽

Jan Strejček

Keyword(s):

Alternating Automata

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 ◽

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 ◽

Cited By ~ 1

Author(s):

Kirstin Peters ◽

Christoph Wagner ◽

Uwe Nestmann

Keyword(s):

Session Types

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 ◽

Regular Model

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

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

Computing Branching Distances Using Quantitative Games

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

Starvation-Free Monitors

LTL to Smaller Self-Loop Alternating Automata and Back

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

Solving of Regular Equations Revisited

Verification by Construction of Distributed Algorithms

Taming Concurrency for Verification Using Multiparty Session Types

Calculational Design of a Regular Model Checker by Abstract Interpretation

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