A Formal Model for Event-Condition-Action Rules in Intelligent Environments

Reasoned modelling with Event-B

Butler, Michael

This paper provides an overview of how the Event-B language and verification method can be used to m...

Reactive Rules for Emergency Management

Brodt, Simon
Hausmann, Steffen
Bry, François

August 2010

The goal of the following survey on Event-Condition-Action (ECA) Rules is to come to a common unders...

A specification patterns system for discrete event systems analysis

Campos, J. Creissac
Machado, José Mendes

January 2013

As formal verification tools gain popularity, the problem arises of making them more accessible to e...

A Formal Model for Event-Condition-Action Rules in Intelligent Environments

VANNUCCHI, CLAUDIA
CACCIAGRANO, Diletta Romana
CORRADINI, Flavio
CULMONE, Rosario
MOSTARDA, Leonardo
RAIMONDI, Franco
TESEI, Luca

January 2016

We present a formal model for modelling Event-Condition-Action Rules by partitioning a state space a...

Analysis and verification of ECA rules in intelligent environments

Cacciagrano, Diletta Romana
Corradini, Flavio
Culmone, Rosario
Gorogiannis, Nikos
Mostarda, Leonardo
Raimondi, Franco
Vannucchi, Claudia

January 2018

Intelligent Environments (IEs) are physical spaces where Information Technology (IT) and other perva...

vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments

Vannucchi, Claudia
Diamanti, Michelangelo
Mazzante, Gianmarco
Cacciagrano, Diletta Romana
Corradini, Flavio
Culmone, Rosario
Gorogiannis, Nikos
Mostarda, Leonardo
Raimondi, Franco

January 2017

Intelligent Environments (IE) are a very active area of research and a number of applications are cu...

Symbolic verification of event–condition–action rules in intelligent environments

Vannucchi, Claudia
Diamanti, Michelangelo
Mazzante, Gianmarco
Cacciagrano, Diletta
Culmone, Rosario
Gorogiannis, Nikos
Mostarda, Leonardo
Raimondi, Franco

August 2017

In this paper we show how state-of-the art SMT-based techniques for software verification can be emp...

Coordination of ECA rules by verification and control

Julio Cano
Gwenaël Delaval
Eric Rutten

August 2015

Abstract. Event-Condition-Action (ECA) rules are a widely used lan-guage for the high level specific...

Coordination of ECA Rules by Verification and Control

Cano, Julio
Delaval, Gwenaël
Rutten, Eric

June 2014

International audienceEvent-Condition-Action (ECA) rules are a widely used language for the high lev...

Rule-based modelling of intelligent environment behaviour

Hellenschmidt, Michael
Wichert, Reiner

January 2007

This paper presents the realisation of an inference engine for modelling intelligent behaviour of sm...

Enabling Tool Support for Formal Analysis of ECA Rules

Ericsson, AnnMarie

January 2009

Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible...

Towards Explainable Security for ECA Rules

Breve B.
Cimino G.
Deufemia V.

January 2022

With the rise in popularity of smart objects and online services, the use of Trigger-Action Platform...

Modeling and Formal Verification of Smart Environments

CORNO, Fulvio
SANAULLAH, MUHAMMAD

January 2014

