130
click to vote
TACAS
15 years 7 months ago
2009 Springer 
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
102
Voted
TACAS
15 years 7 months ago
2009 Springer
Abstract. Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Administrative Role-Based Access Control (ARBAC) specifies how an RBAC poli...
TACAS
15 years 7 months ago
2009 Springer 
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
108
click to vote
TACAS
15 years 7 months ago
2009 Springer 
Alpaga is a solver for parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it constructs...
112
click to vote
TACAS
15 years 5 months ago
2009 Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
|
Algorithms