Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/fmco:"
download as .bib file
@proceedings{DBLP:conf/fmco/2011,
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35887-6},
doi = {10.1007/978-3-642-35887-6},
isbn = {978-3-642-35886-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2012,
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40615-7},
doi = {10.1007/978-3-642-40615-7},
isbn = {978-3-642-40614-0},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AlbertAACFGGMPRRZ12,
author = {Elvira Albert and
Diego Esteban Alonso{-}Blas and
Puri Arenas and
Jes{\'{u}}s Correas and
Antonio Flores{-}Montoya and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Abu Naser Masud and
German Puebla and
Jos{\'{e}} Miguel Rojas and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez and
Damiano Zanardini},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Automatic Inference of Bounds on Resource Consumption},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {119--144},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_4},
doi = {10.1007/978-3-642-40615-7\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AlbertAACFGGMPRRZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/CosmoTZ12,
author = {Roberto Di Cosmo and
Ralf Treinen and
Stefano Zacchiroli},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Formal Aspects of Free and Open Source Software Components - {A} Short
Survey},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {216--239},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_8},
doi = {10.1007/978-3-642-40615-7\_8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/CosmoTZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DoorenCJ12,
author = {Marko van Dooren and
Dave Clarke and
Bart Jacobs},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Subobject-Oriented Programming},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {38--82},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_2},
doi = {10.1007/978-3-642-40615-7\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DoorenCJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GadyatskayaM12,
author = {Olga Gadyatskaya and
Fabio Massacci},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Controlling Application Interactions on the Novel Smart Cards with
Security-by-Contract},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {197--215},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_7},
doi = {10.1007/978-3-642-40615-7\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/GadyatskayaM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Hahnle12,
author = {Reiner H{\"{a}}hnle},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {The Abstract Behavioral Specification Language: {A} Tutorial Introduction},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {1--37},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_1},
doi = {10.1007/978-3-642-40615-7\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/Hahnle12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/IssarnyB12,
author = {Val{\'{e}}rie Issarny and
Amel Bennaceur},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Composing Distributed Systems: Overcoming the Interoperability Challenge},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {168--196},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_6},
doi = {10.1007/978-3-642-40615-7\_6},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/IssarnyB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Johnsen12,
author = {Einar Broch Johnsen},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Separating Cost and Capacity for Load Balancing in {ABS} Deployment
Models},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {145--167},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_5},
doi = {10.1007/978-3-642-40615-7\_5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/Johnsen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/KurniaP12,
author = {Ilham W. Kurnia and
Arnd Poetzsch{-}Heffter},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Verification of Open Concurrent Object Systems},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {83--118},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_3},
doi = {10.1007/978-3-642-40615-7\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/KurniaP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2010,
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-25271-6},
doi = {10.1007/978-3-642-25271-6},
isbn = {978-3-642-25270-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AldinucciCKTT11,
author = {Marco Aldinucci and
Sonia Campa and
Peter Kilpatrick and
Fabio Tordini and
Massimo Torquati},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {An Abstract Annotation Model for Skeletons},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {257--276},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_14},
doi = {10.1007/978-3-642-35887-6\_14},
timestamp = {Mon, 26 Jun 2023 20:47:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AldinucciCKTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AldinucciDKMS11,
author = {Marco Aldinucci and
Marco Danelutto and
Peter Kilpatrick and
Carlo Montangero and
Laura Semini},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Managing Adaptivity in Parallel Systems},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {199--217},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_11},
doi = {10.1007/978-3-642-35887-6\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AldinucciDKMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BasuBBBMS11,
author = {Ananda Basu and
Saddek Bensalem and
Marius Bozga and
Paraskevas Bourgos and
Mayur Maheshwari and
Joseph Sifakis},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Component Assemblies in the Context of Manycore},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {314--333},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_17},
doi = {10.1007/978-3-642-35887-6\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BasuBBBMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BennaceurIJMSS11,
author = {Amel Bennaceur and
Val{\'{e}}rie Issarny and
Richard Johansson and
Alessandro Moschitti and
Romina Spalazzese and
Daniel Sykes},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Automatic Service Categorisation through Machine Learning in Emergent
Middleware},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {133--149},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_7},
doi = {10.1007/978-3-642-35887-6\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BennaceurIJMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BrownHDKSB11,
author = {Christopher Brown and
Kevin Hammond and
Marco Danelutto and
Peter Kilpatrick and
Holger Sch{\"{o}}ner and
Tino Breddin},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Paraphrasing: Generating Parallel Programs Using Refactoring},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {237--256},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_13},
doi = {10.1007/978-3-642-35887-6\_13},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/BrownHDKSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BruniMM11,
author = {Roberto Bruni and
Hern{\'{a}}n C. Melgratti and
Ugo Montanari},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {A Survey on Basic Connectors and Buffers},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {49--68},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_3},
doi = {10.1007/978-3-642-35887-6\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BruniMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DurandLBFVP11,
author = {Sylvain Durand and
Suzanne Lesecq and
Edith Beign{\'{e}} and
Christian Fabre and
Lionel Vincent and
Diego Puschini},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Low-Cost Dynamic Voltage and Frequency Management Based upon Robust
Control Techniques under Thermal Constraints},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {334--353},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_18},
doi = {10.1007/978-3-642-35887-6\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DurandLBFVP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/FabreBBRAFKMSKYCTBBBSLMM11,
author = {Christian Fabre and
Iuliana Bacivarov and
Ananda Basu and
Martino Ruggiero and
David Atienza and
Eric Flamand and
Jean{-}Pierre Krimm and
Julien Mottin and
Lars Schor and
Pratyush Kumar and
Hoeseok Yang and
Devesh B. Chokshi and
Lothar Thiele and
Saddek Bensalem and
Marius Bozga and
Luca Benini and
Mohamed M. Sabry and
Yusuf Leblebici and
Giovanni De Micheli and
Diego Melpignano},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {PRO3D, Programming for Future 3D Manycore Architectures: Project's
Interim Status},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {277--293},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_15},
doi = {10.1007/978-3-642-35887-6\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/FabreBBRAFKMSKYCTBBBSLMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GanderKFB11,
author = {Matthias Gander and
Basel Katt and
Michael Felderer and
Ruth Breu},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Towards a Model- and Learning-Based Framework for Security Anomaly
Detection},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {150--168},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_8},
doi = {10.1007/978-3-642-35887-6\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GanderKFB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GriffinEL11,
author = {Leigh Griffin and
Peter Elger and
Eamonn de Leastar},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Project Zeppelin: {A} Modern Web Application Development Framework},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {184--198},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_10},
doi = {10.1007/978-3-642-35887-6\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GriffinEL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HahnleHJLSSW11,
author = {Reiner H{\"{a}}hnle and
Michiel Helvensteijn and
Einar Broch Johnsen and
Michael Lienhardt and
Davide Sangiorgi and
Ina Schaefer and
Peter Y. H. Wong},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {{HATS} Abstract Behavioral Specification: The Architectural View},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {109--132},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_6},
doi = {10.1007/978-3-642-35887-6\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HahnleHJLSSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HammondABCDGKKRS11,
author = {Kevin Hammond and
Marco Aldinucci and
Christopher Brown and
Francesco Cesarini and
Marco Danelutto and
Horacio Gonz{\'{a}}lez{-}V{\'{e}}lez and
Peter Kilpatrick and
Rainer Keller and
Michael Rossbory and
Gilad Shainer},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous
Multicore Systems},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {218--236},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_12},
doi = {10.1007/978-3-642-35887-6\_12},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/HammondABCDGKKRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JohnsenST11,
author = {Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Modeling Application-Level Management of Virtualized Resources in
{ABS}},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {89--108},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_5},
doi = {10.1007/978-3-642-35887-6\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/JohnsenST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/KattGBF11,
author = {Basel Katt and
Matthias Gander and
Ruth Breu and
Michael Felderer},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Enhancing Model Driven Security through Pattern Refinement Techniques},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {169--183},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_9},
doi = {10.1007/978-3-642-35887-6\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/KattGBF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/LamprechtMSS11,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Ina Schaefer and
Bernhard Steffen},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Synthesis-Based Variability Control: Correctness by Construction},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {69--88},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_4},
doi = {10.1007/978-3-642-35887-6\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/LamprechtMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/NicolaFLP11,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Michele Loreti and
Rosario Pugliese},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {A Language-Based Approach to Autonomic Computing},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {25--48},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_2},
doi = {10.1007/978-3-642-35887-6\_2},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/NicolaFLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/SchorYBT11,
author = {Lars Schor and
Hoeseok Yang and
Iuliana Bacivarov and
Lothar Thiele},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core
Systems},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {294--313},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_16},
doi = {10.1007/978-3-642-35887-6\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/SchorYBT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/WirsingHTZ11,
author = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Mirco Tribastone and
Franco Zambonelli},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {{ASCENS:} Engineering Autonomic Service-Component Ensembles},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {1--24},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_1},
doi = {10.1007/978-3-642-35887-6\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/WirsingHTZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AgutBBCF10,
author = {Damian Nadales Agut and
Bert van Beek and
Harsh Beohar and
Pieter J. L. Cuijpers and
Jasper Fonteijn},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {The Hierarchical Compositional Interchange Format},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {316--335},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_17},
doi = {10.1007/978-3-642-25271-6\_17},
timestamp = {Thu, 14 Oct 2021 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AgutBBCF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BaresiMMR10,
author = {Luciano Baresi and
Angelo Morzenti and
Alfredo Motta and
Matteo Rossi},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Towards the UML-Based Formal Verification of Timed Systems},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {267--286},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_14},
doi = {10.1007/978-3-642-25271-6\_14},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BaresiMMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BeckertBK10,
author = {Bernhard Beckert and
Thorsten Bormer and
Vladimir Klebanov},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Improving the Usability of Specification Languages and Methods for
Annotation-Based Verification},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {61--79},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_4},
doi = {10.1007/978-3-642-25271-6\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BeckertBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BubelHJ10,
author = {Richard Bubel and
Reiner H{\"{a}}hnle and
Ran Ji},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Program Specialization via a Software Verification Tool},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {80--101},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_5},
doi = {10.1007/978-3-642-25271-6\_5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/BubelHJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ChevalierMR10,
author = {Yannick Chevalier and
Mohammed Anis Mekki and
Micha{\"{e}}l Rusinowitch},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Orchestration under Security Constraints},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {23--44},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_2},
doi = {10.1007/978-3-642-25271-6\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/ChevalierMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ClarkeMPSS10,
author = {Dave Clarke and
Radu Muschevici and
Jos{\'{e}} Proen{\c{c}}a and
Ina Schaefer and
Rudolf Schlatte},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Variability Modelling in the {ABS} Language},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {204--224},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_11},
doi = {10.1007/978-3-642-25271-6\_11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/ClarkeMPSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DavidGJLR10,
author = {Alexandre David and
Jacob Deleuran Grunnet and
Jan Jakob Jessen and
Kim Guldstrand Larsen and
Jacob Illum Rasmussen},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Application of Model-Checking Technology to Controller Synthesis},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {336--351},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_18},
doi = {10.1007/978-3-642-25271-6\_18},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DavidGJLR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DavidLLMN10,
author = {Alexandre David and
Kim Guldstrand Larsen and
Shuhao Li and
Marius Mikucionis and
Brian Nielsen},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Testing Real-Time Systems under Uncertainty},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {352--371},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_19},
doi = {10.1007/978-3-642-25271-6\_19},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DavidLLMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DonaldsonHKR10,
author = {Alastair F. Donaldson and
Nannan He and
Daniel Kroening and
Philipp R{\"{u}}mmer},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Tightening Test Coverage Metrics: {A} Case Study in Equivalence Checking
Using k-Induction},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {297--315},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_16},
doi = {10.1007/978-3-642-25271-6\_16},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/DonaldsonHKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GrozaM10,
author = {Bogdan Groza and
Marius Minea},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Customizing Protocol Specifications for Detecting Resource Exhaustion
and Guessing Attacks},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {45--60},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_3},
doi = {10.1007/978-3-642-25271-6\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GrozaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HansenKLMPS10,
author = {Helle Hvid Hansen and
Jeroen Ketema and
Bas Luttik and
Mohammad Reza Mousavi and
Jaco van de Pol and
Osmar Marchi dos Santos},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Automated Verification of Executable {UML} Models},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {225--250},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_12},
doi = {10.1007/978-3-642-25271-6\_12},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HansenKLMPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Hartmanns10,
author = {Arnd Hartmanns},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Model-Checking and Simulation for Stochastic Timed Systems},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {372--391},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_20},
doi = {10.1007/978-3-642-25271-6\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/Hartmanns10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JohnsenHSSS10,
author = {Einar Broch Johnsen and
Reiner H{\"{a}}hnle and
Jan Sch{\"{a}}fer and
Rudolf Schlatte and
Martin Steffen},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {{ABS:} {A} Core Language for Abstract Behavioral Specification},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {142--164},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_8},
doi = {10.1007/978-3-642-25271-6\_8},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/JohnsenHSSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/LienhardtLBSZWSP10,
author = {Michael Lienhardt and
Ivan Lanese and
Mario Bravetti and
Davide Sangiorgi and
Gianluigi Zavattaro and
Yannick Welsch and
Jan Sch{\"{a}}fer and
Arnd Poetzsch{-}Heffter},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {A Component Model for the {ABS} Language},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {165--183},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_9},
doi = {10.1007/978-3-642-25271-6\_9},
timestamp = {Mon, 30 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/LienhardtLBSZWSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/OheimbM10,
author = {David von Oheimb and
Sebastian M{\"{o}}dersheim},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {ASLan++ - {A} Formal Security Specification Language for Distributed
Systems},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {1--22},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_1},
doi = {10.1007/978-3-642-25271-6\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/OheimbM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/PetreST10,
author = {Luigia Petre and
Kaisa Sere and
Leonidas Tsiopoulos},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Model-Based Analysis Tools for Component Synthesis},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {102--121},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_6},
doi = {10.1007/978-3-642-25271-6\_6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/PetreST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/SchaeferGS10,
author = {Ina Schaefer and
Dilian Gurov and
Siavash Soleimanifard},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Compositional Algorithmic Verification of Software Product Lines},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {184--203},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_10},
doi = {10.1007/978-3-642-25271-6\_10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/SchaeferGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/SilvaB10,
author = {Renato Silva and
Michael J. Butler},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Shared Event Composition/Decomposition in Event-B},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {122--141},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_7},
doi = {10.1007/978-3-642-25271-6\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/SilvaB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/SnookSB10,
author = {Colin F. Snook and
Vitaly Savicks and
Michael J. Butler},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Verification of {UML} Models by Translation to {UML-B}},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {251--266},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_13},
doi = {10.1007/978-3-642-25271-6\_13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/SnookSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/SvenningssonEVT10,
author = {Rickard Svenningsson and
Henrik Eriksson and
Jonny Vinter and
Martin T{\"{o}}rngren},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Generic Fault Modelling for Fault Injection},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {287--296},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_15},
doi = {10.1007/978-3-642-25271-6\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/SvenningssonEVT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2009,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17071-3},
doi = {10.1007/978-3-642-17071-3},
isbn = {978-3-642-17070-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AichernigBJK09,
author = {Bernhard K. Aichernig and
Harald Brandl and
Elisabeth J{\"{o}}bstl and
Willibald Krenn},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Model-Based Mutation Testing of Hybrid Systems},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {228--249},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_12},
doi = {10.1007/978-3-642-17071-3\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AichernigBJK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Alba-CastroAE09,
author = {Mauricio Alba{-}Castro and
Mar{\'{\i}}a Alpuente and
Santiago Escobar},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Abstract Certification of Global Non-interference in Rewriting Logic},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {105--124},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_6},
doi = {10.1007/978-3-642-17071-3\_6},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/Alba-CastroAE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BrilloutHMKPRW09,
author = {Angelo Brillout and
Nannan He and
Michele Mazzucchi and
Daniel Kroening and
Mitra Purandare and
Philipp R{\"{u}}mmer and
Georg Weissenbacher},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Mutation-Based Test Case Generation for Simulink Models},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {208--227},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_11},
doi = {10.1007/978-3-642-17071-3\_11},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/BrilloutHMKPRW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BubelHJ09,
author = {Richard Bubel and
Reiner H{\"{a}}hnle and
Ran Ji},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Interleaving Symbolic Execution and Partial Evaluation},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {125--146},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_7},
doi = {10.1007/978-3-642-17071-3\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/BubelHJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DavidLLNW09,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Methodologies for Specification of Real-Time Systems Using Timed {I/O}
Automata},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {290--310},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_15},
doi = {10.1007/978-3-642-17071-3\_15},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DavidLLNW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DerrickWAECFGHT09,
author = {John Derrick and
Neil Walkinshaw and
Thomas Arts and
Clara Benac Earle and
Francesco Cesarini and
Lars{-}{\AA}ke Fredlund and
V{\'{\i}}ctor M. Gul{\'{\i}}as and
John Hughes and
Simon J. Thompson},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Property-Based Testing - The ProTest Project},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {250--271},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_13},
doi = {10.1007/978-3-642-17071-3\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DerrickWAECFGHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/FathabadiB09,
author = {Asieh Salehi Fathabadi and
Michael J. Butler},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Applying Event-B Atomicity Decomposition to a Multi Media Protocol},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {89--104},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_5},
doi = {10.1007/978-3-642-17071-3\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/FathabadiB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GrabeJKKSBBABG09,
author = {Immo Grabe and
Mohammad Mahdi Jaghoori and
Joachim Klein and
Sascha Kl{\"{u}}ppelholz and
Andries Stam and
Christel Baier and
Tobias Blechmann and
Bernhard K. Aichernig and
Frank S. de Boer and
Andreas Griesmayer},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {The Credo Methodology - (Extended Version)},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {41--69},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_3},
doi = {10.1007/978-3-642-17071-3\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GrabeJKKSBBABG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HenrioKK09,
author = {Ludovic Henrio and
Florian Kamm{\"{u}}ller and
Muhammad Uzair Khan},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {A Framework for Reasoning on Component Composition},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {1--20},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_1},
doi = {10.1007/978-3-642-17071-3\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HenrioKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HermannsK09,
author = {Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {The How and Why of Interactive Markov Chains},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {311--337},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_16},
doi = {10.1007/978-3-642-17071-3\_16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/HermannsK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/IliasovTLR09,
author = {Alexei Iliasov and
Elena Troubitsyna and
Linas Laibinis and
Alexander B. Romanovsky},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Patterns for Refinement Automation},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {70--88},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_4},
doi = {10.1007/978-3-642-17071-3\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/IliasovTLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/KokashKV09,
author = {Natallia Kokash and
Christian Krause and
Erik P. de Vink},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Verification of Context-Dependent Channel-Based Service Models},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {21--40},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_2},
doi = {10.1007/978-3-642-17071-3\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/KokashKV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/KrennSA09,
author = {Willibald Krenn and
Rupert Schlick and
Bernhard K. Aichernig},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Mapping {UML} to Labeled Transition Systems for Test-Case Generation
- {A} Translation via Object-Oriented Action Systems},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {186--207},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_10},
doi = {10.1007/978-3-642-17071-3\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/KrennSA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/SantosWPK09,
author = {Osmar Marchi dos Santos and
Jim Woodcock and
Richard F. Paige and
Steve King},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {The Use of Model Transformation in the {INESS} Project},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {147--165},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_8},
doi = {10.1007/978-3-642-17071-3\_8},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/SantosWPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/StappersRG09,
author = {Frank P. M. Stappers and
Michel A. Reniers and
Jan Friso Groote},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Suitability of mCRL2 for Concurrent-System Design: {A} 2 {\texttimes}
2 Switch Case Study},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {166--185},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_9},
doi = {10.1007/978-3-642-17071-3\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/StappersRG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/WalkinshawD09,
author = {Neil Walkinshaw and
John Derrick},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Incrementally Discovering Testable Specifications from Program Executions},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {272--289},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_14},
doi = {10.1007/978-3-642-17071-3\_14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/WalkinshawD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2008,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04167-9},
doi = {10.1007/978-3-642-04167-9},
isbn = {978-3-642-04166-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AichernigGJSS08,
author = {Bernhard K. Aichernig and
Andreas Griesmayer and
Einar Broch Johnsen and
Rudolf Schlatte and
Andries Stam},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Conformance Testing of Distributed Concurrent Systems with Executable
Designs},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {61--81},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_4},
doi = {10.1007/978-3-642-04167-9\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/AichernigGJSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AldinucciDK08,
author = {Marco Aldinucci and
Marco Danelutto and
Peter Kilpatrick},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Semi-formal Models to Support Program Development: Autonomic Management
within Component Based Parallel and Distributed Programming},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {204--225},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_11},
doi = {10.1007/978-3-642-04167-9\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/AldinucciDK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BaierBKK08,
author = {Christel Baier and
Tobias Blechmann and
Joachim Klein and
Sascha Kl{\"{u}}ppelholz},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Formal Verification for Components and Connectors},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {82--101},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_5},
doi = {10.1007/978-3-642-04167-9\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BaierBKK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BubelHW08,
author = {Richard Bubel and
Reiner H{\"{a}}hnle and
Benjamin Wei{\ss}},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Abstract Interpretation of Symbolic Execution with Explicit State
Updates},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {247--277},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_13},
doi = {10.1007/978-3-642-04167-9\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/BubelHW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/CansadoM08,
author = {Antonio Cansado and
Eric Madelaine},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Specification and Verification for Grid Component-Based Applications:
From Models to Tools},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {180--203},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_10},
doi = {10.1007/978-3-642-04167-9\_10},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/CansadoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ChrzaszczHS08,
author = {Jacek Chrzaszcz and
Marieke Huisman and
Aleksy Schubert},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {{BML} and Related Tools},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {278--297},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_14},
doi = {10.1007/978-3-642-04167-9\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/ChrzaszczHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Hallerstede08,
author = {Stefan Hallerstede},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Incremental System Modelling in Event-B},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {139--158},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_8},
doi = {10.1007/978-3-642-04167-9\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Hallerstede08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HenrioKR08,
author = {Ludovic Henrio and
Florian Kamm{\"{u}}ller and
Marcela Rivera},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {An Asynchronous Distributed Component Model and Its Semantics},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {159--179},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_9},
doi = {10.1007/978-3-642-04167-9\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HenrioKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/KokashA08,
author = {Natallia Kokash and
Farhad Arbab},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Formal Behavioral Modeling and Compliance Analysis for Service-Oriented
Systems},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {21--41},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_2},
doi = {10.1007/978-3-642-04167-9\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/KokashA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/KyasJ08,
author = {Marcel Kyas and
Einar Broch Johnsen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {A Real-Time Extension of Creol for Modelling Biomedical Sensors},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {42--60},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_3},
doi = {10.1007/978-3-642-04167-9\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/KyasJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Leuschel08,
author = {Michael Leuschel},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Towards Demonstrably Correct Compilation of Java Byte Code},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {119--138},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_7},
doi = {10.1007/978-3-642-04167-9\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Leuschel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/MayrZD08,
author = {Christine Mayr and
Uwe Zdun and
Schahram Dustdar},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Reusable Architectural Decision Model for Model and Metadata Repositories},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {1--20},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_1},
doi = {10.1007/978-3-642-04167-9\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/MayrZD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/NeoviusS08,
author = {Mats Neovius and
Kaisa Sere},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Formal Modular Modelling of Context-Awareness},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {102--118},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_6},
doi = {10.1007/978-3-642-04167-9\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/NeoviusS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/YoshidaVPH08,
author = {Nobuko Yoshida and
Vasco Thudichum Vasconcelos and
Herv{\'{e}} Paulino and
Kohei Honda},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Session-Based Compilation Framework for Multicore Programming},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {226--246},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_12},
doi = {10.1007/978-3-642-04167-9\_12},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/YoshidaVPH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2007,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92188-2},
doi = {10.1007/978-3-540-92188-2},
isbn = {978-3-540-92187-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AlbertAGPZ07,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
German Puebla and
Damiano Zanardini},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {{COSTA:} Design and Implementation of a Cost and Termination Analyzer
for Java Bytecode},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {113--132},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_5},
doi = {10.1007/978-3-540-92188-2\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/AlbertAGPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AspinallMS07,
author = {David Aspinall and
Patrick Maier and
Ian Stark},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Safety Guarantees from Explicit Resource Management},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {52--71},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_3},
doi = {10.1007/978-3-540-92188-2\_3},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AspinallMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BartheCGJP07,
author = {Gilles Barthe and
Pierre Cr{\'{e}}gut and
Benjamin Gr{\'{e}}goire and
Thomas P. Jensen and
David Pichardie},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {The {MOBIUS} Proof Carrying Code Infrastructure},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {1--24},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_1},
doi = {10.1007/978-3-540-92188-2\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BartheCGJP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BenvenisteCFMPS07,
author = {Albert Benveniste and
Beno{\^{\i}}t Caillaud and
Alberto Ferrari and
Leonardo Mangeruca and
Roberto Passerone and
Christos Sofronis},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Multiple Viewpoint Contract-Based Specification and Design},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {200--225},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_9},
doi = {10.1007/978-3-540-92188-2\_9},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BenvenisteCFMPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BeringerHP07,
author = {Lennart Beringer and
Martin Hofmann and
Mariela Pavlova},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Certification Using the Mobius Base Logic},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {25--51},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_2},
doi = {10.1007/978-3-540-92188-2\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BeringerHP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BliudzeS07,
author = {Simon Bliudze and
Joseph Sifakis},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Causal Semantics for the Algebra of Connectors},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {179--199},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_8},
doi = {10.1007/978-3-540-92188-2\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BliudzeS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/CaromelHM07,
author = {Denis Caromel and
Ludovic Henrio and
Eric Madelaine},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Active Objects and Distributed Components: Theory and Implementation},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {133--152},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_6},
doi = {10.1007/978-3-540-92188-2\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/CaromelHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Clarke07,
author = {Dave Clarke},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Coordination: Reo, Nets, and Logic},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {226--256},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_10},
doi = {10.1007/978-3-540-92188-2\_10},
timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/Clarke07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/CunninghamDDFMS07,
author = {Dave Cunningham and
Werner Dietl and
Sophia Drossopoulou and
Adrian Francalanza and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Universe Types for Topology and Encapsulation},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {72--112},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_4},
doi = {10.1007/978-3-540-92188-2\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/CunninghamDDFMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Jaghoori07,
author = {Mohammad Mahdi Jaghoori},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Coordinating Object Oriented Components Using Data-Flow Networks},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {280--311},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_12},
doi = {10.1007/978-3-540-92188-2\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Jaghoori07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JohnsenOBK07,
author = {Einar Broch Johnsen and
Olaf Owe and
Joakim Bj{\o}rk and
Marcel Kyas},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {An Object-Oriented Component Model for Heterogeneous Nets},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {257--279},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_11},
doi = {10.1007/978-3-540-92188-2\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/JohnsenOBK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/RoyHRSYC07,
author = {Peter Van Roy and
Seif Haridi and
Alexander Reinefeld and
Jean{-}Bernard Stefani and
Roland H. C. Yap and
Thierry Coupaye},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Self Management for Large-Scale Distributed Systems: An Overview of
the {SELFMAN} Project},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {153--178},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_7},
doi = {10.1007/978-3-540-92188-2\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/RoyHRSYC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@proceedings{DBLP:conf/fmco/2005,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11804192},
doi = {10.1007/11804192},
isbn = {3-540-36749-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BarnatBC05,
author = {Jiri Barnat and
Lubos Brim and
Ivana Cern{\'{a}}},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Cluster-Based {LTL} Model Checking of Large Systems},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {259--279},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_13},
doi = {10.1007/11804192\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BarnatBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BarnettCDJL05,
author = {Michael Barnett and
Bor{-}Yuh Evan Chang and
Robert DeLine and
Bart Jacobs and
K. Rustan M. Leino},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Boogie: {A} Modular Reusable Verifier for Object-Oriented Programs},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {364--387},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_17},
doi = {10.1007/11804192\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BarnettCDJL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BerdineCO05,
author = {Josh Berdine and
Cristiano Calcagno and
Peter W. O'Hearn},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Smallfoot: Modular Automatic Assertion Checking with Separation Logic},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {115--137},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_6},
doi = {10.1007/11804192\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BerdineCO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ChalinKLP05,
author = {Patrice Chalin and
Joseph R. Kiniry and
Gary T. Leavens and
Erik Poll},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Beyond Assertions: Advanced Specification and Verification with {JML}
and ESC/Java2},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {342--363},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_16},
doi = {10.1007/11804192\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/ChalinKLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ClarkeSS05,
author = {Edmund M. Clarke and
Natasha Sharygina and
Nishant Sinha},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Program Compatibility Approaches},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {243--258},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_12},
doi = {10.1007/11804192\_12},
timestamp = {Wed, 29 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/ClarkeSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DamsN05,
author = {Dennis Dams and
Kedar S. Namjoshi},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Orion: High-Precision Methods for Static Error Analysis of {C} and
{C++} Programs},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {138--160},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_7},
doi = {10.1007/11804192\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DamsN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DistefanoKR05,
author = {Dino Distefano and
Joost{-}Pieter Katoen and
Arend Rensink},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Safety and Liveness in Concurrent Pointer Programs},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {280--312},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_14},
doi = {10.1007/11804192\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DistefanoKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/FerrariHLMT05,
author = {Gian{-}Luigi Ferrari and
Dan Hirsch and
Ivan Lanese and
Ugo Montanari and
Emilio Tuosto},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Synchronised Hyperedge Replacement as a Model for Service Oriented
Computing},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {22--43},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_2},
doi = {10.1007/11804192\_2},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/FerrariHLMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/FokkinkGW05,
author = {Wan J. Fokkink and
Rob J. van Glabbeek and
Paulien de Wind},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Divide and Congruence: From Decomposition of Modalities to Preservation
of Branching Bisimulation},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {195--218},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_10},
doi = {10.1007/11804192\_10},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/FokkinkGW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GroesserB05,
author = {Marcus Gr{\"{o}}{\ss}er and
Christel Baier},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Partial Order Reduction for Markov Decision Processes: {A} Survey},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {408--427},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_19},
doi = {10.1007/11804192\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GroesserB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Grumberg05,
author = {Orna Grumberg},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Abstraction and Refinement in Model Checking},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {219--242},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_11},
doi = {10.1007/11804192\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Grumberg05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Jurjens05,
author = {Jan J{\"{u}}rjens},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Model-Based Security Engineering with {UML:} Introducing Security
Aspects},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {64--87},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_4},
doi = {10.1007/11804192\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Jurjens05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/KomendaS05,
author = {Jan Komenda and
Jan H. van Schuppen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Control of Modular and Distributed Discrete-Event Systems},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {44--63},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_3},
doi = {10.1007/11804192\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/KomendaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/LauOW05,
author = {Kung{-}Kiu Lau and
Mario Ornaghi and
Zheng Wang},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Software Component Model and Its Preliminary Formalisation},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {1--21},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_1},
doi = {10.1007/11804192\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/LauOW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/PierroHW05,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {On a Probabilistic Chemical Abstract Machine and the Expressiveness
of Linda Languages},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {388--407},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_18},
doi = {10.1007/11804192\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/PierroHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Poetzsch-HeffterS05,
author = {Arnd Poetzsch{-}Heffter and
Jan Sch{\"{a}}fer},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Modular Specification of Encapsulated Object-Oriented Components},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {313--341},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_15},
doi = {10.1007/11804192\_15},
timestamp = {Mon, 30 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Poetzsch-HeffterS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/RundeHS05,
author = {Ragnhild Kobro Runde and
{\O}ystein Haugen and
Ketil St{\o}len},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {The Pragmatics of {STAIRS}},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {88--114},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_5},
doi = {10.1007/11804192\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/RundeHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Sangiorgi05,
author = {Davide Sangiorgi},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Beyond Bisimulation: The "up-to" Techniques},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {161--171},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_8},
doi = {10.1007/11804192\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Sangiorgi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/VigliottiPP05,
author = {Maria Grazia Vigliotti and
Iain Phillips and
Catuscia Palamidessi},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Separation Results Via Leader Election Problems},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {172--194},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_9},
doi = {10.1007/11804192\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/VigliottiPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2004,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11561163},
doi = {10.1007/11561163},
isbn = {3-540-29131-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AbrahamBBGS04,
author = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Frank S. de Boer and
Andreas Gr{\"{u}}ner and
Martin Steffen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Observability, Connectivity, and Replay in a Sequential Calculus of
Classes},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {296--316},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_13},
doi = {10.1007/11561163\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AbrahamBBGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AnconaM04,
author = {Davide Ancona and
Eugenio Moggi},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Program Generation and Components},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {222--250},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_10},
doi = {10.1007/11561163\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AnconaM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Ball04,
author = {Thomas Ball},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Theory of Predicate-Complete Test Coverage and Generation},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {1--22},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_1},
doi = {10.1007/11561163\_1},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Ball04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Barbosa04,
author = {Lu{\'{\i}}s Soares Barbosa},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Perspective on Component Refinement},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {23--48},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_2},
doi = {10.1007/11561163\_2},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Barbosa04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BehrmannLR04,
author = {Gerd Behrmann and
Kim Guldstrand Larsen and
Jacob Illum Rasmussen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Priced Timed Automata: Algorithms and Applications},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {162--182},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_8},
doi = {10.1007/11561163\_8},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BehrmannLR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BoerBSA04,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Martin Steffen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Fully Abstract Semantics for {UML} Components},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {49--69},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_3},
doi = {10.1007/11561163\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/BoerBSA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ChatterjeeHJ04,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Marcin Jurdzinski},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Games with Secure Equilibria},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {141--161},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_7},
doi = {10.1007/11561163\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/ChatterjeeHJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/CointeAD04,
author = {Pierre Cointe and
Herv{\'{e}} Albin{-}Amiot and
Simon Denier},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {From (Meta) Objects to Aspects: {A} Java and AspectJ Point of View},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {70--94},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_4},
doi = {10.1007/11561163\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/CointeAD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JohnsenO04,
author = {Einar Broch Johnsen and
Olaf Owe},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously
Communicating Objects},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {274--295},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_12},
doi = {10.1007/11561163\_12},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/JohnsenO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/LiuHL04,
author = {Zhiming Liu and
Jifeng He and
Xiaoshan Li},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {rCOS: Refinement of Component and Object Systems},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {183--221},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_9},
doi = {10.1007/11561163\_9},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/LiuHL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Naumann04,
author = {David A. Naumann},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Assertion-Based Encapsulation, Object Invariants and Simulations},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {251--273},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_11},
doi = {10.1007/11561163\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/Naumann04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/NicolaL04,
author = {Rocco De Nicola and
Michele Loreti},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {MoMo: {A} Modal Logic for Reasoning About Mobility},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {95--119},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_5},
doi = {10.1007/11561163\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/NicolaL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/PierroHW04,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Probabilistic Linda-Based Coordination Languages},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {120--140},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_6},
doi = {10.1007/11561163\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/PierroHW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Wilhelm04,
author = {Reinhard Wilhelm},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Timing Analysis and Timing Predictability},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {317--323},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_14},
doi = {10.1007/11561163\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Wilhelm04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2003,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100112},
doi = {10.1007/B100112},
isbn = {3-540-22942-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BenvenisteCCCS03,
author = {Albert Benveniste and
Beno{\^{\i}}t Caillaud and
Luca P. Carloni and
Paul Caspi and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Causality and Scheduling Constraints in Heterogeneous Reactive Systems
Modeling},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {1--16},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_1},
doi = {10.1007/978-3-540-30101-1\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BenvenisteCCCS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Bergstra03,
author = {Jan A. Bergstra},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Machine Function Based Control Code Algebras},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {17--41},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_2},
doi = {10.1007/978-3-540-30101-1\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Bergstra03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BhargavanFGP03,
author = {Karthikeyan Bhargavan and
C{\'{e}}dric Fournet and
Andrew D. Gordon and
Riccardo Pucella},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {TulaFale: {A} Security Tool for Web Services},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {197--222},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_9},
doi = {10.1007/978-3-540-30101-1\_9},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/BhargavanFGP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BoerP03,
author = {Frank S. de Boer and
Cees Pierik},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {How to Cook a Complete Hoare Logic for Your Pet {OO} Language},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {111--133},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_5},
doi = {10.1007/978-3-540-30101-1\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BoerP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BorgerS03,
author = {Egon B{\"{o}}rger and
Robert F. St{\"{a}}rk},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Exploiting Abstraction for Specification Reuse. The Java/C{\#} Case
Study},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {42--76},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_3},
doi = {10.1007/978-3-540-30101-1\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BorgerS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DammHO03,
author = {Werner Damm and
Hardi Hungar and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {On the Verification of Cooperating Traffic Agents},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {77--110},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_4},
doi = {10.1007/978-3-540-30101-1\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DammHO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Diaconescu03,
author = {Razvan Diaconescu},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Behavioural Specification for Hierarchical Object Composition},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {134--156},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_6},
doi = {10.1007/978-3-540-30101-1\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Diaconescu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/FiadeiroL03,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {CommUnity on the Move: Architectures for Distribution and Mobility},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {177--196},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_8},
doi = {10.1007/978-3-540-30101-1\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/FiadeiroL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GosslerS03,
author = {Gregor G{\"{o}}{\ss}ler and
Joseph Sifakis},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Priority Systems},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {314--329},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_15},
doi = {10.1007/978-3-540-30101-1\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GosslerS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GrooteW03,
author = {Jan Friso Groote and
Tim A. C. Willemse},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Checker for Modal Formulae for Processes with Data},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {223--239},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_10},
doi = {10.1007/978-3-540-30101-1\_10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/GrooteW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GurevichRS03,
author = {Yuri Gurevich and
Benjamin Rossman and
Wolfram Schulte},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Semantic Essence of AsmL},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {240--259},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_11},
doi = {10.1007/978-3-540-30101-1\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GurevichRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/IoustinovaSS03,
author = {Natalia Ioustinova and
Natalia Sidorova and
Martin Steffen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Synchronous Closing and Flow Analysis for Model Checking Timed Systems},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {292--313},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_14},
doi = {10.1007/978-3-540-30101-1\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/IoustinovaSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JezequelDP03,
author = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Olivier Defour and
No{\"{e}}l Plouzeau},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {An {MDA} Approach to Tame Component Based Software Development},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {260--275},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_12},
doi = {10.1007/978-3-540-30101-1\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/JezequelDP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/KusterE03,
author = {Jochen Malte K{\"{u}}ster and
Gregor Engels},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Consistency Management Within Model-Based Object-Oriented Development
of Components},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {157--176},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_7},
doi = {10.1007/978-3-540-30101-1\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/KusterE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Rutten03,
author = {Jan J. M. M. Rutten},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {An Application of Stream Calculus to Signal Flow Graphs},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {276--291},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_13},
doi = {10.1007/978-3-540-30101-1\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Rutten03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/SheynerW03,
author = {Oleg Sheyner and
Jeannette M. Wing},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Tools for Generating and Analyzing Attack Graphs},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {344--372},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_17},
doi = {10.1007/978-3-540-30101-1\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/SheynerW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Wehrheim03,
author = {Heike Wehrheim},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Preserving Properties Under Change},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {330--343},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_16},
doi = {10.1007/978-3-540-30101-1\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Wehrheim03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2002,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b14033},
doi = {10.1007/B14033},
isbn = {3-540-20303-6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Abraham-MummBRS02,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Tool-Supported Proof System for Multithreaded Java},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {1--32},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_1},
doi = {10.1007/978-3-540-39656-7\_1},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Abraham-MummBRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Arbab02,
author = {Farhad Arbab},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Abstract Behavior Types: {A} Foundation Model for Components and Their
Composition},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {33--70},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_2},
doi = {10.1007/978-3-540-39656-7\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Arbab02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ArnoutM02,
author = {Karine Arnout and
Bertrand Meyer},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Finding Implicit Contracts in .NET Components},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {285--318},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_12},
doi = {10.1007/978-3-540-39656-7\_12},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/ArnoutM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BatsonL02,
author = {Brannon Batson and
Leslie Lamport},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {High-Level Specifications: Lessons from Industry},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {242--261},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_10},
doi = {10.1007/978-3-540-39656-7\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BatsonL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DammJPV02,
author = {Werner Damm and
Bernhard Josko and
Amir Pnueli and
Anjelika Votintseva},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Understanding {UML:} {A} Formal Semantics of Concurrency and Communication
in Real-Time {UML}},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {71--98},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_3},
doi = {10.1007/978-3-540-39656-7\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DammJPV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DammW02,
author = {Werner Damm and
Bernd Westphal},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Live and Let Die: LSC-Based Verification of UML-Models},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {99--135},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_4},
doi = {10.1007/978-3-540-39656-7\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DammW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DengDHJRS02,
author = {Xianghua Deng and
Matthew B. Dwyer and
John Hatcliff and
Georg Jung and
Robby and
Gurdip Singh},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {154--181},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_6},
doi = {10.1007/978-3-540-39656-7\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DengDHJRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/FerrariMRT02,
author = {Gian{-}Luigi Ferrari and
Ugo Montanari and
Roberto Raggi and
Emilio Tuosto},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {From Co-algebraic Specifications to Implementation: The Mihda Toolkit},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {319--338},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_13},
doi = {10.1007/978-3-540-39656-7\_13},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/FerrariMRT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GosslerS02,
author = {Gregor G{\"{o}}{\ss}ler and
Joseph Sifakis},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Composition for Component-Based Modeling},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {443--466},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_19},
doi = {10.1007/978-3-540-39656-7\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GosslerS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HarelEC02,
author = {David Harel and
Sol Efroni and
Irun R. Cohen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Reactive Animation},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {136--153},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_5},
doi = {10.1007/978-3-540-39656-7\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HarelEC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HoomanP02,
author = {Jozef Hooman and
Jaco van de Pol},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Equivalent Semantic Models for a Distributed Dataspace Architecture},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {182--201},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_7},
doi = {10.1007/978-3-540-39656-7\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HoomanP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JacobsKW02,
author = {Bart Jacobs and
Joseph Kiniry and
Martijn Warnier},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Java Program Verification Challenges},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {202--219},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_8},
doi = {10.1007/978-3-540-39656-7\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/JacobsKW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JongK02,
author = {Hayco de Jong and
Paul Klint},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {ToolBus: The Next Generation},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {220--241},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_9},
doi = {10.1007/978-3-540-39656-7\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/JongK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/LeavensCCRC02,
author = {Gary T. Leavens and
Yoonsik Cheon and
Curtis Clifton and
Clyde Ruby and
David R. Cok},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {How the Design of {JML} Accomodates Both Runtime Assertion Checking
and Formal Verification},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {262--284},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_11},
doi = {10.1007/978-3-540-39656-7\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/LeavensCCRC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/NierstraszA02,
author = {Oscar Nierstrasz and
Franz Achermann},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Calculus for Modeling Software Components},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {339--360},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_14},
doi = {10.1007/978-3-540-39656-7\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/NierstraszA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/OlderogW02,
author = {Ernst{-}R{\"{u}}diger Olderog and
Heike Wehrheim},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Specification and Inheritance in {CSP-OZ}},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {361--379},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_15},
doi = {10.1007/978-3-540-39656-7\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/OlderogW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/PattinsonW02,
author = {Dirk Pattinson and
Martin Wirsing},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Making Components Move: {A} Separation of Concerns Approach},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {487--507},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_21},
doi = {10.1007/978-3-540-39656-7\_21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/PattinsonW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/PlosilaSW02,
author = {Juha Plosila and
Kaisa Sere and
Marina Wald{\'{e}}n},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Design with Asynchronously Communicating Components},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {424--442},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_18},
doi = {10.1007/978-3-540-39656-7\_18},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/PlosilaSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Rumpe02,
author = {Bernhard Rumpe},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Model-Based Testing of Object-Oriented Systems},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {380--402},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_16},
doi = {10.1007/978-3-540-39656-7\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Rumpe02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Sekerinski02,
author = {Emil Sekerinski},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Concurrent Object-Oriented Programs: From Specification to Code},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {403--423},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_17},
doi = {10.1007/978-3-540-39656-7\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Sekerinski02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/StevensT02,
author = {Perdita Stevens and
Jennifer Tenzer},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Games for {UML} Software Design},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {467--486},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_20},
doi = {10.1007/978-3-540-39656-7\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/StevensT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-07-17 02:42 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
