Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ifm/Abrial13,
  author       = {Jean{-}Raymond Abrial},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {From {Z} to {B} and then Event-B: Assigning Proofs to Meaningful Programs},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_1},
  doi          = {10.1007/978-3-642-38613-8\_1},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Abrial13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/AlbertCPR13,
  author       = {Elvira Albert and
                  Jes{\'{u}}s Correas and
                  Germ{\'{a}}n Puebla and
                  Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Quantified Abstractions of Distributed Systems},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {285--300},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_20},
  doi          = {10.1007/978-3-642-38613-8\_20},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/AlbertCPR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/AndriamiarinaMS13,
  author       = {Manamiary Bruno Andriamiarina and
                  Dominique M{\'{e}}ry and
                  Neeraj Kumar Singh},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Integrating Proved State-Based Models for Constructing Correct Distributed
                  Algorithms},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {268--284},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_19},
  doi          = {10.1007/978-3-642-38613-8\_19},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/AndriamiarinaMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/CastillosDJKT13,
  author       = {Kalou Cabrera Castillos and
                  Fr{\'{e}}d{\'{e}}ric Dadeau and
                  Jacques Julliand and
                  Bilal Kanso and
                  Safouan Taha},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {A Compositional Automata-Based Semantics for Property Patterns},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {316--330},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_22},
  doi          = {10.1007/978-3-642-38613-8\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/CastillosDJKT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Ciobaca13,
  author       = {{\c{S}}tefan Ciob{\^{a}}c{\u{a}}},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {From Small-Step Semantics to Big-Step Semantics, Automatically},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {347--361},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_24},
  doi          = {10.1007/978-3-642-38613-8\_24},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Ciobaca13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/DemasiCMA13,
  author       = {Ramiro Demasi and
                  Pablo F. Castro and
                  T. S. E. Maibaum and
                  Nazareno Aguirre},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Characterizing Fault-Tolerant Systems by Means of Simulation Relations},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {428--442},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_29},
  doi          = {10.1007/978-3-642-38613-8\_29},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/DemasiCMA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/GavaFG13,
  author       = {Fr{\'{e}}d{\'{e}}ric Gava and
                  Jean Fortin and
                  Micha{\"{e}}l Guedj},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Deductive Verification of State-Space Algorithms},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {124--138},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_9},
  doi          = {10.1007/978-3-642-38613-8\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/GavaFG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/GiachinoGLLW13,
  author       = {Elena Giachino and
                  Carlo Augusto Grazia and
                  Cosimo Laneve and
                  Michael Lienhardt and
                  Peter Y. H. Wong},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Deadlock Analysis of Concurrent Objects: Theory and Practice},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {394--411},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_27},
  doi          = {10.1007/978-3-642-38613-8\_27},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/GiachinoGLLW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/GrafQ13,
  author       = {Susanne Graf and
                  Sophie Quinton},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Knowledge for the Distributed Implementation of Constrained Systems},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {77--93},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_6},
  doi          = {10.1007/978-3-642-38613-8\_6},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/GrafQ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/HudonH13,
  author       = {Simon Hudon and
                  Thai Son Hoang},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Systems Design Guided by Progress Concerns},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {16--30},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_2},
  doi          = {10.1007/978-3-642-38613-8\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/HudonH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/IshiiMN13,
  author       = {Daisuke Ishii and
                  Guillaume Melquiond and
                  Shin Nakajima},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Inductive Verification of Hybrid Automata with Strongest Postcondition
                  Calculus},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {139--153},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_10},
  doi          = {10.1007/978-3-642-38613-8\_10},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/IshiiMN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/LaneveP13,
  author       = {Cosimo Laneve and
                  Luca Padovani},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {An Algebraic Theory for Web Service Contracts},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {301--315},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_21},
  doi          = {10.1007/978-3-642-38613-8\_21},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/LaneveP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Larsen13,
  author       = {Kim Guldstrand Larsen},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Priced Timed Automata and Statistical Model Checking},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {154--161},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_11},
  doi          = {10.1007/978-3-642-38613-8\_11},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Larsen13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Lausdahl13,
  author       = {Kenneth Lausdahl},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Translating {VDM} to Alloy},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_4},
  doi          = {10.1007/978-3-642-38613-8\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Lausdahl13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/LiuLACSWD13,
  author       = {Shuang Liu and
                  Yang Liu and
                  {\'{E}}tienne Andr{\'{e}} and
                  Christine Choppy and
                  Jun Sun and
                  Bimlesh Wadhwa and
                  Jin Song Dong},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {A Formal Semantics for Complete {UML} State Machines with Communications},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {331--346},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_23},
  doi          = {10.1007/978-3-642-38613-8\_23},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/LiuLACSWD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/LucanuR13,
  author       = {Dorel Lucanu and
                  Vlad Rusu},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Program Equivalence by Circular Reasoning},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {362--377},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_25},
  doi          = {10.1007/978-3-642-38613-8\_25},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/LucanuR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/MeryP13,
  author       = {Dominique M{\'{e}}ry and
                  Michael Poppleton},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Formal Modelling and Verification of Population Protocols},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {208--222},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_15},
  doi          = {10.1007/978-3-642-38613-8\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/MeryP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/MilloRKN13,
  author       = {Jean{-}Vivien Millo and
                  S. Ramesh and
                  Shankara Narayanan Krishna and
                  Ganesh Khandu Narwane},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Compositional Verification of Software Product Lines},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {109--123},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_8},
  doi          = {10.1007/978-3-642-38613-8\_8},
  timestamp    = {Wed, 11 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/MilloRKN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/MoranHS13,
  author       = {Murat Moran and
                  James Heather and
                  Steve A. Schneider},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Automated Anonymity Verification of the ThreeBallot Voting System},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {94--108},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_7},
  doi          = {10.1007/978-3-642-38613-8\_7},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/MoranHS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/MorgensternGS13,
  author       = {Andreas Morgenstern and
                  Manuel Gesell and
                  Klaus Schneider},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Solving Games Using Incremental Induction},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {177--191},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_13},
  doi          = {10.1007/978-3-642-38613-8\_13},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/MorgensternGS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/OlderogS13,
  author       = {Ernst{-}R{\"{u}}diger Olderog and
                  Mani Swaminathan},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Structural Transformations for Data-Enriched Real-Time Systems},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {378--393},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_26},
  doi          = {10.1007/978-3-642-38613-8\_26},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/OlderogS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Prehofer13,
  author       = {Christian Prehofer},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Assume-Guarantee Specifications of State Transition Diagrams for Behavioral
                  Refinement},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {31--45},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_3},
  doi          = {10.1007/978-3-642-38613-8\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Prehofer13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/RuksenasCH13,
  author       = {Rimvydas Ruksenas and
                  Paul Curzon and
                  Michael D. Harrison},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Integrating Formal Predictions of Interactive System Behaviour with
                  User Evaluation},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {238--252},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_17},
  doi          = {10.1007/978-3-642-38613-8\_17},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/RuksenasCH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/SavaryFL13,
  author       = {Aymerick Savary and
                  Marc Frappier and
                  Jean{-}Louis Lanet},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based
                  Testing},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {223--237},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_16},
  doi          = {10.1007/978-3-642-38613-8\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/SavaryFL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Song00LD13,
  author       = {Songzheng Song and
                  Lin Gui and
                  Jun Sun and
                  Yang Liu and
                  Jin Song Dong},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Improved Reachability Analysis in {DTMC} via Divide and Conquer},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {162--176},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_12},
  doi          = {10.1007/978-3-642-38613-8\_12},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Song00LD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/SongT13,
  author       = {Fu Song and
                  Tayssir Touili},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Model-Checking Software Library {API} Usage Rules},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {192--207},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_14},
  doi          = {10.1007/978-3-642-38613-8\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/SongT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/TaylorBD13,
  author       = {Ramsay Taylor and
                  Kirill Bogdanov and
                  John Derrick},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Automatic Inference of Erlang Module Behaviour},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {253--267},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_18},
  doi          = {10.1007/978-3-642-38613-8\_18},
  timestamp    = {Thu, 18 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/TaylorBD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/VekrisLDM13,
  author       = {Dimitris Vekris and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Catalin Dima and
                  Radu Mateescu},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Verification of EB\({}^{\mbox{3}}\) Specifications Using {CADP}},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {61--76},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_5},
  doi          = {10.1007/978-3-642-38613-8\_5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/VekrisLDM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/VigoNN13,
  author       = {Roberto Vigo and
                  Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Broadcast, Denial-of-Service, and Secure Communication},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {412--427},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_28},
  doi          = {10.1007/978-3-642-38613-8\_28},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/VigoNN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ifm/2013,
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8},
  doi          = {10.1007/978-3-642-38613-8},
  isbn         = {978-3-642-38612-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/2013.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.