Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs263.bht:"
download as .bib file
@proceedings{DBLP:conf/facs2/2009,
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
publisher = {Elsevier},
year = {2010},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/263/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreAAL10,
author = {Pascal Andr{\'{e}} and
Gilles Ardourel and
J. Christian Attiogb{\'{e}} and
Arnaud Lanoix},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {Using Assertions to Enhance the Correctness of Kmelia Components and
their Assemblies},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {5--30},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.002},
doi = {10.1016/J.ENTCS.2010.05.002},
timestamp = {Thu, 09 Mar 2023 15:49:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndreAAL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BalbianiAHK10,
author = {Philippe Balbiani and
Fahima Cheikh Alili and
Pierre{-}Cyrille H{\'{e}}am and
Olga Kouchnarenko},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {Composition of Services with Constraints},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {31--46},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.003},
doi = {10.1016/J.ENTCS.2010.05.003},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BalbianiAHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BauerHJ10,
author = {Sebastian S. Bauer and
Rolf Hennicker and
Stephan Janisch},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {Behaviour Protocols for Interacting Stateful Components},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {47--66},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.004},
doi = {10.1016/J.ENTCS.2010.05.004},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BauerHJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BothZF10,
author = {Andreas Both and
Wolf Zimmermann and
Ren{\'{e}} Franke},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {Model Checking of Component Protocol Conformance - Optimizations by
Reducing False Negatives},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {67--94},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.005},
doi = {10.1016/J.ENTCS.2010.05.005},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BothZF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CansadoCSC10,
author = {Antonio Cansado and
Carlos Canal and
Gwen Sala{\"{u}}n and
Javier Cubo},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {A Formal Framework for Structural Reconfiguration of Components under
Behavioural Adaptation},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {95--110},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.006},
doi = {10.1016/J.ENTCS.2010.05.006},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CansadoCSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GloucheGTG10,
author = {Yann Glouche and
Paul {Le Guernic} and
Jean{-}Pierre Talpin and
Thierry Gautier},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {A Boolean Algebra of Contracts for Assume-guarantee Reasoning},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {111--127},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.007},
doi = {10.1016/J.ENTCS.2010.05.007},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GloucheGTG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KhakpourJTSM10,
author = {Narges Khakpour and
Saeed Jalili and
Carolyn L. Talcott and
Marjan Sirjani and
Mohammad Reza Mousavi},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {129--143},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.008},
doi = {10.1016/J.ENTCS.2010.05.008},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KhakpourJTSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KloosE10,
author = {Johannes Kloos and
Robert Eschbach},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {A Systematic Approach to Construct Compositional Behaviour Models
for Network-structured Safety-critical Systems},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {145--160},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.009},
doi = {10.1016/J.ENTCS.2010.05.009},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KloosE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LagorioSZ10,
author = {Giovanni Lagorio and
Marco Servetto and
Elena Zucca},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {A Lightweight Approach to Customizable Composition Operators for Java-like
Classes},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {161--177},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.010},
doi = {10.1016/J.ENTCS.2010.05.010},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LagorioSZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lumpe10,
author = {Markus Lumpe},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {Action Prefixes: Reified Synchronization Paths in Minimal Component
Interaction Automata},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {179--195},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.011},
doi = {10.1016/J.ENTCS.2010.05.011},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lumpe10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Majster-CederbaumS10,
author = {Mila E. Majster{-}Cederbaum and
Nils Semmelrock},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {Reachability in Tree-Like Component Systems is PSPACE-Complete},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {197--210},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.012},
doi = {10.1016/J.ENTCS.2010.05.012},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Majster-CederbaumS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MengS10,
author = {Sun Meng and
Bernhard Sch{\"{a}}tz},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {Preface},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {1--3},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.001},
doi = {10.1016/J.ENTCS.2010.05.001},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MengS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WilliamsP10,
author = {James R. Williams and
Fiona A. C. Polack},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {Automated Formalisation for Verification of Diagrammatic Models},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {211--226},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.013},
doi = {10.1016/J.ENTCS.2010.05.013},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WilliamsP10.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-05-25 01:29 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:
