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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642034657, 9783642034664

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Relative Expressive Power of Contextual Grammars with Maximal and Depth-First Derivations

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

10.1007/978-3-642-03466-4_16 ◽

2009 ◽

pp. 246-260

Author(s):

Lakshmanan Kuppusamy ◽

Kamala Krithivasan

Keyword(s):

Expressive Power

Download Full-text

Static Analysis of Concurrent Programs Using Ordinary Differential Equations

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

10.1007/978-3-642-03466-4_1 ◽

2009 ◽

pp. 1-35 ◽

Cited By ~ 8

Author(s):

Zuohua Ding

Keyword(s):

Differential Equations ◽

Ordinary Differential Equations ◽

Static Analysis ◽

Concurrent Programs

Download Full-text

Context-Free Languages of Countable Words

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

10.1007/978-3-642-03466-4_12 ◽

2009 ◽

pp. 185-199 ◽

Cited By ~ 1

Author(s):

Zoltán Ésik ◽

Szabolcs Iván

Keyword(s):

Context Free

Download Full-text

Integration Testing from Structured First-Order Specifications via Deduction Modulo

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

10.1007/978-3-642-03466-4_17 ◽

2009 ◽

pp. 261-276 ◽

Cited By ~ 2

Author(s):

Delphine Longuet ◽

Marc Aiguier

Keyword(s):

Integration Testing ◽

First Order ◽

Deduction Modulo

Download Full-text

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

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

10.1007/978-3-642-03466-4_7 ◽

2009 ◽

pp. 112-126 ◽

Cited By ~ 17

Author(s):

Nikola Beneš ◽

Jan Křetínský ◽

Kim G. Larsen ◽

Jiří Srba

Keyword(s):

Transition Systems ◽

Modal Transition Systems

Download Full-text

A First-Order Policy Language for History-Based Transaction Monitoring

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

10.1007/978-3-642-03466-4_6 ◽

2009 ◽

pp. 96-111 ◽

Cited By ~ 15

Author(s):

Andreas Bauer ◽

Rajeev Goré ◽

Alwen Tiu

Keyword(s):

Policy Language ◽

First Order

Download Full-text

IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata

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

10.1007/978-3-642-03466-4_22 ◽

2009 ◽

pp. 336-342 ◽

Cited By ~ 3

Author(s):

Étienne André

Keyword(s):

Timed Automata

Download Full-text

Verification, Testing and Statistics

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

10.1007/978-3-642-03466-4_4 ◽

2009 ◽

pp. 79-79

Author(s):

Sriram K. Rajamani

Download Full-text

Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems

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

10.1007/978-3-642-03466-4_24 ◽

2009 ◽

pp. 349-355 ◽

Cited By ~ 3

Author(s):

Kazunori Ueda ◽

Takayuki Ayano ◽

Taisuke Hori ◽

Hiroki Iwasawa ◽

Seiji Ogawa

Keyword(s):

Graph Rewriting ◽

Hierarchical Graph

Download Full-text

GSPeeDI – A Verification Tool for Generalized Polygonal Hybrid Systems

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

10.1007/978-3-642-03466-4_23 ◽

2009 ◽

pp. 343-348 ◽

Cited By ~ 2

Author(s):

Hallstein Asheim Hansen ◽

Gerardo Schneider

Keyword(s):

Hybrid Systems ◽

Verification Tool

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On the Relative Expressive Power of Contextual Grammars with Maximal and Depth-First Derivations

Static Analysis of Concurrent Programs Using Ordinary Differential Equations

Context-Free Languages of Countable Words

Integration Testing from Structured First-Order Specifications via Deduction Modulo

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

A First-Order Policy Language for History-Based Transaction Monitoring

IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata

Verification, Testing and Statistics

Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems

GSPeeDI – A Verification Tool for Generalized Polygonal Hybrid Systems

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