default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/facs2/facs2010.bht:"
download as .bib file
@proceedings{DBLP:conf/facs2/2010,
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27269-1},
doi = {10.1007/978-3-642-27269-1},
isbn = {978-3-642-27268-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/Adam10,
author = {Ludwig Adam},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Performance Verification in Complex Enterprise-Level Component Systems},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {286--289},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_17},
doi = {10.1007/978-3-642-27269-1\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/Adam10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/AndovaGV10,
author = {Suzana Andova and
Luuk Groenewegen and
Erik P. de Vink},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Distributed Adaption of Dining Philosophers},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {125--144},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_8},
doi = {10.1007/978-3-642-27269-1\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/AndovaGV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/AndreAM10,
author = {Pascal Andr{\'{e}} and
Gilles Ardourel and
Mohamed Messabihi},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Component Service Promotion: Contracts, Mechanisms and Safety},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {145--162},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_9},
doi = {10.1007/978-3-642-27269-1\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/AndreAM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/Arbab10,
author = {Farhad Arbab},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Will the Real Service Oriented Computing Please Stand Up?},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {277--285},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_16},
doi = {10.1007/978-3-642-27269-1\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/Arbab10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BravettiGPZ10,
author = {Mario Bravetti and
Cinzia Di Giusto and
Jorge A. P{\'{e}}rez and
Gianluigi Zavattaro},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Steps on the Road to Component Evolvability},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {295--299},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_19},
doi = {10.1007/978-3-642-27269-1\_19},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BravettiGPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BruniLZ10,
author = {Roberto Bruni and
Zhiming Liu and
Liang Zhao},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Graph Representation of Sessions and Pipelines for Structured Service
Programming},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {259--276},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_15},
doi = {10.1007/978-3-642-27269-1\_15},
timestamp = {Thu, 26 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BruniLZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CairesV10,
author = {Lu{\'{\i}}s Caires and
Hugo Torres Vieira},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Analysis of Service Oriented Software Systems with the Conversation
Calculus},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {6--33},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_2},
doi = {10.1007/978-3-642-27269-1\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/CairesV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CalderGMU10,
author = {Muffy Calder and
Philip D. Gray and
Alice Miller and
Chris Unsworth},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {An Introduction to Pervasive Interface Automata},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {71--87},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_5},
doi = {10.1007/978-3-642-27269-1\_5},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/CalderGMU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CoteJS10,
author = {Daniel C{\^{o}}t{\'{e}} and
Michel Embe Jiague and
Richard St{-}Denis},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Systems-Theoretic View of Component-Based Software Development},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {163--181},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_10},
doi = {10.1007/978-3-642-27269-1\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/CoteJS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/DormoyKL10,
author = {Julien Dormoy and
Olga Kouchnarenko and
Arnaud Lanoix},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Using Temporal Logic for Dynamic Reconfigurations of Components},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {200--217},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_12},
doi = {10.1007/978-3-642-27269-1\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/DormoyKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/KirschLMS10,
author = {Christoph M. Kirsch and
Lu{\'{\i}}s M. B. Lopes and
Eduardo R. B. Marques and
Ana Sokolova},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Runtime Programming through Model-Preserving, Scalable Runtime Patches},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {290--294},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_18},
doi = {10.1007/978-3-642-27269-1\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/KirschLMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/LiuQ10,
author = {Yijing Liu and
Zongyan Qiu},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {A Separation Logic for {OO} Programs},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {88--105},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_6},
doi = {10.1007/978-3-642-27269-1\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/LiuQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/MacedoO10,
author = {Hugo Daniel Macedo and
Jos{\'{e}} Nuno Oliveira},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Towards Linear Algebras of Components},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {300--303},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_20},
doi = {10.1007/978-3-642-27269-1\_20},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/MacedoO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/MouhebANDWP10,
author = {Djedjiga Mouheb and
Dima Alhadidi and
Mariam Nouh and
Mourad Debbabi and
Lingyu Wang and
Makan Pourzandi},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Aspect Weaving in {UML} Activity Diagrams: {A} Semantic and Algorithmic
Framework},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {182--199},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_11},
doi = {10.1007/978-3-642-27269-1\_11},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/MouhebANDWP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/NobakhtBBG10,
author = {Behrooz Nobakht and
Marcello M. Bonsangue and
Frank S. de Boer and
Stijn de Gouw},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Monitoring Method Call Sequences Using Annotations},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {53--70},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_4},
doi = {10.1007/978-3-642-27269-1\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/NobakhtBBG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/PourvatanSAB10,
author = {Bahman Pourvatan and
Marjan Sirjani and
Farhad Arbab and
Marcello M. Bonsangue},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Decomposition of Constraint Automata},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {237--258},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_14},
doi = {10.1007/978-3-642-27269-1\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/PourvatanSAB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/Ramirez-DeantesCP10,
author = {Diana V. Ram{\'{\i}}rez{-}Deantes and
Jes{\'{u}}s Correas and
Germ{\'{a}}n Puebla},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Modular Termination Analysis of Java Bytecode and Its Application
to phoneME Core Libraries},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {218--236},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_13},
doi = {10.1007/978-3-642-27269-1\_13},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/Ramirez-DeantesCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/Rossi10,
author = {Sabina Rossi},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Model Checking Adaptive Multilevel Service Compositions},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {106--124},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_7},
doi = {10.1007/978-3-642-27269-1\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/Rossi10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/Seshia10,
author = {Sanjit A. Seshia},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Quantitative Analysis of Software: Challenges and Recent Advances},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {1--5},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_1},
doi = {10.1007/978-3-642-27269-1\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/Seshia10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/TamuraCCD10,
author = {Gabriel Tamura and
Rubby Casallas and
Anthony Cleve and
Laurence Duchien},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {QoS Contract-Aware Reconfiguration of Component Architectures Using
E-Graphs},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {34--52},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_3},
doi = {10.1007/978-3-642-27269-1\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/TamuraCCD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-11-12 17:06 CET 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:
