dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Joseph Sifakis (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis: Modeling Dynamic Architectures Using Dy-BIP. Software Composition 2012: 1-16
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnanda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis: Rigorous Component-Based System Design Using the BIP Framework. IEEE Software 28(3): 41-48 (2011)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBorzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: From high-level component-based models to distributed implementations. EMSOFT 2010: 209-218
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBorzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: Automated Conflict-free distributed implementation of component-based models. SIES 2010: 108-117
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Bozga, Mohamad Jaber, Joseph Sifakis: Source-to-Source Architecture Transformation for Performance Optimization in BIP. IEEE Trans. Industrial Informatics 6(4): 708-718 (2010)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Bozga, Mohamad Jaber, Joseph Sifakis: Source-to-source architecture transformation for performance optimization in BIP. SIES 2009: 152-160

Selection of 6 from 148 records - Joseph Sifakis has 119 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page