Search dblp for Publications

• > Home > Search

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