Events
| June 10, 2010: | ICE'10 — Amsterdam, Netherlands | PC co-chair |
| August 31, 2009: | ICE'09 — Bologna, Italy | PC member |
| July 6, 2008: | ICE'08 — Reykjavik, Iceland | PC member |
Research
My main research interest at present is the field of component-based systemic modelling, analysis and synthesis. Component-based development is characterised by a hierarchical approach to system modelling, where each system is recursively built from sub-systems of the same organic "nature". Thus, one speaks of atomic or composite components. A component is charachterised by a pair consisting of its interface and behaviour. The latter is mostly used for the development of atomic components and analysis of the resulting system, whereas the former specifies the capability of the component to interact with other components. Each component-based approach has a fixed set of composition operators (sometimes called glue) with formal semantics associating to a set of atomic components and an instance of glue the resulting component in the same formalism.
My PhD dissertation was prepared at LIX under the supervision of Daniel Krob, and is entitled
A Framework for Studying Complex Industrial Systems: An Example Based on the UMTS Infrastructure.
Here is the up-to-date version of the dissertation: [PS] [PDF]
Since then I have stayed for two years at VERIMAG, working as a post-doc with Joseph Sifakis on the formal semantics for BIP.
Keywords: (in chronological order)
- Young tableaux, symmetric functions and Schur polynomials, square tabloids with ribbons
- performance evaluation, power control, bit error rate (BER)
- UMTS, HSDPA, Hybrid ARQ, 16QAM constellation rearrangement
- Non-standard analysis
- Complex systems, integration of systems
- BIP, component-based approach, formal semantics
- Safety-critical real-time systems, OASIS
Additional information
My LinkedIn profile. I have also recently started a LinkedIn group for MPRI.
My CV:
- In English: [Academic] [Industrial]
- In French: [Academic] [Industrial]
Publications
Download the list:
[PS]
[PDF]
(last updated on July 12, 2010)
Journals
- S.B., J. Sifakis. Causal semantics for the algebra of connectors.
In Formal Methods in System Design, vol. 36(2), pp. 167–194, 2010.
[PS] [PDF] [BibTex] [SpringerLink] - S.B., D. Krob. Modelling of Complex Systems: Systems as
dataflow machines. In Fundamenta Informaticae (special
issue on Machines, Computations and Universality), vol. 91,
pp. 1–24, 2009.
[PS] [PDF] [BibTex] - S.B., J. Sifakis. The Algebra of Connectors—Structuring Interaction in BIP. IEEE Transactions on Computers, vol. 57, no. 10, pp. 1315–1330, October, 2008.
[PS] [PDF] [BibTex] [IEEE Link] - S.B., D. Krob. A combinatorial approach to evaluation of reliability of the receiver
output for BPSK modulation with spatial diversity.
Electronic Journal of Combinatorics,
13(1), paper
#R2, 31 pages, 2006
[PS] [PDF] [BibTeX]
Conference and workshop proceedings
- M. Jaber, A. Basu, S.B. Symbolic Implementation of Connectors in BIP.
In Proc. of the 2nd Interaction and Concurrency Experience
(ICE'09), EPTCS 12, 41–55, 2009.
[PDF] [BibTex] [Slides] - S.B., J. Sifakis. A Notion of Glue Expressiveness for Component-Based Systems.
In Proc. of the 19th International Conference on Concurrency Theory
(CONCUR'08), LNCS 5201, 508–522, Springer, 2008.
[PS] [PDF] [BibTex] [SpringerLink] - S.B., J. Sifakis. Causal semantics for the algebra of connectors. (Extended abstract)
In Proc. of the Software Technologies Concertation on
Formal Methods for Components and Objects
(FMCO 2007), LNCS
5382, 179–199, Springer, 2008.
[BibTex] (See the journal version above) - S.B., J. Sifakis. The Algebra of Connectors — Structuring Interaction in BIP.
In Proc. of the 7th ACM & IEEE International Conference on Embedded Software
(EMSOFT'07), 11–20, 2007.
[PS] [PDF] [BibTex] (See the journal version above) - S.B., D. Krob. Towards a Functional Formalism for Modelling Complex Industrial Systems.
In ComPlexUs, Special Issue: Complex Systems – European Conference –
November 2005 – Selected Papers – Part 1,
(ECCS'05) 2(3–4):163–176, 2004/2005
[PS] [PDF] [BibTeX] - S.B., N. Billy, D. Krob. On the Optimal H-ARQ Control Schemes for HSDPA with 16QAM.
In Proc. of the IEEE International Conference on Wireless and Mobile Computing,
Networking and Communications (WiMob 2005),
1, 121–127, 2005
[PS] [PDF] [BibTeX] - S.B., D. Krob. Performance Evaluation of Demodulation with Diversity —
A Combinatorial Approach III : Threshold analysis. In Proc. of the 2nd Workshop on
Analytic Algorithmics and Combinatorics
(ANALCO 2005),
195–205, 2005
[PS] [PDF] [BibTeX]
Technical reports
- S.B., J. Sifakis. Causal Semantics for The Algebra of Connectors.
VERIMAG Technical Report, 2008.
[VERIMAG TR page] [BibTex] - S.B., J. Sifakis. The Algebra of Connectors — Structuring Interaction in BIP.
VERIMAG Technical Report, 2007.
[VERIMAG TR page] [BibTex] - S.B., D. Krob. Modelling of complex systems I — A functional approach:
Time, data, and systems. Technical report, LIX, École Polytechnique, 2007
[PDF] [BibTeX] - S.B. Analysis of Algorithms for Outer Loop Power Control (Uplink) in UMTS.
Internship report (Alcatel internal), 2001
[BibTeX]
Miscellanea
- Wu Dao - Paris.
- Aïkido Grenoblois, Aïkido à Clamart
- A page with a list of HTML special characters.
- A universal currency converter, and a page with rate evolution charts.
- Some photos from my trip to Canada in January 2005
