Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ifm/AguirreRM07,
  author       = {Nazareno Aguirre and
                  Germ{\'{a}}n Regis and
                  T. S. E. Maibaum},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Verifying Temporal Properties of CommUnity Designs},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_1},
  doi          = {10.1007/978-3-540-73210-5\_1},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/AguirreRM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/AuSC07,
  author       = {Oliver Au and
                  Roger G. Stone and
                  John Cooke},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Precise Scenarios - {A} Customer-Friendly Foundation for Formal Specifications},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {21--36},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_2},
  doi          = {10.1007/978-3-540-73210-5\_2},
  timestamp    = {Thu, 07 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/AuSC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/BraghinSB07,
  author       = {Chiara Braghin and
                  Natasha Sharygina and
                  Katerina Barone{-}Adesi},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Automated Verification of Security Policies in Mobile Code},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {37--53},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_3},
  doi          = {10.1007/978-3-540-73210-5\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/BraghinSB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Bruckner07,
  author       = {Ingo Br{\"{u}}ckner},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Slicing Concurrent Real-Time System Specifications for Verification},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {54--74},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_4},
  doi          = {10.1007/978-3-540-73210-5\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Bruckner07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/ButterfieldSW07,
  author       = {Andrew Butterfield and
                  Adnan Sherif and
                  Jim Woodcock},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Slotted-Circus},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {75--97},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_5},
  doi          = {10.1007/978-3-540-73210-5\_5},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/ButterfieldSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/CalameIPS07,
  author       = {Jens R. Calam{\'{e}} and
                  Natalia Ioustinova and
                  Jaco van de Pol and
                  Natalia Sidorova},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Bug Hunting with False Negatives},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {98--117},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_6},
  doi          = {10.1007/978-3-540-73210-5\_6},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/CalameIPS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/CavarraW07,
  author       = {Alessandra Cavarra and
                  James Welch},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Behavioural Specifications from Class Models},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {118--137},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_7},
  doi          = {10.1007/978-3-540-73210-5\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/CavarraW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Chen07,
  author       = {Yifeng Chen},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Inheriting Laws for Processes with States},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {138--155},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_8},
  doi          = {10.1007/978-3-540-73210-5\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Chen07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/ColvinGW07,
  author       = {Robert Colvin and
                  Lars Grunske and
                  Kirsten Winter},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Probabilistic Timed Behavior Trees},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {156--175},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_9},
  doi          = {10.1007/978-3-540-73210-5\_9},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/ColvinGW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/CouchotD07,
  author       = {Jean{-}Fran{\c{c}}ois Couchot and
                  Fr{\'{e}}d{\'{e}}ric Dadeau},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Guiding the Correction of Parameterized Specifications},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {176--194},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_10},
  doi          = {10.1007/978-3-540-73210-5\_10},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/CouchotD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/DerrickSW07,
  author       = {John Derrick and
                  Gerhard Schellhorn and
                  Heike Wehrheim},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Proving Linearizability Via Non-atomic Refinement},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {195--214},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_11},
  doi          = {10.1007/978-3-540-73210-5\_11},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/DerrickSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/DunneG07,
  author       = {Steve Dunne and
                  Andy Galloway},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Lifting General Correctness into Partial Correctness is \emph{ok}},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {215--232},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_12},
  doi          = {10.1007/978-3-540-73210-5\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/DunneG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/FaberJS07,
  author       = {Johannes Faber and
                  Swen Jacobs and
                  Viorica Sofronie{-}Stokkermans},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Verifying {CSP-OZ-DC} Specifications with Complex Data Types and Timing
                  Parameters},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {233--252},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_13},
  doi          = {10.1007/978-3-540-73210-5\_13},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/FaberJS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/FehnkerHM07,
  author       = {Ansgar Fehnker and
                  Lodewijk van Hoesel and
                  Angelika Mader},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Modelling and Verification of the {LMAC} Protocol for Wireless Sensor
                  Networks},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {253--272},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_14},
  doi          = {10.1007/978-3-540-73210-5\_14},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/FehnkerHM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/GheorghiuGC07,
  author       = {Mihaela Gheorghiu and
                  Arie Gurfinkel and
                  Marsha Chechik},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Finding State Solutions to Temporal Logic Queries},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {273--292},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_15},
  doi          = {10.1007/978-3-540-73210-5\_15},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/GheorghiuGC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/HallerstedeH07,
  author       = {Stefan Hallerstede and
                  Thai Son Hoang},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Qualitative Probabilistic Modelling in Event-B},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {293--312},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_16},
  doi          = {10.1007/978-3-540-73210-5\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/HallerstedeH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/HanebergGRS07,
  author       = {Dominik Haneberg and
                  Holger Grandy and
                  Wolfgang Reif and
                  Gerhard Schellhorn},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Verifying Smart Card Applications: An {ASM} Approach},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {313--332},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_17},
  doi          = {10.1007/978-3-540-73210-5\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/HanebergGRS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/HasanT07,
  author       = {Osman Hasan and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Verification of Probabilistic Properties in {HOL} Using the Cumulative
                  Distribution Function},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {333--352},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_18},
  doi          = {10.1007/978-3-540-73210-5\_18},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/HasanT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Jifeng07,
  author       = {Jifeng He},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {{UTP} Semantics for Web Services},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {353--372},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_19},
  doi          = {10.1007/978-3-540-73210-5\_19},
  timestamp    = {Mon, 21 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/Jifeng07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/KarkinskyST07,
  author       = {Damien Karkinsky and
                  Steve A. Schneider and
                  Helen Treharne},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Combining Mobility with State},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {373--392},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_20},
  doi          = {10.1007/978-3-540-73210-5\_20},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/KarkinskyST07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/KongOF07,
  author       = {Weiqiang Kong and
                  Kazuhiro Ogata and
                  Kokichi Futatsugi},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse
                  System},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {393--412},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_21},
  doi          = {10.1007/978-3-540-73210-5\_21},
  timestamp    = {Sat, 03 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/KongOF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Marr07,
  author       = {Christie Marr},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Capturing Conflict and Confusion in {CSP}},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {413--438},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_22},
  doi          = {10.1007/978-3-540-73210-5\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Marr07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/MeinickeS07,
  author       = {Larissa Meinicke and
                  Graeme Smith},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {A Stepwise Development Process for Reasoning About the Reliability
                  of Real-Time Systems},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {439--458},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_23},
  doi          = {10.1007/978-3-540-73210-5\_23},
  timestamp    = {Thu, 07 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/MeinickeS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Metzler07,
  author       = {Bj{\"{o}}rn Metzler},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Decomposing Integrated Specifications for Verification},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {459--479},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_24},
  doi          = {10.1007/978-3-540-73210-5\_24},
  timestamp    = {Thu, 20 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Metzler07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/OostdijkRTVW07,
  author       = {Martijn Oostdijk and
                  Vlad Rusu and
                  Jan Tretmans and
                  Ren{\'{e}} G. de Vries and
                  Tim A. C. Willemse},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Integrating Verification, Testing, and Learning for Cryptographic
                  Protocols},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {538--557},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_28},
  doi          = {10.1007/978-3-540-73210-5\_28},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/OostdijkRTVW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/PlaggeL07,
  author       = {Daniel Plagge and
                  Michael Leuschel},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Validating {Z} Specifications Using the ProBAnimator and Model Checker},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {480--500},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_25},
  doi          = {10.1007/978-3-540-73210-5\_25},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/PlaggeL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/PodorozhnyKPZ07,
  author       = {Rodion M. Podorozhny and
                  Sarfraz Khurshid and
                  Dewayne E. Perry and
                  Xiaoqin Zhang},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Verification of Multi-agent Negotiations Using the Alloy Analyzer},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {501--517},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_26},
  doi          = {10.1007/978-3-540-73210-5\_26},
  timestamp    = {Thu, 28 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/PodorozhnyKPZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/PostK07,
  author       = {Hendrik Post and
                  Wolfgang K{\"{u}}chlin},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Integrated Static Analysis for Linux Device Driver Verification},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {518--537},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_27},
  doi          = {10.1007/978-3-540-73210-5\_27},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/PostK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/SalaunKLM07,
  author       = {Gwen Sala{\"{u}}n and
                  Jeff Kramer and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Jeff Magee},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Translating {FSP} into {LOTOS} and Networks of Automata},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {558--578},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_29},
  doi          = {10.1007/978-3-540-73210-5\_29},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/SalaunKLM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/SinnigCK07,
  author       = {Daniel Sinnig and
                  Patrice Chalin and
                  Ferhat Khendek},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Common Semantics for Use Cases and Task Models},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {579--598},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_30},
  doi          = {10.1007/978-3-540-73210-5\_30},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/SinnigCK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/SmithG07,
  author       = {Michael Anthony Smith and
                  Jeremy Gibbons},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Unifying Theories of Objects},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {599--618},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_31},
  doi          = {10.1007/978-3-540-73210-5\_31},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/SmithG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Toben07,
  author       = {Tobe Toben},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Non-interference Properties for Data-Type Reduction of Communicating
                  Systems},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {619--638},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_32},
  doi          = {10.1007/978-3-540-73210-5\_32},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Toben07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/VerhoefVHB07,
  author       = {Marcel Verhoef and
                  Peter Visser and
                  Jozef Hooman and
                  Jan F. Broenink},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Co-simulation of Distributed Embedded Real-Time Control Systems},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {639--658},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_33},
  doi          = {10.1007/978-3-540-73210-5\_33},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/VerhoefVHB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ifm/2007,
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5},
  doi          = {10.1007/978-3-540-73210-5},
  isbn         = {978-3-540-73209-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/2007.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.