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/fac26.bht:"
download as .bib file
@article{DBLP:journals/fac/AvallePS14,
author = {Matteo Avalle and
Alfredo Pironti and
Riccardo Sisto},
title = {Formal verification of security protocol implementations: a survey},
journal = {Formal Aspects Comput.},
volume = {26},
number = {1},
pages = {99--123},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0269-9},
doi = {10.1007/S00165-012-0269-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AvallePS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BanachZSH14,
author = {Richard Banach and
Huibiao Zhu and
Wen Su and
Runlei Huang},
title = {Continuous KAOS, ASM, and formal control system design across the
continuous/discrete modeling interface: a simple train stopping application},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {319--366},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0263-2},
doi = {10.1007/S00165-012-0263-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BanachZSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BanksJ14,
author = {Michael J. Banks and
Jeremy L. Jacob},
title = {On integrating confidentiality and functionality in a formal method},
journal = {Formal Aspects Comput.},
volume = {26},
number = {5},
pages = {963--992},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0285-4},
doi = {10.1007/S00165-013-0285-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BanksJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Bella14,
author = {Giampaolo Bella},
title = {Inductive study of confidentiality: for everyone},
journal = {Formal Aspects Comput.},
volume = {26},
number = {1},
pages = {3--36},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0246-3},
doi = {10.1007/S00165-012-0246-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Bella14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Boiten14,
author = {Eerke A. Boiten},
title = {Introducing extra operations in refinement},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {305--317},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0266-z},
doi = {10.1007/S00165-012-0266-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Boiten14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoitenDR14,
author = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {195},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0293-z},
doi = {10.1007/S00165-014-0293-Z},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoitenDR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoitenS14,
author = {Eerke A. Boiten and
Steve A. Schneider},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {26},
number = {1},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0290-7},
doi = {10.1007/S00165-013-0290-7},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoitenS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BostromDSW14,
author = {Pontus Bostr{\"{o}}m and
Fredrik Degerlund and
Kaisa Sere and
Marina Wald{\'{e}}n},
title = {Derivation of concurrent programs by stepwise scheduling of Event-B
models},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {281--303},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0260-5},
doi = {10.1007/S00165-012-0260-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BostromDSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BrookesOR14,
author = {Stephen Brookes and
Peter W. O'Hearn and
Uday S. Reddy},
title = {The Essence of Reynolds},
journal = {Formal Aspects Comput.},
volume = {26},
number = {3},
pages = {435--439},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0295-x},
doi = {10.1007/S00165-014-0295-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BrookesOR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CalderS14,
author = {Muffy Calder and
Michele Sevegnani},
title = {Modelling {IEEE} 802.11 {CSMA/CA} {RTS/CTS} with stochastic bigraphs
with sharing},
journal = {Formal Aspects Comput.},
volume = {26},
number = {3},
pages = {537--561},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0270-3},
doi = {10.1007/S00165-012-0270-3},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CalderS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CavalcantiKOW14,
author = {Ana Cavalcanti and
Steve King and
Colin O'Halloran and
Jim Woodcock},
title = {Test-data generation for control coverage by proof},
journal = {Formal Aspects Comput.},
volume = {26},
number = {4},
pages = {795--823},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0279-2},
doi = {10.1007/S00165-013-0279-2},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/CavalcantiKOW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ChatterjeeR14,
author = {Krishnendu Chatterjee and
Vishwanath Raman},
title = {Assume-guarantee synthesis for digital contract signing},
journal = {Formal Aspects Comput.},
volume = {26},
number = {4},
pages = {825--859},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0283-6},
doi = {10.1007/S00165-013-0283-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ChatterjeeR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Colvin14,
author = {Robert Colvin},
title = {An operational semantics for object-oriented concepts based on the
class hierarchy},
journal = {Formal Aspects Comput.},
volume = {26},
number = {3},
pages = {491--535},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0259-y},
doi = {10.1007/S00165-012-0259-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Colvin14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Cruz-FilipeLMRV14,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Ivan Lanese and
Francisco Martins and
Ant{\'{o}}nio Ravara and
Vasco Thudichum Vasconcelos},
title = {The stream-based service-centred calculus: a foundation for service-oriented
programming},
journal = {Formal Aspects Comput.},
volume = {26},
number = {5},
pages = {865--918},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0284-5},
doi = {10.1007/S00165-013-0284-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Cruz-FilipeLMRV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DamianiDJS14,
author = {Ferruccio Damiani and
Johan Dovland and
Einar Broch Johnsen and
Ina Schaefer},
title = {Verifying traits: an incremental proof system for fine-grained reuse},
journal = {Formal Aspects Comput.},
volume = {26},
number = {4},
pages = {761--793},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0278-3},
doi = {10.1007/S00165-013-0278-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DamianiDJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DaumBK14,
author = {Matthias Daum and
Nelson Billing and
Gerwin Klein},
title = {Concerned with the unprivileged: user programs in kernel refinement},
journal = {Formal Aspects Comput.},
volume = {26},
number = {6},
pages = {1205--1229},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0296-9},
doi = {10.1007/S00165-014-0296-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DaumBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DerrickB14,
author = {John Derrick and
Eerke A. Boiten},
title = {Relational concurrent refinement part {III:} traces, partial relations
and automata},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {407--432},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0262-3},
doi = {10.1007/S00165-012-0262-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DerrickB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DixitRD14,
author = {Manoj G. Dixit and
S. Ramesh and
Pallab Dasgupta},
title = {Time-budgeting: a component based development methodology for real-time
embedded systems},
journal = {Formal Aspects Comput.},
volume = {26},
number = {3},
pages = {591--621},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0273-0},
doi = {10.1007/S00165-012-0273-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DixitRD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DongLSZ14,
author = {Jin Song Dong and
Yang Liu and
Jun Sun and
Xian Zhang},
title = {Towards verification of computation orchestration},
journal = {Formal Aspects Comput.},
volume = {26},
number = {4},
pages = {729--759},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0280-9},
doi = {10.1007/S00165-013-0280-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DongLSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DongolHR14,
author = {Brijesh Dongol and
Ian J. Hayes and
Peter J. Robinson},
title = {Reasoning about goal-directed real-time teleo-reactive programs},
journal = {Formal Aspects Comput.},
volume = {26},
number = {3},
pages = {563--589},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0272-1},
doi = {10.1007/S00165-012-0272-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DongolHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FrappierGLM14,
author = {Marc Frappier and
Fr{\'{e}}d{\'{e}}ric Gervais and
R{\'{e}}gine Laleau and
J{\'{e}}r{\'{e}}my Milhau},
title = {Refinement patterns for ASTDs},
journal = {Formal Aspects Comput.},
volume = {26},
number = {5},
pages = {919--941},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0286-3},
doi = {10.1007/S00165-013-0286-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FrappierGLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GunicenITY14,
author = {Canan G{\"{u}}ni{\c{c}}en and
Kemal Inan and
Uraz Cengiz T{\"{u}}rker and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {The relation between preset distinguishing sequences and synchronizing
sequences},
journal = {Formal Aspects Comput.},
volume = {26},
number = {6},
pages = {1153--1167},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0297-8},
doi = {10.1007/S00165-014-0297-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GunicenITY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HeatherST14,
author = {James Heather and
Steve A. Schneider and
Vanessa Teague},
title = {Cryptographic protocols with everyday objects},
journal = {Formal Aspects Comput.},
volume = {26},
number = {1},
pages = {37--62},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0274-7},
doi = {10.1007/S00165-013-0274-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HeatherST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HoangMMMSS14,
author = {Thai Son Hoang and
A. K. McIver and
Larissa Meinicke and
Carroll C. Morgan and
Anthony Sloane and
E. Susatyo},
title = {Abstractions of non-interference security: probabilistic versus possibilistic},
journal = {Formal Aspects Comput.},
volume = {26},
number = {1},
pages = {169--194},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0237-4},
doi = {10.1007/S00165-012-0237-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HoangMMMSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Jones14,
author = {Cliff B. Jones},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {26},
number = {3},
pages = {433},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0298-7},
doi = {10.1007/S00165-014-0298-7},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Jones14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Jones14a,
author = {Cliff B. Jones},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {26},
number = {5},
pages = {861},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0314-y},
doi = {10.1007/S00165-014-0314-Y},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Jones14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KonurFDK14,
author = {Savas Konur and
Michael Fisher and
Simon Dobson and
Stephen Knox},
title = {Formal verification of a pervasive messaging system},
journal = {Formal Aspects Comput.},
volume = {26},
number = {4},
pages = {677--694},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0277-4},
doi = {10.1007/S00165-013-0277-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KonurFDK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LiuYS14,
author = {Xi Liu and
Shaofa Yang and
Jeff W. Sanders},
title = {Compensation by design},
journal = {Formal Aspects Comput.},
volume = {26},
number = {4},
pages = {623--676},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0275-6},
doi = {10.1007/S00165-013-0275-6},
timestamp = {Mon, 16 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LiuYS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LlanoIP14,
author = {Maria Teresa Llano and
Andrew Ireland and
Alison Pease},
title = {Discovery of invariants through automated theory formation},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {203--249},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0264-1},
doi = {10.1007/S00165-012-0264-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LlanoIP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MiyazawaC14,
author = {Alvaro Miyazawa and
Ana Cavalcanti},
title = {Refinement-based verification of implementations of Stateflow charts},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {367--405},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0291-6},
doi = {10.1007/S00165-013-0291-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MiyazawaC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MoranHS14,
author = {Murat Moran and
James Heather and
Steve A. Schneider},
title = {Verifying anonymity in voting systems using {CSP}},
journal = {Formal Aspects Comput.},
volume = {26},
number = {1},
pages = {63--98},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0268-x},
doi = {10.1007/S00165-012-0268-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MoranHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/NogueiraSM14,
author = {Sidney C. Nogueira and
Augusto Sampaio and
Alexandre Mota},
title = {Test generation from state based use case models},
journal = {Formal Aspects Comput.},
volume = {26},
number = {3},
pages = {441--490},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0258-z},
doi = {10.1007/S00165-012-0258-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/NogueiraSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PetreTW14,
author = {Luigia Petre and
Elena Troubitsyna and
Marina Wald{\'{e}}n},
title = {Kaisa Sere: In Memoriam},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {197--201},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0292-5},
doi = {10.1007/S00165-013-0292-5},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PetreTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PirontiS14,
author = {Alfredo Pironti and
Riccardo Sisto},
title = {Safe abstractions of data encodings in formal security protocol models},
journal = {Formal Aspects Comput.},
volume = {26},
number = {1},
pages = {125--167},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0267-y},
doi = {10.1007/S00165-012-0267-Y},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PirontiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/RiccobeneS14,
author = {Elvinia Riccobene and
Patrizia Scandurra},
title = {A formal framework for service modeling and prototyping},
journal = {Formal Aspects Comput.},
volume = {26},
number = {6},
pages = {1077--1113},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0289-0},
doi = {10.1007/S00165-013-0289-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/RiccobeneS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/RossiniLGRW14,
author = {Alessandro Rossini and
Juan de Lara and
Esther Guerra and
Adrian Rutle and
Uwe Wolter},
title = {A formalisation of deep metamodelling},
journal = {Formal Aspects Comput.},
volume = {26},
number = {6},
pages = {1115--1152},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0307-x},
doi = {10.1007/S00165-014-0307-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/RossiniLGRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/RuksenasCBB14,
author = {Rimvydas Ruksenas and
Paul Curzon and
Ann Blandford and
Jonathan Back},
title = {Combining human error verification and timing analysis: a case study
on an infusion pump},
journal = {Formal Aspects Comput.},
volume = {26},
number = {5},
pages = {1033--1076},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0288-1},
doi = {10.1007/S00165-013-0288-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/RuksenasCBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Sampath14,
author = {Prahladavaradan Sampath},
title = {An elementary theory of product-line variations},
journal = {Formal Aspects Comput.},
volume = {26},
number = {4},
pages = {695--727},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0276-5},
doi = {10.1007/S00165-013-0276-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Sampath14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SchneiderTW14,
author = {Steve A. Schneider and
Helen Treharne and
Heike Wehrheim},
title = {The behavioural semantics of Event-B refinement},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {251--280},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0265-0},
doi = {10.1007/S00165-012-0265-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SchneiderTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SuGB14,
author = {Li Su and
Rodolfo G{\'{o}}mez and
Howard Bowman},
title = {Analysing neurobiological models using communicating automata},
journal = {Formal Aspects Comput.},
volume = {26},
number = {6},
pages = {1169--1204},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0294-y},
doi = {10.1007/S00165-014-0294-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SuGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Tarlecki14,
author = {Andrzej Tarlecki},
title = {W{\l}adys{\l}aw Marek Turski {(1938-2013)}},
journal = {Formal Aspects Comput.},
volume = {26},
number = {5},
pages = {863--864},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0312-0},
doi = {10.1007/S00165-014-0312-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Tarlecki14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WardZ14,
author = {Martin P. Ward and
Hussein Zedan},
title = {Provably correct derivation of algorithms using FermaT},
journal = {Formal Aspects Comput.},
volume = {26},
number = {5},
pages = {993--1031},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0287-2},
doi = {10.1007/S00165-013-0287-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/WardZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WuS14,
author = {Nicolas Wu and
Andrew C. Simpson},
title = {Formal relational database design: an exercise in extending the formal
template language},
journal = {Formal Aspects Comput.},
volume = {26},
number = {6},
pages = {1231--1269},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0299-6},
doi = {10.1007/S00165-014-0299-6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/WuS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/YamagataKFTO014,
author = {Yoriyuki Yamagata and
Weiqiang Kong and
Akira Fukuda and
Nguyen Van Tang and
Hitoshi Ohsaki and
Kenji Taguchi},
title = {A formal semantics of extended hierarchical state transition matrices
using CSP{\#}},
journal = {Formal Aspects Comput.},
volume = {26},
number = {5},
pages = {943--962},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0282-7},
doi = {10.1007/S00165-013-0282-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/YamagataKFTO014.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-05-12 15:20 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:
