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    = {Sun, 06 Oct 2024 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}
}

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.