Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/fac/fac30.bht:"
download as .bib file
@article{DBLP:journals/fac/AichernigFGH18,
author = {Bernhard K. Aichernig and
Carlo A. Furia and
Marie{-}Claude Gaudel and
Robert M. Hierons},
title = {Special section of Tests and Proofs 2016},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {627--628},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0474-2},
doi = {10.1007/S00165-018-0474-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AichernigFGH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BagheriKMJ18,
author = {Hamid Bagheri and
Eunsuk Kang and
Sam Malek and
Daniel Jackson},
title = {A formal approach for detection of security flaws in the android permission
system},
journal = {Formal Aspects Comput.},
volume = {30},
number = {5},
pages = {525--544},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0445-z},
doi = {10.1007/S00165-017-0445-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BagheriKMJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaoLE18,
author = {Yuyan Bao and
Gary T. Leavens and
Gidon Ernst},
title = {Unifying separation logic and region logic to allow interoperability},
journal = {Formal Aspects Comput.},
volume = {30},
number = {3-4},
pages = {381--441},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0455-5},
doi = {10.1007/S00165-018-0455-5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/BaoLE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BjornerBB18,
author = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer and
Andrew Butterfield},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {30},
number = {5},
pages = {493--494},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0463-5},
doi = {10.1007/S00165-018-0463-5},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BjornerBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Bowen18,
author = {Jonathan P. Bowen},
title = {Egon B{\"{o}}rger and Alexander Raschke: Modeling companion for
software practitioners - Springer, 2018, {XXI+349} pp, {ISBN:} 978-3-662-56639-8
(Paperback, {\textsterling} 46.99), eISBN: 978-3-662-56641-1 (eBook,
{\textsterling} 36.99), http: //dx.doi.org/10.1007/978-3-662-56641-1},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {761--762},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0472-4},
doi = {10.1007/S00165-018-0472-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Bowen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BruniGG18,
author = {Roberto Bruni and
Roberto Giacobazzi and
Roberta Gori},
title = {Code obfuscation against abstraction refinement attacks},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {685--711},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0462-6},
doi = {10.1007/S00165-018-0462-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BruniGG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Chane-Yack-FaFM18,
author = {Rapha{\"{e}}l Chane{-}Yack{-}Fa and
Marc Frappier and
Amel Mammar and
Alain Finkel},
title = {Parameterized verification of monotone information systems},
journal = {Formal Aspects Comput.},
volume = {30},
number = {3-4},
pages = {463--489},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0460-8},
doi = {10.1007/S00165-018-0460-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Chane-Yack-FaFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ChrszonDKB18,
author = {Philipp Chrszon and
Clemens Dubslaff and
Sascha Kl{\"{u}}ppelholz and
Christel Baier},
title = {ProFeat: feature-oriented engineering for family-based probabilistic
model checking},
journal = {Formal Aspects Comput.},
volume = {30},
number = {1},
pages = {45--75},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0432-4},
doi = {10.1007/S00165-017-0432-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ChrszonDKB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CorrodiHP18,
author = {Claudio Corrodi and
Alexander Heu{\ss}ner and
Christopher M. Poskitt},
title = {A semantics comparison workbench for a concurrent, asynchronous, distributed
programming language},
journal = {Formal Aspects Comput.},
volume = {30},
number = {1},
pages = {163--192},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0443-1},
doi = {10.1007/S00165-017-0443-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CorrodiHP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DenneySW18,
author = {Ewen Denney and
Perdita Stevens and
Andrzej Wasowski},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {30},
number = {1},
pages = {1},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0448-9},
doi = {10.1007/S00165-017-0448-9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/DenneySW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DerrickDDSTW18,
author = {John Derrick and
Simon Doherty and
Brijesh Dongol and
Gerhard Schellhorn and
Oleg Travkin and
Heike Wehrheim},
title = {Mechanized proofs of opacity: a comparison of two techniques},
journal = {Formal Aspects Comput.},
volume = {30},
number = {5},
pages = {597--625},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0433-3},
doi = {10.1007/S00165-017-0433-3},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DerrickDDSTW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DuboisG18,
author = {Catherine Dubois and
Alain Giorgetti},
title = {Tests and proofs for custom data generators},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {659--684},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0459-1},
doi = {10.1007/S00165-018-0459-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DuboisG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/El-FakihYK18,
author = {Khaled El{-}Fakih and
Nina Yevtushenko and
Natalia Kushik},
title = {Adaptive distinguishing test cases of nondeterministic finite state
machines: test case derivation and length estimation},
journal = {Formal Aspects Comput.},
volume = {30},
number = {2},
pages = {319--332},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0450-2},
doi = {10.1007/S00165-017-0450-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/El-FakihYK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ElkaderGPS18,
author = {Karam Abd Elkader and
Orna Grumberg and
Corina S. Pasareanu and
Sharon Shoham},
title = {Automated circular assume-guarantee reasoning},
journal = {Formal Aspects Comput.},
volume = {30},
number = {5},
pages = {571--595},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0436-0},
doi = {10.1007/S00165-017-0436-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ElkaderGPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GerholdS18,
author = {Marcus Gerhold and
Mari{\"{e}}lle Stoelinga},
title = {Model-based testing of probabilistic systems},
journal = {Formal Aspects Comput.},
volume = {30},
number = {1},
pages = {77--106},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0440-4},
doi = {10.1007/S00165-017-0440-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GerholdS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hallerstede18,
author = {Stefan Hallerstede},
title = {Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL
- Springer Verlag, 2014, x + 289 pp, {\mbox{\texteuro}} 63, 29 (Hardback),
{ISBN} 978-3-319-10542-0, http: //www.concrete-semantics.org/},
journal = {Formal Aspects Comput.},
volume = {30},
number = {3-4},
pages = {491--492},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0454-6},
doi = {10.1007/S00165-018-0454-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hallerstede18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JingM18,
author = {Yaping Jing and
Andrew S. Miner},
title = {Computation tree measurement language {(CTML)}},
journal = {Formal Aspects Comput.},
volume = {30},
number = {3-4},
pages = {443--462},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0457-3},
doi = {10.1007/S00165-018-0457-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JingM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LechenetKG18,
author = {Jean{-}Christophe L{\'{e}}chenet and
Nikolai Kosmatov and
Pascale Le Gall},
title = {Cut branches before looking for bugs: certifiably sound verification
on relaxed slices},
journal = {Formal Aspects Comput.},
volume = {30},
number = {1},
pages = {107--131},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0439-x},
doi = {10.1007/S00165-017-0439-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LechenetKG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LiZZPVH18,
author = {Jianwen Li and
Lijun Zhang and
Shufang Zhu and
Geguang Pu and
Moshe Y. Vardi and
Jifeng He},
title = {An explicit transition system construction approach to {LTL} satisfiability
checking},
journal = {Formal Aspects Comput.},
volume = {30},
number = {2},
pages = {193--217},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0442-2},
doi = {10.1007/S00165-017-0442-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LiZZPVH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Monahan18,
author = {Rosemary Monahan},
title = {Daniel Kroening and Ofer Strichman: Decision procedures - Springer
Verlag, 2016, XXI, +356 {ISBN} 978-3-662-50496-3 (Hardback, {\mbox{\texteuro}}69,
67), http: //www.decision-procedures.org/},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {759},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0466-2},
doi = {10.1007/S00165-018-0466-2},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Monahan18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PedersenW18,
author = {Jan B{\ae}kgaard Pedersen and
Peter H. Welch},
title = {The symbiosis of concurrency and verification: teaching and case studies},
journal = {Formal Aspects Comput.},
volume = {30},
number = {2},
pages = {239--277},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0447-x},
doi = {10.1007/S00165-017-0447-X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PedersenW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PetiotKBGJ18,
author = {Guillaume Petiot and
Nikolai Kosmatov and
Bernard Botella and
Alain Giorgetti and
Jacques Julliand},
title = {How testing helps to diagnose proof failures},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {629--657},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0456-4},
doi = {10.1007/S00165-018-0456-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PetiotKBGJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PolikarpovaTF18,
author = {Nadia Polikarpova and
Julian Tschannen and
Carlo A. Furia},
title = {A fully verified container library},
journal = {Formal Aspects Comput.},
volume = {30},
number = {5},
pages = {495--523},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0435-1},
doi = {10.1007/S00165-017-0435-1},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PolikarpovaTF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PutterW18,
author = {Sander de Putter and
Anton Wijs},
title = {A formal verification technique for behavioural model-to-model transformations},
journal = {Formal Aspects Comput.},
volume = {30},
number = {1},
pages = {3--43},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0437-z},
doi = {10.1007/S00165-017-0437-Z},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PutterW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SantosKAET18,
author = {Filipe Santos and
Krystian Kwiecinski and
Ana de Almeida and
Sara Eloy and
Bruno Taborda},
title = {Alternative shaper: a model for automatic design generation},
journal = {Formal Aspects Comput.},
volume = {30},
number = {3-4},
pages = {333--349},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0452-8},
doi = {10.1007/S00165-018-0452-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SantosKAET18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SchneiderLW18,
author = {David Schneider and
Michael Leuschel and
Tobias Witt},
title = {Model-based problem solving for university timetable validation and
improvement},
journal = {Formal Aspects Comput.},
volume = {30},
number = {5},
pages = {545--569},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0461-7},
doi = {10.1007/S00165-018-0461-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SchneiderLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ShiWYGLS18,
author = {Zhiping Shi and
Aixuan Wu and
Xiumei Yang and
Yong Guan and
Yongdong Li and
Xiaoyu Song},
title = {Formal analysis of the kinematic Jacobian in screw theory},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {739--757},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0468-0},
doi = {10.1007/S00165-018-0468-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ShiWYGLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ShiZLSDQ18,
author = {Ling Shi and
Yongxin Zhao and
Yang Liu and
Jun Sun and
Jin Song Dong and
Shengchao Qin},
title = {A {UTP} semantics for communicating processes with shared variables
and its formal encoding in {PVS}},
journal = {Formal Aspects Comput.},
volume = {30},
number = {3-4},
pages = {351--380},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0453-7},
doi = {10.1007/S00165-018-0453-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ShiZLSDQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SistoCAP18,
author = {Riccardo Sisto and
Piergiuseppe Bettassa Copet and
Matteo Avalle and
Alfredo Pironti},
title = {Formally sound implementations of security protocols with JavaSPI},
journal = {Formal Aspects Comput.},
volume = {30},
number = {2},
pages = {279--317},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0449-8},
doi = {10.1007/S00165-017-0449-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SistoCAP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/StruberRACTP18,
author = {Daniel Str{\"{u}}ber and
Julia Rubin and
Thorsten Arendt and
Marsha Chechik and
Gabriele Taentzer and
Jennifer Pl{\"{o}}ger},
title = {Variability-based model transformation: formal foundation and application},
journal = {Formal Aspects Comput.},
volume = {30},
number = {1},
pages = {133--162},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0441-3},
doi = {10.1007/S00165-017-0441-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/StruberRACTP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/XieXZ18,
author = {Wanling Xie and
Shuangqing Xiang and
Huibiao Zhu},
title = {A {UTP} approach for rTiMo},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {713--738},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0467-1},
doi = {10.1007/S00165-018-0467-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/XieXZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ZhangW18,
author = {Hui Zhang and
Jinzhao Wu},
title = {Formal verification and quantitative metrics of MPSoC data dynamics},
journal = {Formal Aspects Comput.},
volume = {30},
number = {2},
pages = {219--237},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0444-0},
doi = {10.1007/S00165-017-0444-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ZhangW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-28 00:58 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
