Search dblp for Publications

export results for "toc:db/conf/ifm/ifm1999.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ifm/BanachP99,
  author       = {Richard Banach and
                  Michael Poppleton},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Retrenchment and Punctured Simulation},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {457--476},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_24},
  doi          = {10.1007/978-1-4471-0851-1\_24},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/BanachP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/BoltonDW99,
  author       = {Christie Bolton and
                  Jim Davies and
                  Jim Woodcock},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {On the Refinement and Simulation of Data Types and Processes},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {273--292},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_15},
  doi          = {10.1007/978-1-4471-0851-1\_15},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/BoltonDW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/BussowG99,
  author       = {Robert B{\"{u}}ssow and
                  Wolfgang Grieskamp},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {A Modular Framework for the Integration of Heterogeneous Notations
                  and Tools},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {211--230},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_12},
  doi          = {10.1007/978-1-4471-0851-1\_12},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/BussowG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Deiss99,
  author       = {Thomas Dei{\ss}},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {An Approach to the Combination of Formal Description Techniques: Statecharts
                  and {TLA}},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {231--250},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_13},
  doi          = {10.1007/978-1-4471-0851-1\_13},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Deiss99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/DerrickB99,
  author       = {John Derrick and
                  Eerke A. Boiten},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Specifying Component and Context Specification Using Promotion},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {293--312},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_16},
  doi          = {10.1007/978-1-4471-0851-1\_16},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/DerrickB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/DongL99,
  author       = {Jin Song Dong and
                  Shaoying Liu},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {An Object Semantic Model of {SOFL}},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {189--208},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_11},
  doi          = {10.1007/978-1-4471-0851-1\_11},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/DongL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Fidge99,
  author       = {Colin J. Fidge},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Modelling Discrete Behaviour in a Continuous-Time Formalism},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {170--188},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_10},
  doi          = {10.1007/978-1-4471-0851-1\_10},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Fidge99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/FischerW99,
  author       = {Clemens Fischer and
                  Heike Wehrheim},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Model-Checking {CSP-OZ} Specifications with {FDR}},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {315--334},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_17},
  doi          = {10.1007/978-1-4471-0851-1\_17},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/FischerW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/GibsonHM99,
  author       = {J. Paul Gibson and
                  Geoff W. Hamilton and
                  Dominique M{\'{e}}ry},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Integration Problems in Telephone Feature Requirements},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {129--148},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_8},
  doi          = {10.1007/978-1-4471-0851-1\_8},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/GibsonHM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Grosse-Rhode99,
  author       = {Martin Gro{\ss}e{-}Rhode},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {A Compositional Comparison of Specifications of the Alternating Bit
                  Protocol in {CCS} and {UNITY} Based on Algebra Transformation Systems},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {253--272},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_14},
  doi          = {10.1007/978-1-4471-0851-1\_14},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Grosse-Rhode99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/He99,
  author       = {Jifeng He},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {A Common Framework for Mixed Hardware/Software Systems},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {3--25},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_1},
  doi          = {10.1007/978-1-4471-0851-1\_1},
  timestamp    = {Mon, 21 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/He99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Hennessy99,
  author       = {Matthew Hennessy},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Proof Systems for Message-Passing Process Calculi},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {26},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_2},
  doi          = {10.1007/978-1-4471-0851-1\_2},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Hennessy99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/JulliandMM99,
  author       = {Jacques Julliand and
                  Pierre{-}Alain Masson and
                  Hassan Mountassir},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Modular Verification of Dynamic Properties for Reactive Systems},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {89--108},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_6},
  doi          = {10.1007/978-1-4471-0851-1\_6},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/JulliandMM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/LanoA99,
  author       = {Kevin Lano and
                  Kelly Androutsopoulos},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Reactive System Refinement of Distributed Systems in {B}},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {415--434},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_22},
  doi          = {10.1007/978-1-4471-0851-1\_22},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/LanoA99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/MacCollC99,
  author       = {Ian MacColl and
                  David A. Carrington},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Specifying Interactive Systems in Object-Z and {CSP}},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {335--352},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_18},
  doi          = {10.1007/978-1-4471-0851-1\_18},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/MacCollC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/MahonyD99,
  author       = {Brendan P. Mahony and
                  Jin Song Dong},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Overview of the Semantics of {TCOZ}},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {66--85},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_5},
  doi          = {10.1007/978-1-4471-0851-1\_5},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/MahonyD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Mery99,
  author       = {Dominique M{\'{e}}ry},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Requirements for a Temporal {B} - Assigning Temporal Meaning to Abstract
                  Machines... and to Abstract Systems},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {395--414},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_21},
  doi          = {10.1007/978-1-4471-0851-1\_21},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Mery99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Paige99,
  author       = {Richard F. Paige},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Specification and Refinement using a Heterogeneous Notation for Concurrency
                  and Communication},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {353--372},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_19},
  doi          = {10.1007/978-1-4471-0851-1\_19},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Paige99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/PolHJ99,
  author       = {Jaco van de Pol and
                  Jozef Hooman and
                  Edwin D. de Jong},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Modular Formal Specification of Data and Behaviour},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {109--128},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_7},
  doi          = {10.1007/978-1-4471-0851-1\_7},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/PolHJ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/ReedSG99,
  author       = {Joy N. Reed and
                  Jane E. Sinclair and
                  F. Guigand},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Deductive Reasoning versus Model Checking: Two Formal Approaches for
                  System Development},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {375--394},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_20},
  doi          = {10.1007/978-1-4471-0851-1\_20},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/ReedSG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/SmithH99,
  author       = {Graeme Smith and
                  Ian J. Hayes},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Towards Real-Time Object-Z},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {49--65},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_4},
  doi          = {10.1007/978-1-4471-0851-1\_4},
  timestamp    = {Thu, 07 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/SmithH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/StoddartD99,
  author       = {Bill Stoddart and
                  Steve Dunne},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {The Refinement of Event Calculus Models},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {151--169},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_9},
  doi          = {10.1007/978-1-4471-0851-1\_9},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/StoddartD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Suhl99,
  author       = {Carsten S{\"{u}}hl},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {{RT-Z:} An Integration of {Z} and timed {CSP}},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {29--48},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_3},
  doi          = {10.1007/978-1-4471-0851-1\_3},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Suhl99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/TreharneS99,
  author       = {Helen Treharne and
                  Steve A. Schneider},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Using a Process Algebra to Control {B} Operations},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {437--456},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_23},
  doi          = {10.1007/978-1-4471-0851-1\_23},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/TreharneS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ifm/1999,
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1},
  doi          = {10.1007/978-1-4471-0851-1},
  isbn         = {1-85233-107-0},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.