Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fac/0002HJK21,
  author       = {Milan Ceska and
                  Christian Hensel and
                  Sebastian Junges and
                  Joost{-}Pieter Katoen},
  title        = {Counterexample-guided inductive synthesis for probabilistic systems},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {637--667},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00547-2},
  doi          = {10.1007/S00165-021-00547-2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/0002HJK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/AhrendtTW21,
  author       = {Wolfgang Ahrendt and
                  Silvia Lizeth Tapia Tarifa and
                  Heike Wehrheim},
  title        = {Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {827},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00569-w},
  doi          = {10.1007/S00165-021-00569-W},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/AhrendtTW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/AmramMP21,
  author       = {Gal Amram and
                  Shahar Maoz and
                  Or Pistiner},
  title        = {GR(1)*: {GR(1)} specifications extended with existential guarantees},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {729--761},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00535-6},
  doi          = {10.1007/S00165-021-00535-6},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/AmramMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/ArchibaldKS21,
  author       = {Blair Archibald and
                  G{\'{e}}za Kulcs{\'{a}}r and
                  Michele Sevegnani},
  title        = {A tale of two graph models: a case study in wireless sensor networks},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {1249--1277},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00558-z},
  doi          = {10.1007/S00165-021-00558-Z},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/ArchibaldKS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BacciBFLMR21,
  author       = {Giovanni Bacci and
                  Patricia Bouyer and
                  Uli Fahrenberg and
                  Kim G. Larsen and
                  Nicolas Markey and
                  Pierre{-}Alain Reynier},
  title        = {Optimal and robust controller synthesis using energy timed automata
                  with uncertainty},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {1},
  pages        = {3--25},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-020-00521-4},
  doi          = {10.1007/S00165-020-00521-4},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BacciBFLMR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BasileFRM21,
  author       = {Davide Basile and
                  Alessandro Fantechi and
                  Luigi Rucher and
                  Gianluca Mand{\`{o}}},
  title        = {Analysing an autonomous tramway positioning system with the Uppaal
                  Statistical Model Checker},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {957--987},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00556-1},
  doi          = {10.1007/S00165-021-00556-1},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BasileFRM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BoerB21,
  author       = {Frank S. de Boer and
                  Marcello M. Bonsangue},
  title        = {Symbolic execution formally explained},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {617--636},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-020-00527-y},
  doi          = {10.1007/S00165-020-00527-Y},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BoerB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BozzanoCGJM21,
  author       = {Marco Bozzano and
                  Alessandro Cimatti and
                  Marco Gario and
                  David Jones and
                  Cristian Mattarei},
  title        = {Model-based Safety Assessment of a Triple Modular Generator with xSAP},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {2},
  pages        = {251--295},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00532-9},
  doi          = {10.1007/S00165-021-00532-9},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BozzanoCGJM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BuLXQHYCL21,
  author       = {Lei Bu and
                  Yongjuan Liang and
                  Zhunyi Xie and
                  Hong Qian and
                  Yi{-}Qi Hu and
                  Yang Yu and
                  Xin Chen and
                  Xuandong Li},
  title        = {Machine learning steered symbolic execution framework for complex
                  software code},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {3},
  pages        = {301--323},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00538-3},
  doi          = {10.1007/S00165-021-00538-3},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BuLXQHYCL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/CabotWB21,
  author       = {Jordi Cabot and
                  Heike Wehrheim and
                  Eerke A. Boiten},
  title        = {Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {1037},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00565-0},
  doi          = {10.1007/S00165-021-00565-0},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/CabotWB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/CavezzaAG21,
  author       = {Davide G. Cavezza and
                  Dalal Alrajeh and
                  Andr{\'{a}}s Gy{\"{o}}rgy},
  title        = {A Weakness Measure for {GR(1)} Formulae},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {1},
  pages        = {27--63},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-020-00519-y},
  doi          = {10.1007/S00165-020-00519-Y},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/CavezzaAG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/ChenLWW21,
  author       = {Xiaoping Chen and
                  Zhiming Liu and
                  Ji Wang and
                  Jim Woodcock},
  title        = {Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {3},
  pages        = {299--300},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00552-5},
  doi          = {10.1007/S00165-021-00552-5},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/ChenLWW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/CordyLPL21,
  author       = {Maxime Cordy and
                  Sami Lazreg and
                  Mike Papadakis and
                  Axel Legay},
  title        = {Statistical model checking for variability-intensive systems: applications
                  to bug detection and minimization},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {1147--1172},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00563-2},
  doi          = {10.1007/S00165-021-00563-2},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/CordyLPL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/DerrickDDSW21,
  author       = {John Derrick and
                  Simon Doherty and
                  Brijesh Dongol and
                  Gerhard Schellhorn and
                  Heike Wehrheim},
  title        = {Verifying correctness of persistent concurrent data structures: a
                  sound and complete method},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {547--573},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00541-8},
  doi          = {10.1007/S00165-021-00541-8},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DerrickDDSW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/DubslaffKT21,
  author       = {Clemens Dubslaff and
                  Patrick Koopmann and
                  Anni{-}Yasmin Turhan},
  title        = {Enhancing Probabilistic Model Checking with Ontologies},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {885--921},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00549-0},
  doi          = {10.1007/S00165-021-00549-0},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DubslaffKT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/DutleMTMAB21,
  author       = {Aaron Dutle and
                  Mariano M. Moscato and
                  Laura Titolo and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Gregory Anderson and
                  Fran{\c{c}}ois Bobot},
  title        = {Formal analysis of the compact position reporting algorithm},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {1},
  pages        = {65--86},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-019-00504-0},
  doi          = {10.1007/S00165-019-00504-0},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DutleMTMAB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Evangelidis021,
  author       = {Alexandros Evangelidis and
                  David Parker},
  title        = {Quantitative verification of Kalman filters},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {669--693},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-020-00529-w},
  doi          = {10.1007/S00165-020-00529-W},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Evangelidis021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/FantechiHW21,
  author       = {Alessandro Fantechi and
                  Anne E. Haxthausen and
                  Jim Woodcock},
  title        = {Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {923--924},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00568-x},
  doi          = {10.1007/S00165-021-00568-X},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/FantechiHW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/FlamminiMNV21,
  author       = {Francesco Flammini and
                  Stefano Marrone and
                  Roberto Nardone and
                  Valeria Vittorini},
  title        = {Compositional modeling of railway Virtual Coupling with Stochastic
                  Activity Networks},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {989--1007},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00560-5},
  doi          = {10.1007/S00165-021-00560-5},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/FlamminiMNV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/FosterNGWK21,
  author       = {Simon Foster and
                  Yakoub Nemouchi and
                  Mario Gleirscher and
                  Ran Wei and
                  Tim Kelly},
  title        = {Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {855--884},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00537-4},
  doi          = {10.1007/S00165-021-00537-4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/FosterNGWK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/GeislerH21,
  author       = {Signe Geisler and
                  Anne Elisabeth Haxthausen},
  title        = {Stepwise development and model checking of a distributed interlocking
                  system using {RAISE}},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {1},
  pages        = {87--125},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-020-00507-2},
  doi          = {10.1007/S00165-020-00507-2},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/GeislerH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/GleirscherCW21,
  author       = {Mario Gleirscher and
                  Radu Calinescu and
                  Jim Woodcock},
  title        = {RiskStructures: {A} design algebra for risk-aware machines},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {763--802},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00545-4},
  doi          = {10.1007/S00165-021-00545-4},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/GleirscherCW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HennickerKM21,
  author       = {Rolf Hennicker and
                  Alexander Knapp and
                  Alexandre Madeira},
  title        = {Hybrid dynamic logic institutions for event/data-based systems},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {1209--1248},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00550-7},
  doi          = {10.1007/S00165-021-00550-7},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HennickerKM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Hesselink21,
  author       = {Wim H. Hesselink},
  title        = {{UNITY} and B{\"{u}}chi automata},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {2},
  pages        = {185--205},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-020-00528-x},
  doi          = {10.1007/S00165-020-00528-X},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Hesselink21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/JinAZZZ21,
  author       = {Xiangyu Jin and
                  Jie An and
                  Bohua Zhan and
                  Naijun Zhan and
                  Miaomiao Zhang},
  title        = {Inferring Switched Nonlinear Dynamical Systems},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {3},
  pages        = {385--406},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00542-7},
  doi          = {10.1007/S00165-021-00542-7},
  timestamp    = {Tue, 25 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/JinAZZZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/LaraG21,
  author       = {Juan de Lara and
                  Esther Guerra},
  title        = {Language Family Engineering with Product Lines of Multi-level Models},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {1173--1208},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00554-3},
  doi          = {10.1007/S00165-021-00554-3},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/LaraG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/LetanRCH21,
  author       = {Thomas Letan and
                  Yann R{\'{e}}gis{-}Gianas and
                  Pierre Chifflier and
                  Guillaume Hiet},
  title        = {Modular verification of programs with effects and effects handlers},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {1},
  pages        = {127--150},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-020-00523-2},
  doi          = {10.1007/S00165-020-00523-2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/LetanRCH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Loreti21,
  author       = {Michele Loreti},
  title        = {Semantics of the probabilistic Lambda Calculus By Dirk Draheim},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {3},
  pages        = {457--458},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00534-7},
  doi          = {10.1007/S00165-021-00534-7},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Loreti21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/LutebergetJ21,
  author       = {Bj{\o}rnar Luteberget and
                  Christian Johansen},
  title        = {Drawing with {SAT:} four methods and {A} tool for producing railway
                  infrastructure schematics},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {829--854},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00566-z},
  doi          = {10.1007/S00165-021-00566-Z},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/LutebergetJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/McIverB21,
  author       = {Annabelle McIver and
                  Maurice H. ter Beek},
  title        = {Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {459--460},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00559-y},
  doi          = {10.1007/S00165-021-00559-Y},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/McIverB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/MenghiRBS21,
  author       = {Claudio Menghi and
                  Alessandro Maria Rizzi and
                  Anna Bernasconi and
                  Paola Spoletini},
  title        = {TOrPEDO: witnessing model correctness with topological proofs},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {1039--1066},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00564-1},
  doi          = {10.1007/S00165-021-00564-1},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/MenghiRBS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Ngondi21,
  author       = {Gerard Ekembe Ngondi},
  title        = {Denotational semantics of channel mobility in {UTP-CSP}},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {803--826},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00546-3},
  doi          = {10.1007/S00165-021-00546-3},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Ngondi21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/PeleskaKHP21,
  author       = {Jan Peleska and
                  Niklas Krafczyk and
                  Anne E. Haxthausen and
                  Ralf Pinger},
  title        = {Efficient data validation for geographical interlocking systems},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {925--955},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00551-6},
  doi          = {10.1007/S00165-021-00551-6},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/PeleskaKHP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Rossi21,
  author       = {Matteo Rossi},
  title        = {Modeling and analysis of communicating systems},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {2},
  pages        = {297--298},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00533-8},
  doi          = {10.1007/S00165-021-00533-8},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Rossi21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/StankaitisIKAIR21,
  author       = {Paulius Stankaitis and
                  Alexei Iliasov and
                  Tsutomu Kobayashi and
                  Yamine A{\"{\i}}t Ameur and
                  Fuyuki Ishikawa and
                  Alexander B. Romanovsky},
  title        = {A refinement-based development of a distributed signalling system},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {1009--1036},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00567-y},
  doi          = {10.1007/S00165-021-00567-Y},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/StankaitisIKAIR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/StunkelKLR21,
  author       = {Patrick St{\"{u}}nkel and
                  Harald K{\"{o}}nig and
                  Yngve Lamo and
                  Adrian Rutle},
  title        = {Comprehensive Systems: {A} formal foundation for Multi-Model Consistency
                  Management},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {1067--1114},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00555-2},
  doi          = {10.1007/S00165-021-00555-2},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/StunkelKLR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/TanP21,
  author       = {Yong Kiam Tan and
                  Andr{\'{e}} Platzer},
  title        = {An axiomatic approach to existence and liveness for differential equations},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {461--518},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-020-00525-0},
  doi          = {10.1007/S00165-020-00525-0},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/TanP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/TapplerA0EL21,
  author       = {Martin Tappler and
                  Bernhard K. Aichernig and
                  Giovanni Bacci and
                  Maria Eichlseder and
                  Kim G. Larsen},
  title        = {L\({}^{\mbox{*}}\)-based learning of Markov decision processes (extended
                  version)},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {575--615},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00536-5},
  doi          = {10.1007/S00165-021-00536-5},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/TapplerA0EL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/TranPLMYNXBJ21,
  author       = {Hoang{-}Dung Tran and
                  Neelanjana Pal and
                  Diego Manzanas Lopez and
                  Patrick Musau and
                  Xiaodong Yang and
                  Luan Viet Nguyen and
                  Weiming Xiang and
                  Stanley Bak and
                  Taylor T. Johnson},
  title        = {Verification of piecewise deep neural networks: a star set approach
                  with zonotope pre-filter},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {519--545},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00553-4},
  doi          = {10.1007/S00165-021-00553-4},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/TranPLMYNXBJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/VinkC21,
  author       = {Erik P. de Vink and
                  Ana Cavalcanti},
  title        = {Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {1},
  pages        = {1--2},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-020-00522-3},
  doi          = {10.1007/S00165-020-00522-3},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/VinkC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/WeidmannA21,
  author       = {Nils Weidmann and
                  Anthony Anjorin},
  title        = {Schema Compliant Consistency Management via Triple Graph Grammars
                  and Integer Linear Programming},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {1115--1145},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00557-0},
  doi          = {10.1007/S00165-021-00557-0},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/WeidmannA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Wilhelm21,
  author       = {Reinhard Wilhelm},
  title        = {Foundations of programming languages},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {6},
  pages        = {1279--1280},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00561-4},
  doi          = {10.1007/S00165-021-00561-4},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Wilhelm21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/WissmannDMS21,
  author       = {Thorsten Wi{\ss}mann and
                  Hans{-}Peter Deifel and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der},
  title        = {From generic partition refinement to weighted tree automata minimization},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {695--727},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-020-00526-z},
  doi          = {10.1007/S00165-020-00526-Z},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/WissmannDMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/WuLCHWK21,
  author       = {Huihui Wu and
                  Deyun Lv and
                  Tengxiang Cui and
                  Gang Hou and
                  Masahiko Watanabe and
                  Weiqiang Kong},
  title        = {{SDLV:} Verification of Steering Angle Safety for Self-Driving Cars},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {3},
  pages        = {325--341},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00539-2},
  doi          = {10.1007/S00165-021-00539-2},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/WuLCHWK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/XieZX21,
  author       = {Wanling Xie and
                  Huibiao Zhu and
                  Qiwen Xu},
  title        = {A process calculus BigrTiMo of mobile systems and its formal semantics},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {2},
  pages        = {207--249},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00530-x},
  doi          = {10.1007/S00165-021-00530-X},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/XieZX21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/YangBYHBFG21,
  author       = {Zhibin Yang and
                  Yang Bao and
                  Yongqiang Yang and
                  Zhiqiu Huang and
                  Jean{-}Paul Bodeveix and
                  Mamoun Filali and
                  Zonghua Gu},
  title        = {Exploiting augmented intelligence in the modeling of safety-critical
                  autonomous systems},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {3},
  pages        = {343--384},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00543-6},
  doi          = {10.1007/S00165-021-00543-6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/YangBYHBFG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/YangLLHLCHZ21,
  author       = {Pengfei Yang and
                  Jianlin Li and
                  Jiangchao Liu and
                  Cheng{-}Chao Huang and
                  Renjue Li and
                  Liqian Chen and
                  Xiaowei Huang and
                  Lijun Zhang},
  title        = {Enhancing Robustness Verification for Deep Neural Networks via Symbolic
                  Propagation},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {3},
  pages        = {407--435},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00548-1},
  doi          = {10.1007/S00165-021-00548-1},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/YangLLHLCHZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/ZhangXYL21,
  author       = {Wenbo Zhang and
                  Xian Xu and
                  Qiang Yin and
                  Huan Long},
  title        = {On the Interactive Power of Higher-order Processes Extended with Parameterization},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {2},
  pages        = {151--183},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-020-00524-1},
  doi          = {10.1007/S00165-020-00524-1},
  timestamp    = {Mon, 23 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/ZhangXYL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/ZhaoZCLW21,
  author       = {Hengjun Zhao and
                  Xia Zeng and
                  Taolue Chen and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Learning safe neural network controllers with barrier certificates},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {3},
  pages        = {437--455},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00544-5},
  doi          = {10.1007/S00165-021-00544-5},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/ZhaoZCLW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.