Sciweavers

Share
FOSSACS
2008
Springer
8 years 4 months ago
Products of Message Sequence Charts
Philippe Darondeau, Blaise Genest, Loïc H&eac...
FOSSACS
2008
Springer
8 years 4 months ago
Robust Analysis of Timed Automata via Channel Machines
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reyn...
FOSSACS
2008
Springer
8 years 4 months ago
Symbolic Semantics Revisited
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
Filippo Bonchi, Ugo Montanari
FOSSACS
2008
Springer
8 years 4 months ago
Model Checking Freeze LTL over One-Counter Automata
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
Stéphane Demri, Ranko Lazic, Arnaud Sangnie...
FOSSACS
2008
Springer
8 years 4 months ago
Compositional Methods for Information-Hiding
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...
Christelle Braun, Konstantinos Chatzikokolakis, Ca...
FOSSACS
2008
Springer
8 years 4 months ago
Structural Operational Semantics for Stochastic Process Calculi
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
Bartek Klin, Vladimiro Sassone
FOSSACS
2008
Springer
8 years 4 months ago
What Else Is Decidable about Integer Arrays?
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
Peter Habermehl, Radu Iosif, Tomás Vojnar
FOSSACS
2008
Springer
8 years 4 months ago
Complexity of Decision Problems for Mixed and Modal Specifications
Adam Antonik, Michael Huth, Kim Guldstrand Larsen,...
FOSSACS
2008
Springer
8 years 4 months ago
Stochastic Games with Lossy Channels
We consider turn-based stochastic games on infinite graphs induced by game probabilistic lossy channel systems (GPLCS), the game version of probabilistic lossy channel systems (PLC...
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Al...
books