Search Results - "Ferrère, Thomas"

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Information-flow interfaces

    Information-flow interfaces by Bartocci, Ezio, Ferrère, Thomas, Henzinger, Thomas A., Nickovic, Dejan, Oliveira da Costa, Ana

    Published in Formal methods in system design (23-05-2024)
    “…Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic

    AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic by Ničković, Dejan, Lebeltel, Olivier, Maler, Oded, Ferrère, Thomas, Ulus, Dogan

    “…We introduce in this paper AMT 2.0 , a tool for qualitative and quantitative analysis of hybrid continuous and Boolean signals that combine numerical values…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Specifying and detecting temporal patterns with shape expressions

    Specifying and detecting temporal patterns with shape expressions by Ničković, Dejan, Qin, Xin, Ferrère, Thomas, Mateis, Cristinel, Deshmukh, Jyotirmoy

    “…Modern cyber-physical systems (CPS) and the Internet of things (IoT) are data factories generating, measuring and recording huge amounts of time series. The…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  4. 4
    Monitoring Event Frequencies

    Monitoring Event Frequencies by Ferrère, Thomas, Henzinger, Thomas A, Kragl, Bernhard

    Published 10-01-2020
    “…The monitoring of event frequencies can be used to recognize behavioral anomalies, to identify trends, and to deduce or discard hypotheses about the underlying…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  5. 5
    Flavours of Sequential Information Flow

    Flavours of Sequential Information Flow by Bartocci, Ezio, Ferrère, Thomas, Henzinger, Thomas A, Nickovic, Dejan, da Costa, Ana Oliveira

    Published 05-05-2021
    “…Information-flow policies prescribe which information is available to a given user or subsystem. We study the problem of specifying such properties in reactive…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  6. 6
    The first-order logic of signals: keynote

    The first-order logic of signals: keynote by Bakhirkin, Alexey, Ferrère, Thomas, Henzinger, Thomas A., Ničković, Dejan

    “…Formalizing properties of systems with continuous dynamics is a challenging task. In this paper, we propose a formal framework for specifying and monitoring…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Information-Flow Interfaces

    Information-Flow Interfaces by Bartocci, Ezio, Ferrère, Thomas, Henzinger, Thomas A, Nickovic, Dejan, da Costa, Ana Oliveira

    Published 15-02-2020
    “…Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  8. 8
    Keynote: The First-Order Logic of Signals

    Keynote: The First-Order Logic of Signals by Bakhirkin, Alexey, Ferrere, Thomas, Henzinger, Thomas A., Nickovicl, Deian

    “…Formalizing properties of systems with continuous dynamics is a challenging task. In this paper, we propose a formal framework for specifying and monitoring…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: