%machin truc
% Biblio composants projet COLOSS ...
@string{IRIN = {{I}nstitut de {R}echerche en {I}nformatique
                  de {N}antes}}
@string{LINA = {{L}aboratoire d'{I}formatique de {N}antes {A}tlantique}}
@string{LNCS = {{L}ecture {N}otes in {C}omputer {S}cience}}
@string{REVUEI ={{R}evue internationale}}
@string{REVUEN ={{R}evue nationale}}
@string{LIVRE ={{L}ivre}}
@string{CHAP ={{C}hapitre de livre}}
@string{EDIT ={{E}dition de livre ou de num\'ero de revue}}
@string{INVIT ={{C}onf\'erence invit\'ee}}
@string{MANIFI ={{M}anifestation internationale avec comit\'e de programme et actes publi\'es}}
@string{MANIFIA ={{M}anifestation nationale avec comit\'e de programme et actes \`a diffusion resteinte}}
@string{MANIFN ={{M}anifestation nationale avec comit\'e de programme et actes publi\'es}}
@string{AUTRE ={{A}utre manifestation}}
@string{RAP ={{R}apport de recherche}}
@string{HAB ={{H}abilitation \`a diriger des recherches}}
@string{THESE ={{T}h\`ese}}
@string{DEA ={{R}apport de DEA}}
@string{SV ={{S}pringer {V}erlag}}



%machin truc
% Biblio composants projet COLOSS ...
@string{IRIN = {{I}nstitut de {R}echerche en {I}nformatique
                  de {N}antes}}
@string{LINA = {{L}aboratoire d'{I}formatique de {N}antes {A}tlantique}}
@string{LNCS = {{L}ecture {N}otes in {C}omputer {S}cience}}
@string{REVUEI ={{R}evue internationale}}
@string{REVUEN ={{R}evue nationale}}
@string{LIVRE ={{L}ivre}}
@string{CHAP ={{C}hapitre de livre}}
@string{EDIT ={{E}dition de livre ou de num\'ero de revue}}
@string{INVIT ={{C}onf\'erence invit\'ee}}
@string{MANIFI ={{M}anifestation internationale avec comit\'e de programme et actes publi\'es}}
@string{MANIFIA ={{M}anifestation nationale avec comit\'e de programme et actes \`a diffusion resteinte}}
@string{MANIFN ={{M}anifestation nationale avec comit\'e de programme et actes publi\'es}}
@string{AUTRE ={{A}utre manifestation}}
@string{RAP ={{R}apport de recherche}}
@string{HAB ={{H}abilitation \`a diriger des recherches}}
@string{THESE ={{T}h\`ese}}
@string{DEA ={{R}apport de DEA}}
@string{SV ={{S}pringer {V}erlag}}

@book{cbse_heineman,
 editor = {George T. Heineman and William T. Councill},
 title = {Component-based software engineering: putting the pieces together},
 year = {2001},
 isbn = {0-201-70485-4},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
 }

% PAPERS on Wright
%http://www-2.cs.cmu.edu/afs/cs/project/able/www/wright/wright_bib.html
@book{arnold92,
   author = {Arnold, Andr\'e},
   publisher = {Masson},
   series = {Collection Etudes et recherches en informatique},
   title = {Syst\`emes de transitions finis et s\'emantique des processus communiquants},
   isbn = {2-225-82746-X},
   note = {ISBN 2-225-82746-X},
   year = {1992}
}

@Book{Turner,
  title =    "Using Formal Description Techniques, An introduction
          to Estelle, Lotos and SDL",
  publisher =    "Wiley",
  editor =   "Turner, Kenneth J.",
  isbn = {0-471-93455-0},
  note = {ISBN 0-471-93455-0},
  year =     {1993}
}

@book{Shaw96,
author = {Shaw, M. and Garlan, D.},
title = {Software Architecture: Perspective on an Emerging Discipline},
publisher = {Prentice Hall},
year = 1996,
keywords = {Software Architecture}
}

@book{ejb2_0,
   author = {Calandreau, Christophe and Fauré, Alain and Soukouti, Nader},
   publisher = {Dunod},
   title = {{EJB 2.0 - Mise en oeuvre}},
   collection = {{InfoPro}},
   note = {ISBN 2-10-004729-9},
   isbn = {2-10-004729-9},
   year = {2003}
}

@inproceedings{meyer03grand,
  author = "B. Meyer",
  title = "{The Grand Challenge of Trusted Components}",
  pages = "660--667",
 booktitle = {Proceedings of 25th International Conference on Software Engineering},
  year = "2003",
 publisher = {IEEE Computer Society},
  url = "citeseer.ist.psu.edu/meyer03grand.html" }

@book{dotNET,
   author = {Lantim, Dick},
   publisher = {Eyrolles},
   title = {{.NET}},
   note = {ISBN 2-212-11200-9},
   isbn = {2-212-11200-9},
   year = {2003}
}

@book{corba,
   author = {Baker, Sean},
   publisher = {Addison Wesley},
   series = {ACM Press},
   isbn = {0-201-92475-7},
   note = {ISBN 0-201-92475-7},
   title = {{CORBA - Distributed Objects, The Orbix Approach}},
   year = {1997}
}

@inproceedings{BordeauxSBM04,
  author    = {Lucas Bordeaux and
               Gwen Sala{\"u}n and
               Daniela Berardi and
               Massimo Mecella},
  title     = {When are Two Web Services Compatible?},
  booktitle = {TES},
  year      = {2004},
  pages     = {15-28},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3324{\&}spage=15},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



%First International on Formal Methods for Components and Objects: an Overview
%FMCO'02, Lorents Center, Leiden, The Netherlands


%A Logical Interface Description Language for Components
%F. Arbab, M.M Bonsangue, F.S de Boer
%CWI - SEN-R0020, 2000

@inproceedings{arbab2000,
 author = {Farhad Arbab and Frank S. de Boer and Marcello M. Bonsangue},
 title = {A Logical Interface Description Language for Components},
 booktitle = {Proceedings of the 4th International Conference on Coordination Languages and Models},
 year = {2000},
 isbn = {3-540-41020-1},
 pages = {249--266},
 publisher = {Springer-Verlag},
 }

@article{canalRoles,
 author = {Canal, Carlos and Fuentes, Lidia and Pimentel, Ernesto and Troya, Jos\&\#233; M. and Vallecillo, Antonio},
 title = {{Adding Roles to CORBA Objects}},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {29},
 number = {3},
 year = {2003},
 issn = {0098-5589},
 pages = {242--260},
 doi = {http://dx.doi.org/10.1109/TSE.2003.1183935},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

@inproceedings{BraccialiCoord02,
 author = {Andrea Bracciali and Antonio Brogi and Carlos Canal},
 title = {Dynamically Adapting the Behaviour of Software Components},
 booktitle = {COORDINATION '02: Proceedings of the 5th International Conference on Coordination Models and Languages},
 year = {2002},
 isbn = {3-540-43410-0},
 pages = {88--95},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@article{BraccialiBC05,
  author    = {Bracciali, Andrea and Brogi, Antonio and Canal, Carlos},
  title     = {{A formal approach to component adaptation}},
  journal   = {Journal of Systems and Software},
  volume    = {74},
  number    = {1},
  year      = {2005},
  pages     = {45-54},
  ee        = {http://dx.doi.org/10.1016/j.jss.2003.05.007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@misc{brogi03specification,
  author = "A. Brogi and C. Canal and E. Pimentel",
  title = "On the specification of software adaptation",
  note = "In FOCLASA'03, ENTCS,
    90 (in press)",
  year = "2003",
  url = "citeseer.ist.psu.edu/brogi03specification.html" 
}
%Electronic Notes in Theoretical Computer Science 


@incollection{bergner00formal,
    author = "K. Bergner and A. Rausch and M. Sihling and A. Vilbig and M. Broy",
    title = "{A Formal Model for Componentware}",
    booktitle = "Foundations of Component-Based Systems",
    publisher = "Cambridge University Press",
    address = "New York, NY",
    editor = "G. T. Leavens and M. Sitaraman",
    isbn = "0-521-77164-1",
    pages = "189--210",
    year = "2000",
    url = "citeseer.ist.psu.edu/article/bergner99formal.html" }


@inproceedings{GradyCampbell1999,
 author = {Grady H. Campbell, Jr.},
 title = {Adaptable Components},
 booktitle = {Proceedings of the 21st international conference on Software engineering},
 year = {1999},
 isbn = {1-58113-074-0},
 pages = {685--686},
 location = {Los Angeles, California, United States},
 publisher = {IEEE Computer Society Press},
 }

@article{MedvidovicTaylor2000,
author={ N. Medvidovic and  R. N. Taylor  },
TITLE={{A Classification and Comparison Framework for Software Architecture Description Languages}},
journal={IEEE Transactions on Software Engineering},
volume={26},
number={1},
pages={70--93},
month={january},
notes={},
year={2000}}



@Article{Allen97TOSEM,
author = {Allen, Robert and Garlan, David},
title = {{A Formal Basis for Architectural Connection}},
journal = {ACM Transactions on Software Engineering and Methodology},
volume={6},
number={3},
pages= {213--249},
year = 1997,
key = {Allen},
month = {July}
}

@article{assessment2003,
 author = {Hemant Jain and Padmal Vitharana and Fatemah M Zahedi},
 title = {{An Assessment Model for Requirements Identification in Component-based Software Development}},
 journal = {SIGMIS Database},
 volume = {34},
 number = {4},
 year = {2003},
 issn = {0095-0033},
 pages = {48--63},
 doi = {http://doi.acm.org/10.1145/957758.957765},
 publisher = {ACM Press},
 }

@Book{Szyperski1997,
  author        = "Clemens Szyperski",
  title         = "Component Software: Beyond Object-Oriented Programming",
  publisher     = "AddisonWesley Publishing Company",
  year          = 1997,
  keywords      = ""
}

@Book{Szyperski2002,
  author        = {Szyperski, Clemens},
  title         = {{Component Software: Beyond Object-Oriented Programming}},
  publisher     = {Addison Wesley Publishing Company/ACM Press},
  year          = 2002,
  isbn = {0-201-74572-0},
  note = {ISBN 0-201-74572-0},

  keywords      = ""
}		  

@article{Szyperski2002cacm,
 author = {Erik Meijer and Clemens Szyperski},
 title = {{Overcoming Independent Extensibility Challenges}},
 journal = {Commun. ACM},
 volume = {45},
 number = {10},
 year = {2002},
 issn = {0001-0782},
 pages = {41--44},
 doi = {http://doi.acm.org/10.1145/570907.570929},
 publisher = {ACM Press},
 }

@article{YellinStrom97,
author={ D.M. Yellin and   R.E. Strom},
TITLE={{Protocol Specifications and Component Adaptors}},
journal={ACM Transactions on Programming Languages and Systems},
volume={19},
number={2},
pages={292--333},
month={},
notes={},
year={1997}}

@InProceedings{Attie:2003:CMC,
 Author = "P. Attie and D. H. Lorenz",
 Title = "{Correctness of Model-based Component Composition without State Explosion}",
 Year = 2003,
 BookTitle = "ECOOP 2003 Workshop on Correctness of Model-based Software Composition",
 Editors = "Ragnhild Van Der Straeten and Andreas Speck and Elke Pulvermueller and Matthias Clauss and Andreas Pleuss",
}

@Techreport{AttieLorenzTR2003,
      Author = "P. C. Attie and D. H. Lorenz",
      Title  = "{Establishing Behavioral Compatibility of Software Components without State Explosion}",
      Institution = {College of Computer and Information Science, Northeastern University},
      Month = {},
      Number = {NU-CCIS-03-02},
      Year = {2003}}

@inproceedings{DBLP:conf/cbse/AttieLPC06,
  author    = {Paul C. Attie and
               David H. Lorenz and
               Aleksandra Portnova and
               Hana Chockler},
  title     = {Behavioral Compatibility Without State Explosion: Design
               and Verification of a Component-Based Elevator Control System.},
  booktitle = {CBSE},
  year      = {2006},
  pages     = {33-49},
  ee        = {http://dx.doi.org/10.1007/11783565_3},
  crossref  = {DBLP:conf/cbse/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cbse/2006,
  editor    = {Ian Gorton and
               George T. Heineman and
               Ivica Crnkovic and
               Heinz W. Schmidt and
               Judith A. Stafford and
               Clemens A. Szyperski and
               Kurt C. Wallnau},
  title     = {Component-Based Software Engineering, 9th International
               Symposium, CBSE 2006, V{\"a}ster{\aa}s, Sweden, June
               29 - July 1, 2006, Proceedings},
  booktitle = {CBSE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4063},
  year      = {2006},
  isbn      = {3-540-35628-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Techreport{rr04-11,
      Author = "P. André and G. Ardourel and C. Attiogbé and H. Habrias and C. Stoquer",
      Title  = "{Vérification de conformité des interactions entre composants}",
      Institution = {LINA - FRE CNRS 2729 - Nantes},
      Month = {December},
      Number = {RR04.11},
      Year = {2004}}

@article{BurchClarkAl1992,
author={J. R. Burch and E. M. Clarke and K. L. McMillan and D. L. Dill and L. J. Hwang},
TITLE={{Symbolic Model Checking: 1020 States and Beyond}},
journal={Information and Computation},
volume={98},
number={98},
pages={142--170},
month={June},
year={1992}}

@inproceedings{VanderperrenW01,
  author    = {Vanderperren, Wim and
               Wydaeghe, Bart},
  title     = {{Towards a New Component Composition Process}},
  booktitle = {ECBS},
  year      = {2001},
  pages     = {322--328},
  ee        = {http://csdl.computer.org/comp/proceedings/ecbs/2001/1086/00/10860322abs.htm},
  crossref  = {DBLP:conf/ecbs/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de},
   Abstract = {Component Based Development is considered to be a promising technology to cure the software crisis. However, until now designing and developing component-based applications turns out to be very hard. Current component based development not only involves a component configuration phase, but also writing a lot of glue-code. Much of the existing glue-code in current systems is written to "hack " components together instead of following a careful design. In this paper we introduce a component composition methodology based on the concept of composition patterns. A composition pattern describes an interaction between a set of roles using an extended sequence chart. It serves as a bridge between the design and the implementation. We further propose a component documentation and a set of algorithms based on finite automata theory to perform an automatic compatibility check and glue-code generation to support this methodology.}
}

@proceedings{DBLP:conf/ecbs/2001,
  title     = {8th IEEE International Conference on Engineering of Computer-Based
               Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA},
  booktitle = {ECBS},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1086-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@InProceedings{ClarkeMillan96,
  author =       "E. M. Clarke and K. L. McMillan and S. Campos and V. Hartonas-Garmhausen",
  title =        "{Symbolic Model Checking}",
  editor =       " R. Alur and T. A. Henzinger",
  volume =       "1102",
  series =       "{Lecture Notes in Computer Science}",
  pages =        "419--422",
  booktitle =    "CAV'96: Computer Aided Verification",
  year =         "1996",
  publisher =    "Springer-Verlag"
}

@inproceedings{mehta:acm:2000,
 author = {Mehta, Nikunj R. and Medvidovic, Nenad and Phadke, Sandeep},
 title = {{Towards a taxonomy of software connectors}},
 booktitle = {ICSE '00: Proceedings of the 22nd international conference on Software engineering},
 year = {2000},
 isbn = {1-58113-206-9},
 pages = {178--187},
 location = {Limerick, Ireland},
 doi = {http://doi.acm.org/10.1145/337180.337201},
 publisher = {ACM Press},
 }

@inproceedings{briot:ocm:2000,
    author = {Peschanski, Fr\'ed\'eric and Meurisse, Thomas and Briot, Jean-Pierre},
    title = {{Les Composants Logiciels : Evolution Technologique ou Nouveau
Paradigme~?}},
    booktitle = {Actes de la Conf\'erence Objets, Composants, Mod\`eles
            (OCM'2000)},
    address = "Nantes, France",
    month = "May",
    year = "2000",
    pages = "53--65",
    note = "In french"
}

@inproceedings{belachew01msc,
    author = "Mesfin Belachew and R. K. Shyamasundar",
    title = "{MSC}$^{+}$: From requirement to prototyped systems",
    booktitle = "13th Euromicro Conference on Real-Time Systems",
    pages = "117--124",
    year = "2001",
    url = "citeseer.ist.psu.edu/belachew01msc.html" }

@book{omtE,
   author = {Rumbaugh, James and Blaha, Michael and Premerlani, William and Eddy, Frederick and Lorensen, William},
   publisher = {Prentice Hall International},
   title = {Object-Oriented Modelling and Design},
   year = {1991}
}

@book{volume1,
   author = {Andr\'e, Pascal and Vailly, Alain},
   publisher = "Editions Ellipses",
   isbn = {2-7298-0479-X},
   volume = {1},
   note = {ISBN 2-7298-0479-X},
   series = {Collection Technosup},
   title = {{Conception de syst\`emes d'information}, Panorama des m\'ethodes et des techniques},
   year = {2001}
}

@phdthesis{mec,
   author = {Griffault, Alain},
   month = {Janvier},
   school = {Universit\'e de Bordeaux I},
   title = {{Contribution \`a l'\'etude des syst\`emes communicants et des algorithmes d'exclusion mutuelle}},
   year = {1989}
}

@phdthesis{t:vincent,
author = "Aymeric Vincent",
title = "{C}onception et r\'ealisation d'un v\'erificateur de mod\`eles {A}lta{R}ica",
school ="LaBRI, Universit\'e Bordeaux~1",
year = "2003",
month = dec,
keywords = "AltaRica",
postscript="ftp://altarica.labri.fr/pub/publications/avincent-phd.ps.gz"
}

@InProceedings{altaricamec,
author = {Alain Griffault},
title = {Conception et validation d'un protocole avec le mod\`ele {A}lta{R}ica},
booktitle = {AFADL : Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {293-307},
year = {2003},
editor = {Jean-Marc J\'ez\'equel},
month = {January},
publisher = {IRISA},
keywords = "AltaRica",
pdf = "ftp://altarica.labri.fr/pub/publications/afadl2003.pdf",
postscript = "ftp://altarica.labri.fr/pub/publications/afadl2003.ps"
}

@phdthesis{t:point,
author = "G\'erald Point",
title = "{A}lta{R}ica : Contribution à l'unification des méthodes formelles et de la s\^ureté de fonctionnement",
school ="LaBRI, Université Bordeaux I",
year = "2000",
month = "Janvier",
keywords = "AltaRica",
postscript="ftp://altarica.labri.fr/pub/publications/these-point-2000.ps.gz"
}

@Article{a:Arnold-Griffault-Point-Rauzy:F/I:1999,
author = "Andr\'e Arnold and Alain Griffault and G\'erald Point and Antoine Rauzy",
title = "The AltaRica formalism for describing concurrent systems",
journal ="Fundamenta Informaticae",
volume = "40",
pages = "109-124",
year = "2000",
keywords = "AltaRica",
pdf = "ftp://altarica.labri.fr/pub/publications/altarica.pdf",
postscript = "ftp://altarica.labri.fr/pub/publications/altarica.ps",
}

@inproceedings{GPV:VFMAR:2004,
author = "Alain Griffault and G\'erald Point and Aymeric Vincent",
title = "V\'erification Formelle des mod\`eles {A}lta{R}ica",
booktitle = "{LM}: Congr\`es de ma\^\i trise des risques et de s\^uret\'e de fonctionnement ($\lambda\mu 14$)",
editor = "Herm\`es",
month = oct,
year = 2004,
keywords = "AltaRica"
}

@misc{GV:VMAR:2003,
author = "Alain Griffault and Aymeric Vincent",
title = "V\'erification de mod\`eles {A}lta{R}ica",
note = "MAJECSTIC: Manifestation des jeunes chercheurs STIC",
address = "Marseille",
month = oct,
year = 2003,
keywords = "AltaRica",
postscript = "ftp://altarica.labri.fr/pub/publications/GV-VMAR-2003.ps"
}

@book{mecArnold,
   author = {Arnold, Andr\'e and Crubillé, Paul and Bégay, Didier},
   publisher = {World Scientific},
   series = {AMAST Series in Computing: Vol. 3},
   title = {Construction and Analysis of Transition Systems with MEC},
   isbn = {981-02-1922-9},
   note = {ISBN 981-02-1922-9},
   year = {1994}
}

@book{ISOlotos88,
author={ISO LOTOS},
title={{A Formal Description Technique Based on The Temporal Ordering
          of Observational Behaviour}},
editor={International Standard 8807},
publisher={International Organisation for Standardization -
          Information Processing Systems - Open Systems Interconnection},
year={1988},
address={Geneva}}

%%sdsdsdds


@INPROCEEDINGS{FeGaKe+96,
    AUTHOR="J-C. Fernandez and H. Garavel and A. Kerbrat and
          R. Mateescu and L. Mounier and M. Sighireanu",
        EDITOR="R. Alur and T. A. Henzinger",
    TITLE="{CADP: A Protocol Validation and Verification Toolbox}",
        BOOKTITLE="Proc. of the 8th Conference on Computer-Aided
          Verification (CAV'96)",
    SERIES=lncs,
    PUBLISHER=sv,
    PAGES="437--440",
    VOLUME="1102",
        ADDRESS="",
    YEAR=1996
    }

@incollection{ papadopoulos98coordination,
    author = "George A. Papadopoulos and Farhad Arbab",
    title = "Coordination models and languages",
    booktitle = "761",
    month = "31",
    publisher = "Centrum voor Wiskunde en Informatica (CWI)",
    address = "ISSN 1386-369X",
    pages = "55",
    year = "1998",
    url = "citeseer.ist.psu.edu/article/papadopoulos98coordination.html" }

@Techreport{rr0411,
      Author = "P. André and G. Ardourel and C. Attiogbé and H. Habrias and C. Stoquer",
      Title  = "{Vérification de conformité des interactions entre composants}",
      Institution = {LINA - FRE CNRS 2729 - Nantes},
      Month = {December},
      Number = {RR04.11},
      Year = {2004}
}

@misc{pospisil-describing,
  author = {Pospisil, Radek and Plasil, Frantisek},
  title = {{Describing the Functionality of EJB using the Behavior Protocols}},
  url = "citeseer.ist.psu.edu/pospisil99describing.html" }

@article{pospisil2002,
author={J. R. Burch and E. M. Clarke and K. L. McMillan and D. L. Dill and L. J. Hwang},
TITLE={{Symbolic Model Checking: 1020 States and Beyond}},
journal={Information and Computation},
volume={98},
number={98},
pages={142--170},
month={June},
year={1992}
}

@misc{plasil02behavior,
  author = "F. Plasil and S. Visnovsky",
  title = "Behavior protocols for Software Components",
  note = "IEEE Transactions on SW Engineering, 28 (9), 2002.",
  year = "2002",
  url = "citeseer.ist.psu.edu/plasil02behavior.html"
}

@article{DBLP:journals/ase/GiannakopoulouKC99,
  author    = {Giannakopoulou, Dimitra and Kramer, Jeff and Cheung, Shing-Chi},
  title     = {{Behaviour Analysis of Distributed Systems Using the Tracta
               Approach.}},
  journal   = {ASE},
  volume    = {6},
  number    = {1},
  year      = {1999},
  pages     = {7-35},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
%  journal   = {Autom. Softw. Eng.},

@inproceedings{kramer1,
 author = {Magee, Jeff and Kramer, Jeff and Giannakopoulou, Dimitra},
 title = {Analysing the behaviour of distributed software architectures: a case study},
 booktitle = {FTDCS '97: Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97)},
 year = {1997},
 isbn = {0-8186-8153-5},
 pages = {240},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA}
}

@inproceedings{mageekramer,
 author = {Magee, Jeff and Kramer, Jeff and Giannakopoulou, Dimitra},
 title = {Behaviour Analysis of Software Architectures},
 booktitle = {Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)},
 year = {1999},
 isbn = {0-7923-8453-9},
 pages = {35--50},
 publisher = {Kluwer, B.V.},
 address = {Deventer, The Netherlands}
 }

@inproceedings{royerpavel,
 author = {Pavel, Sebastian and Noye, Jacques and Poizat, Pascal and Royer, Jean-Claude},
 title = {{Java Implementation of a Component Model with Explicit Symbolic Protocols}},
  booktitle = {4th International Symposium on Software Composition, SC'05},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {3628},
  year 	= 2005
 }

@inproceedings{carloscanal,
 author = {Canal, Carlos},
 title = {On the dynamic adaptation of component behaviour},
 booktitle = {WCAT'04},
 crossref = "ecoop-wcat04",
 year = {2004},
 pages = {81--88},
 address = {Available online at http://wcat04.unex.es}
}

@proceedings{ecoop-wcat04,
   booktitle = {First International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'04) (ECOOP04)},
   title = {First International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'04) (ECOOP04)},
   editor = {Carlos Canal and Juan Manuel Murillo and Pascal Poizat},
   location = {Oslo},
   mon = jun,
   year = 2004,
   url = {http://wcat04.unex.es/wcat04/WCAT04abstract.html}
}

@ARTICLE{Farias03-ENTCS-CoherenceProtocols,
  author = {Andr{\'e}s Far{\'{\i}}as and Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc},
  editor = {Uwe Assmann and Elke Pulvermueller and Isabelle Borne and Noury
           Bouraqadi and Pierre Cointe},
  month = {April},
  year = 2003,
  title = {On the Coherence of Component Protocols},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = 82,
  number = 5,
  publisher = {Elsevier Science},
  kind = {MIADR},
  language = {english},
  abstract = {Component-based programming promises to ease the construction of
             large-scale applications. The construction of applications using
             components relies on the notion of interfaces. However, the
             notion of interfaces provided by current component models is
             restricted: In particular, it does not include behavioral
             information to define the protocols of the components: Sequences
             of service requests. The lack of behavioral information limits
             our trust in components: Security, reuse, and quality relate
             directly on this missing information. In this paper, we consider
             the problem of verifying if a component implementation respects
             the protocol specified during its design. First, we define a
             notion of coherence between protocols and an algorithm to verify
             the coherence between two protocols. Then, we describe an
             algorithm to extract the protocol of a component from its source
             code. Finally, we present a tool that enables the static
             verification and enforcement of the notion of coherence.},
  comment = {In this work and in the previous one, we describe a first step
            towards the traceability of protocols in source code. We will
            study the formalization, using protocols, of the behavior of the
            solutions described by design patterns. Then, we shall use this
            work on the traceability between protocols and source code to
            identify behavioral and creational design patterns.},
  url = {www.yann-gael.gueheneuc.net/Work/Publications/}
}

@article{IvicaJSS01,
  author = "C. Ivica and M. Larsson ",
  title = "{Challenges of Component-based Development}",
  journal       = "Intl. Journal of Software Systems",
  volume        = 2001,
  number        = "",
  pages         = "",
  year          = 2001,
  urldvi        = "",
  keywords      = "Components"
}

@article{collet05,
   author = {Collet, Philippe and Rousseau, Roger},
   journal = {L'Objet, LMO'05},
   editor = {Hermès},
   number = {1-2},
   pages = {223-238},
   title = {{ConFract : un système pour contractualiser des composants logiciels hiérarchiques}},
   volume = {11},
   year = {2005}
}

%   journal = {L'Objet, Actes de LMO'05},


 @article{archlog15,
   Author = {Oquendo, Flavio},
   Title = {{Les architectures logicielles}},
   Journal = {Encyclopédie de l'informatique et des systèmes d'information, Editions Vuibert},
   Month = {January},
   Volume = {-},
   Year = {2006}
}


@article{soc,
 author = {M. P. Papazoglou and D. Georgakopoulos},
 title = {Introduction to Service-Oriented Computing},
 journal = {Commun. ACM},
 volume = {46},
 number = {10},
 year = {2003},
 issn = {0001-0782},
 pages = {24--28},
 doi = {http://doi.acm.org/10.1145/944217.944233},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{medvid02,
 author = {Nenad Medvidovic and David S. Rosenblum and David F. Redmiles and Jason E. Robbins},
 title = {Modeling software architectures in the Unified Modeling Language},
 journal = {ACM Trans. Softw. Eng. Methodol.},
 volume = {11},
 number = {1},
 year = {2002},
 issn = {1049-331X},
 pages = {2--57},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/504087.504088},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{bernardo02,
 author = {Marco Bernardo and Paolo Ciancarini and Lorenzo Donatiello},
 title = {Architecting families of software systems with process algebras},
 journal = {ACM Trans. Softw. Eng. Methodol.},
 volume = {11},
 number = {4},
 year = {2002},
 issn = {1049-331X},
 pages = {386--426},
 doi = {http://doi.acm.org/10.1145/606612.606614},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{inverardi00static,
 author = {Inverardi, Paola and Wolf, Alexander L.  and Yankelevich, Daniel},
 title = {{Static checking of system behaviors using derived component assumptions}},
 journal = {ACM Trans. Softw. Eng. Methodol.},
 volume = {9},
 number = {3},
 year = {2000},
 issn = {1049-331X},
 pages = {239--272},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/352591.352593},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{inverardi00,
    author = "Paola Inverardi and Alexander L. Wolf and Daniel Yankelevich",
    title = "{Static Checking of System Behaviors using Derived Component Assumptions}",
    journal = "ACM Transactions on Software Engineering and Methodology",
    volume = "9",
    number = "3",
    pages = "239--272",
    year = "2000",
    url = "citeseer.ist.psu.edu/inverardi00static.html" 
}

@article{perrywolf92,
 author = {Dewayne E. Perry and Alexander L. Wolf},
 title = {Foundations for the study of software architecture},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {17},
 number = {4},
 year = {1992},
 issn = {0163-5948},
 pages = {40--52},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/141874.141884},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@Techreport{rr0508,
      Author = "P. André and G. Ardourel and C. Attiogbé and H. Habrias and C. Stoquer",
      Title  = "{A Service-Based Component Model: Description Formalism, Formal Analysis and Mechanization}",
      Institution = {LINA - FRE CNRS 2729 - Nantes},
      Month = {December},
      note = {(70 p.)},
      Number = {RR05.08},
      Year = {2005}
}

@inproceedings{wcat06,
  author    = {André, Pascal and Ardourel, Gilles and Attiogbé, Christian},
  title     = {{Coordination and Adaptation for Hierarchical Components and Services}},
  booktitle = {Third International ECOOP Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'06)},
  pages     = {15--23},
  year      = 2006
}

@inproceedings{sc06,
  author = {Attiogbé, Christian and André, Pascal and Ardourel, Gilles},
  title     = {{Checking Component Composability}},
  booktitle = {5th International Symposium on Software Composition, SC'06},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {4089},
  year      = 2006
}

@inproceedings{sc06-zimmer,
  author = {Zimmermann, Wolf and Schaarschmidt, Michael},
  title     = {{Checking of Component Protocols in Component-Based Systems}},
  booktitle = {5th International Symposium on Software Composition, SC'06},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {4089},
  year      = 2006
}

@inproceedings{mosim06,
  author    = {André, Pascal and Ardourel, Gilles and Attiogbé, Christian},
  title     = {{V\'erification d'assemblage de composants logiciels
Exp\'erimentations avec MEC}},
  pages     = {497--506},
  crossref  = {conf/mosim/2006},
  year      = 2006
}

@proceedings{conf/mosim/2006,
  editor    = {Gourgand, Michel and Riane, Fouad},
  title     = {{Modélisation, optimisation et simulation des systèmes. Défis et opportunités}},
  booktitle = {6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006},
  publisher = {Lavoisier},
  month     = apr,
  address   = {Rabat, Maroc},
  isbn      = {2-7430-0892-X},
  year      = 2006
}

@inproceedings{sc06bisTODO,
 author = {Andre, Pascal and Ardourel, Gilles and Attiogbe, Christian},
 title = {Checking Component Composability},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {17},
 number = {4},
 year = {1992},
 issn = {0163-5948},
 pages = {40--52},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/141874.141884},
 publisher = {ACM Press},
 address = {New York, NY, USA}
 }


@inproceedings{cal06,
 author     = {André, Pascal and Ardourel, Gilles and Attiogbé, Christian},
 title      = {{Spécification d'architectures logicielles en Kmelia : hiérarchie de connexion et composition}},
  booktitle = {1ère Conférence Francophone sur les Architectures Logicielles},
  pages     = {101--118},
  publisher = {Hermès, Lavoisier},
  isbn      = {2-7462-1577-2},
  year      = 2006
}

@phdthesis{barais05,
author = {Barais, Olivier},
title = {Construire et ma\^\i triser l'évolution d'une architecture logicielle à base de composants},
school = {LIFL, Universit\'e Lille~1},
year = "2005",
month = nov,
keywords = "ADL"
}

@article{DBLP:journals/ansoft/ArbaouiDOV02,
  author    = {Selma Arbaoui and
               Jean-Claude Derniame and
               Fl{\'a}vio Oquendo and
               Herv{\'e} Verjus},
  title     = {A Comparative Review of Process-Centered Software Engineering
               Environments.},
  journal   = {Ann. Software Eng.},
  volume    = {14},
  number    = {1-4},
  year      = {2002},
  pages     = {311-340},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ewsa/2004,
  editor    = {Fl{\'a}vio Oquendo and
               Brian Warboys and
               Ronald Morrison},
  title     = {Software Architecture, First European Workshop, EWSA 2004, St
               Andrews, UK, May 21-22, 2004, Proceedings},
  booktitle = {EWSA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3047},
  year      = {2004},
  isbn      = {3-540-22000-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{oquendo2,
 author = {Flavio Oquendo},
 title = {Formally modelling software architectures with the UML 2.0 profile for \&\#960;-ADL},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {31},
 number = {1},
 year = {2006},
 issn = {0163-5948},
 pages = {1--13},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/1108768.1108773},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{oquendo1,
 author = {Flavio Oquendo},
 title = {Formally refining software architectures with \&\#960;-ARL: a case study},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {29},
 number = {5},
 year = {2004},
 issn = {0163-5948},
 pages = {1--26},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/1022494.1022518},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{oquendo,
 author = {Flavio Oquendo},
 title = {\&\#960;-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {29},
 number = {5},
 year = {2004},
 issn = {0163-5948},
 pages = {1--20},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/1022494.1022517},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{medvi1,
 author = {Nenad Medvidovic and David S. Rosenblum and Richard N. Taylor},
 title = {A language and environment for architecture-based software development and evolution},
 booktitle = {ICSE '99: Proceedings of the 21st international conference on Software engineering},
 year = {1999},
 isbn = {1-58113-074-0},
 pages = {44--53},
 location = {Los Angeles, California, United States},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@inproceedings{bradbury,
 author = {Jeremy S. Bradbury and James R. Cordy and Juergen Dingel and Michel Wermelinger},
 title = {A survey of self-management in dynamic software architecture specifications},
 booktitle = {WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems},
 year = {2004},
 isbn = {1-58113-989-6},
 pages = {28--33},
 location = {Newport Beach, California},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/1075405.1075411},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{beyer,
 author = {Dirk Beyer and Arindam Chakrabarti and Thomas A. Henzinger},
 title = {Web service interfaces},
 booktitle = {WWW '05: Proceedings of the 14th international conference on World Wide Web},
 year = {2005},
 isbn = {1-59593-046-9},
 pages = {148--159},
 location = {Chiba, Japan},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/1060745.1060770},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{dealfaro,
 author = {Luca de Alfaro and Thomas A. Henzinger},
 title = {Interface automata},
 booktitle = {Proceedings of the 8th European software engineering conference ESEC/FSE-9},
 year = {2001},
 isbn = {1-58113-390-1},
 pages = {109--120},
 location = {Vienna, Austria},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/503209.503226},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }
% booktitle = {ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering},

@inproceedings{henzingerDataFlowProcessor1999,
author="L. de Alfaro and T. A. Henzinger",
title="{Interface Automata}",
booktitle="{Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE)}",
publisher= "ACM Press",
year=2001,
pages="109-120",
}

@inproceedings{dealfaro2,
 author = {Luca de Alfaro and Thomas A. Henzinger},
 title = {Interface Theories for Component-Based Design},
 booktitle = {EMSOFT '01: Proceedings of the First International Workshop on Embedded Software},
 year = {2001},
 isbn = {3-540-42673-6},
 pages = {148--165},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{acme,
 author = {David Garlan and Robert Monroe and David Wile},
 title = {Acme: an architecture description interchange language},
 booktitle = {CASCON '97: Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research},
 year = {1997},
 pages = {7},
 location = {Toronto, Ontario, Canada},
 publisher = {IBM Press},
 }

@inproceedings{surveyADL,
 author = {Clements, Paul C.},
 title = {A Survey of Architecture Description Languages},
 booktitle = {IWSSD '96: Proceedings of the 8th International Workshop on Software Specification and Design},
 year = {1996},
 isbn = {0-8186-7361-3},
 pages = {16},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@Techreport{surveyCBSE,
  author = {Lau, Kung-Kiu and Wang, Zheng},
  title = {{A Survey of Software Component Models}},
  Institution = {School of Computer Science,
          The University of Manchester},
  Month = may,
  Number = {CSPP-38},
  Year = {2006}
}
%  note = "Second edition, Pre-print
 \url{http://www.cs.man.ac.uk/cspreprints/PrePrints/cspp38.pdf}"    


@InProceedings{Lau&Wang:05a,
   author = {Lau, Kung-Kiu and Wang, Zheng},
   Title = "A Taxonomy of Software Component Models",
   BookTitle = "Proc. 31st Euromicro Conference",
   Pages = "88--95",
   Publisher = "{IEEE} Computer Society Press",
   Year = "2005"  
}

%%%%%%%%%%%%%% SOA

@InProceedings{soa:BGR+05-1,
  author	= {Rainer Berbner and Tobias Grollius and Nicolas Repp and
		  Oliver Heckmann and Erich Ortner and Ralf Steinmetz},
  title		= {{An approach for the Management of Service-oriented
		  Architecture (SoA) based Application Systems}},
  year		= {2005},
  month		= oct,
  journal	= {},
  volume	= {},
  number	= {},
  booktitle	= {Proceedings of the Workshop Enterprise Modelling and
		  Information Systems Architectures (EMISA 2005)},
  publisher	= {},
  editor	= {},
  institution	= {},
  howpublished	= {},
  pages		= {},
  note		= {},
  url		= {http://www.kom.e-technik.tu-darmstadt.de/publications/abstracts/BGR+05-1.html}
}

@inproceedings{soa:papazoglou,
    author = {Papazoglou, M. P. },
    keywords = {architecture soa},
    pages = {3--12},
      booktitle = {WISE},
    crossref = {DBLP:conf/wise/2003},
    title = {{Service-Oriented Computing: Concepts, Characteristics and Directions}},
    url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1254461},
    year = {2003},
    abstract = {Service-oriented computing (SOC) is the computing paradigm that utilizes services as fundamental elements for developing applications/solutions. To build the service model, SOC relies on the service oriented architecture (SOA), which is a way of reorganizing software applications and infrastructure into a set of interacting services. However, the basic SOA does not address overarching concerns such as management, service orchestration, service transaction management and coordination, security, and other concerns that apply to all components in a service architecture. In this paper we introduce an extended service oriented architecture that provides separate tiers for composing and coordinating services and for managing services in an open marketplace by employing grid services.}
}


@proceedings{DBLP:conf/wise/2003,
  title     = {4th International Conference on Web Information Systems Engineering
               (WISE 2003), 10-12 December 2003, Rome, Italy},
  booktitle = {WISE},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1999-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{1066267,
 author = {David Campbell},
 title = {Service Oriented Database Architecture: APP server-lite?},
 booktitle = {SIGMOD '05: Proceedings of the 2005 ACM SIGMOD international conference on Management of data},
 year = {2005},
 isbn = {1-59593-060-4},
 pages = {857--862},
 location = {Baltimore, Maryland},
 doi = {http://doi.acm.org/10.1145/1066157.1066267},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{1094965,
 author = {Olaf Zimmermann and Vadim Doubrovski and Jonas Grundler and Kerard Hogg},
 title = {Service-oriented architecture and business process choreography in an order management scenario: rationale, concepts, lessons learned},
 booktitle = {OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
 year = {2005},
 isbn = {1-59593-193-7},
 pages = {301--312},
 location = {San Diego, CA, USA},
 doi = {http://doi.acm.org/10.1145/1094855.1094965},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{DBLP:conf/IEEEscc/X05,
  title     = {Title Page.},
  booktitle = {IEEE SCC},
  year      = {2005},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SCC.2005.8},
  crossref  = {DBLP:conf/IEEEscc/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/IEEEscc/2005,
  title     = {2005 IEEE International Conference on Services Computing
               (SCC 2005), 11-15 July 2005, Orlando, FL, USA},
  booktitle = {IEEE SCC},
  publisher = {IEEE Computer Society},
  year      = {2005},
  isbn      = {0-7695-2408-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

#

@article{MassutheRS2005_amct13,
author = {Peter Massuthe and Wolfgang Reisig and Karsten Schmidt},
title = {{An Operating Guideline Approach to the SOA}},
journal = {Annals of Mathematics, Computing \& Teleinformatics},
volume = 1,
number = 3,
year = 2005,
pages = {35-43},
pdf = {http://www2.informatik.hu-berlin.de/top/download/publications/AMCT_OGApprochToSOA.pdf},
keywords = {Services, SOA, Operating guidelines, Petrinetze},
abstract = {Interorganizational cooperation is more andmore organized by the paradigm of services. The serviceoriented architecture (SOA) provides a general framework for service interaction. It describes three roles, service provider, service requester, and service broker, together with the three operations publish, find, and bind. We provide a formal method based on Petri nets to model services and their cooperation. We characterize well-behaving pairs of requester's and provider's services and suggest operating guidelines as a convenient and intuitive artifact to realize publish. In our approach, the find operation reduces to a matching problem between the requester's service and the operating guideline. Binding of a requester's and a provider's service is therefore guaranteed to result in a well-behaving cooperating service. At this time, the approach is limited to acyclic Petri nets.} 
}

@book{soa:gen,
 editor = {Erl, Thomas},
 title = {{Service-Oriented Architecture - Concepts, Technology, and Design}},
 year = {2005},
 isbn = {0-13-185858-0},
 publisher = {Prentice Hall},
 address = {Boston, MA, USA},
 }
%collection = {Software Engineering/Web Services},
%edition = {1},

@article{10.1109/ICECCS.2002.1181502,
author = {Franck Barbier},
title = {Composability for Software Components: An Approach Based on the Whole-Part Theory},
journal = {iceccs},
volume = {00},
year = {2002},
issn = {1050-4729},
pages = {101},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2002.1181502},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@Book{coloss:Szyperski1997,
  author        = {Szyperski, Clemens},
  title         = {{Component Software: Beyond Object-Oriented Programming}},
  publisher     = {Addison Wesley Publishing Company},
  year          = 1997,
  keywords      = "cbse"
}       

@article{Schmidt1,
 author = {Schmidt, Heinz},
 title = {Trustworthy components-compositionality and prediction},
 journal = {J. Syst. Softw.},
 volume = {65},
 number = {3},
 year = {2003},
 issn = {0164-1212},
 pages = {215--225},
 doi = {http://dx.doi.org/10.1016/S0164-1212(02)00045-6},
 publisher = {Elsevier Science Inc.},
 address = {New York, NY, USA},
 }

@misc{Schmidt2,
 author = {Schmidt, Heinz},
  title = "Trusted Components: Towards Automated Assembly with Predictable Properties",
  text = "In Proceedings of ICSE'01, 4th International Workshop on
    Component-Based Software Engineering, Toronto, Canada, 2001.",
  year = "2001", 
 doi = {http://www.sei.cmu.edu/pacc/CBSE4_papers/Schmidt-CBSE4-19.pdf},
   }

@book{Crnkovic_0411:2002,
   editor = {Ivica Crnkovic and Magnus Larsson},
   title = {Building Reliable Component-Based Software Systems},
   year = {2002},
   isbn = {ISBN 1-58053-327-2},
   publisher = {Artech House publisher},
   url = {http://www.mrtc.mdh.se/index.phtml?choice=publications&id=0411},
} 


@inproceedings{336551,
 author = {Bev Littlewood and Lorenzo Strigini},
 title = {Software reliability and dependability: a roadmap},
 booktitle = {ICSE '00: Proceedings of the Conference on The Future of Software Engineering},
 year = {2000},
 isbn = {1-58113-253-0},
 pages = {175--188},
 location = {Limerick, Ireland},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/336512.336551},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@book{bbook,
   author    = {Abrial, Jean-Raymond},
   title     = {{The B-Book} Assigning Programs to Meanings},
   year      = {1996},
   publisher = {Cambridge University Press},
   ISBN = {0-521-49619-5},
   note      = {ISBN 0-521-49619-5}
}

@inproceedings{davisArchi,
 author = {Margaret J. Davis and Roger B. Williams},
 title = {Software architecture characterization},
 booktitle = {SSR '97: Proceedings of the 1997 symposium on Software reusability},
 year = {1997},
 isbn = {0-89791-945-9},
 pages = {30--38},
 location = {Boston, Massachusetts, United States},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/258366.258380},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{medvi02,
 author = {Nenad Medvidovic},
 title = {On the role of middleware in architecture-based software development},
 booktitle = {SEKE '02: Proceedings of the 14th international conference on Software engineering and knowledge engineering},
 year = {2002},
 isbn = {1-58113-556-4},
 pages = {299--306},
 location = {Ischia, Italy},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/568760.568814},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{dashofy05,
 author = {Eric M. Dashofy and Andr\&\#233; van der Hoek and Richard N. Taylor},
 title = {An infrastructure for the rapid development of XML-based architecture description languages},
 booktitle = {ICSE '02: Proceedings of the 24th International Conference on Software Engineering},
 year = {2002},
 isbn = {1-58113-472-X},
 pages = {266--276},
 location = {Orlando, Florida},
 doi = {http://doi.acm.org.gate6.inist.fr/10.1145/581339.581374},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@misc{moisan03behavioral,
  author = "S. Moisan and A. Ressouche and J. Rigault",
  title = "Behavioral substitutability in component frameworks: A formal approach",
  text = "Moisan, S., Ressouche, A., Rigault, J.P.: Behavioral substitutability in
    component frameworks: A formal approach. In: Proceedings of the 2003 Workshop
    of Specification and Verification of Component Based Systems, Helsinki,
    Finland. (2003)",
  year = "2003",
  url = "citeseer.ist.psu.edu/moisan03behavioral.html" }

@Techreport{moisan03,
      Author = "S. Moisan and A. Ressouche and J. Rigault",
      Title  = "{A Behavioral Model of Component Frameworks}",
      Institution = {INRIA},
      Month = {December},
      Number = {RR-5065},
      Year = {2003}}


@inproceedings{DBLP:conf/soco/PavelNPR05,
  author    = {S. Pavel and
               J. Noy{\'e} and
               P. Poizat and
               J.C. Royer},
  title     = "{A Java Implementation of a Component Model with Explicit
               Symbolic Protocols}",
  booktitle = {Software Composition},
  year      = {2005},
  pages     = {115-124},
  ee        = {http://dx.doi.org/10.1007/11550679_9},
  crossref  = {DBLP:conf/soco/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%Mario
@inproceedings{DBLP:conf/soco/Sudholt05,
  author    = {M. S{\"u}dholt},
  title     = "{A Model of Components with Non-regular Protocols}",
  booktitle = {Software Composition},
  year      = {2005},
  pages     = {99-113},
  ee        = {http://dx.doi.org/10.1007/11550679_8},
  crossref  = {DBLP:conf/soco/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%  editor    = {Thomas Gschwind and Uwe A{\ss}mann and Oscar Nierstrasz},
@proceedings{DBLP:conf/soco/2005,
  editor    = {T. Gschwind and U. A{\ss}mann and O. Nierstrasz},
  title     = "{Software Composition, 4th Int. Workshop, SC 2005,
               Edinburgh, UK}",
  booktitle = {Software Composition},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3628},
  year      = {2005},
  isbn      = {3-540-28748-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/cbse/BeckerOR04,
author = {Becker, Steffen and Overhage, Sven and Reussner, Ralf},
editor = {Ivica Crnkovic and
Judith A. Stafford and
Heinz W. Schmidt and
Kurt C. Wallnau},
title = {{Classifying Software Component Interoperability Errors
to Support Component Adaption}},
booktitle = {Proceedings of the 7th International Symposium CBSE 2004, Edinburgh, UK},
series    = {LNCS},
publisher = {Springer},
year = {2004},
isbn = {3-540-21998-6},
pages = {68-83},
ee = {http://springerlink.metapress.com/openurl.asp?genre$=$article\&issn$=$0302-9743\&volume$=$3054\&spage$=$68},
bibsource = {DBLP,http://dblp.uni-trier.de}
} 
%booktitle = {Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004,
%crossref = {DBLP:conf/cbse/2004},

@proceedings{DBLP:conf/cbse/2004,
  editor    = {Crnkovic, Ivica and Stafford, Judith A. and Schmidt, Heinz W. and Wallnau, Kurt C.},
  title     = {{Component-Based Software Engineering, 7th International
               Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings}},
  booktitle = {CBSE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3054},
  year      = {2004},
  isbn      = {3-540-21998-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{beugnard99,
 author = {Beugnard, Antoine and Jézéquel, Jean-Marc and Plouzeau, No\"el and Watkins, Damien},
 title = {{Making Components Contract Aware}},
 journal = {Computer},
 volume = {32},
 number = {7},
 year = {1999},
 issn = {0018-9162},
 pages = {38--45},
 doi = {http://dx.doi.org/10.1109/2.774917},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@manual{uml2_0,
   author = {OMG},
   title = {{The OMG Unified Modeling Language Specification, version 2.0} Rfp},
   address = {Superstructure Specification available at http://www.omg.org/docs/ptc/05-07-04.pdf, Infrastructure Specification available at http://www.omg.org/docs/ptc/03-09-15.pdf},
   institution = {{Object Management Group}},
   year = {2005}
}
   month = aug,

@inproceedings{ccfsm,
 author = {Reussner, Ralf},
 title = {{Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies}},
 booktitle = {SOFSEM '02: Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics},
 year = {2002},
 isbn = {3-540-00145-X},
 pages = {20--40},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@InProceedings{Punt99,
  author    = {Franz Puntigam},
  title     = {Non-Regular Process Types},
  booktitle = {Proceedings of the 5th European Conference on Parallel Processing (Euro-Par'99)},
  year      = 1999,
  editor    = {P. Amestoy and others},
  number    = 1685,
  series    = {LNCS},
  address   = {Toulouse, France},
  month     = sep,
  publisher = {Springer-Verlag},
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt99.ps.gz"
}



@article{RReussner:reliability2003,
         AUTHOR = {Ralf H. Reussner and Heinz W. Schmidt and Iman Poernomo},
         JOURNAL = {Journal of Systems and Software -- Special Issue of Software Architecture - Engineering Quality Attributes},
         LANGUAGE = {english},
         NUMBER = {3},
         PAGES = {241--252},
         TITLE = {Reliability Prediction for Component-Based Software Architectures},
         VOLUME = {66},
         YEAR = {2003}
}
@inproceedings{HSchmidt:generating2002,
               AUTHOR = {Heinz W. Schmidt and Ralf H. Reussner},
               BOOKTITLE = {Proceedings of the Fifth IFIP International conference on Formal Methods for Open Object-based Distributed Systems},
               LANGUAGE = {english},
               MONTH = {3},
               TITLE = {Generating Adapters for Concurrent Component Protocol Synchronisation},
               YEAR = {2002},
               URL = {http://se.informatik.uni-oldenburg.de/pubdb_files/pdf/schmidt01b.pdf}
}
@techreport{RReussner:counter-constraint20021,
            ADDRESS = {VIC 3145 Australia},
            AUTHOR = {Ralf H. Reussner},
            INSTITUTION = {School for Computer Science and Software Engineering, Monash University},
            LANGUAGE = {english},
            NOTE = {http://www.ubka.uni-karlsruhe.de/cgi-bin/psview?document=ira/2002/6},
            TITLE = {Counter-Constraint Finite State Machines: Modelling Component Protocols with Resource-Dependencies},
            YEAR = {2002}
}
@inproceedings{HSchmidt:predictable2002,
               ADDRESS = {Italien},
               AUTHOR = {Heinz W. Schmidt and Bernd J. Krämer and Iman H. Poernomo and Ralf H. Reussner and Ian Thomas},
               BOOKTITLE = {Monterey Workshop 2002},
               EDITOR = {Martin Wirsing and Simonetta Balsamo},
               LANGUAGE = {english},
               MONTH = {10},
               NOTE = {TR CS 2002-10},
               ORGANIZATION = {Universit\'{a} C\'{a} Foscari di Venezia},
               TITLE = {Predictable Component Architectures Using Dependent Finite State Machines},
               YEAR = {2002}
}
@article{HSchmidt:trust-by-contract:2001,
         AUTHOR = {Heinz W. Schmidt and Iman Poernomo and Ralf H. Reussner},
         JOURNAL = {Journal of Integrated Design and Process Science},
         LANGUAGE = {english},
         MONTH = {9},
         NUMBER = {3},
         PAGES = {25--51},
         TITLE = {Trust-By-Contract: Modelling, Analysing and Predicting Behaviour in Software Architectures},
         VOLUME = {5},
         YEAR = {2001}
}
@inproceedings{RReussner:adapting2001,
               AUTHOR = {Ralf H. Reussner},
               BOOKTITLE = {Tagungsband des Arbeitstreffens der GI Fachgruppen 2.1.4 und 2.1.9, Bad Honnef},
               EDITOR = {Wolfgang Goerigk},
               LANGUAGE = {english},
               MONTH = {5},
               PAGES = {33--43},
               TITLE = {Adapting Components and Predicting Architectural Properties with Parameterised Contracts},
               YEAR = {2001},
               URL = {http://se.informatik.uni-oldenburg.de/pubdb_files/pdf/reussner01f.pdf}
}
@inproceedings{RReussner:enhanced2001,
               AUTHOR = {Ralf H. Reussner},
               BOOKTITLE = {34th Hawaiin International Conference on System Sciences},
               LANGUAGE = {english},
               MONTH = {1},
               PUBLISHER = {IEEE},
               TITLE = {Enhanced Component Interfaces to Support Dynamic Adaption and Extension},
               YEAR = {2001}
}
@inproceedings{RReussner:an2000,
               AUTHOR = {Ralf H. Reussner},
               BOOKTITLE = {New Issues in Object Interoperability -- Proceedings of the ECOOP'~2000 Workshop on Object Interoperability},
               EDITOR = {J. Hernandez and A. Vallecillo and J. M. Troya},
               LANGUAGE = {english},
               MONTH = {6},
               NOTE = {Published by Universidad de Extremadura Dpto. Informatica},
               PAGES = {33--42},
               TITLE = {An Enhanced Model for Component Interfaces to Support Automatic and Dynamic Adaption},
               YEAR = {2000},
               URL = {http://se.informatik.uni-oldenburg.de/pubdb_files/pdf/reussner00b.pdf}
}
@techreport{HSchmidt:automatic2000,
            ADDRESS = {Am Fasanengarten 5, D-76128 Karlsruhe, Germany},
            AUTHOR = {Heinz W. Schmidt and Ralf H. Reussner},
            INSTITUTION = {Fakultät für Informatik, Universität Karlsruhe (TH)},
            LANGUAGE = {english},
            NOTE = {This report appeared simultaneously as Technical Report No. 2000/81 of the School of Computer Science and Software Engineering, Monash University, Melbourne, Australia},
            TITLE = {Automatic Component Adaptation By Concurrent State Machine Retrofitting},
            YEAR = {2000},
            URL = {http://se.informatik.uni-oldenburg.de/pubdb_files/pdf/schmidt00b.pdf}
}
@unpublished{RReussner:parameterised2000,
             AUTHOR = {Ralf H. Reussner},
             LANGUAGE = {english},
             MONTH = {12},
             NOTE = {Presentation given at Oberon Microsystems, Zürich},
             TITLE = {Parameterised Contracts for Software-Component Protocols},
             YEAR = {2000}
}

@Book{Wordsworth96,
  author =	 {John Wordsworth},
  title =	 {Software Engineering with {B}},
  publisher =	 {Addison-Wesley},
  year =	 1996,
  isbn =	 0201403560,
  month =	 sep
}


@book{volume2,
   author = {Andr\'e, Pascal and Vailly, Alain},
   publisher = "Editions Ellipses",
   volume = {2},
   isbn = {2-7298-0774-8},
   note = {ISBN 2-7298-0774-8},
   series = {Collection Technosup},
   title = {{Sp\'ecification des logiciels ; Deux exemples de pratiques r\'ecentes : Z et UML}},
   year = {2001}
}

 @inproceedings{lmo07,
   author    = {Andr\'e, Pascal and Ardourel, Gilles and Attiogb{\'e}, Christian},
   title     = {{Protocoles d'utilisation de composants :
Spécification et analyse en \textsf{Kmelia}}},
   editor    = {-(Eds.)},
   booktitle = {Soumis à LMO 2007},
   year      = {2007}
   }

@inproceedings{aaa_sc07,
  author = {Andr{\'e}, Pascal and Ardourel, Gilles and Attiogb{\'e}, Christian},
  title     = {{Defining Component Protocols with Service Composition: Illustration withe Kmelia Model}},
  booktitle = {6th International Symposium on Software Composition, SC'07},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {to appear},
  pages= {--},
  url = {http://www.lina.sciences.univ-nantes.fr/coloss/download/sc07.ps.zip},
  year      = 2007
}


@inproceedings{favreCSMR01,
 author = {Jean-Marie Favre and Jacky Estublier and Fr\'{e}d\'{e}ric Duclos and Remy Sanlaville and Jean-Jacques Auffret},
 title = {Reverse Engineering a Large Component-Based Software Product},
 booktitle = {CSMR '01: Proceedings of the Fifth European Conference on Software Maintenance and Reengineering},
 year = {2001},
 isbn = {0-7695-1028-0},
 pages = {95},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{muller00,
 author = {Hausi A. M\"{u}ller and Jens H. Jahnke and Dennis B. Smith and Margaret-Anne Storey and Scott R. Tilley and Kenny Wong},
 title = {Reverse engineering: a roadmap},
 booktitle = {ICSE '00: Proceedings of the Conference on The Future of Software Engineering},
 year = {2000},
 isbn = {1-58113-253-0},
 pages = {47--60},
 location = {Limerick, Ireland},
 doi = {http://doi.acm.org/10.1145/336512.336526},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{keller99,
 author = {Rudolf K. Keller and Reinhard Schauer and S\'{e}bastien Robitaille and Patrick Pag\'{e}},
 title = {Pattern-based reverse-engineering of design components},
 booktitle = {ICSE '99: Proceedings of the 21st international conference on Software engineering},
 year = {1999},
 isbn = {1-58113-074-0},
 pages = {226--235},
 location = {Los Angeles, California, United States},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@inproceedings{oberleitner03,
 author = {Johann Oberleitner and Thomas Gschwind and Mehdi Jazayeri},
 title = {The Vienna Component Framework enabling composition across component models},
 booktitle = {ICSE '03: Proceedings of the 25th International Conference on Software Engineering},
 year = {2003},
 isbn = {0-7695-1877-X},
 pages = {25--35},
 location = {Portland, Oregon},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{washizaki05,
 author = {Hironori Washizaki and Yoshiaki Fukazawa},
 title = {A technique for automatic component extraction from object-oriented programs by refactoring},
 journal = {Sci. Comput. Program.},
 volume = {56},
 number = {1-2},
 year = {2005},
 issn = {0167-6423},
 pages = {99--116},
 doi = {http://dx.doi.org/10.1016/j.scico.2004.11.007},
 publisher = {Elsevier North-Holland, Inc.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }

@inproceedings{beck93,
 author = {Jon Beck and David Eichmann},
 title = {Program and interface slicing for reverse engineering},
 booktitle = {ICSE '93: Proceedings of the 15th international conference on Software Engineering},
 year = {1993},
 isbn = {0-89791-588-7},
 pages = {509--518},
 location = {Baltimore, Maryland, United States},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@inproceedings{lie01,
 author = {David Lie and Andy Chou and Dawson Engler and David L. Dill},
 title = {A simple method for extracting models for protocol code},
 booktitle = {ISCA '01: Proceedings of the 28th annual international symposium on Computer architecture},
 year = {2001},
 isbn = {0-7695-1162-7},
 pages = {192--203},
 location = {G\&\#246;teborg, Sweden},
 doi = {http://doi.acm.org/10.1145/379240.379263},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{koschke98,
 author = {R. Koschke and J.-F. Girard and M. W\"{u}rthner},
 title = {An Intermediate Representation for Reverse Engineering Analyses},
 booktitle = {WCRE '98: Proceedings of the Working Conference on Reverse Engineering (WCRE'98)},
 year = {1998},
 isbn = {0-8186-8967-6},
 pages = {241},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{merdes06,
 author = {Matthias Merdes and Dirk Dorsch},
 title = {Experiences with the development of a reverse engineering tool for UML sequence diagrams: a case study in modern Java development},
 booktitle = {PPPJ '06: Proceedings of the 4th international symposium on Principles and practice of programming in Java},
 year = {2006},
 isbn = {3-939352-05-5},
 pages = {125--134},
 location = {Mannheim, Germany},
 doi = {http://doi.acm.org/10.1145/1168054.1168072},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{favre01,
 author = {Jean-Marie Favre and Jacky Estublier and Fr\'{e}d\'{e}ric Duclos and Remy Sanlaville and Jean-Jacques Auffret},
 title = {Reverse Engineering a Large Component-Based Software Product},
 booktitle = {CSMR '01: Proceedings of the Fifth European Conference on Software Maintenance and Reengineering},
 year = {2001},
 isbn = {0-7695-1028-0},
 pages = {95},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{barros07,
 author = {Tom\'{a}s Barros and Antonio Cansado and Eric Madelaine and Marcela Rivera},
 title = {Model-checking Distributed Components: The Vercors Platform},
 journal = {Electron. Notes Theor. Comput. Sci.},
 volume = {182},
 year = {2007},
 issn = {1571-0661},
 pages = {3--16},
 doi = {http://dx.doi.org/10.1016/j.entcs.2006.09.028},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }

@inproceedings{hamou04,
 author = {Abdelwahab Hamou-Lhadj and Timothy C. Lethbridge},
 title = {A survey of trace exploration tools and techniques},
 booktitle = {CASCON '04: Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research},
 year = {2004},
 pages = {42--55},
 location = {Markham, Ontario, Canada},
 publisher = {IBM Press},
 }

@inproceedings{bandera00,
 author = {James C. Corbett and Matthew B. Dwyer and John Hatcliff and Shawn Laubach and Corina S. P\u{a}s\u{a}reanu and  Robby and Hongjun Zheng},
 title = {Bandera: extracting finite-state models from Java source code},
 booktitle = {ICSE '00: Proceedings of the 22nd international conference on Software engineering},
 year = {2000},
 isbn = {1-58113-206-9},
 pages = {439--448},
 location = {Limerick, Ireland},
 doi = {http://doi.acm.org/10.1145/337180.337234},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{bandera01,
 author = {Matthew B. Dwyer and John Hatcliff and Roby Joehanes and Shawn Laubach and Corina S. P\u{a}s\u{a}reanu and Hongjun Zheng and Willem Visser},
 title = {Tool-supported program abstraction for finite-state verification},
 booktitle = {ICSE '01: Proceedings of the 23rd International Conference on Software Engineering},
 year = {2001},
 isbn = {0-7695-1050-7},
 pages = {177--187},
 location = {Toronto, Ontario, Canada},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{eisenbarth05,
 author = {Thomas Eisenbarth and Rainer Koschke and Gunther Vogel},
 title = {Static object trace extraction for programs with pointers},
 journal = {J. Syst. Softw.},
 volume = {77},
 number = {3},
 year = {2005},
 issn = {0164-1212},
 pages = {263--284},
 doi = {http://dx.doi.org/10.1016/j.jss.2004.04.028},
 publisher = {Elsevier Science Inc.},
 address = {New York, NY, USA},
 }

@inproceedings{aaa_sc07,
  author = {Andr{\'e}, Pascal and Ardourel, Gilles and Attiogb{\'e}, Christian},
  title     = {{Defining Component Protocols with Service Composition: Illustration withe Kmelia Model}},
  booktitle = {6th International Symposium on Software Composition, SC'07},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {to appear},
  pages= {--},
  url = {http://www.lina.sciences.univ-nantes.fr/coloss/download/sc07.ps.zip},
  year      = 2007
}

@inproceedings{coloss:AAA:2006:sc,
  author    = {Attiogbé, Christian and André, Pascal and Ardourel, Gilles},
  title     = {{Checking Component Composability}},
  booktitle = {5th International Symposium on Software Composition},
  publisher = SV,
  series    = LNCS,
  volume    = {4089},
  kind      = CDICLA,
  cat       = best,
  year      = 2006
}

@InProceedings{obasco:spavel-all05a,
  author        = {Pavel, Sebastian and Noyé, Jacques and Poizat, Pascal and Royer, Jean-Claude},
  title         = {A Java Implementation of a Component Model with Explicit Symbolic Protocols},
  booktitle     = {Proceedings of the 4th International Workshop on 
                  Software Composition (SC'05)},
  year          = 2005,
  series        = LNCS,
  OPTmonth         = apr,
  publisher     = {Springer-Verlag},
  volume        = {3628},
  pages         = {115-125},
  abstract      = {Component-Based Software Engineering (CBSE) has now emerged as a
           discipline for system development. An important issue is to fill 
           the gap between high-level models (needed for analysis) and 
           implementation. This paper describes a component model with 
           explicit symbolic protocols based on Symbolic Transition Systems 
           (STSs), and its implementation in Java. This implementation 
           relies on controllers that encapsulate protocols and channels 
           devoted to (possibly remote) communications between components.},
  kind		= {CDICLA},
  cat		= {},
  isbn		= {3-540-28748-5}
}

@inproceedings{dsrg:BuHnSOFA202006,
title = {{SOFA} 2.0: Balancing Advanced Features in a Hierarchical Component Model},
author = {Tom{\'{a}}{\v{s}} Bure{\v{s}} and Petr Hn{\v{e}}tynka and Franti{\v{s}}ek Pl{\'{a}}{\v{s}}il},
year = {2006},
pages = {40--48},
crossref = {dsrg:FourthConference2006},
booktitle = {Fourth International Conference on Software Engineering, Research, Management and Applications ({SERA} 2006), 9-11 August 2006, Seattle, Washington, {USA}},
}

@proceedings{dsrg:FourthConference2006,
title = {Fourth International Conference on Software Engineering, Research, Management and Applications ({SERA} 2006), 9-11 August 2006, Seattle, Washington, {USA}},
year = {2006},
publisher = {{IEEE} Computer Society},
isbn = {0-7695-2656-X},
}

@inproceedings{dsrg:PaPlModelingEnvironment2007,
title = {Modeling Environment for Component Model Checking from Hierarchical Architecture},
author = {Pavel Par{\'{i}}zek and Franti{\v{s}}ek Pl{\'{a}}{\v{s}}il},
year = {2007},
pages = {139--153},
crossref = {dsrg:ThirdFormal2007},
booktitle = {Third International Workshop on Formal Aspects of Component Software ({FACS} 2006)},
}

@proceedings{dsrg:ThirdFormal2007,
title = {Third International Workshop on Formal Aspects of Component Software ({FACS} 2006)},
year = {2007},
publisher = {Elsevier B.V.},
volume = {182},
issn = {1571-0661},
series = {Electronic Notes in Theoretical Computer Science},
}

@inproceedings{dsrg:PaPlSpecificationand2007,
title = {Specification and Generation of Environment for Model Checking of Software Components},
author = {Pavel Par{\'{i}}zek and Franti{\v{s}}ek Pl{\'{a}}{\v{s}}il},
year = {2007},
pages = {143--154},
crossref = {dsrg:FormalFoundations2007},
booktitle = {Formal Foundations of Embedded Software and Component-Based Software Architectures, {FESCA} 2006},
}

@proceedings{dsrg:FormalFoundations2007,
title = {Formal Foundations of Embedded Software and Component-Based Software Architectures, {FESCA} 2006},
year = {2007},
publisher = {Elsevier B.V.},
volume = {176},
issn = {1571-0661},
series = {Electronic Notes in Theoretical Computer Science},
}

@inproceedings{dsrg:JeKoModelChecking2006,
title = {Model Checking of Component Behavior Specification: A Real Life Experience},
author = {Pavel Je{\v{z}}ek and Jan Kofro{\v{n}} and Franti{\v{s}}ek Pl{\'{a}}{\v{s}}il},
year = {2006},
pages = {197--210},
crossref = {dsrg:BaLiFormalAspects2006},
booktitle = {International Workshop on Formal Aspects of Component Software ({FACS} 2005)},
}

@proceedings{dsrg:BaLiFormalAspects2006,
title = {International Workshop on Formal Aspects of Component Software ({FACS} 2005)},
editor = {Luis Barbosa and Zhiming Liu},
year = {2006},
institution = {{UNU}/{IIST}},
address = {Macao, Macao},
volume = {160},
series = {Electronic Notes in Theoretical Computer Science},
}

@inproceedings{dsrg:PaPlModelChecking2007,
title = {Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker},
author = {Pavel Par{\'{i}}zek and Franti{\v{s}}ek Pl{\'{a}}{\v{s}}il and Jan Kofro{\v{n}}},
year = {2007},
pages = {133--141},
crossref = {dsrg:30thIEEENASA2007},
booktitle = {30th {IEEE}/{NASA} Software Engineering Workshop ({SEW}-30)},
}

@proceedings{dsrg:30thIEEENASA2007,
title = {30th {IEEE}/{NASA} Software Engineering Workshop ({SEW}-30)},
year = {2007},
publisher = {{IEEE} Computer Society},
isbn = {0-7695-2624-1},
issn = {1550-6215},
}

@techreport{dsrg:PaPlModelChecking2006,
title = {Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker},
author = {Pavel Par{\'{i}}zek and Franti{\v{s}}ek Pl{\'{a}}{\v{s}}il and Jan Kofro{\v{n}}},
year = {2006},
institution = {{KSI} {MFF} {UK}},
number = {2},
}

@inproceedings{dsrg:runACIS2007,
title = {Runtime Support for Advanced Component Concepts},
author = {Tom{\'{a}}{\v{s}} Bure{\v{s}} and Petr Hn{\v{e}}tynka and Franti{\v{s}}ek Pl{\'{a}}{\v{s}}il and Jan Klesnil and Ondrej Kmoch and Tomas Kohan andPavel Kotrc},
year = {2007},
pages = {337--345},
crossref = {dsrg:ACIS2007},
booktitle = {5th ACIS International Conference on Software Engineering Research, Management \& Applications (SERA 2007)},
}

@proceedings{dsrg:ACIS2007,
title = {5th ACIS International Conference on Software Engineering Research, Management &amp; Applications (SERA 2007)},
year = {2007},
publisher = {{IEEE} Computer Society},
isbn = {to appear},
issn = {to appear},
}



@article{general:CKS+04,
 author = {Edmund Clarke and Daniel Kroening and Natasha Sharygina and Karen Yorav},
 title = {Predicate Abstraction of ANSI-C Programs Using SAT},
 journal = {Form. Methods Syst. Des.},
 volume = {25},
 number = {2-3},
 year = {2004},
 issn = {0925-9856},
 pages = {105--127},
 doi = {http://dx.doi.org/10.1023/B:FORM.0000040025.89719.f3},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }

@inproceedings{general:BR02,
  author    = {Thomas Ball and Sriram K. Rajamani},
  title     = {The SLAM project: debugging system software via static analysis},
  booktitle = {POPL},
  year      = {2002},
  pages     = {1-3},
  ee        = {http://doi.acm.org/10.1145/503272.503274},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@InProceedings{general:BCM+06,
  author =	 {Tomas Barros and Ludovic Henrio and Eric Madelaine},
  title =	 {Model-Checking Distributed Components: The Vercors Platform},
  booktitle =	 {International Workshop on Formal Aspects of
                  Component Software (FACS'06)},
  publisher =	 {Electronic Notes in Theoretical Computer Science
                  (ENTCS)},
  address =	 "Prague",
  year =	 2006,
  month =	 Sep
}

