Related Projects

Mads Dam
(European 7th Framework Program EU FP7, 01/2008-12/2009)

ACCESS - Autonomic Complex Communication Networks, Signals and Systems
Mads Dam
(Swedish Research Council, 2006-2015)

ADAPT: Modeling and Analyzing Software Adaptation 
Bernhard Beckert, International partner: Reiner Hähnle
(Rhineland Palatinate's Research Initiative, 2008-2011)

CeProMi: Certification of Pointer Programs
Claude Marché, leader
(INRIA collaborative research action 2008-2009)

CHARTER: Critical and High Assurance Requirements Transformed through Engineering Rigour
Reiner Hähnle, Joseph Kiniry, Erik Poll
(European 7th Framework Program EU FP7 ARTEMIS, 04/2009-03/2012)

ContraST - Contract Based Security for Mobile Code
Dilian Gurov
Swedish Research Council, 2009-2011

COSoDIS project - Contract-Oriented Software Development for Internet Services
Olaf Owe
(Nordunet3, 06/2006-05/2010)

CREDO - Modeling and analysis of evolutionary structures for distributed services
Frank S. de Boer, Dave Clarke, Einar Broch Johnsen, Bjarte M. Østvold, Olaf Owe
(European 6th Framework Program EU FP6, 09/2006-08/2009)

DECERT: DEduction and CERTification
Claude Marché
(ANR French national project, 2009-2011)

DIANA - Distributed, Equipement Independent Environment For Advanced Avionics Applications
          Peter H.Schmitt
         (STREP project within the European 6th Framework Programm)

EOS due - Extensible Object Systems for Dynamic and Unpredictable Environments
Ferruccio Damiani, Paola Giannini, Elena Zucca
(Ministero dell'Istruzione, dell'Università e della Ricerca MIUR-PRIN, 2007-2009)

EXCS - Estonian Center of Excellence in Computer Science
Tarmo Uustalu
(European Regional Development Fund, 07/2008-08/2015)

Formal Methods Protecting Confidential Databases
          Peter H. Schmitt
          (DAAD PPP with M.Giese at the University of Oslo)

GAMES - Games for Design and Verification
Aleksy Schubert
(European Science Foundation ESF, 03/2008-02/2013)

Go!Card - Formal Methods for Secure Java Smart Cards
           Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
           (Deutsche Forschungsgemeinschaft DFG, 10/1999 - 06/2008)

HATS - Highly Adaptable and Trustworthy Software using Formal Methods
Gilles Barthe, Dave Clarke, Mads Dam, Dilian Gurov, Reiner Hähnle, Karl Meinke, Bjarte M. Østvold, Frank Piessens, Arndt Poetzsch-Heffter, Einar Broch Johnsen
(European 7th Framework Program EU FP7, 03/2009-)

Bent Thomsen
(Danish Ministry of Science, Technology and Innovation, 06/2007-)

Bernhard Beckert, Rainer Hähnle, Peter H. Schmitt
(Deutschen Forschungsgemeinschaft DFG, 01/2004-)

Language constructs and type systems for object oriented program components
Ferruccio Damiani, Arnd Poetzsch-Heffter
(Ateneo Italo-Tedesco / Deutsch-Italienische Hochschhulzemtrum - VIGONI progam)

LAWP - Languages and Analyses for Web Programming 
Anders Møller
(Danish Research Council for Technology and Production Sciences, 01/2008-06/2012)

Mimosa - Migration and Mobility: Semantics and Applications
António Ravara

Mobius - Mobility, Ubiquity and Security
Gilles Barthe, Sophia Drossopoulou, Reiner Hähnle, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll, Tarmo Uustalu
(European 6th Framework Program EU FP6, 09/2005-08/2009)

ParSec - Parallelism and Security
Gilles Barthe, Marieke Huisman
(Agence Nationale de la Recherche)

PINPAS JC - Program Inferred Power-Analysis in Software for Java Card
Wojciech Mostowski, Erik Poll
(Dutch security research program Sentinels, 01/2005-12/2009)

Program logics, type systems and trustworthy code generation
Tarmo Uustalu
(Estonian Science Foundation, 1/2007-12/2010)

SecureMDD - A Model-Driven Development Method for Secure Smart Card Applications
          Nina Moebius, Wolfgang Reif, Kurt Stenzel
          (Deutsche Forschungsgemeinschaft DFG, 07/2008 - ...)

Sensoria - Software Engineering for Service-Oriented Overlay Computers
António Ravara
(European 6th Framework Program EU FP6, 09/2005-08/2009)

Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Aleksy Schubert, Tarmo Uustalu
(European 6th Framework Program EU FP6, 09/2004-04/2008)

U3CAT: Unification of Static Analysis Techniques
Claude Marché
(ANR French national project, 2009-2011)

Verisoft XT
Bernhard Beckert
(German Federal Ministry of Education and Research BMBF, 07/2007-06/2010)

Creol - A Formal Framework for Reflective Component Modelling
Einar Broch Johnsen
(Norwegian Research Council, 2004 - 2009)

Connect - Active Behavioral Interfaces for Seamless Network Integration
Einar Broch Johnsen
(Norwegian Research Council, 2006 - 2010)