Paper accepted at BX

Our paper on least-change bidirectional transformation has been accepted at the International Workshop on Bidirectional Transformations (BX).

We are hiring!...

We are looking for PhD students and post-doctoral fellows willing to pursue work in the following broad topics:

· Development tools for the formal verification of critical interactive systems through model checking and theorem proving.

· The role of different verification tools – software model checkers, timed model checkers, theorem provers – in the verification of real time software applied to critical systems.

Page started

The page has been created!

Invited for the SBLP'12 special issue (SCP)

Our SBLP'12 was invited for the special issue to be published by the SCP journal.

Paper accepted at FASE

Our paper on bidirectional QVT-R transformations has been accepted at the International Conference on Fundamental Approaches to Software Engineering (FASE).

Paper accepted at RAMiCS

Our paper on relations as executable specifications has been accepted at the International Conference Relational and Algebraic Methods in Computer Science (RAMiCS).