Search dblp for Publications

export results for "toc:db/conf/fmoods/fmoods1999.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fmoods/BalzarottiCP99,
  author       = {C. Balzarotti and
                  Fiorella de Cindio and
                  Lucia Pomello},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Observation equivalences for the semantics of inheritance},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Tue, 04 Mar 2003 07:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/fmoods/BalzarottiCP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/BlairB99,
  author       = {Lynne Blair and
                  Gordon S. Blair},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Composition in Multiparadigm Specification Techniques},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  pages        = {401--417},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/BlairB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/Boer99,
  author       = {Frank S. de Boer},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Reasoning about Histories in Object-based Distributed Systems},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/Boer99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/BolognesiB99,
  author       = {Tommaso Bolognesi and
                  Andrea Bracciali},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Formal specification of discrete systems by active predicates and
                  dynamic constraints (Short Paper)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Fri, 08 Apr 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/BolognesiB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/BonsangueKS99,
  author       = {Marcello M. Bonsangue and
                  Joost N. Kok and
                  Kaisa Sere},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Developing Object-based Distributed Systems},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/BonsangueKS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/BornHLS99,
  author       = {Marc Born and
                  Andreas Hoffmann and
                  Mang Li and
                  Ina Schieferdecker},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Combining Design Methods for Service Development (Short Paper)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 08 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmoods/BornHLS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/BowmanD99,
  author       = {Howard Bowman and
                  John Derrick},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {A Junction between State Based and Behavioural Specification (Invited
                  Talk)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  pages        = {213--239},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/BowmanD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/BroersenW99,
  author       = {Jan M. Broersen and
                  Roel J. Wieringa},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {A Logic for the Specification of Multi-Object Systems (Short Paper)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Thu, 14 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmoods/BroersenW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/Busi99,
  author       = {Nadia Busi},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Mobile Nets},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/Busi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/CanverH99,
  author       = {Ercument Canver and
                  Friedrich W. von Henke},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Formal Development of Object-Based Systems in a Temporal Logic Setting},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  pages        = {419--436},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/CanverH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/Cardelli99,
  author       = {Luca Cardelli},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Foundations for Wide-Area Systems (Tutorial)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/Cardelli99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/Cimato99,
  author       = {Stelvio Cimato},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Specifying component-based Java applications (Short Paper)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/Cimato99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/ClarkM99,
  author       = {Robert G. Clark and
                  Ana M. D. Moreira},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {{SDL} in Rigorus Object-Oriented Analysis (Short Paper)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Tue, 23 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmoods/ClarkM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/ColacoPDS99,
  author       = {Jean{-}Louis Cola{\c{c}}o and
                  Marc Pantel and
                  Fabien Dagnat and
                  Patrick Sall{\'{e}}},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Static safety analysis for non-uniform service availability in Actors},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Thu, 09 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/ColacoPDS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/DammH99,
  author       = {Werner Damm and
                  David Harel},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {LSCs: Breathing Life into Message Sequence Charts},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/DammH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/DriraGD99,
  author       = {Khalil Drira and
                  Fr{\'{e}}d{\'{e}}ric Gou{\"{e}}zec and
                  Michel Diaz},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Design and implementation of coordination protocols for distributed
                  cooperating objects: {A} general graph-based technique applied to
                  {CORBA}},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/DriraGD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/GaspariZ99,
  author       = {Mauro Gaspari and
                  Gianluigi Zavattaro},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {An Algebra of Actors},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/GaspariZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/GeppertRG99,
  author       = {Birgit Geppert and
                  Frank R{\"{o}}{\ss}ler and
                  Reinhard Gotzhein},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Pattern Application vs. Inheritance in {SDL}},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/GeppertRG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/KobayashiY99,
  author       = {Naoki Kobayashi and
                  Akinori Yonezawa},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Distributed and concurrent objects based on linear logic (Invited
                  Talk)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Fri, 19 Jul 2013 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/KobayashiY99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/Laneve99,
  author       = {Cosimo Laneve},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Calculi for Concurrent Objects (Tutorial)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/Laneve99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/LatellaMM99,
  author       = {Diego Latella and
                  Istv{\'{a}}n Majzik and
                  Mieke Massink},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Towards a Formal Operational Semantics of {UML} Statechart Diagrams},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Thu, 31 Jul 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/LatellaMM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/Linnhoff-PopienT99,
  author       = {Claudia Linnhoff{-}Popien and
                  Dirk Thi{\ss}en},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Assessing Service Properties with Regard to a Requested QoS: The Service
                  Metric (Short Paper)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Fri, 27 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmoods/Linnhoff-PopienT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/NajmNS99,
  author       = {Elie Najm and
                  Abdelkrim Nimour and
                  Jean{-}Bernard Stefani},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Infinite types for distributed object interfaces},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/NajmNS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/Nierstrasz99,
  author       = {Oscar Nierstrasz},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Piccola - {A} Small Compositional Language (Invited Talk)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/Nierstrasz99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/RamazaniB99,
  author       = {D. Ramazani and
                  Gregor von Bochmann},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Object Composition: {A} Case Study},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/RamazaniB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/ReinF99,
  author       = {Rick van Rein and
                  Maarten M. Fokkinga},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Protocol Assuring Universal Language},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  pages        = {241--258},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/ReinF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/Sankar99,
  author       = {Sriram Sankar},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Tools for Integrating Formal Methods in to the Java Software Development
                  Process (Invited Talk)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/Sankar99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/SinnottK99,
  author       = {Richard O. Sinnott and
                  Mario Kolberg},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Engineering Telecommunication Services With {SDL}},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/SinnottK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/SmithT99,
  author       = {Scott F. Smith and
                  Carolyn L. Talcott},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Modular Reasoning for Actor Specification Diagrams},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Thu, 21 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmoods/SmithT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/Stoelen99,
  author       = {Ketil St{\o}len},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Specification of Dynamic Reconfiguration in the Context of Input/Output
                  Relations},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Wed, 14 Jan 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmoods/Stoelen99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/TroyaV99,
  author       = {Jos{\'{e}} M. Troya and
                  Antonio Vallecillo},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Specifying Reusable Controllers for Software Components (Short Paper)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/TroyaV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/VeglioniP99,
  author       = {S. Veglioni and
                  Francesco Parisi{-}Presicce},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Composition and Interaction for Behavioural Specifications},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/VeglioniP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/Zave99,
  author       = {Pamela Zave},
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Distributed Feature Composition: An Architecture for Telecommunication
                  Services (Tutorial)},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/Zave99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmoods/1999,
  editor       = {Paolo Ciancarini and
                  Alessandro Fantechi and
                  Roberto Gorrieri},
  title        = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
                  Third International Conference on Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series       = {{IFIP} Conference Proceedings},
  volume       = {139},
  publisher    = {Kluwer},
  year         = {1999},
  isbn         = {0-7923-8429-6},
  timestamp    = {Tue, 04 Mar 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmoods/1999.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.