Philippe Bidinger

According to our database, Philippe Bidinger authored at least 7 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

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

Adriana B. Compagnoni, Vishakha Sharma, Yifei Bao, Matthew Libera, Svetlana Sukhishvili, Philippe Bidinger, Livio Bioglio, Eduardo Bonelli

Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012

2008

Role-based access control for boxed ambients.

Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger

Theor. Comput. Sci., 2008

Distributed Semantics and Implementation for Systems with Interaction and Priority.

Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

Pict Correctness Revisited.

Philippe Bidinger, Adriana B. Compagnoni

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2005

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

Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, 2005

An Abstract Machine for the Kell Calculus.

Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2003

The Kell Calculus: Operational Semantics and Type System.

Philippe Bidinger, Jean-Bernard Stefani

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003