P. Bidinger

Dream types: a domain specific type system for component-based message-oriented middleware

A. Schmitt, Vivien Quéma, J. Stefani, 2005, SAVCBS '05.

A role-based access control type system for boxed ambients

A. Compagnoni, E. Gunter, P. Bidinger, 2007 .

New Results - Autonomous Distributed System Management

Sara Bouchenak, Sacha Krakowiak, Fabienne Boyer, 2005 .

Pict correctness revisited

Adriana B. Compagnoni, Philippe Bidinger, A. Compagnoni, 2007, Theor. Comput. Sci..

BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions

Livio Bioglio, Eduardo Bonelli, Adriana B. Compagnoni, 2013, CS2Bio.

Distributed Semantics and Implementation for Systems with Interaction and Priority

Joseph Sifakis, Marius Bozga, Ananda Basu, 2008, FORTE.