Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fmics/AdeltGH22,
  author       = {Julius Adelt and
                  Julian Gebker and
                  Paula Herber},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Towards Reusable Formal Models for Custom Real-Time Operating Systems},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {69--85},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_6},
  doi          = {10.1007/978-3-031-15008-1\_6},
  timestamp    = {Wed, 07 Sep 2022 17:42:23 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/AdeltGH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BergerLNSBFK22,
  author       = {Philipp Berger and
                  Wiebke Lenze and
                  Thomas Noll and
                  Simon Schotten and
                  Thorsten B{\"{u}}ker and
                  Mario Fietze and
                  Bastian Kogel},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {121--133},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_9},
  doi          = {10.1007/978-3-031-15008-1\_9},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BergerLNSBFK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Bohrer22,
  author       = {Rose Bohrer},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Chemical Case Studies in KeYmaera {X}},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {103--120},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_8},
  doi          = {10.1007/978-3-031-15008-1\_8},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/Bohrer22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/CassezFQ22,
  author       = {Franck Cassez and
                  Joanne Fuller and
                  Horacio Mijail Anton Quiles},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Deductive Verification of Smart Contracts with Dafny},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {50--66},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_5},
  doi          = {10.1007/978-3-031-15008-1\_5},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/CassezFQ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/DommelenBP22,
  author       = {Xavier Manuel van Dommelen and
                  Machiel van der Bijl and
                  Andy D. Pimentel},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Model-Based Testing of Internet of Things Protocols},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {172--189},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_12},
  doi          = {10.1007/978-3-031-15008-1\_12},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/DommelenBP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/GrochowskiVK22,
  author       = {Marco Grochowski and
                  Marcus V{\"{o}}lker and
                  Stefan Kowalewski},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Test Suite Augmentation for Reconfigurable {PLC} Software in the Internet
                  of Production},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {137--154},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_10},
  doi          = {10.1007/978-3-031-15008-1\_10},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/GrochowskiVK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/HahnPSSTW22,
  author       = {Ernst Moritz Hahn and
                  Mateo Perez and
                  Sven Schewe and
                  Fabio Somenzi and
                  Ashutosh Trivedi and
                  Dominik Wojtczak},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Reinforcement Learning with Guarantees that Hold for Ever},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {3--7},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_1},
  doi          = {10.1007/978-3-031-15008-1\_1},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/HahnPSSTW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/HampusN22,
  author       = {Anton Hampus and
                  Mattias Nyberg},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Formally Verifying Decompositions of Stochastic Specifications},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {193--210},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_13},
  doi          = {10.1007/978-3-031-15008-1\_13},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/HampusN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/HendriksMO22,
  author       = {Dennis Hendriks and
                  Arjan P. van der Meer and
                  Wytse Oortwijn},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {A Multi-level Methodology for Behavioral Comparison of Software-Intensive
                  Systems},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {226--243},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_15},
  doi          = {10.1007/978-3-031-15008-1\_15},
  timestamp    = {Wed, 07 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/HendriksMO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/HennVKTPB22,
  author       = {Thomas Henn and
                  Marcus V{\"{o}}lker and
                  Stefan Kowalewski and
                  Minh Trinh and
                  Oliver Petrovic and
                  Christian Brecher},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Verification of Behavior Trees using Linear Constrained Horn Clauses},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {211--225},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_14},
  doi          = {10.1007/978-3-031-15008-1\_14},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/HennVKTPB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Luttik22,
  author       = {Bas Luttik},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Supporting Railway Innovations with Formal Modelling and Verification},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {8--11},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_2},
  doi          = {10.1007/978-3-031-15008-1\_2},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/Luttik22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/PedroSSLSF22,
  author       = {Andr{\'{e}} de Matos Pedro and
                  Tom{\'{a}}s Silva and
                  Tiago F. Sequeira and
                  Jo{\~{a}}o Louren{\c{c}}o and
                  Jo{\~{a}}o Costa Seco and
                  Carla Ferreira},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Monitoring of Spatio-Temporal Properties with Nonlinear {SAT} Solvers},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {155--171},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_11},
  doi          = {10.1007/978-3-031-15008-1\_11},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/PedroSSLSF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/StramagliaK22,
  author       = {Anna Stramaglia and
                  Jeroen J. A. Keiren},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Formal Verification of an Industrial UML-like Model using mCRL2},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {86--102},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_7},
  doi          = {10.1007/978-3-031-15008-1\_7},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/StramagliaK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/VidotDGOO22,
  author       = {Guillaume Vidot and
                  M{\'{e}}lanie Ducoffe and
                  Christophe Gabreau and
                  Ileana Ober and
                  Iulian Ober},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Formal Monotony Analysis of Neural Networks with Mixed Inputs: An
                  Asset for Certification},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {15--31},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_3},
  doi          = {10.1007/978-3-031-15008-1\_3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/VidotDGOO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/VuHL22,
  author       = {Fabian Vu and
                  Christopher Happe and
                  Michael Leuschel},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Generating Domain-Specific Interactive Validation Documents},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {32--49},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_4},
  doi          = {10.1007/978-3-031-15008-1\_4},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/VuHL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmics/2022,
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1},
  doi          = {10.1007/978-3-031-15008-1},
  isbn         = {978-3-031-15007-4},
  timestamp    = {Wed, 07 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/2022.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.