Smart Environments (SmE) are a growing combination of various computing frameworks (ubiquitous, perv...

An adaptive rule-based inference engine for realising reasonable behaviour of smart environments

Hellenschmidt, Michael

January 2007

This paper presents the implementation of an inference engine for modelling reliable behaviour of sm...

Model Based Safety Analysis with smartIflow

Philipp Hönig

January 2017

Verification of safety requirements is one important task during the development of safety critical ...

Reasoned modelling with Event-B

Butler, Michael

This paper provides an overview of how the Event-B language and verification method can be used to m...

Reactive Rules for Emergency Management

Brodt, Simon
Hausmann, Steffen
Bry, François

August 2010

The goal of the following survey on Event-Condition-Action (ECA) Rules is to come to a common unders...

A specification patterns system for discrete event systems analysis

Campos, J. Creissac
Machado, José Mendes

January 2013

As formal verification tools gain popularity, the problem arises of making them more accessible to e...

A Formal Model for Event-Condition-Action Rules in Intelligent Environments

VANNUCCHI, CLAUDIA
CACCIAGRANO, Diletta Romana
CORRADINI, Flavio
CULMONE, Rosario
MOSTARDA, Leonardo
RAIMONDI, Franco
TESEI, Luca

January 2016

We present a formal model for modelling Event-Condition-Action Rules by partitioning a state space a...

Analysis and verification of ECA rules in intelligent environments

Cacciagrano, Diletta Romana
Corradini, Flavio
Culmone, Rosario
Gorogiannis, Nikos
Mostarda, Leonardo
Raimondi, Franco
Vannucchi, Claudia

January 2018

Intelligent Environments (IEs) are physical spaces where Information Technology (IT) and other perva...

vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments

Vannucchi, Claudia
Diamanti, Michelangelo
Mazzante, Gianmarco
Cacciagrano, Diletta Romana
Corradini, Flavio
Culmone, Rosario
Gorogiannis, Nikos
Mostarda, Leonardo
Raimondi, Franco

January 2017

Intelligent Environments (IE) are a very active area of research and a number of applications are cu...

Symbolic verification of event–condition–action rules in intelligent environments

Vannucchi, Claudia
Diamanti, Michelangelo
Mazzante, Gianmarco
Cacciagrano, Diletta
Culmone, Rosario
Gorogiannis, Nikos
Mostarda, Leonardo
Raimondi, Franco

August 2017

In this paper we show how state-of-the art SMT-based techniques for software verification can be emp...

Coordination of ECA rules by verification and control

Julio Cano
Gwenaël Delaval
Eric Rutten

August 2015

Abstract. Event-Condition-Action (ECA) rules are a widely used lan-guage for the high level specific...

Coordination of ECA Rules by Verification and Control

Cano, Julio
Delaval, Gwenaël
Rutten, Eric

June 2014

International audienceEvent-Condition-Action (ECA) rules are a widely used language for the high lev...

Rule-based modelling of intelligent environment behaviour

Hellenschmidt, Michael
Wichert, Reiner

January 2007

This paper presents the realisation of an inference engine for modelling intelligent behaviour of sm...

Enabling Tool Support for Formal Analysis of ECA Rules

Ericsson, AnnMarie

January 2009

Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible...

Towards Explainable Security for ECA Rules

Breve B.
Cimino G.
Deufemia V.

January 2022

With the rise in popularity of smart objects and online services, the use of Trigger-Action Platform...

Modeling and Formal Verification of Smart Environments

CORNO, Fulvio
SANAULLAH, MUHAMMAD

January 2014

Smart Environments (SmE) are a growing combination of various computing frameworks (ubiquitous, perv...

An adaptive rule-based inference engine for realising reasonable behaviour of smart environments

Hellenschmidt, Michael

January 2007

This paper presents the implementation of an inference engine for modelling reliable behaviour of sm...

Model Based Safety Analysis with smartIflow

Philipp Hönig

January 2017

Verification of safety requirements is one important task during the development of safety critical ...

Reasoned modelling with Event-B

Butler, Michael

This paper provides an overview of how the Event-B language and verification method can be used to m...

Reactive Rules for Emergency Management

Brodt, Simon
Hausmann, Steffen
Bry, François

August 2010

The goal of the following survey on Event-Condition-Action (ECA) Rules is to come to a common unders...

A specification patterns system for discrete event systems analysis

Campos, J. Creissac
Machado, José Mendes

January 2013

As formal verification tools gain popularity, the problem arises of making them more accessible to e...

A Formal Model for Event-Condition-Action Rules in Intelligent Environments

Abstract

Extracted data

A Formal Model for Event-Condition-Action Rules in Intelligent Environments

Abstract

Extracted data

Topics

Related items

Topics

Related items