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/conf/fmoods/fmoods2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/fmoods/AbrahamGS06,
author = {Erika {\'{A}}brah{\'{a}}m and
Andreas Gr{\"{u}}ner and
Martin Steffen},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Abstract Interface Behavior of Object-Oriented Languages with Monitors},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {218--232},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_17},
doi = {10.1007/11768869\_17},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/AbrahamGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BartolettiDF06,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Security Issues in Service Composition},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {1--16},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_1},
doi = {10.1007/11768869\_1},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BartolettiDF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/CanalPS06,
author = {Carlos Canal and
Pascal Poizat and
Gwen Sala{\"{u}}n},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Synchronizing Behavioural Mismatch in Software Composition},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {63--77},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_7},
doi = {10.1007/11768869\_7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/CanalPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/ChoiYCM06,
author = {Heeseok Choi and
Keunhyuk Yeom and
Youhee Choi and
Mikyeong Moon},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {An Approach to Quality Achievement at the Architectural Level: {AQUA}},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {20--32},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_4},
doi = {10.1007/11768869\_4},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/ChoiYCM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/CuestaRFB06,
author = {Carlos Enrique Cuesta Quintero and
Mar{\'{\i}}a del Pilar Romay and
Pablo de la Fuente and
Manuel Barrio{-}Sol{\'{o}}rzano},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Temporal Superimposition of Aspects for Dynamic Software Architecture},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {93--107},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_9},
doi = {10.1007/11768869\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/CuestaRFB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/EhrigKTW06,
author = {Karsten Ehrig and
Jochen Malte K{\"{u}}ster and
Gabriele Taentzer and
Jessica Winkelmann},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Generating Instance Models from Meta Models},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {156--170},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_13},
doi = {10.1007/11768869\_13},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/EhrigKTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Fiadeiro06,
author = {Jos{\'{e}} Luiz Fiadeiro},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Separating Distribution from Coordination and Computation as Architectural
Dimensions},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {17},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_2},
doi = {10.1007/11768869\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Fiadeiro06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/GarochePT06,
author = {Pierre{-}Lo{\"{\i}}c Garoche and
Marc Pantel and
Xavier Thirioux},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Static Safety for an Actor Dedicated Process Calculus by Abstract
Interpretation},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {78--92},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_8},
doi = {10.1007/11768869\_8},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/GarochePT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/GuidiL06,
author = {Claudio Guidi and
Roberto Lucchi},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Mobility Mechanisms in Service Oriented Computing},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {233--250},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_18},
doi = {10.1007/11768869\_18},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/GuidiL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/JouaultB06,
author = {Fr{\'{e}}d{\'{e}}ric Jouault and
Jean B{\'{e}}zivin},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {{KM3:} {A} {DSL} for Metamodel Specification},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {171--185},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_14},
doi = {10.1007/11768869\_14},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/JouaultB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/KastenbergKR06,
author = {Harmen Kastenberg and
Anneke Kleppe and
Arend Rensink},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Defining Object-Oriented Execution Semantics Using Graph Transformations},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {186--201},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_15},
doi = {10.1007/11768869\_15},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/KastenbergKR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/LanotteMMT06,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Angelo Troina},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Modeling Long-Running Transactions with Communicating Hierarchical
Timed Automata},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {108--122},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_10},
doi = {10.1007/11768869\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/LanotteMMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/OberGL06,
author = {Iulian Ober and
Susanne Graf and
David Lesens},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Modeling and Validation of a Software Architecture for the Ariane-5
Launcher},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {48--62},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_6},
doi = {10.1007/11768869\_6},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/OberGL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/PoizatRS06,
author = {Pascal Poizat and
Jean{-}Claude Royer and
Gwen Sala{\"{u}}n},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Bounded Analysis and Decomposition for Behavioural Descriptions of
Components},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {33--47},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_5},
doi = {10.1007/11768869\_5},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/PoizatRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/PuZQWZH06,
author = {Geguang Pu and
Huibiao Zhu and
Zongyan Qiu and
Shuling Wang and
Xiangpeng Zhao and
Jifeng He},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Theoretical Foundations of Scope-Based Compensable Flow Language for
Web Service},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {251--266},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_19},
doi = {10.1007/11768869\_19},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/PuZQWZH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/RamosSM06,
author = {Rodrigo Ramos and
Augusto Sampaio and
Alexandre Mota},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Transformation Laws for {UML-RT}},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {123--137},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_11},
doi = {10.1007/11768869\_11},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/RamosSM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/RefsdalRS06,
author = {Atle Refsdal and
Ragnhild Kobro Runde and
Ketil St{\o}len},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Underspecification, Inherent Nondeterminism and Probability in Sequence
Diagrams},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {138--155},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_12},
doi = {10.1007/11768869\_12},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/RefsdalRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Sangiorgi06,
author = {Davide Sangiorgi},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {The Bisimulation Proof Method: Enhancements and Open Problems},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {18--19},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_3},
doi = {10.1007/11768869\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Sangiorgi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/YuJO06,
author = {Ingrid Chieh Yu and
Einar Broch Johnsen and
Olaf Owe},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Type-Safe Runtime Class Upgrades in Creol},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {202--217},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_16},
doi = {10.1007/11768869\_16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/YuJO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2006,
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869},
doi = {10.1007/11768869},
isbn = {3-540-34893-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/2006.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-10 03:03 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:
