Sciweavers

Share
ATVA
2010
Springer
122views Hardware» more  ATVA 2010»
8 years 8 months ago
Synthesis: Words and Traces
The problem of synthesising a reactive system is discussed. The most standard instance of this problem ask to construct a finite input-output automaton satisfying a given regular s...
Igor Walukiewicz
ATVA
2010
Springer
93views Hardware» more  ATVA 2010»
8 years 9 months ago
A Specification Logic for Exceptions and Beyond
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
Cristian Gherghina, Cristina David
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
8 years 9 months ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
ATVA
2010
Springer
153views Hardware» more  ATVA 2010»
8 years 11 months ago
Non-monotonic Refinement of Control Abstraction for Concurrent Programs
ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...
ATVA
2010
Springer
163views Hardware» more  ATVA 2010»
8 years 11 months ago
Automatic Generation of History-Based Access Control from Information Flow Specification
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
Yoshiaki Takata, Hiroyuki Seki
ATVA
2010
Springer
114views Hardware» more  ATVA 2010»
8 years 11 months ago
Methods for Knowledge Based Controlling of Distributed Systems
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron...
ATVA
2010
Springer
154views Hardware» more  ATVA 2010»
9 years 8 days ago
Lattice-Valued Binary Decision Diagrams
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...
Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall,...
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
9 years 8 days ago
Probabilistic Contracts for Component-Based Design
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
Dana N. Xu, Gregor Gößler, Alain Giraul...
ATVA
2010
Springer
175views Hardware» more  ATVA 2010»
9 years 8 days ago
The Complexity of Codiagnosability for Discrete Event and Timed Systems
In this paper we study the fault codiagnosis problem for discrete event systems given by finite automata (FA) and timed systems given by timed automata (TA). We provide a uniform c...
Franck Cassez
ATVA
2010
Springer
169views Hardware» more  ATVA 2010»
9 years 8 days ago
Compositional Algorithms for LTL Synthesis
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
Emmanuel Filiot, Naiyong Jin, Jean-François...
books