@INPROCEEDINGS{CHK,
author = {Chkouri Mohamed Yassin and Marius Bozga},
title = {Prototyping of Distributed Embedded Systems Using AADL},
booktitle = {ACES-MB},
year = {2009},
note = {To appear}
}
@INPROCEEDINGS{BSS09,
author = {Marius Bozga and Vassiliki Sfyrla and Joseph Sifakis},
title = {Modeling Synchronous Systems in BIP},
booktitle = {EMSOFT},
year = {2009},
note = {To appear}
}
@INPROCEEDINGS{BBJ09,
author = {Ananda Basu and Simon Bliudze and Mohamad Jaber},
title = {Symbolic Implementation of Connectors in BIP},
booktitle = {2nd Interaction and Concurrency Experience},
year = {2009},
note = {To appear}
}
@INPROCEEDINGS{BBBSBIP,
author = {Ananda Basu and Borzoo Bonakdarpour and Marius Bozga and Joseph Sifakis},
title = {Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset},
booktitle = {International Conference on Distributed Computing (DISC)},
address = {Elche/Elx, Spain},
year = {2009},
note = {To appear}
}
@INPROCEEDINGS{S2SBIP,
author = {Marius Bozga and Mohamad Jaber and Joseph Sifakis},
title = {Source-to-Source Architecture Transformation for Performance Optimization in BIP},
booktitle = {SIES},
year = {2009},
note = {To appear}
}
@INPROCEEDINGS{Sifakis09,
author = {Joseph Sifakis},
title = {Component-Based Construction of Real-Time Systems in BIP},
booktitle = {CAV},
year = {2009},
pages = {33-34},
ee = {http://dx.doi.org/10.1007/978-3-642-02658-4_4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{BensalemBNS09,
author = {Saddek Bensalem and
Marius Bozga and
Thanh-Hung Nguyen and
Joseph Sifakis},
title = {D-Finder: A Tool for Compositional Deadlock Detection and
Verification},
booktitle = {CAV},
year = {2009},
pages = {614-619},
ee = {http://dx.doi.org/10.1007/978-3-642-02658-4_45},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/cav/BasuBPS09,
author = {Ananda Basu and
Saddek Bensalem and
Doron Peled and
Joseph Sifakis},
title = {Priority Scheduling of Distributed Systems Based on Model
Checking},
booktitle = {CAV},
year = {2009},
pages = {79-93},
ee = {http://dx.doi.org/10.1007/978-3-642-02658-4_10},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{CMY,
author = {Chkouri, Mohamed Yassin and Bozga, Marius},
title = {Deterministic Data Flow Communication in AADL},
booktitle = {ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems},
year = {2009},
isbn = {978-0-7695-3678-1},
pages = {93--100},
doi = {http://dx.doi.org/10.1109/ICESS.2009.28},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA}
}
@ARTICLE{BGIKN09,
author = {Bensalem, Saddek and Gallien, Matthieu and Ingrand, Félix and Kahloul, Imen and Nguyen, Thanh-Hung},
title = {Toward a More Dependable Software Architecture for Autonomous Robots},
journal = {Special issue on Software Engineering for Robotics of the IEEE Robotics and Automation Magazine},
year = {2009},
publisher = {IEEE Robotics and Automation Magazine}
}
@INPROCEEDINGS{1478287,
author = {Bensalem, Saddek and Bozga, Marius and Sifakis, Joseph and Nguyen, Thanh-Hung},
title = {Compositional Verification for Component-Based Systems and Application},
booktitle = {ATVA '08: Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis},
year = {2008},
isbn = {978-3-540-88386-9},
pages = {64--79},
location = {Seoul, Korea},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg}
}
@INPROCEEDINGS{1431539,
author = {Bliudze, Simon and Sifakis, Joseph},
title = {A Notion of Glue Expressiveness for Component-Based Systems},
booktitle = {CONCUR '08: Proceedings of the 19th international conference on Concurrency Theory},
year = {2008},
isbn = {978-3-540-85360-2},
pages = {508--522},
location = {Toronto, Canada},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg}
}
@INPROCEEDINGS{DBLP:conf/models/ChkouriRBS08,
author = {Mohamed Yassin Chkouri and
Anne Robert and
Marius Bozga and
Joseph Sifakis},
title = {Translating AADL into BIP - Application to the Verification
of Real-Time Systems},
booktitle = {MoDELS Workshops},
year = {2008},
pages = {5-19},
ee = {http://dx.doi.org/10.1007/978-3-642-01648-6_2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{conf/ecai/BasuGLNBIS08,
author = {Ananda Basu and Matthieu Gallien and Charles Lesire and Thanh-Hung Nguyen and Saddek Bensalem and Félix Ingrand and Joseph Sifakis},
booktitle = {ECAI},
pages = {631-635},
publisher = {IOS Press},
title = {Incremental Component-Based Construction and Verification of a Robotic System.},
volume = {178},
year = {2008},
ee = {http://dx.doi.org/10.3233/978-1-58603-891-5-631},
isbn = {978-1-58603-891-5},
date = {2009-01-30}
}
@INPROCEEDINGS{DBLP:conf/forte/BasuBBS08,
author = {Ananda Basu and
Philippe Bidinger and
Marius Bozga and
Joseph Sifakis},
title = {Distributed Semantics and Implementation for Systems with
Interaction and Priority},
booktitle = {FORTE},
year = {2008},
pages = {116-133},
ee = {http://dx.doi.org/10.1007/978-3-540-68855-6_8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/fmco/BliudzeS07,
author = {Simon Bliudze and
Joseph Sifakis},
title = {Causal Semantics for the Algebra of Connectors},
booktitle = {FMCO},
year = {2007},
pages = {179-199},
ee = {http://dx.doi.org/10.1007/978-3-540-92188-2_8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/emsoft/BliudzeS07,
author = {Simon Bliudze and
Joseph Sifakis},
title = {The algebra of connectors: structuring interaction in BIP},
booktitle = {EMSOFT},
year = {2007},
pages = {11-20},
ee = {http://doi.acm.org/10.1145/1289927.1289935},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{Graf-Quinton-07,
author = {Susanne Graf and
Sophie Quinton},
title = {Contracts for BIP: Hierarchical Interaction Models for Compositional
Verification.},
booktitle = {FORTE},
year = {2007},
pages = {1-18},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {papers/Graf-Quinton-07.pdf}
}
@TECHREPORT{BliSif07-tr,
author = {Simon Bliudze and Joseph Sifakis},
title = {The Algebra of Connectors~--- Structuring Interaction in {BIP}},
institution = {VERIMAG},
year = 2007,
number = {TR-2007-3},
abstract = {We provide an algebraic formalisation of \emph{connectors} in
BIP. These are used to structure \emph{interactions} in a
component-based system. A connector relates a set of typed
ports. Types are used to describe different modes of
synchronisation: rendezvous and broadcast, in particular.
Connectors on a set of ports $P$ are modelled as terms of the
algebra $AC(P)$, generated from $P$ by using an binary
\emph{fusion} operator and a unary \emph{typing} operator.
Typing associates with terms (ports or connectors)
synchronisation types -- \emph{trigger} or \emph{synchron} --
that determine modes of synchronisation. Broadcast
interactions are initiated by triggers. Rendezvous is a
maximal interaction of a connector including only synchrons.
The semantics of $AC(P)$ associates with a connector the set
of its interactions. It induces on connectors an equivalence
relation which is not a congruence as it is not stable for
fusion. We provide a number of properties of $AC(P)$ used to
symbolically simplify and handle connectors. We provide
examples illustrating applications of $AC(P)$, including a
general component model encompassing synchrony, methods for
incremental model decomposition, and efficient implementation
by using symbolic techniques.},
url = {http://www-verimag.imag.fr/index.php?page=techrep-list}
}
@INPROCEEDINGS{BasuMounierPoulhiesPulouSifakis07,
author = {Ananda Basu and
Laurent Mounier and
Marc Poulhi{\`e}s and
Jacques Pulou and
Joseph Sifakis},
title = {Using BIP for Modeling and Verification of Networked Systems
-- A Case Study on TinyOS-based Networks.},
booktitle = {NCA},
year = {2007},
pages = {257-260},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {papers/Basu-Mounier-Poulhies-Pulou-Sifakis-07.pdf}
}
@TECHREPORT{PoulhiesPulouRippertSifakis07,
author = { Marc Poulhies, Jacques Pulou, Christophe Rippert and Joseph Sifakis},
title = {A Methodology and Supporting Tools for the Development of Low-Footprint and Safe Embedded Systems},
url = {http://www-verimag.imag.fr/index.php?page=techrep-list}
}
@INPROCEEDINGS{BasuBozgaSifakis07,
author = {Ananda Basu and Marius Bozga and Joseph Sifakis},
title = {Modeling Heterogeneous Real-time Components in BIP},
booktitle = {SEFM '06: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods},
year = {2006},
pages = {3--12},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
url = {papers/Basu-Bozga-Sifakis-06.pdf}
}
@INPROCEEDINGS{COMPOFRAME,
author = {Joseph Sifakis},
title = {A Framework for Component-based Construction Extended Abstract},
booktitle = {SEFM '05: Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods},
year = {2005},
isbn = {0-7695-2435-4},
pages = {293--300},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
url = {papers/Sifakis-05.pdf}
}
@ARTICLE{COMPO,
author = {Gregor Gossler and Joseph Sifakis},
title = {Composition for component-based modeling},
journal = {Sci. Comput. Program.},
volume = {55},
number = {1-3},
year = {2005},
pages = {161--183},
publisher = {Elsevier North-Holland, Inc.},
address = {Amsterdam, The Netherlands, The Netherlands},
url = {papers/Goessler-Sifakis-05.pdf}
}
This file has been generated by bibtex2html 1.85.