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}
}
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.