Expressiveness and Composability of Glue Operators in BIP
Event details
| Date | 21.06.2013 |
| Hour | 10:00 |
| Speaker | Mr. Eduard Baranov |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Jean-Yves LeBoudec
Thesis director: Prof. Joseph Sifakis
Thesis co-director: Dr Simon Bliudze
Co-examiner: Prof. Rachid Guerraoui
Research Proposal
Revisiting Glue Expressiveness in Component-Based Systems by Cinzia Di Giusto, Jean-Bernard Stefan.
The Algebra of Connectors – Structuring Interaction in BIP by S. Bliudze, J. Sifakis.
A Survey on Basic Connectors and Buffers by Roberto Bruni, Hernan Melgratti, Ugo Montanari.
Exam president: Prof. Jean-Yves LeBoudec
Thesis director: Prof. Joseph Sifakis
Thesis co-director: Dr Simon Bliudze
Co-examiner: Prof. Rachid Guerraoui
Research Proposal
Revisiting Glue Expressiveness in Component-Based Systems by Cinzia Di Giusto, Jean-Bernard Stefan.
The Algebra of Connectors – Structuring Interaction in BIP by S. Bliudze, J. Sifakis.
A Survey on Basic Connectors and Buffers by Roberto Bruni, Hernan Melgratti, Ugo Montanari.
Practical information
- General public
- Free
Contact
- Ms Evelyn Duperrex