Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fmics/BasileMF23,
  author       = {Davide Basile and
                  Franco Mazzanti and
                  Alessio Ferrari},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Experimenting with Formal Verification and Model-Based Development
                  in Railways: The Case of {UMC} and Sparx Enterprise Architect},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_1},
  doi          = {10.1007/978-3-031-43681-9\_1},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BasileMF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BelliFGMMQTV23,
  author       = {Dimitri Belli and
                  Alessandro Fantechi and
                  Stefania Gnesi and
                  Laura Masullo and
                  Franco Mazzanti and
                  Lisa Quadrini and
                  Daniele Trentini and
                  Carlo Vaghi},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {The 4SECURail Case Study on Rigorous Standard Interface Specifications},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {22--39},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_2},
  doi          = {10.1007/978-3-031-43681-9\_2},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BelliFGMMQTV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/DuranPRR23,
  author       = {Francisco Dur{\'{a}}n and
                  Nicol{\'{a}}s Pozas and
                  Carlos Ram{\'{\i}}rez and
                  Camilo Rocha},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Statistical Model Checking for sf {P}},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {40--56},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_3},
  doi          = {10.1007/978-3-031-43681-9\_3},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/DuranPRR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/DustGSEM23,
  author       = {Lukas Johannes Dust and
                  Rong Gu and
                  Cristina Seceleanu and
                  Mikael Ekstr{\"{o}}m and
                  Saad Mubeen},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Pattern-Based Verification of {ROS} 2 Nodes Using {UPPAAL}},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {57--75},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_4},
  doi          = {10.1007/978-3-031-43681-9\_4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/DustGSEM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/GraicsMM23,
  author       = {Bence Graics and
                  Vince Moln{\'{a}}r and
                  Istv{\'{a}}n Majzik},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Configurable Model-Based Test Generation for Distributed Controllers
                  Using Declarative Model Queries and Model Checkers},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {76--95},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_5},
  doi          = {10.1007/978-3-031-43681-9\_5},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/GraicsMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/HasratJLS23,
  author       = {Imran Riaz Hasrat and
                  Peter Gj{\o}l Jensen and
                  Kim Guldstrand Larsen and
                  Jir{\'{\i}} Srba},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent
                  Heat Pump Control},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {113--130},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_7},
  doi          = {10.1007/978-3-031-43681-9\_7},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/HasratJLS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/HatcliffBRLSC23,
  author       = {John Hatcliff and
                  Jason Belt and
                  Robby and
                  Jacob Legg and
                  Danielle Stewart and
                  Todd Carpenter},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Automated Property-Based Testing from {AADL} Component Contracts},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {131--150},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_8},
  doi          = {10.1007/978-3-031-43681-9\_8},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/HatcliffBRLSC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/JohannsenKJRW23,
  author       = {Chris Johannsen and
                  Brian Kempa and
                  Phillip H. Jones and
                  Kristin Y. Rozier and
                  Tichakorn Wongpiromsarn},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Impossible Made Possible: Encoding Intractable Specifications via
                  Implied Domain Constraints},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {151--169},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_9},
  doi          = {10.1007/978-3-031-43681-9\_9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/JohannsenKJRW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/LarsenLP23,
  author       = {Kim Guldstrand Larsen and
                  Axel Legay and
                  Danny B{\o}gsted Poulsen},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Refinement of Systems with an Attacker Focus},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {96--112},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_6},
  doi          = {10.1007/978-3-031-43681-9\_6},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/LarsenLP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/PalLJ23,
  author       = {Neelanjana Pal and
                  Diego Manzanas Lopez and
                  Taylor T. Johnson},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Robustness Verification of Deep Neural Networks Using Star-Based Reachability
                  Analysis with Variable-Length Time Series Input},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {170--188},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_10},
  doi          = {10.1007/978-3-031-43681-9\_10},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/PalLJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/SfarCIC23,
  author       = {Aziz Sfar and
                  David Carral and
                  Dina Irofti and
                  Madalina Croitoru},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Testing Logical Diagrams in Power Plants: {A} Tale of {LTL} Model
                  Checking},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {189--204},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_11},
  doi          = {10.1007/978-3-031-43681-9\_11},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/SfarCIC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/SoltaniVDLS23,
  author       = {Reza Soltani and
                  Matthias Volk and
                  Leonardo Diamonte and
                  Milan Lopuha{\"{a}}{-}Zwakenberg and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Optimal Spare Management via Statistical Model Checking: {A} Case
                  Study in Research Reactors},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {205--223},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_12},
  doi          = {10.1007/978-3-031-43681-9\_12},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/SoltaniVDLS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/SunMWZW23,
  author       = {Huan Sun and
                  Ziyu Mao and
                  Jingyi Wang and
                  Ziyan Zhao and
                  Wenhai Wang},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Applying Rely-Guarantee Reasoning on Concurrent Memory Management
                  and Mailbox in {\(\mu\)}C/OS-II: {A} Case Study},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {224--241},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_13},
  doi          = {10.1007/978-3-031-43681-9\_13},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/SunMWZW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/WalGS23,
  author       = {Djurre van der Wal and
                  Marcus Gerhold and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Conformance in the Railway Industry: Single-Input-Change Testing a
                  {EULYNX} Controller},
  booktitle    = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  pages        = {242--258},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9\_14},
  doi          = {10.1007/978-3-031-43681-9\_14},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/WalGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmics/2023,
  editor       = {Alessandro Cimatti and
                  Laura Titolo},
  title        = {Formal Methods for Industrial Critical Systems - 28th International
                  Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14290},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43681-9},
  doi          = {10.1007/978-3-031-43681-9},
  isbn         = {978-3-031-43680-2},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/2023.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.