Search dblp for Publications

export results for "toc:db/conf/fmco/fmco2006.bht:"

 download as .bib file

@proceedings{DBLP:conf/fmco/2006,
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74792-5},
  doi          = {10.1007/978-3-540-74792-5},
  isbn         = {978-3-540-74791-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/AhrendtBHRS06,
  author       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Reiner H{\"{a}}hnle and
                  Philipp R{\"{u}}mmer and
                  Peter H. Schmitt},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Verifying Object-Oriented Programs with KeY: {A} Tutorial},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {70--101},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_4},
  doi          = {10.1007/978-3-540-74792-5\_4},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/AhrendtBHRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/ArandaGPV06,
  author       = {Jes{\'{u}}s Aranda and
                  Cinzia Di Giusto and
                  Catuscia Palamidessi and
                  Frank D. Valencia},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {On Recursion, Replication and Scope Mechanisms in Process Calculi},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {185--206},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_9},
  doi          = {10.1007/978-3-540-74792-5\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/ArandaGPV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/ArthoBH06,
  author       = {Cyrille Artho and
                  Armin Biere and
                  Shinichi Honiden},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Exhaustive Testing of Exception Handlers with Enforcer},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {26--46},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_2},
  doi          = {10.1007/978-3-540-74792-5\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/ArthoBH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/BartheBCGHLPR06,
  author       = {Gilles Barthe and
                  Lilian Burdy and
                  Julien Charles and
                  Benjamin Gr{\'{e}}goire and
                  Marieke Huisman and
                  Jean{-}Louis Lanet and
                  Mariela Pavlova and
                  Antoine Requet},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {{JACK} - {A} Tool for Validation of Security and Behaviour of Java
                  Applications},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {152--174},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_7},
  doi          = {10.1007/978-3-540-74792-5\_7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/BartheBCGHLPR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/CooperLWY06,
  author       = {Ezra Cooper and
                  Sam Lindley and
                  Philip Wadler and
                  Jeremy Yallop},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Links: Web Programming Without Tiers},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {266--296},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_12},
  doi          = {10.1007/978-3-540-74792-5\_12},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/CooperLWY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/Dezani-CiancagliniGDY06,
  author       = {Mariangiola Dezani{-}Ciancaglini and
                  Elena Giachino and
                  Sophia Drossopoulou and
                  Nobuko Yoshida},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Bounded Session Types for Object Oriented Languages},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {207--245},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_10},
  doi          = {10.1007/978-3-540-74792-5\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/Dezani-CiancagliniGDY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/DonkervoetA06,
  author       = {Bill Donkervoet and
                  Gul Agha},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive
                  Distributed Monitoring},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {246--265},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_11},
  doi          = {10.1007/978-3-540-74792-5\_11},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/DonkervoetA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/FrantzenT06,
  author       = {Lars Frantzen and
                  Jan Tretmans},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Model-Based Testing of Environmental Conformance of Components},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_1},
  doi          = {10.1007/978-3-540-74792-5\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/FrantzenT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/JeannetJR06,
  author       = {Bertrand Jeannet and
                  Thierry J{\'{e}}ron and
                  Vlad Rusu},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Model-Based Test Selection for Infinite-State Reactive Systems},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {47--69},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_3},
  doi          = {10.1007/978-3-540-74792-5\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/JeannetJR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/Leucker06,
  author       = {Martin Leucker},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Learning Meets Verification},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {127--151},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_6},
  doi          = {10.1007/978-3-540-74792-5\_6},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/Leucker06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/SassoneKN06,
  author       = {Vladimiro Sassone and
                  Karl Krukow and
                  Mogens Nielsen},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Towards a Formal Framework for Computational Trust},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {175--184},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_8},
  doi          = {10.1007/978-3-540-74792-5\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/SassoneKN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/Sirjani06,
  author       = {Marjan Sirjani},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Rebeca: Theory, Applications, and Tools},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {102--126},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_5},
  doi          = {10.1007/978-3-540-74792-5\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/Sirjani06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.