Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/ftscs/0001LS23,
  author       = {Santiago Escobar and
                  Ra{\'{u}}l L{\'{o}}pez{-}Rueda and
                  Julia Sapi{\~{n}}a},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Symbolic Analysis by Using Folding Narrowing with Irreducibility and
                  {SMT} Constraints},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
                  Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
                  22 October 2023},
  pages        = {14--25},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623503.3623537},
  doi          = {10.1145/3623503.3623537},
  timestamp    = {Thu, 26 Oct 2023 16:21:33 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/0001LS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftscs/Bae23,
  author       = {Kyungmin Bae},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Bounded {STL} Model Checking for Hybrid Systems (Invited Talk)},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
                  Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
                  22 October 2023},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623503.3628255},
  doi          = {10.1145/3623503.3628255},
  timestamp    = {Thu, 26 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/Bae23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftscs/CuartasCBAGVO23,
  author       = {Jaime Cuartas and
                  David Cort{\'{e}}s and
                  Joan S. Betancourt and
                  Jes{\'{u}}s Aranda and
                  Jos{\'{e}} I. Garc{\'{\i}}a and
                  Andr{\'{e}}s M. Valencia and
                  James Ortiz},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Formal Verification of a Mechanical Ventilator using {UPPAAL}},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
                  Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
                  22 October 2023},
  pages        = {2--13},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623503.3623536},
  doi          = {10.1145/3623503.3623536},
  timestamp    = {Thu, 26 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/CuartasCBAGVO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftscs/GleirscherH023,
  author       = {Mario Gleirscher and
                  Anne E. Haxthausen and
                  Jan Peleska},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Probabilistic Risk Assessment of an Obstacle Detection System for
                  GoA 4 Freight Trains},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
                  Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
                  22 October 2023},
  pages        = {26--36},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623503.3623533},
  doi          = {10.1145/3623503.3623533},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftscs/GleirscherH023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftscs/MaigaAGM23,
  author       = {A{\"{\i}}ssata Maiga and
                  Cyrille Artho and
                  Florian Gilcher and
                  Yannick Moy},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Does Rust {SPARK} Joy? Safe Bindings from Rust to SPARK, Applied to
                  the BBQueue Library},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
                  Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
                  22 October 2023},
  pages        = {37--47},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623503.3623534},
  doi          = {10.1145/3623503.3623534},
  timestamp    = {Thu, 26 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/MaigaAGM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftscs/SaaltinkN0HS23,
  author       = {Caz Saaltink and
                  Stefano M. Nicoletti and
                  Matthias Volk and
                  Ernst Moritz Hahn and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Solving Queries for Boolean Fault Tree Logic via Quantified {SAT}},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
                  Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
                  22 October 2023},
  pages        = {48--59},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623503.3623535},
  doi          = {10.1145/3623503.3623535},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/SaaltinkN0HS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ftscs/2023,
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
                  Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
                  22 October 2023},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623503},
  doi          = {10.1145/3623503},
  timestamp    = {Thu, 26 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}