![](https://dblp.dagstuhl.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs349.bht:"
@inproceedings{DBLP:journals/corr/abs-2111-08203, author = {Hubert Garavel and Fr{\'{e}}d{\'{e}}ric Lang and Radu Mateescu and Wendelin Serwe}, editor = {Mario Gleirscher and Jaco van de Pol and Jim Woodcock}, title = {Is {CADP} an Applicable Formal Method?}, booktitle = {Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021}, series = {{EPTCS}}, volume = {349}, pages = {1--11}, year = {2021}, url = {https://doi.org/10.4204/EPTCS.349.1}, doi = {10.4204/EPTCS.349.1}, timestamp = {Fri, 17 Feb 2023 09:02:03 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-08203.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2111-08204, author = {Andrea Bombarda and Silvia Bonfanti and Angelo Gargantini and Elvinia Riccobene}, editor = {Mario Gleirscher and Jaco van de Pol and Jim Woodcock}, title = {Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with {ASMETA}}, booktitle = {Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021}, series = {{EPTCS}}, volume = {349}, pages = {13--29}, year = {2021}, url = {https://doi.org/10.4204/EPTCS.349.2}, doi = {10.4204/EPTCS.349.2}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-08204.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2111-08205, author = {Lorenzo Capra}, editor = {Mario Gleirscher and Jaco van de Pol and Jim Woodcock}, title = {A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems}, booktitle = {Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021}, series = {{EPTCS}}, volume = {349}, pages = {31--49}, year = {2021}, url = {https://doi.org/10.4204/EPTCS.349.3}, doi = {10.4204/EPTCS.349.3}, timestamp = {Mon, 29 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-08205.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2111-08207, author = {Yu{-}Shan Sun and Daniel Welch and Murali Sitaraman}, editor = {Mario Gleirscher and Jaco van de Pol and Jim Woodcock}, title = {F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails}, booktitle = {Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021}, series = {{EPTCS}}, volume = {349}, pages = {51--67}, year = {2021}, url = {https://doi.org/10.4204/EPTCS.349.4}, doi = {10.4204/EPTCS.349.4}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-08207.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2111-08208, author = {Salwa Souaf and Fr{\'{e}}d{\'{e}}ric Loulergue}, editor = {Mario Gleirscher and Jaco van de Pol and Jim Woodcock}, title = {Experience Report: Teaching Code Analysis and Verification Using Frama-C}, booktitle = {Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021}, series = {{EPTCS}}, volume = {349}, pages = {69--75}, year = {2021}, url = {https://doi.org/10.4204/EPTCS.349.5}, doi = {10.4204/EPTCS.349.5}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-08208.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2111-08209, author = {Carolina Carreira and Jo{\~{a}}o F. Ferreira and Alexandra Mendes and Nicolas Christin}, editor = {Mario Gleirscher and Jaco van de Pol and Jim Woodcock}, title = {Exploring Usable Security to Improve the Impact of Formal Verification: {A} Research Agenda}, booktitle = {Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021}, series = {{EPTCS}}, volume = {349}, pages = {77--84}, year = {2021}, url = {https://doi.org/10.4204/EPTCS.349.6}, doi = {10.4204/EPTCS.349.6}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-08209.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-2111-07538, editor = {Mario Gleirscher and Jaco van de Pol and Jim Woodcock}, title = {Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021}, series = {{EPTCS}}, volume = {349}, year = {2021}, url = {https://doi.org/10.4204/EPTCS.349}, doi = {10.4204/EPTCS.349}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-07538.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.