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/fmco/fmco2003.bht:"
download as .bib file
@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}
}
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 07:53 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:
