Now showing items 1-3 of 3

    • Complexity of Reachability for Data-aware Dynamic Systems 

      Abdulla PA; Aiswarya C; Atig MF; Montali M; Rezine O (IEEE Computer Society Press, 2018)
      A formal model called database manipulating systems was introduced to model data-aware dynamic systems. Its semantics is given by an infinite labelled transition systems where a label can be an unbounded relational database. ...
    • Recency-Bounded Verification of Dynamic Database-Driven Systems 

      Abdulla PA; Aiswarya C; Atig MF; Montali M; Rezine O (ACM Press and Addison Wesley, 2016)
      We propose a formalism to model database-driven systems, called database manipulating systems (DMS). The actions of a DMS modify the current instance of a relational database by adding new elements into the database, ...
    • Well Structured Transition Systems with History 

      Abdulla PA; Delzanno G; Montali M (Open Publishing Association, 2015)
      We propose a formal model of concurrent systems in which the history of a computation is explicitly represented as a collection of events that provide a view of a sequence of configurations. In our model events generated ...