Models of Computation

The set of allowable operations used in computation and their respective costs.

Visible to the public  SCOPES 2017
Jun 12, 2017 7:00 am - Jun 14, 2017 6:00 pm CEST

20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017)

A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organized in 2017. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA.


Visible to the public  ACSD 2017
Jun 28, 2017 7:00 am - Jun 30, 2017 6:00 pm CEST

17th International Conference on Application of Concurrency to System Design (ACSD 2017)


The conference aims at cross-fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit some kind of concurrent behaviour. In particular, the following topics are of interest:

* Formal models of computation and concurrency for the above systems and


Visible to the public Foundations Of Resilient CybEr-physical Systems (FORCES)

The FORCES group

FORCES is designed to help protect the nation's critical infrastructure from attack and to ensure its robust, secure and efficient operation. Specifically, FORCES aims to increase the resilience of large-scale networked cyber-physical systems (CPS) in the key areas of energy delivery, transportation, and energy management in buildings.


Visible to the public Generalized Synchronization Trees


The PIs are developing their novel modeling paradigm, Generalized Synchronization Trees (GSTs), into a rich framework for both describing cyber-physical systems (CPSs) and studying their behavior under interconnection. GSTs were inspired by Milner's use of Synchronization Trees (STs) to model interconnected computing processes, but GSTs generalize the mathematical structure of their forebears in such a way as to encompass many classes of CPSs.