 | 2009 |
|---|
| 7 |       | Philippe Bidinger,
Adriana B. Compagnoni:
Pict correctness revisited.
Theor. Comput. Sci. 410(2-3): 114-127 (2009) |
| 2008 |
|---|
| 6 | | Ananda Basu,
Philippe Bidinger,
Marius Bozga,
Joseph Sifakis:
Distributed Semantics and Implementation for Systems with Interaction and Priority.
FORTE 2008: 116-133 |
| 5 | | Adriana B. Compagnoni,
Elsa L. Gunter,
Philippe Bidinger:
Role-based access control for boxed ambients.
Theor. Comput. Sci. 398(1-3): 203-216 (2008) |
| 2007 |
|---|
| 4 | | Philippe Bidinger,
Adriana B. Compagnoni:
Pict Correctness Revisited.
FMOODS 2007: 206-220 |
| 2006 |
|---|
| 3 | | Philippe Bidinger,
Matthieu Leclercq,
Vivien Quéma,
Alan Schmitt,
Jean-Bernard Stefani:
Dream types: a domain specific type system for component-based message-oriented middleware.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 2005 |
|---|
| 2 | | Philippe Bidinger,
Alan Schmitt,
Jean-Bernard Stefani:
An Abstract Machine for the Kell Calculus.
FMOODS 2005: 31-46 |
| 2003 |
|---|
| 1 | | Philippe Bidinger,
Jean-Bernard Stefani:
The Kell Calculus: Operational Semantics and Type System.
FMOODS 2003: 109-123 |
