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/ifm2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/ifm/BenesBCSVZ09,
author = {Nikola Benes and
Lubos Brim and
Ivana Cern{\'{a}} and
Jiri Sochor and
Pavl{\'{\i}}na Varekov{\'{a}} and
Barbora Zimmerov{\'{a}}},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Partial Order Reduction for State/Event {LTL}},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {307--321},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_21},
doi = {10.1007/978-3-642-00255-7\_21},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BenesBCSVZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BoitenD09,
author = {Eerke A. Boiten and
John Derrick},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Modelling Divergence in Relational Concurrent Refinement},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {183--199},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_13},
doi = {10.1007/978-3-642-00255-7\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BoitenD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BuiN09,
author = {Thang H. Bui and
Albert Nymeyer},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Formal Verification Based on Guided Random Walks},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {72--87},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_6},
doi = {10.1007/978-3-642-00255-7\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BuiN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Butler09,
author = {Michael J. Butler},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Decomposition Structures for Event-B},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {20--38},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_2},
doi = {10.1007/978-3-642-00255-7\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Butler09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/CabotCR09,
author = {Jordi Cabot and
Robert Claris{\'{o}} and
Daniel Riera},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Verifying {UML/OCL} Operation Contracts},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {40--55},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_4},
doi = {10.1007/978-3-642-00255-7\_4},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/CabotCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ColvinH09,
author = {Robert Colvin and
Ian J. Hayes},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {{CSP} with Hierarchical State},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {118--135},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_9},
doi = {10.1007/978-3-642-00255-7\_9},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ColvinH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Cook09,
author = {Byron Cook},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Taming the Unbounded for Hardware Synthesis},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {39},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_3},
doi = {10.1007/978-3-642-00255-7\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Cook09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DovlandJOS09,
author = {Johan Dovland and
Einar Broch Johnsen and
Olaf Owe and
Martin Steffen},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Incremental Reasoning for Multiple Inheritance},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {215--230},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_15},
doi = {10.1007/978-3-642-00255-7\_15},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DovlandJOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HasanAT09,
author = {Osman Hasan and
Naeem Abbasi and
Sofi{\`{e}}ne Tahar},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable
Memory Arrays},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {277--291},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_19},
doi = {10.1007/978-3-642-00255-7\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HasanAT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HoangKBA09,
author = {Thai Son Hoang and
Hironobu Kuruma and
David A. Basin and
Jean{-}Raymond Abrial},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Developing Topology Discovery in Event-B},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {1--19},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_1},
doi = {10.1007/978-3-642-00255-7\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HoangKBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LammelZ09,
author = {Ralf L{\"{a}}mmel and
Vadim Zaytsev},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {An Introduction to Grammar Convergence},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {246--260},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_17},
doi = {10.1007/978-3-642-00255-7\_17},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/LammelZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LangariT09,
author = {Zarrin Langari and
Richard J. Trefler},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Application of Graph Transformation in Verification of Dynamic Systems},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {261--276},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_18},
doi = {10.1007/978-3-642-00255-7\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LangariT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MilhauFF09,
author = {J{\'{e}}r{\'{e}}my Milhau and
Beno{\^{\i}}t Fraikin and
Marc Frappier},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Automatic Generation of Error Messages for the Symbolic Execution
of {EB3} Process Expressions},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {337--351},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_23},
doi = {10.1007/978-3-642-00255-7\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/MilhauFF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PaceS09,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Challenges in the Specification of Full Contracts},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {292--306},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_20},
doi = {10.1007/978-3-642-00255-7\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PaceS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Rakow09,
author = {Astrid Rakow},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Decompositional Petri Net Reductions},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {352--366},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_24},
doi = {10.1007/978-3-642-00255-7\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Rakow09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SalaunB09,
author = {Gwen Sala{\"{u}}n and
Tevfik Bultan},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Realizability of Choreographies Using Process Algebra Encodings},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {167--182},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_12},
doi = {10.1007/978-3-642-00255-7\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SalaunB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SchneiderT09,
author = {Steve A. Schneider and
Helen Treharne},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Changing System Interfaces Consistently: {A} New Refinement Strategy
for CSP{\(\vert\)}{\(\vert\)}B},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {103--117},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_8},
doi = {10.1007/978-3-642-00255-7\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/SchneiderT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/StockerLG09,
author = {Jan St{\"{o}}cker and
Fr{\'{e}}d{\'{e}}ric Lang and
Hubert Garavel},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Parallel Processes with Real-Time and Data: The {ATLANTIF} Intermediate
Format},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {88--102},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_7},
doi = {10.1007/978-3-642-00255-7\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/StockerLG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/VargasGTG09,
author = {Abigail Parisaca Vargas and
Ana Gabriela Garis and
Silvia Lizeth Tapia Tarifa and
Chris George},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Model Checking {LTL} Formulae in {RAISE} with {FDR}},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {231--245},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_16},
doi = {10.1007/978-3-642-00255-7\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/VargasGTG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/VossSE09,
author = {Sebastian Voss and
Maria Sorea and
Klaus Echtle},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {SAL-Based Symbolic Scheduling in Time-Triggered Networks},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {200--214},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_14},
doi = {10.1007/978-3-642-00255-7\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/VossSE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Weiss09,
author = {Benjamin Wei{\ss}},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Predicate Abstraction in a Program Logic Calculus},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {136--150},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_10},
doi = {10.1007/978-3-642-00255-7\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Weiss09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/WongG09,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Property Specifications for Workflow Modelling},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {56--71},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_5},
doi = {10.1007/978-3-642-00255-7\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/WongG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/YangASHSG09,
author = {Zijiang Yang and
Bashar Al{-}Rawi and
Karem A. Sakallah and
Xiaowan Huang and
Scott A. Smolka and
Radu Grosu},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Dynamic Path Reduction for Software Model Checking},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {322--336},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_22},
doi = {10.1007/978-3-642-00255-7\_22},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/YangASHSG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ZeydaC09,
author = {Frank Zeyda and
Ana Cavalcanti},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Mechanised Translation of Control Law Diagrams into Circus},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {151--166},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_11},
doi = {10.1007/978-3-642-00255-7\_11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/ZeydaC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2009,
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7},
doi = {10.1007/978-3-642-00255-7},
isbn = {978-3-642-00254-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2009.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-05-07 05:45 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:
