Search dblp for Publications

export results for "toc:db/journals/fac/fac35.bht:"

 download as .bib file

@article{DBLP:journals/fac/AitAmeurBDIRS23,
  author       = {Yamine A{\"{\i}}t{-}Ameur and
                  Sergiy Bogomolov and
                  Guillaume Dupont and
                  Alexei Iliasov and
                  Alexander B. Romanovsky and
                  Paulius Stankaitis},
  title        = {A Refinement-based Formal Development of Cyber-physical Railway Signalling
                  Systems},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {1},
  pages        = {3:1},
  year         = {2023},
  url          = {https://doi.org/10.1145/3524052},
  doi          = {10.1145/3524052},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/AitAmeurBDIRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/ArslanagicSP23,
  author       = {Alen Arslanagic and
                  Pavle Subotic and
                  Jorge A. P{\'{e}}rez},
  title        = {Bit-Vector Typestate Analysis},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {3},
  pages        = {19:1--19:36},
  year         = {2023},
  url          = {https://doi.org/10.1145/3595299},
  doi          = {10.1145/3595299},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/ArslanagicSP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BaxterCCJ23,
  author       = {James Baxter and
                  Gustavo Carvalho and
                  Ana Cavalcanti and
                  Francisco Rodrigues J{\'{u}}nior},
  title        = {RoboWorld: Verification of Robotic Systems with Environment in the
                  Loop},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {4},
  pages        = {26:1--26:46},
  year         = {2023},
  url          = {https://doi.org/10.1145/3625563},
  doi          = {10.1145/3625563},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/BaxterCCJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BoerGKJUW23,
  author       = {Martin de Boer and
                  Stijn de Gouw and
                  Jonas Klamroth and
                  Christian Jung and
                  Mattias Ulbrich and
                  Alexander Weigl},
  title        = {Formal Specification and Verification of JDK's Identity Hash Map Implementation},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {3},
  pages        = {18:1--18:26},
  year         = {2023},
  url          = {https://doi.org/10.1145/3594729},
  doi          = {10.1145/3594729},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BoerGKJUW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BoudiWTH23,
  author       = {Zakaryae Boudi and
                  Abderrahim Ait Wakrime and
                  Mohamed Toub and
                  Mohamed Haloua},
  title        = {A Deep Reinforcement Learning Framework with Formal Verification},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {1},
  pages        = {5:1--5:17},
  year         = {2023},
  url          = {https://doi.org/10.1145/3577204},
  doi          = {10.1145/3577204},
  timestamp    = {Fri, 19 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BoudiWTH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BouwmanWLSR23,
  author       = {Mark Bouwman and
                  Djurre van der Wal and
                  Bas Luttik and
                  Mari{\"{e}}lle Stoelinga and
                  Arend Rensink},
  title        = {A Case in Point: Verification and Testing of a {EULYNX} Interface},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {1},
  pages        = {2:1--2:38},
  year         = {2023},
  url          = {https://doi.org/10.1145/3528207},
  doi          = {10.1145/3528207},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BouwmanWLSR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BugariuTM23,
  author       = {Alexandra Bugariu and
                  Arshavir Ter{-}Gabrielyan and
                  Peter M{\"{u}}ller},
  title        = {Identifying Overly Restrictive Matching Patterns in SMT-based Program
                  Verifiers (Extended Version)},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {2},
  pages        = {7:1--7:27},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571748},
  doi          = {10.1145/3571748},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BugariuTM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Chargueraud23,
  author       = {Arthur Chargu{\'{e}}raud},
  title        = {Review on \emph{Functional Algorithms, Verified!}: \emph{By Tobias
                  Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro G{\'{o}}mez-Londo{\~{n}}o,
                  Peter Lammich, Christian Sternagel, Simon Wimmer, and Bohua Zhan}
                  Freely downloadable: https://functional-algorithms-verified.org},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {2},
  pages        = {13:1--13:2},
  year         = {2023},
  url          = {https://doi.org/10.1145/3594639},
  doi          = {10.1145/3594639},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Chargueraud23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/ChatterjeeGNZZ23,
  author       = {Krishnendu Chatterjee and
                  Ehsan Kafshdar Goharshady and
                  Petr Novotn{\'{y}} and
                  Jiri Z{\'{a}}rev{\'{u}}cky and
                  Dorde Zikelic},
  title        = {On Lexicographic Proof Rules for Probabilistic Termination},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {2},
  pages        = {11:1--11:25},
  year         = {2023},
  url          = {https://doi.org/10.1145/3585391},
  doi          = {10.1145/3585391},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/ChatterjeeGNZZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/CoughlinWS23,
  author       = {Nicholas Coughlin and
                  Kirsten Winter and
                  Graeme Smith},
  title        = {Compositional Reasoning for Non-multicopy Atomic Architectures},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {2},
  pages        = {8:1--8:30},
  year         = {2023},
  url          = {https://doi.org/10.1145/3574137},
  doi          = {10.1145/3574137},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/CoughlinWS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/DutilleulHLW23,
  author       = {Simon Collart Dutilleul and
                  Anne E. Haxthausen and
                  Thierry Lecomte and
                  Jim Woodcock},
  title        = {Introduction to the Special Section on Reliability, Safety, and Security
                  of Railway Systems},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {1},
  pages        = {1:1--1:2},
  year         = {2023},
  url          = {https://doi.org/10.1145/3578524},
  doi          = {10.1145/3578524},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DutilleulHLW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/FeiZY23,
  author       = {Yuan Fei and
                  Huibiao Zhu and
                  Jiaqi Yin},
  title        = {{FVF-AKA:} {A} Formal Verification Framework of {AKA} Protocols for
                  Multi-server IoT},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {4},
  pages        = {21:1--21:36},
  year         = {2023},
  url          = {https://doi.org/10.1145/3599731},
  doi          = {10.1145/3599731},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/FeiZY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/GuerraS23,
  author       = {Esther Guerra and
                  Mari{\"{e}}lle Stoelinga},
  title        = {Introduction to the Special Collection from {FASE} 2021},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {3},
  pages        = {14},
  year         = {2023},
  url          = {https://doi.org/10.1145/3626206},
  doi          = {10.1145/3626206},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/GuerraS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HahnPSSTW23,
  author       = {Ernst Moritz Hahn and
                  Mateo Perez and
                  Sven Schewe and
                  Fabio Somenzi and
                  Ashutosh Trivedi and
                  Dominik Wojtczak},
  title        = {Multi-objective {\(\omega\)}-Regular Reinforcement Learning},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {2},
  pages        = {12:1--12:24},
  year         = {2023},
  url          = {https://doi.org/10.1145/3605950},
  doi          = {10.1145/3605950},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HahnPSSTW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HaxthausenF23,
  author       = {Anne Elisabeth Haxthausen and
                  Alessandro Fantechi},
  title        = {Compositional Verification of Railway Interlocking Systems},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {1},
  pages        = {4:1--4:46},
  year         = {2023},
  url          = {https://doi.org/10.1145/3549736},
  doi          = {10.1145/3549736},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HaxthausenF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HuismanPZ23,
  author       = {Marieke Huisman and
                  Corina S. Pasareanu and
                  Naijun Zhan},
  title        = {Introduction to the Special Section on {FM} 2021},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {2},
  pages        = {6:1--6:2},
  year         = {2023},
  url          = {https://doi.org/10.1145/3604594},
  doi          = {10.1145/3604594},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HuismanPZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/JohansenKMNST23,
  author       = {Nicklas S. Johansen and
                  Lasse B. K{\ae}r and
                  Andreas L. Madsen and
                  Kristian {\O}. Nielsen and
                  Jir{\'{\i}} Srba and
                  Rasmus G. Tollund},
  title        = {Kaki: Efficient Concurrent Update Synthesis for {SDN}},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {3},
  pages        = {20},
  year         = {2023},
  url          = {https://doi.org/10.1145/3605952},
  doi          = {10.1145/3605952},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/JohansenKMNST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/KlareG23,
  author       = {Heiko Klare and
                  Joshua Gleitze},
  title        = {Termination and Expressiveness of Execution Strategies for Networks
                  of Bidirectional Model Transformations},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {3},
  pages        = {15:1--15:35},
  year         = {2023},
  url          = {https://doi.org/10.1145/3543845},
  doi          = {10.1145/3543845},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/KlareG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/KrishnaMMP23,
  author       = {Shankara Narayanan Krishna and
                  Khushraj Madnani and
                  Manuel Mazo Jr. and
                  Paritosh K. Pandya},
  title        = {From Non-punctuality to Non-adjacency: {A} Quest for Decidability
                  of Timed Temporal Logics with Quantifiers},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {2},
  pages        = {9:1--9:50},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571749},
  doi          = {10.1145/3571749},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/KrishnaMMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/MaximovaSG23,
  author       = {Maria Maximova and
                  Sven Schneider and
                  Holger Giese},
  title        = {Compositional Analysis of Probabilistic Timed Graph Transformation
                  Systems},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {3},
  pages        = {16:1--16:79},
  year         = {2023},
  url          = {https://doi.org/10.1145/3572782},
  doi          = {10.1145/3572782},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/MaximovaSG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/MonahanB23,
  author       = {Rosemary Monahan and
                  Maurice H. ter Beek},
  title        = {Introduction to the Special Collection from iFM 2022},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {3},
  pages        = {17},
  year         = {2023},
  url          = {https://doi.org/10.1145/3622995},
  doi          = {10.1145/3622995},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/MonahanB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/PedersenC23,
  author       = {Jan B{\ae}kgaard Pedersen and
                  Kevin Chalmers},
  title        = {Toward Verifying Cooperatively Scheduled Runtimes Using {CSP}},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {4},
  pages        = {22:1--22:45},
  year         = {2023},
  url          = {https://doi.org/10.1145/3605942},
  doi          = {10.1145/3605942},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/PedersenC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/SunJLZ23,
  author       = {Quan Sun and
                  David N. Jansen and
                  Xinxin Liu and
                  Wei Zhang},
  title        = {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
                  for Guarded {CCS}},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {4},
  pages        = {25:1--25:21},
  year         = {2023},
  url          = {https://doi.org/10.1145/3625564},
  doi          = {10.1145/3625564},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/SunJLZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/WrightDBD23,
  author       = {Daniel Wright and
                  Sadegh Dalvandi and
                  Mark Batty and
                  Brijesh Dongol},
  title        = {Mechanised Operational Reasoning for {C11} Programs with Relaxed Dependencies},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {2},
  pages        = {10:1--10:27},
  year         = {2023},
  url          = {https://doi.org/10.1145/3580285},
  doi          = {10.1145/3580285},
  timestamp    = {Wed, 06 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/WrightDBD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/ZhangZZLS23,
  author       = {Feng Zhang and
                  Leping Zhang and
                  Yongwang Zhao and
                  Yang Liu and
                  Jun Sun},
  title        = {Refinement-based Specification and Analysis of Multi-core {ARINC}
                  653 Using Event-B},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {4},
  pages        = {24:1--24:29},
  year         = {2023},
  url          = {https://doi.org/10.1145/3617183},
  doi          = {10.1145/3617183},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/ZhangZZLS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Zielinski23,
  author       = {Bartosz Zielinski},
  title        = {Explanatory Denotational Semantics for Complex Event Patterns},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {4},
  pages        = {23:1--23:37},
  year         = {2023},
  url          = {https://doi.org/10.1145/3608486},
  doi          = {10.1145/3608486},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/Zielinski23.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.