[1] Chkouri Mohamed Yassin and Marius Bozga. Prototyping of Distributed Embedded Systems Using AADL. In ACES-MB, 2009. To appear. [ bib ]
[2] Marius Bozga, Vassiliki Sfyrla, and Joseph Sifakis. Modeling Synchronous Systems in BIP. In EMSOFT, 2009. To appear. [ bib ]
[3] Ananda Basu, Simon Bliudze, and Mohamad Jaber. Symbolic Implementation of Connectors in BIP. In 2nd Interaction and Concurrency Experience, 2009. To appear. [ bib ]
[4] Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, and Joseph Sifakis. Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. In International Conference on Distributed Computing (DISC), Elche/Elx, Spain, 2009. To appear. [ bib ]
[5] Marius Bozga, Mohamad Jaber, and Joseph Sifakis. Source-to-Source Architecture Transformation for Performance Optimization in BIP. In SIES, 2009. To appear. [ bib ]
[6] Joseph Sifakis. Component-Based Construction of Real-Time Systems in BIP. In CAV, pages 33-34, 2009. [ bib ]
[7] Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, and Joseph Sifakis. D-Finder: A Tool for Compositional Deadlock Detection and Verification. In CAV, pages 614-619, 2009. [ bib ]
[8] Ananda Basu, Saddek Bensalem, Doron Peled, and Joseph Sifakis. Priority Scheduling of Distributed Systems Based on Model Checking. In CAV, pages 79-93, 2009. [ bib ]
[9] Mohamed Yassin Chkouri and Marius Bozga. Deterministic Data Flow Communication in AADL. In ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems, pages 93-100, Washington, DC, USA, 2009. IEEE Computer Society. [ bib | DOI ]
[10] Saddek Bensalem, Matthieu Gallien, Félix Ingrand, Imen Kahloul, and Thanh-Hung Nguyen. Toward a More Dependable Software Architecture for Autonomous Robots. Special issue on Software Engineering for Robotics of the IEEE Robotics and Automation Magazine, 2009. [ bib ]
[11] Saddek Bensalem, Marius Bozga, Joseph Sifakis, and Thanh-Hung Nguyen. Compositional Verification for Component-Based Systems and Application. In ATVA '08: Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, pages 64-79, Berlin, Heidelberg, 2008. Springer-Verlag. [ bib ]
[12] Simon Bliudze and Joseph Sifakis. A Notion of Glue Expressiveness for Component-Based Systems. In CONCUR '08: Proceedings of the 19th international conference on Concurrency Theory, pages 508-522, Berlin, Heidelberg, 2008. Springer-Verlag. [ bib ]
[13] Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, and Joseph Sifakis. Translating AADL into BIP - Application to the Verification of Real-Time Systems. In MoDELS Workshops, pages 5-19, 2008. [ bib ]
[14] Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, and Joseph Sifakis. Incremental Component-Based Construction and Verification of a Robotic System. In ECAI, volume 178, pages 631-635. IOS Press, 2008. [ bib ]
[15] Ananda Basu, Philippe Bidinger, Marius Bozga, and Joseph Sifakis. Distributed Semantics and Implementation for Systems with Interaction and Priority. In FORTE, pages 116-133, 2008. [ bib ]
[16] Simon Bliudze and Joseph Sifakis. Causal Semantics for the Algebra of Connectors. In FMCO, pages 179-199, 2007. [ bib ]
[17] Simon Bliudze and Joseph Sifakis. The algebra of connectors: structuring interaction in BIP. In EMSOFT, pages 11-20, 2007. [ bib ]
[18] Susanne Graf and Sophie Quinton. Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. In FORTE, pages 1-18, 2007. [ bib | .pdf ]
[19] Simon Bliudze and Joseph Sifakis. The Algebra of Connectors - Structuring Interaction in BIP. Technical Report TR-2007-3, VERIMAG, 2007. [ bib | http ]
[20] Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, and Joseph Sifakis. Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks. In NCA, pages 257-260, 2007. [ bib | .pdf ]
[21] Ananda Basu, Marius Bozga, and Joseph Sifakis. Modeling Heterogeneous Real-time Components in BIP. In SEFM '06: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, pages 3-12, Washington, DC, USA, 2006. IEEE Computer Society. [ bib | .pdf ]
[22] Joseph Sifakis. A Framework for Component-based Construction Extended Abstract. In SEFM '05: Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, pages 293-300, Washington, DC, USA, 2005. IEEE Computer Society. [ bib | .pdf ]
[23] Gregor Gossler and Joseph Sifakis. Composition for component-based modeling. Sci. Comput. Program., 55(1-3):161-183, 2005. [ bib | .pdf ]
[24] Christophe Rippert Marc Poulhies, Jacques Pulou and Joseph Sifakis. A Methodology and Supporting Tools for the Development of Low-Footprint and Safe Embedded Systems. Technical report. [ bib | http ]

This file has been generated by bibtex2html 1.85.