Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fmics/fmics2021.bht:"
download as .bib file
@inproceedings{DBLP:conf/fmics/BasileFR21,
author = {Davide Basile and
Alessandro Fantechi and
Irene Rosadi},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Formal Analysis of the {UNISIG} Safety Application Intermediate Sub-layer
- Applying Formal Methods to Railway Standard Interfaces},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {174--190},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_11},
doi = {10.1007/978-3-030-85248-1\_11},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BasileFR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BeekCLMS21,
author = {Maurice H. ter Beek and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink and
Giorgio Oronzo Spagnolo},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Spatial Model Checking for Smart Stations - Research Challenges},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {39--47},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_3},
doi = {10.1007/978-3-030-85248-1\_3},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BeekCLMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BendispostoGJLP21,
author = {Jens Bendisposto and
David Gele{\ss}us and
Yumiko Jansing and
Michael Leuschel and
Antonia P{\"{u}}tz and
Fabian Vu and
Michelle Werth},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {ProB2-UI: {A} Java-Based User Interface for ProB},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {193--201},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_12},
doi = {10.1007/978-3-030-85248-1\_12},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BendispostoGJLP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Bruttomesso21,
author = {Roberto Bruttomesso},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Intrepid: {A} Scriptable and Cloud-Ready SMT-Based Model Checker},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {202--211},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_13},
doi = {10.1007/978-3-030-85248-1\_13},
timestamp = {Fri, 20 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Bruttomesso21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HansenGPTPW21,
author = {Simon Thrane Hansen and
Cl{\'{a}}udio Gomes and
Maurizio Palmieri and
Casper Thule and
Jaco van de Pol and
Jim Woodcock},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Verification of Co-simulation Algorithms Subject to Algebraic Loops
and Adaptive Steps},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {3--20},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_1},
doi = {10.1007/978-3-030-85248-1\_1},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/HansenGPTPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Jahanian21,
author = {Hamid Jahanian},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Parametric Faults in Safety Critical Programs},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {51--66},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_4},
doi = {10.1007/978-3-030-85248-1\_4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Jahanian21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/KivirigaLN21,
author = {Andrej Kiviriga and
Kim Guldstrand Larsen and
Ulrik Nyman},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Randomized Reachability Analysis in Uppaal: Fast Error Detection in
Timed Systems},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {149--166},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_9},
doi = {10.1007/978-3-030-85248-1\_9},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/KivirigaLN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/LarrazLT21,
author = {Daniel Larraz and
Micka{\"{e}}l Laurent and
Cesare Tinelli},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Merit and Blame Assignment with Kind 2},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {212--220},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_14},
doi = {10.1007/978-3-030-85248-1\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/LarrazLT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/LourencoCFMMI21,
author = {Cl{\'{a}}udio Belo Louren{\c{c}}o and
Denis Cousineau and
Florian Faissole and
Claude March{\'{e}} and
David Mentr{\'{e}} and
Hiroaki Inoue},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Automated Verification of Temporal Properties of Ladder Programs},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {21--38},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_2},
doi = {10.1007/978-3-030-85248-1\_2},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/LourencoCFMMI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/MendilASMP21,
author = {Isma{\"{\i}}l Mendil and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Standard Conformance-by-Construction with Event-B},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {126--146},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_8},
doi = {10.1007/978-3-030-85248-1\_8},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/MendilASMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/PollienGHRT21,
author = {Baptiste Pollien and
Christophe Garion and
Gautier Hattenberger and
Pierre Roux and
Xavier Thirioux},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Verifying the Mathematical Library of an {UAV} Autopilot with Frama-C},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {167--173},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_10},
doi = {10.1007/978-3-030-85248-1\_10},
timestamp = {Fri, 20 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/PollienGHRT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/RobertsLHBRCZ21,
author = {Riley Roberts and
Benjamin Lewis and
Arnd Hartmanns and
Prabal Basu and
Sanghamitra Roy and
Koushik Chakraborty and
Zhen Zhang},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip
System},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {232--248},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_16},
doi = {10.1007/978-3-030-85248-1\_16},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/RobertsLHBRCZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/RubbensLH21,
author = {Robert Rubbens and
Sophie Lathouwers and
Marieke Huisman},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Modular Transformation of Java Exceptions Modulo Errors},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {67--84},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_5},
doi = {10.1007/978-3-030-85248-1\_5},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/RubbensLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/SchmidtL21,
author = {Joshua Schmidt and
Michael Leuschel},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Improving {SMT} Solver Integrations for the Validation of {B} and
Event-B Models},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {107--125},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_7},
doi = {10.1007/978-3-030-85248-1\_7},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/SchmidtL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ThibeaultACPF21,
author = {Quinn Thibeault and
Jacob Anderson and
Aniruddh Chandratre and
Giulia Pedrielli and
Georgios Fainekos},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {PSY-TaLiRo: {A} Python Toolbox for Search-Based Test Generation for
Cyber-Physical Systems},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {223--231},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_15},
doi = {10.1007/978-3-030-85248-1\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/ThibeaultACPF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Westphal21,
author = {Bernd Westphal},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {On Education and Training in Formal Methods for Industrial Critical
Systems},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {85--103},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_6},
doi = {10.1007/978-3-030-85248-1\_6},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Westphal21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2021,
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1},
doi = {10.1007/978-3-030-85248-1},
isbn = {978-3-030-85247-4},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-03 19:20 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
