Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/icfem/AhmedH16,
  author       = {Waqar Ahmad and
                  Osman Hasan},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Formal Availability Analysis Using Theorem Proving},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {226--242},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_15},
  doi          = {10.1007/978-3-319-47846-3\_15},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/AhmedH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/AmalioPCW16,
  author       = {Nuno Am{\'{a}}lio and
                  Richard John Payne and
                  Ana Cavalcanti and
                  Jim Woodcock},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Checking SysML Models for Co-simulation},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {450--465},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_28},
  doi          = {10.1007/978-3-319-47846-3\_28},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/AmalioPCW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/AndreLR16,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Didier Lime and
                  Olivier H. Roux},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Decision Problems for Parametric Timed Automata},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {400--416},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_25},
  doi          = {10.1007/978-3-319-47846-3\_25},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/AndreLR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ArakiK16,
  author       = {Keijiro Araki and
                  Taro Kurita},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Promotion of Formal Approaches in Japanese Software Industry and a
                  Best Practice of FeliCa's Case (Extended Abstract)},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {18--25},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_2},
  doi          = {10.1007/978-3-319-47846-3\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ArakiK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/BabinASP16,
  author       = {Guillaume Babin and
                  Yamine A{\"{\i}}t Ameur and
                  Neeraj Kumar Singh and
                  Marc Pantel},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {A System Substitution Mechanism for Hybrid Systems in Event-B},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {106--121},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_8},
  doi          = {10.1007/978-3-319-47846-3\_8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/BabinASP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/BanachB16,
  author       = {Richard Banach and
                  Michael J. Butler},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Modelling Hybrid Systems in Event-B and Hybrid Event-B: {A} Comparison
                  of Water Tanks},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {90--105},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_7},
  doi          = {10.1007/978-3-319-47846-3\_7},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/BanachB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/CassanoMG16,
  author       = {Valentin Cassano and
                  Thomas Stephen Edward Maibaum and
                  Silviya Grigorova},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {A (Proto) Logical Basis for the Notion of a Structured Argument in
                  a Safety Case},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {1--17},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_1},
  doi          = {10.1007/978-3-319-47846-3\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/CassanoMG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ChenTSWL0D16,
  author       = {Manman Chen and
                  Tian Huat Tan and
                  Jun Sun and
                  Jingyi Wang and
                  Yang Liu and
                  Jing Sun and
                  Jin Song Dong},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Service Adaptation with Probabilistic Partial Models},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {122--140},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_9},
  doi          = {10.1007/978-3-319-47846-3\_9},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ChenTSWL0D16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/DongolG16,
  author       = {Brijesh Dongol and
                  Lindsay Groves},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Contextual Trace Refinement for Concurrent Objects: Safety and Progress},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {261--278},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_17},
  doi          = {10.1007/978-3-319-47846-3\_17},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/DongolG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/FilhoOSC16,
  author       = {Madiel S. Conserva Filho and
                  Marcel Vin{\'{\i}}cius Medeiros Oliveira and
                  Augusto Sampaio and
                  Ana Cavalcanti},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Local Livelock Analysis of Component-Based Models},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {279--295},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_18},
  doi          = {10.1007/978-3-319-47846-3\_18},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/FilhoOSC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/FoughaliBDIM16,
  author       = {Mohammed Foughali and
                  Bernard Berthomieu and
                  Silvano Dal{-}Zilio and
                  F{\'{e}}lix Ingrand and
                  Anthony Mallet},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Model Checking Real-Time Properties on the Functional Layer of Autonomous
                  Robots},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {383--399},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_24},
  doi          = {10.1007/978-3-319-47846-3\_24},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/FoughaliBDIM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/GadiaAB16,
  author       = {Saurabh Gadia and
                  Cyrille Artho and
                  Gedare Bloom},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Verifying Nested Lock Priority Inheritance in {RTEMS} with Java Pathfinder},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {417--432},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_26},
  doi          = {10.1007/978-3-319-47846-3\_26},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/GadiaAB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/HaiTA16,
  author       = {Nguyen Minh Hai and
                  Quan Thanh Tho and
                  Le Duc Anh},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Multi-threaded On-the-Fly Model Generation of Malware with Hash Compaction},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {159--174},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_11},
  doi          = {10.1007/978-3-319-47846-3\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/HaiTA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/IliasovSR16,
  author       = {Alexei Iliasov and
                  Paulius Stankaitis and
                  Alexander B. Romanovsky},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Proving Event-B Models with Reusable Generic Lemmas},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {210--225},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_14},
  doi          = {10.1007/978-3-319-47846-3\_14},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/IliasovSR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/KamburjanDC16,
  author       = {Eduard Kamburjan and
                  Crystal Chang Din and
                  Tzu{-}Chun Chen},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Session-Based Compositional Analysis for Actor-Based Languages Using
                  Futures},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {296--312},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_19},
  doi          = {10.1007/978-3-319-47846-3\_19},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/KamburjanDC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/KanHC16,
  author       = {Shuanglong Kan and
                  Zhiqiu Huang and
                  Zhe Chen},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Partial Order Reduction for State/Event Systems},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {329--345},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_21},
  doi          = {10.1007/978-3-319-47846-3\_21},
  timestamp    = {Thu, 22 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/KanHC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/LaibinisTPOH16,
  author       = {Linas Laibinis and
                  Elena Troubitsyna and
                  Inna Pereverzeva and
                  Ian Oliver and
                  Silke Holtmanns},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {A Formal Approach to Identifying Security Vulnerabilities in Telecommunication
                  Networks},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {141--158},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_10},
  doi          = {10.1007/978-3-319-47846-3\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LaibinisTPOH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/LiuW16,
  author       = {Peizun Liu and
                  Thomas Wahl},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Concolic Unbounded-Thread Reachability via Loop Summaries},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {346--362},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_22},
  doi          = {10.1007/978-3-319-47846-3\_22},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LiuW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/MarconiBER16,
  author       = {Francesco Marconi and
                  Marcello M. Bersani and
                  Madalina Erascu and
                  Matteo Rossi},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Towards the Formal Verification of Data-Intensive Applications Through
                  Metric Temporal Logic},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {193--209},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_13},
  doi          = {10.1007/978-3-319-47846-3\_13},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/MarconiBER16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/MiaoPYSB0CX16,
  author       = {Weikai Miao and
                  Geguang Pu and
                  Yinbo Yao and
                  Ting Su and
                  Danzhu Bao and
                  Yang Liu and
                  Shuohao Chen and
                  Kunpeng Xiong},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Automated Requirements Validation for {ATP} Software via Specification
                  Review and Testing},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {26--40},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_3},
  doi          = {10.1007/978-3-319-47846-3\_3},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/MiaoPYSB0CX16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/NguyenTSLLCD16,
  author       = {Truong Khanh Nguyen and
                  Tian Huat Tan and
                  Jun Sun and
                  Jiaying Li and
                  Yang Liu and
                  Manman Chen and
                  Jin Song Dong},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Scaling BDD-based Timed Verification with Simulation Reduction},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {363--382},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_23},
  doi          = {10.1007/978-3-319-47846-3\_23},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/NguyenTSLLCD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/RocchettoT16,
  author       = {Marco Rocchetto and
                  Nils Ole Tippenhauer},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {{CPDY:} Extending the Dolev-Yao Attacker with Physical-Layer Interactions},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {175--192},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_12},
  doi          = {10.1007/978-3-319-47846-3\_12},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/RocchettoT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/SaekiIH16,
  author       = {Takaya Saeki and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Automatic Generation of Potentially Pathological Instances for Validating
                  Alloy Models},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {41--56},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_4},
  doi          = {10.1007/978-3-319-47846-3\_4},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/SaekiIH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ScheurerHB16,
  author       = {Dominic Scheurer and
                  Reiner H{\"{a}}hnle and
                  Richard Bubel},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {A General Lattice Model for Merging Symbolic Execution Branches},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {57--73},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_5},
  doi          = {10.1007/978-3-319-47846-3\_5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/ScheurerHB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/SialaBBF16,
  author       = {Badr Siala and
                  Mohamed Tahar Bhiri and
                  Jean{-}Paul Bodeveix and
                  Mamoun Filali},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {An Event-B Development Process for the Distributed {BIP} Framework},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {313--328},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_20},
  doi          = {10.1007/978-3-319-47846-3\_20},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/SialaBBF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/TanakaAG16,
  author       = {Akira Tanaka and
                  Reynald Affeldt and
                  Jacques Garrigue},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Formal Verification of the rank Algorithm for Succinct Data Structures},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {243--260},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_16},
  doi          = {10.1007/978-3-319-47846-3\_16},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/TanakaAG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/TowsW16,
  author       = {Manuel T{\"{o}}ws and
                  Heike Wehrheim},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {A {CEGAR} Scheme for Information Flow Analysis},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {466--483},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_29},
  doi          = {10.1007/978-3-319-47846-3\_29},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/TowsW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/YanaseSSY16,
  author       = {Ryo Yanase and
                  Tatsunori Sakai and
                  Makoto Sakai and
                  Satoshi Yamane},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {A Case Study of Formal Approach to Dynamically Reconfigurable Systems
                  by Using Dynamic Linear Hybrid Automata},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {74--89},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_6},
  doi          = {10.1007/978-3-319-47846-3\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/YanaseSSY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ZhangMZ16,
  author       = {Min Zhang and
                  Fr{\'{e}}d{\'{e}}ric Mallet and
                  Huibiao Zhu},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {An SMT-Based Approach to the Formal Analysis of {MARTE/CCSL}},
  booktitle    = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {433--449},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_27},
  doi          = {10.1007/978-3-319-47846-3\_27},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ZhangMZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icfem/2016,
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {Formal Methods and Software Engineering - 18th International Conference
                  on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
                  14-18, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3},
  doi          = {10.1007/978-3-319-47846-3},
  isbn         = {978-3-319-47845-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/2016.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.