4WARD Mads Dam
(European 7th Framework Program EU FP7, 01/2008-12/2009) ACCESS - Autonomic Complex Communication Networks, Signals and Systems Mads Dam
ADAPT: Modeling and Analyzing Software Adaptation (Swedish Research Council, 2006-2015) Bernhard Beckert, International partner: Reiner Hähnle CeProMi: Certification of Pointer Programs (Rhineland Palatinate's Research Initiative, 2008-2011) 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 DECERT: DEduction and CERTification(European 6th Framework Program EU FP6, 09/2006-08/2009) 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-) Javaobject Bent Thomsen
KeY (Danish Ministry of Science, Technology and Innovation, 06/2007-) Bernhard Beckert, Rainer Hähnle, Peter H. Schmitt Language constructs and type systems for object oriented program components(Deutschen Forschungsgemeinschaft DFG, 01/2004-) 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) Types 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 Creol - A Formal Framework for Reflective Component Modelling(German Federal Ministry of Education and Research BMBF, 07/2007-06/2010) Einar Broch Johnsen Connect - Active Behavioral Interfaces for Seamless Network Integration(Norwegian Research Council, 2004 - 2009) Einar Broch Johnsen (Norwegian Research Council, 2006 - 2010) |