Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Passing, Noemi"'
Autor:
Finkbeiner, Bernd, Passing, Noemi
Reactive synthesis automatically derives a strategy that satisfies a given specification. However, requiring a strategy to meet the specification in every situation is, in many cases, too hard of a requirement. Particularly in compositional synthesis
Externí odkaz:
http://arxiv.org/abs/2210.01660
Smart contracts are small but highly error-prone programs that implement agreements between multiple parties. We present a reactive synthesis approach for the automatic construction of smart contract state machines. Towards this end, we extend tempor
Externí odkaz:
http://arxiv.org/abs/2205.06039
Autor:
Finkbeiner, Bernd, Passing, Noemi
Given the advances in reactive synthesis, it is a natural next step to consider more complex multi-process systems. Distributed synthesis, however, is not yet scalable. Compositional approaches can be a game changer. Here, the challenge is to decompo
Externí odkaz:
http://arxiv.org/abs/2106.14783
Temporal stream logic (TSL) extends LTL with updates and predicates over arbitrary function terms. This allows for specifying data-intensive systems for which LTL is not expressive enough. In the semantics of TSL, functions and predicates are left un
Externí odkaz:
http://arxiv.org/abs/2104.14988
Reactive synthesis is the task of automatically deriving a correct implementation from a specification. It is a promising technique for the development of verified programs and hardware. Despite recent advances in terms of algorithms and tools, howev
Externí odkaz:
http://arxiv.org/abs/2103.08459
The safety of cyber-physical systems rests on the correctness of their monitoring mechanisms. This is problematic if the specification of the monitor is implemented manually or interpreted by unreliable software. We present a verifying compiler that
Externí odkaz:
http://arxiv.org/abs/2012.08961
Autor:
Finkbeiner, Bernd, Passing, Noemi
Despite many recent advances, reactive synthesis is still not really a practical technique. The grand challenge is to scale from small transition systems, where synthesis performs well, to complex multi-component designs. Compositional methods, such
Externí odkaz:
http://arxiv.org/abs/2007.06941
Autor:
Marschall, Tobias, Passing, Noemi E.
Pattern matching algorithms to find exact occurrences of a pattern $S\in\Sigma^m$ in a text $T\in\Sigma^n$ have been analyzed extensively with respect to asymptotic best, worst, and average case runtime. For more detailed analyses, the number of text
Externí odkaz:
http://arxiv.org/abs/1607.00138
Publikováno v:
Innovations in Systems & Software Engineering; Dec2023, Vol. 19 Issue 4, p339-357, 19p
Autor:
Finkbeiner, Bernd, Passing, Noemi
Reactive synthesis automatically derives a strategy that satisfies a given specification. However, requiring a strategy to meet the specification in every situation is, in many cases, too hard of a requirement. Particularly in compositional synthesis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0666549b0973b17ed84c0d41bb603f22