Skip to main content

2 Result(s)

within Software Engineering Remove this filter Sergio Feo-Arenis Remove this filter Conference Paper Remove this filter

and
Your search also matched 5 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

On Global Scheduling Independency in Networks of Timed Automata

Include preview-only content

  1. Chapter and Conference Paper

    On Implementable Timed Automata

    Generating code from networks of timed automata is a well-researched topic with many proposed approaches, which have in common that they not only generate code for the processes in the network, but necessaril...

    Sergio Feo-Arenis, Milan Vu**ović… in Formal Techniques for Distributed Objects,… (2020)

    Download PDF (1102 KB) View Chapter

  2. Chapter and Conference Paper

    Parameterized Verification of Track Topology Aggregation Protocols

    We present an approach for the verification aggregation protocols, which may be used to perform critical tasks and thus should be verified. We formalize the class of track topology aggregation protocols and pr...

    Sergio Feo-Arenis, Bernd Westphal in Formal Techniques for Distributed Systems (2013)

    Download PDF (266 KB)