Search dblp for Publications

export results for "toc:db/conf/fmics/fmics2019.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fmics/0001WKN19,
  author       = {Matthias Volk and
                  Norman Weik and
                  Joost{-}Pieter Katoen and
                  Nils Nie{\ss}en},
  editor       = {Kim Guldstrand Larsen and
                  Tim A. C. Willemse},
  title        = {A {DFT} Modeling Approach for Infrastructure Reliability Analysis
                  of Railway Station Areas},
  booktitle    = {Formal Methods for Industrial Critical Systems - 24th International
                  Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11687},
  pages        = {40--58},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27008-7\_3},
  doi          = {10.1007/978-3-030-27008-7\_3},
  timestamp    = {Tue, 07 May 2024 20:01:38 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/0001WKN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BasileBFL19,
  author       = {Davide Basile and
                  Maurice H. ter Beek and
                  Alessio Ferrari and
                  Axel Legay},
  editor       = {Kim Guldstrand Larsen and
                  Tim A. C. Willemse},
  title        = {Modelling and Analysing {ERTMS} {L3} Moving Block Railway Signalling
                  with Simulink and Uppaal {SMC}},
  booktitle    = {Formal Methods for Industrial Critical Systems - 24th International
                  Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11687},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27008-7\_1},
  doi          = {10.1007/978-3-030-27008-7\_1},
  timestamp    = {Thu, 02 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BasileBFL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BergerNKAWR19,
  author       = {Philipp Berger and
                  Johanna Nellen and
                  Joost{-}Pieter Katoen and
                  Erika {\'{A}}brah{\'{a}}m and
                  Md Tawhid Bin Waez and
                  Thomas Rambow},
  editor       = {Kim Guldstrand Larsen and
                  Tim A. C. Willemse},
  title        = {Multiple Analyses, Requirements Once: - Simplifying Testing and Verification
                  in Automotive Model-Based Development},
  booktitle    = {Formal Methods for Industrial Critical Systems - 24th International
                  Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11687},
  pages        = {59--75},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27008-7\_4},
  doi          = {10.1007/978-3-030-27008-7\_4},
  timestamp    = {Fri, 27 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BergerNKAWR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BouwmanJL19,
  author       = {Mark Bouwman and
                  Bob Janssen and
                  Bas Luttik},
  editor       = {Kim Guldstrand Larsen and
                  Tim A. C. Willemse},
  title        = {Formal Modelling and Verification of an Interlocking Using mCRL2},
  booktitle    = {Formal Methods for Industrial Critical Systems - 24th International
                  Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11687},
  pages        = {22--39},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27008-7\_2},
  doi          = {10.1007/978-3-030-27008-7\_2},
  timestamp    = {Fri, 23 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BouwmanJL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/GoordenMRFR19,
  author       = {Martijn A. Goorden and
                  Joanna M. van de Mortel{-}Fronczak and
                  Michel A. Reniers and
                  Wan J. Fokkink and
                  Jacobus E. Rooda},
  editor       = {Kim Guldstrand Larsen and
                  Tim A. C. Willemse},
  title        = {The Impact of Requirement Splitting on the Efficiency of Supervisory
                  Control Synthesis},
  booktitle    = {Formal Methods for Industrial Critical Systems - 24th International
                  Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11687},
  pages        = {76--92},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27008-7\_5},
  doi          = {10.1007/978-3-030-27008-7\_5},
  timestamp    = {Mon, 03 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/GoordenMRFR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/IdaniLWAD19,
  author       = {Akram Idani and
                  Yves Ledru and
                  Abderrahim Ait Wakrime and
                  Rahma Ben Ayed and
                  Simon Collart Dutilleul},
  editor       = {Kim Guldstrand Larsen and
                  Tim A. C. Willemse},
  title        = {Incremental Development of a Safety Critical System Combining formal
                  Methods and DSMLs - - Application to a Railway System -},
  booktitle    = {Formal Methods for Industrial Critical Systems - 24th International
                  Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11687},
  pages        = {93--109},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27008-7\_6},
  doi          = {10.1007/978-3-030-27008-7\_6},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/IdaniLWAD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/LewisHBSCRZ19,
  author       = {Benjamin Lewis and
                  Arnd Hartmanns and
                  Prabal Basu and
                  Rajesh Jayashankara Shridevi and
                  Koushik Chakraborty and
                  Sanghamitra Roy and
                  Zhen Zhang},
  editor       = {Kim Guldstrand Larsen and
                  Tim A. C. Willemse},
  title        = {Probabilistic Verification for Reliable Network-on-Chip System Design},
  booktitle    = {Formal Methods for Industrial Critical Systems - 24th International
                  Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11687},
  pages        = {110--126},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27008-7\_7},
  doi          = {10.1007/978-3-030-27008-7\_7},
  timestamp    = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/LewisHBSCRZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/RockaiB19,
  author       = {Petr Rockai and
                  Jiri Barnat},
  editor       = {Kim Guldstrand Larsen and
                  Tim A. C. Willemse},
  title        = {A Simulator for {LLVM} Bitcode},
  booktitle    = {Formal Methods for Industrial Critical Systems - 24th International
                  Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11687},
  pages        = {127--142},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27008-7\_8},
  doi          = {10.1007/978-3-030-27008-7\_8},
  timestamp    = {Fri, 23 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/RockaiB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/SelvarajAF19,
  author       = {Yuvaraj Selvaraj and
                  Wolfgang Ahrendt and
                  Martin Fabian},
  editor       = {Kim Guldstrand Larsen and
                  Tim A. C. Willemse},
  title        = {Verification of Decision Making Software in an Autonomous Vehicle:
                  An Industrial Case Study},
  booktitle    = {Formal Methods for Industrial Critical Systems - 24th International
                  Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11687},
  pages        = {143--159},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27008-7\_9},
  doi          = {10.1007/978-3-030-27008-7\_9},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/SelvarajAF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmics/2019,
  editor       = {Kim Guldstrand Larsen and
                  Tim A. C. Willemse},
  title        = {Formal Methods for Industrial Critical Systems - 24th International
                  Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11687},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27008-7},
  doi          = {10.1007/978-3-030-27008-7},
  isbn         = {978-3-030-27007-0},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.