default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fmics/fmics2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/fmics/Andre17,
author = {{\'{E}}tienne Andr{\'{e}}},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {A Unified Formalism for Monoprocessor Schedulability Analysis Under
Uncertainty},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {100--115},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_7},
doi = {10.1007/978-3-319-67113-0\_7},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fmics/Andre17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BalabonskiCRTU17,
author = {Thibaut Balabonski and
Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results
and Open Problems},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {165--181},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_11},
doi = {10.1007/978-3-319-67113-0\_11},
timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BalabonskiCRTU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BeusekomGHHWWW17,
author = {Rutger van Beusekom and
Jan Friso Groote and
Paul F. Hoogendijk and
Robert Howe and
Wieger Wesselink and
Rob Wieringa and
Tim A. C. Willemse},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Formalising the Dezyne Modelling Language in mCRL2},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {217--233},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_14},
doi = {10.1007/978-3-319-67113-0\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/BeusekomGHHWWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BiondiCGL17,
author = {Fabrizio Biondi and
Mounir Chadli and
Thomas Given{-}Wilson and
Axel Legay},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Information Leakage as a Scheduling Resource},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {83--99},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_6},
doi = {10.1007/978-3-319-67113-0\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/BiondiCGL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/FantechiGS17,
author = {Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Optimizing Feature Interaction Detection},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {201--216},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_13},
doi = {10.1007/978-3-319-67113-0\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/FantechiGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Fiterau-Brostean17,
author = {Paul Fiterau{-}Brostean and
Falk Howar},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Learning-Based Testing the Sliding Window Behavior of {TCP} Implementations},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {185--200},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_12},
doi = {10.1007/978-3-319-67113-0\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Fiterau-Brostean17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GainerDDFHSW17,
author = {Paul Gainer and
Clare Dixon and
Kerstin Dautenhahn and
Michael Fisher and
Ullrich Hustadt and
Joe Saunders and
Matt Webster},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {CRutoN: Automatic Verification of a Robotic Assistant's Behaviours},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {119--133},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_8},
doi = {10.1007/978-3-319-67113-0\_8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/GainerDDFHSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Graf-BrillH17,
author = {Alexander Graf{-}Brill and
Holger Hermanns},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Model-Based Testing for Asynchronous Systems},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {66--82},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_5},
doi = {10.1007/978-3-319-67113-0\_5},
timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Graf-BrillH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GurovLNW17,
author = {Dilian Gurov and
Christian Lidstr{\"{o}}m and
Mattias Nyberg and
Jonas Westman},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Deductive Functional Verification of Safety-Critical Embedded C-Code:
An Experience Report},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {3--18},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_1},
doi = {10.1007/978-3-319-67113-0\_1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/GurovLNW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HuangC17,
author = {Samuel Huang and
Rance Cleaveland},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Query Checking for Linear Temporal Logic},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {34--48},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_3},
doi = {10.1007/978-3-319-67113-0\_3},
timestamp = {Wed, 28 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/HuangC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Lisper17,
author = {Bj{\"{o}}rn Lisper},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Verifying Event-Based Timing Constraints by Translation into Presburger
Formulae},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {19--33},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_2},
doi = {10.1007/978-3-319-67113-0\_2},
timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Lisper17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/MontanaLD17,
author = {Felipe J. Montana and
Jun Liu and
Tony J. Dodd},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Sampling-Based Reactive Motion Planning with Temporal Logic Constraints
and Imperfect State Information},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {134--149},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_9},
doi = {10.1007/978-3-319-67113-0\_9},
timestamp = {Thu, 30 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/MontanaLD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/MontanaLD17a,
author = {Felipe J. Montana and
Jun Liu and
Tony J. Dodd},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Sampling-Based Path Planning for Multi-robot Systems with Co-Safe
Linear Temporal Logic Specifications},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {150--164},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_10},
doi = {10.1007/978-3-319-67113-0\_10},
timestamp = {Thu, 30 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/MontanaLD17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/VeigaQFL17,
author = {Hallan William Veiga and
Max Hering de Queiroz and
Jean{-}Marie Farines and
Marcelo Lopes de Lima},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Automatic Conformance Testing of Safety Instrumented Systems for Offshore
Oil Platforms},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {51--65},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_4},
doi = {10.1007/978-3-319-67113-0\_4},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/VeigaQFL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2017,
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0},
doi = {10.1007/978-3-319-67113-0},
isbn = {978-3-319-67112-3},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/2017.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.
retrieved on 2024-12-02 17:23 CET 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:
