Search dblp for Publications

export results for "toc:db/conf/icfem/icfem2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icfem/AndreBDHHKLP13,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Beno{\^{\i}}t Barbot and
                  Clement Demoulins and
                  Lom{-}Messan Hillah and
                  Francis Hulin{-}Hubard and
                  Fabrice Kordon and
                  Alban Linard and
                  Laure Petrucci},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {A Modular Approach for Reusing Formalisms in Verification Tools of
                  Concurrent Systems},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {199--214},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_14},
  doi          = {10.1007/978-3-642-41202-8\_14},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/AndreBDHHKLP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ArltLS13,
  author       = {Stephan Arlt and
                  Zhiming Liu and
                  Martin Sch{\"{a}}f},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Reconstructing Paths for Reachable Code},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {431--446},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_28},
  doi          = {10.1007/978-3-642-41202-8\_28},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ArltLS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/BoytonABFGGKLS13,
  author       = {Andrew Boyton and
                  June Andronick and
                  Callum Bannister and
                  Matthew Fernandez and
                  Xin Gao and
                  David Greenaway and
                  Gerwin Klein and
                  Corey Lewis and
                  Thomas Sewell},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Formally Verified System Initialisation},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {70--85},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_6},
  doi          = {10.1007/978-3-642-41202-8\_6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/BoytonABFGGKLS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/CarvalhoSM13,
  author       = {Gustavo Carvalho and
                  Augusto Sampaio and
                  Alexandre Mota},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {A {CSP} Timed Input-Output Relation and a Strategy for Mechanised
                  Conformance Verification},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {148--164},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_11},
  doi          = {10.1007/978-3-642-41202-8\_11},
  timestamp    = {Thu, 09 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/CarvalhoSM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ChenT0LPL13,
  author       = {Manman Chen and
                  Tian Huat Tan and
                  Jun Sun and
                  Yang Liu and
                  Jun Pang and
                  Xiaohong Li},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Verification of Functional and Non-functional Requirements of Web
                  Service Composition},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {313--328},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_21},
  doi          = {10.1007/978-3-642-41202-8\_21},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ChenT0LPL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/CostantiniFMC13,
  author       = {Giulia Costantini and
                  Pietro Ferrara and
                  Giuseppe Maggiore and
                  Agostino Cortesi},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {The Domain of Parametric Hypercubes for Static Analysis of Computer
                  Games Software},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {447--463},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_29},
  doi          = {10.1007/978-3-642-41202-8\_29},
  timestamp    = {Tue, 24 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/CostantiniFMC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/DihegoAS13,
  author       = {Jos{\'{e}} Dihego and
                  Pedro R. G. Antonino and
                  Augusto Sampaio},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Algebraic Laws for Process Subtyping},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {4--19},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_2},
  doi          = {10.1007/978-3-642-41202-8\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/DihegoAS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/FarooqHI13,
  author       = {Binyameen Farooq and
                  Osman Hasan and
                  Sohail Iqbal},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Formal Kinematic Analysis of the Two-Link Planar Manipulator},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {347--362},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_23},
  doi          = {10.1007/978-3-642-41202-8\_23},
  timestamp    = {Thu, 21 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/FarooqHI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/FeliachiGWW13,
  author       = {Abderrahmane Feliachi and
                  Marie{-}Claude Gaudel and
                  Makarius Wenzel and
                  Burkhart Wolff},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {The Circus Testing Theory Revisited in Isabelle/HOL},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {131--147},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_10},
  doi          = {10.1007/978-3-642-41202-8\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/FeliachiGWW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/HaoLCB013,
  author       = {Jianan Hao and
                  Yang Liu and
                  Wentong Cai and
                  Guangdong Bai and
                  Jun Sun},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {vTRUST: {A} Formal Modeling and Verification Framework for Virtualization
                  Systems},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {329--346},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_22},
  doi          = {10.1007/978-3-642-41202-8\_22},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/HaoLCB013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/HeQCC13,
  author       = {Guanhua He and
                  Shengchao Qin and
                  Wei{-}Ngan Chin and
                  Florin Craciun},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Automated Specification Discovery via User-Defined Predicates},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {397--414},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_26},
  doi          = {10.1007/978-3-642-41202-8\_26},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/HeQCC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/HuangFHQH13,
  author       = {Yanhong Huang and
                  Jo{\~{a}}o F. Ferreira and
                  Guanhua He and
                  Shengchao Qin and
                  Jifeng He},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Deadline Analysis of {AUTOSAR} {OS} Periodic Tasks in the Presence
                  of Interrupts},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {165--181},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_12},
  doi          = {10.1007/978-3-642-41202-8\_12},
  timestamp    = {Fri, 22 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/HuangFHQH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/JacobsS13,
  author       = {Jaco Jacobs and
                  Andrew Simpson},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Towards a Process Algebra Framework for Supporting Behavioural Consistency
                  and Requirements Traceability in SysML},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {265--280},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_18},
  doi          = {10.1007/978-3-642-41202-8\_18},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/JacobsS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/LeCT13,
  author       = {Duy{-}Khanh Le and
                  Wei{-}Ngan Chin and
                  Yong Meng Teo},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Verification of Static and Dynamic Barrier Synchronization Using Bounded
                  Permissions},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {231--248},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_16},
  doi          = {10.1007/978-3-642-41202-8\_16},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LeCT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/LeGVC13,
  author       = {Ton Chanh Le and
                  Cristian Gherghina and
                  Razvan Voicu and
                  Wei{-}Ngan Chin},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {A Proof Slicing Framework for Program Verification},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {53--69},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_5},
  doi          = {10.1007/978-3-642-41202-8\_5},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LeGVC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Li13,
  author       = {Mengjun Li},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Assisting Specification Refinement by Random Testing},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {102--114},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_8},
  doi          = {10.1007/978-3-642-41202-8\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/Li13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/LiuFZG13,
  author       = {Dongxi Liu and
                  Neale Leslie Fulton and
                  John Zic and
                  Martin de Groot},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Verifying an Aircraft Proximity Characterization Method in Coq},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {86--101},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_7},
  doi          = {10.1007/978-3-642-41202-8\_7},
  timestamp    = {Fri, 01 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LiuFZG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/MalletM13,
  author       = {Fr{\'{e}}d{\'{e}}ric Mallet and
                  Jean{-}Vivien Millo},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Boundness Issues in {CCSL} Specifications},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {20--35},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_3},
  doi          = {10.1007/978-3-642-41202-8\_3},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/MalletM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/MiyazawaLC13,
  author       = {Alvaro Miyazawa and
                  Lucas Lima and
                  Ana Cavalcanti},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Formal Models of SysML Blocks},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {249--264},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_17},
  doi          = {10.1007/978-3-642-41202-8\_17},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/MiyazawaLC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Morgan13,
  author       = {Carroll C. Morgan},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Lattices of Information for Security: Deterministic, Demonic, Probabilistic},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_1},
  doi          = {10.1007/978-3-642-41202-8\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/Morgan13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/PereverzevaLTHP13,
  author       = {Inna Pereverzeva and
                  Linas Laibinis and
                  Elena Troubitsyna and
                  Markus Holmberg and
                  Mikko P{\"{o}}ri},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Formal Modelling of Resilient Data Storage in Cloud},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {363--379},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_24},
  doi          = {10.1007/978-3-642-41202-8\_24},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/PereverzevaLTHP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/PortoES13,
  author       = {Faimison Rodrigues Porto and
                  Andr{\'{e}} Takeshi Endo and
                  Adenilso da Silva Sim{\~{a}}o},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Generation of Checking Sequences Using Identification Sets},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {115--130},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_9},
  doi          = {10.1007/978-3-642-41202-8\_9},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/PortoES13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ShiDT13,
  author       = {Ya Shi and
                  Zhenhua Duan and
                  Cong Tian},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Translation from Workflow Nets to {MSVL}},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {281--296},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_19},
  doi          = {10.1007/978-3-642-41202-8\_19},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ShiDT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ShiZL0DQ13,
  author       = {Ling Shi and
                  Yongxin Zhao and
                  Yang Liu and
                  Jun Sun and
                  Jin Song Dong and
                  Shengchao Qin},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {A {UTP} Semantics for Communicating Processes with Shared Variables},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {215--230},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_15},
  doi          = {10.1007/978-3-642-41202-8\_15},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ShiZL0DQ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Si0LW13,
  author       = {Yuanjie Si and
                  Jun Sun and
                  Yang Liu and
                  Ting Wang},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Improving Model Checking Stateful Timed {CSP} with non-Zenoness through
                  Clock-Symmetry Reduction},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {182--198},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_13},
  doi          = {10.1007/978-3-642-41202-8\_13},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/Si0LW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/SuR13,
  author       = {Guoxin Su and
                  David S. Rosenblum},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic
                  Systems},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {297--312},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_20},
  doi          = {10.1007/978-3-642-41202-8\_20},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/SuR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/WinterZHKCL13,
  author       = {Kirsten Winter and
                  Chenyi Zhang and
                  Ian J. Hayes and
                  Nathan Keynes and
                  Cristina Cifuentes and
                  Lian Li},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Path-Sensitive Data Flow Analysis Simplified},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {415--430},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_27},
  doi          = {10.1007/978-3-642-41202-8\_27},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/WinterZHKCL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/WuZ13,
  author       = {Xiaofeng Wu and
                  Huibiao Zhu},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Linking Operational Semantics and Algebraic Semantics for Wireless
                  Networks},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {380--396},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_25},
  doi          = {10.1007/978-3-642-41202-8\_25},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/WuZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ZuoK13,
  author       = {Zhiqiang Zuo and
                  Siau{-}Cheng Khoo},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Mining Dataflow Sensitive Specifications},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {36--52},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_4},
  doi          = {10.1007/978-3-642-41202-8\_4},
  timestamp    = {Fri, 22 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/ZuoK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icfem/2013,
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8},
  doi          = {10.1007/978-3-642-41202-8},
  isbn         = {978-3-642-41201-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/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.