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/ifm/ifm2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/ifm/Ameur00,
author = {Yamine A{\"{\i}}t Ameur},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Cooperation of Formal Methods in an Engineering Based Software Development
Process},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {136--155},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_9},
doi = {10.1007/3-540-40911-4\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Ameur00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BaumeisterZ00,
author = {Hubert Baumeister and
Alexandre V. Zamulin},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {State-Based Extensions of {CASL}},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {3--24},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_2},
doi = {10.1007/3-540-40911-4\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BaumeisterZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BertC00,
author = {Didier Bert and
Francis Cave},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Construction of Finite Labelled Transistion Systems from {B} Abstract
Systems},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {235--254},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_14},
doi = {10.1007/3-540-40911-4\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BertC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BoltonD00,
author = {Christie Bolton and
Jim Davies},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Activity Graphs and Processes},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {77--96},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_6},
doi = {10.1007/3-540-40911-4\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BoltonD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Bowen00,
author = {Jonathan P. Bowen},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Combining Operational Semantics, Logic Programming and Literate Programming
in the Specification and Animation of the Verilog Hardware Description
Language},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {277--296},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_16},
doi = {10.1007/3-540-40911-4\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Bowen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BryansBBD00,
author = {Jeremy W. Bryans and
Lynne Blair and
Howard Bowman and
John Derrick},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Specification and Analysis of Automata-Based Designs},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {176--193},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_11},
doi = {10.1007/3-540-40911-4\_11},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BryansBBD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ButlerF00,
author = {Michael J. Butler and
Carla Ferreira},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {A Process Compensation Language},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {61--76},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_5},
doi = {10.1007/3-540-40911-4\_5},
timestamp = {Fri, 02 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/ButlerF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/CansellMM00,
author = {Dominique Cansell and
Dominique M{\'{e}}ry and
Stephan Merz},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Predicate Diagrams for the Verification of Reactive Systems},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {380--397},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_22},
doi = {10.1007/3-540-40911-4\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/CansellMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Chen00,
author = {Yifeng Chen},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {How to Write a Healthiness Condition},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {299--317},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_18},
doi = {10.1007/3-540-40911-4\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Chen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DerrickS00,
author = {John Derrick and
Graeme Smith},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Structural Refinement in Object-Z/CSP},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {194--213},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_12},
doi = {10.1007/3-540-40911-4\_12},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DerrickS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Dingel00,
author = {J{\"{u}}rgen Dingel},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Towards a Unified Development Methodology for Shared-Variable Parallel
and Distributed Programs},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {214--234},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_13},
doi = {10.1007/3-540-40911-4\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Dingel00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/FischerC00,
author = {J{\"{o}}rg Fischer and
Stefan Conrad},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Formalizing Timing Diagrams as Causal Dependencies for Verification
Purposes},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {45--60},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_4},
doi = {10.1007/3-540-40911-4\_4},
timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/FischerC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HaxthausenY00,
author = {Anne Elisabeth Haxthausen and
Xia Yong},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Linking {DC} Together with {TRSL}},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {25--44},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_3},
doi = {10.1007/3-540-40911-4\_3},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/HaxthausenY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HermannsKMS00,
author = {Holger Hermanns and
Joost{-}Pieter Katoen and
Joachim Meyer{-}Kayser and
Markus Siegle},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Towards Model Checking Stochastic Process Algebra},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {420--439},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_24},
doi = {10.1007/3-540-40911-4\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HermannsKMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Hoare00,
author = {C. A. R. Hoare},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Assertions},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {1--2},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_1},
doi = {10.1007/3-540-40911-4\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Hoare00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Jonkers00,
author = {H. B. M. Jonkers},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {ISpec: Towards Practical and Sound Interface Specifications},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {116--135},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_8},
doi = {10.1007/3-540-40911-4\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Jonkers00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KlaudelP00,
author = {Hanna Klaudel and
Franck Pommereau},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {A Concurrent and Compositional Petri Net Semantics of Preemption},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {318--337},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_19},
doi = {10.1007/3-540-40911-4\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/KlaudelP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MassonMJ00,
author = {Pierre{-}Alain Masson and
Hassan Mountassir and
Jacques Julliand},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Modular Verification for a Class of {PLTL} Properties},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {398--419},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_23},
doi = {10.1007/3-540-40911-4\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/MassonMJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MeyerS00,
author = {Eric Meyer and
Thomas Santen},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Behavioral Conformance Verification in an Integrated Approach Using
{UML} and {B}},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {358--379},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_21},
doi = {10.1007/3-540-40911-4\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/MeyerS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PetreS00,
author = {Luigia Petre and
Kaisa Sere},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Developing Control Systems Components},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {156--175},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_10},
doi = {10.1007/3-540-40911-4\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PetreS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ReeveR00,
author = {Greg Reeve and
Steve Reeves},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {mu-Charts and {Z:} Hows, Whys, and Wherefores},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {255--276},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_15},
doi = {10.1007/3-540-40911-4\_15},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ReeveR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/RusuBJ00,
author = {Vlad Rusu and
Lydie du Bousquet and
Thierry J{\'{e}}ron},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {An Approach to Symbolic Test Generation},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {338--357},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_20},
doi = {10.1007/3-540-40911-4\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/RusuBJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Schulte00,
author = {Wolfram Schulte},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Why Doesn't Anyone Use Formal Methods?},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {297--298},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_17},
doi = {10.1007/3-540-40911-4\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Schulte00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SmithH00,
author = {Graeme Smith and
Ian J. Hayes},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Structuring Real-Time Object-Z Specifications},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {97--115},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_7},
doi = {10.1007/3-540-40911-4\_7},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SmithH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2000,
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4},
doi = {10.1007/3-540-40911-4},
isbn = {3-540-41196-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2000.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-04-26 22: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:
