Search - IFIP Open Digital Library Access content directly

Filter your results

3 results
authIdHal_s : jean-bernard-stefani
level0_domain_s : Computer Science [cs]
Image document

Simple Isolation for an Actor Abstract Machine

Benoit Claudel , Quentin Sabah , Jean-Bernard Stefani
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.213-227, ⟨10.1007/978-3-319-19195-9_14⟩
Conference papers hal-01767336v1
Image document

Revisiting Glue Expressiveness in Component-Based Systems

Cinzia Di Giusto , Jean-Bernard Stefani
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩
Conference papers hal-01582994v1
Image document

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

Jean-Bernard Stefani , Martin Vassor
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩
Conference papers hal-02313751v1