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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540857617, 9783540857624

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks

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

10.1007/978-3-540-85762-4_28 ◽

2008 ◽

pp. 410-424 ◽

Cited By ~ 2

Author(s):

Areej Zuhily ◽

Alan Burns

Keyword(s):

Response Time ◽

Real Time ◽

Scheduling Analysis ◽

Time Scheduling

Download Full-text

Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs

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

10.1007/978-3-540-85762-4_17 ◽

2008 ◽

pp. 243-257 ◽

Cited By ~ 2

Author(s):

Masaki Murakami

Keyword(s):

Concurrent Programs ◽

Graph Rewriting

Download Full-text

An Observational Model for Transactional Calculus of Services Orchestration

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

10.1007/978-3-540-85762-4_14 ◽

2008 ◽

pp. 201-215 ◽

Cited By ~ 2

Author(s):

Jing Li ◽

Huibiao Zhu ◽

Jifeng He

Keyword(s):

Services Orchestration

Download Full-text

Recasting Constraint Automata into Büchi Automata

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

10.1007/978-3-540-85762-4_11 ◽

2008 ◽

pp. 156-170 ◽

Cited By ~ 4

Author(s):

Mohammad Izadi ◽

Marcello M. Bonsangue

Keyword(s):

Büchi Automata ◽

Constraint Automata ◽

Buchi Automata

Download Full-text

Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems

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

10.1007/978-3-540-85762-4_21 ◽

2008 ◽

pp. 305-318 ◽

Cited By ~ 2

Author(s):

Vahid Rafe ◽

Adel T. Rahmani

Keyword(s):

Graph Transformation ◽

Formal Analysis ◽

Uml 2.0 ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Inclusion Test Algorithms for One-Unambiguous Regular Expressions

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

10.1007/978-3-540-85762-4_7 ◽

2008 ◽

pp. 96-110 ◽

Cited By ~ 6

Author(s):

Haiming Chen ◽

Lei Chen

Keyword(s):

Regular Expressions

Download Full-text

A Theory of Bounded Fair Scheduling

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

10.1007/978-3-540-85762-4_23 ◽

2008 ◽

pp. 334-348 ◽

Cited By ~ 2

Author(s):

Jens Schönborn ◽

Marcel Kyas

Keyword(s):

Fair Scheduling

Download Full-text

A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules

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

10.1007/978-3-540-85762-4_2 ◽

2008 ◽

pp. 3-22 ◽

Cited By ~ 2

Author(s):

Jan Peleska

Keyword(s):

Formal Verification ◽

Abstract Interpretation ◽

Unified Approach

Download Full-text

A New Approach for the Construction of Multiway Decision Graphs

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

10.1007/978-3-540-85762-4_16 ◽

2008 ◽

pp. 228-242 ◽

Cited By ~ 1

Author(s):

Y. Mokhtari ◽

Sa’ed Abed ◽

O. Ait Mohamed ◽

S. Tahar ◽

X. Song

Keyword(s):

New Approach ◽

Multiway Decision Graphs

Download Full-text

Everything Is PSPACE-Complete in Interaction Systems

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

10.1007/978-3-540-85762-4_15 ◽

2008 ◽

pp. 216-227 ◽

Cited By ~ 7

Author(s):

Mila Majster-Cederbaum ◽

Christoph Minnameier

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks

Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs

An Observational Model for Transactional Calculus of Services Orchestration

Recasting Constraint Automata into Büchi Automata

Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems

Inclusion Test Algorithms for One-Unambiguous Regular Expressions

A Theory of Bounded Fair Scheduling

A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules

A New Approach for the Construction of Multiway Decision Graphs

Everything Is PSPACE-Complete in Interaction Systems

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