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/fac21.bht:"
download as .bib file
@article{DBLP:journals/fac/AichernigH09,
author = {Bernhard K. Aichernig and
Jifeng He},
title = {Mutation testing in {UTP}},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {33--64},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0083-6},
doi = {10.1007/S00165-008-0083-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AichernigH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Back09,
author = {Ralph{-}Johan Back},
title = {Invariant based programming: basic approach and teaching experiences},
journal = {Formal Aspects Comput.},
volume = {21},
number = {3},
pages = {227--244},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0070-y},
doi = {10.1007/S00165-008-0070-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Back09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BasukiCGS09,
author = {Thomas Anung Basuki and
Antonio Cerone and
Andreas Griesmayer and
Rudolf Schlatte},
title = {Model-checking user behaviour using interacting components},
journal = {Formal Aspects Comput.},
volume = {21},
number = {6},
pages = {571--588},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0101-8},
doi = {10.1007/S00165-008-0101-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BasukiCGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BocaBDO09,
author = {Paul Boca and
Raymond T. Boute and
David Duce and
Jos{\'{e}} Nuno Oliveira},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {21},
number = {3},
pages = {225},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0109-8},
doi = {10.1007/S00165-009-0109-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BocaBDO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Boiten09,
author = {Eerke A. Boiten},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {1},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0100-9},
doi = {10.1007/S00165-008-0100-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Boiten09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoitenDS09,
author = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Relational concurrent refinement part {II:} Internal operations and
outputs},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {65--102},
year = {2009},
url = {https://doi.org/10.1007/s00165-007-0066-z},
doi = {10.1007/S00165-007-0066-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoitenDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Bornat09,
author = {Richard Bornat},
title = {Peter Landin: a computer scientist who inspired a generation, 5th
June 1930 - 3rd June 2009},
journal = {Formal Aspects Comput.},
volume = {21},
number = {5},
pages = {393--395},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0122-y},
doi = {10.1007/S00165-009-0122-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Bornat09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BowenR09,
author = {Judy Bowen and
Steve Reeves},
title = {Refinement for user interface designs},
journal = {Formal Aspects Comput.},
volume = {21},
number = {6},
pages = {589--612},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0095-2},
doi = {10.1007/S00165-008-0095-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BowenR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BrookeP09,
author = {Phillip J. Brooke and
Richard F. Paige},
title = {Cameo: an alternative model of concurrency for Eiffel},
journal = {Formal Aspects Comput.},
volume = {21},
number = {4},
pages = {363--391},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0096-1},
doi = {10.1007/S00165-008-0096-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BrookeP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CeroneCD09,
author = {Antonio Cerone and
Paul Curzon and
David Duce},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {21},
number = {6},
pages = {511--512},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0121-z},
doi = {10.1007/S00165-009-0121-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CeroneCD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ChenDS09,
author = {Chunqing Chen and
Jin Song Dong and
Jun Sun},
title = {A formal framework for modeling and validating Simulink diagrams},
journal = {Formal Aspects Comput.},
volume = {21},
number = {5},
pages = {451--483},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0108-9},
doi = {10.1007/S00165-009-0108-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ChenDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DixGGHR09,
author = {Alan J. Dix and
Masitah Ghazali and
Steve Gill and
Joanna Hare and
Devina Ramduny{-}Ellis},
title = {Physigrams: modelling devices for natural interaction},
journal = {Formal Aspects Comput.},
volume = {21},
number = {6},
pages = {613--641},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0099-y},
doi = {10.1007/S00165-008-0099-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DixGGHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FeinererS09,
author = {Ingo Feinerer and
Gernot Salzer},
title = {A comparison of tools for teaching formal software verification},
journal = {Formal Aspects Comput.},
volume = {21},
number = {3},
pages = {293--301},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0084-5},
doi = {10.1007/S00165-008-0084-5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/FeinererS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FreitasW09,
author = {Leo Freitas and
Jim Woodcock},
title = {{FDR} Explorer},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {133--154},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0074-7},
doi = {10.1007/S00165-008-0074-7},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/FreitasW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GrovesC09,
author = {Lindsay Groves and
Robert Colvin},
title = {Trace-based derivation of a scalable lock-free stack algorithm},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {187--223},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0092-5},
doi = {10.1007/S00165-008-0092-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GrovesC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Howellsd09,
author = {Paul Howells and
Mark d'Inverno},
title = {A {CSP} model with flexible parallel termination semantics},
journal = {Formal Aspects Comput.},
volume = {21},
number = {5},
pages = {421--449},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0098-z},
doi = {10.1007/S00165-008-0098-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Howellsd09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KimC09,
author = {Soon{-}Kyeong Kim and
David A. Carrington},
title = {A formalism to describe design patterns based on role concepts},
journal = {Formal Aspects Comput.},
volume = {21},
number = {5},
pages = {397--420},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0090-7},
doi = {10.1007/S00165-008-0090-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KimC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KroeningS09,
author = {Daniel Kroening and
Ofer Strichman},
title = {A framework for Satisfiability Modulo Theories},
journal = {Formal Aspects Comput.},
volume = {21},
number = {5},
pages = {485--494},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0105-z},
doi = {10.1007/S00165-009-0105-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KroeningS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LarsenFR09,
author = {Peter Gorm Larsen and
John S. Fitzgerald and
Steve Riddle},
title = {Practice-oriented courses in formal methods using VDM\({}^{\mbox{++}}\)},
journal = {Formal Aspects Comput.},
volume = {21},
number = {3},
pages = {245--257},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0068-5},
doi = {10.1007/S00165-008-0068-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LarsenFR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MasalagiuCAA09,
author = {Cristian Masalagiu and
Wei{-}Ngan Chin and
Stefan Andrei and
Vasile Alaiba},
title = {A rigorous methodology for specification and verification of business
processes},
journal = {Formal Aspects Comput.},
volume = {21},
number = {5},
pages = {495--510},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0106-y},
doi = {10.1007/S00165-009-0106-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MasalagiuCAA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Nienaltowski09,
author = {Piotr Nienaltowski},
title = {Flexible access control policy for {SCOOP}},
journal = {Formal Aspects Comput.},
volume = {21},
number = {4},
pages = {347--362},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0072-9},
doi = {10.1007/S00165-008-0072-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Nienaltowski09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/NienaltowskiMO09,
author = {Piotr Nienaltowski and
Bertrand Meyer and
Jonathan S. Ostroff},
title = {Contracts for concurrency},
journal = {Formal Aspects Comput.},
volume = {21},
number = {4},
pages = {305--318},
year = {2009},
url = {https://doi.org/10.1007/s00165-007-0063-2},
doi = {10.1007/S00165-007-0063-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/NienaltowskiMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OliveiraCW09,
author = {Marcel Oliveira and
Ana Cavalcanti and
Jim Woodcock},
title = {A {UTP} semantics for \emph{Circus}},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {3--32},
year = {2009},
url = {https://doi.org/10.1007/s00165-007-0052-5},
doi = {10.1007/S00165-007-0052-5},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/OliveiraCW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OstroffTHS09,
author = {Jonathan S. Ostroff and
Faraz Ahmadi Torshizi and
Hai Feng Huang and
Bernd Schoeller},
title = {Beyond contracts for concurrency},
journal = {Formal Aspects Comput.},
volume = {21},
number = {4},
pages = {319--346},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0073-8},
doi = {10.1007/S00165-008-0073-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OstroffTHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PaigeB09,
author = {Richard F. Paige and
Phillip J. Brooke and
Jin Song Dong and
J. C. P. Woodcock},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {21},
number = {4},
pages = {303},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0113-z},
doi = {10.1007/S00165-009-0113-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PaigeB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/RuksenasBCB09,
author = {Rimvydas Ruksenas and
Jonathan Back and
Paul Curzon and
Ann Blandford},
title = {Verification-guided modelling of salience and cognitive load},
journal = {Formal Aspects Comput.},
volume = {21},
number = {6},
pages = {541--569},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0102-7},
doi = {10.1007/S00165-008-0102-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/RuksenasBCB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Schreiner09,
author = {Wolfgang Schreiner},
title = {The {RISC} ProofNavigator: a proving assistant for program verification
in the classroom},
journal = {Formal Aspects Comput.},
volume = {21},
number = {3},
pages = {277--291},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0069-4},
doi = {10.1007/S00165-008-0069-4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Schreiner09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SmithW09,
author = {Graeme Smith and
Kirsten Winter},
title = {Model checking action system refinements},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {155--186},
year = {2009},
url = {https://doi.org/10.1007/s00165-007-0053-4},
doi = {10.1007/S00165-007-0053-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SmithW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SuBBW09,
author = {Li Su and
Howard Bowman and
Philip J. Barnard and
Bradley P. Wyble},
title = {Process algebraic modelling of attentional capture and human electrophysiology
in interactive systems},
journal = {Formal Aspects Comput.},
volume = {21},
number = {6},
pages = {513--539},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0094-3},
doi = {10.1007/S00165-008-0094-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SuBBW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/TsayCTWCLC09,
author = {Yih{-}Kuen Tsay and
Yu{-}Fang Chen and
Ming{-}Hsien Tsai and
Kang{-}Nien Wu and
Wen{-}Chin Chan and
Chi{-}Jian Luo and
Jinn{-}Shu Chang},
title = {Tool support for learning B{\"{u}}chi automata and linear temporal
logic},
journal = {Formal Aspects Comput.},
volume = {21},
number = {3},
pages = {259--275},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0091-6},
doi = {10.1007/S00165-008-0091-6},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/TsayCTWCLC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ZhaoLLQ09,
author = {Liang Zhao and
Xiaojian Liu and
Zhiming Liu and
Zongyan Qiu},
title = {Graph transformations for object-oriented refinement},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {103--131},
year = {2009},
url = {https://doi.org/10.1007/s00165-007-0067-y},
doi = {10.1007/S00165-007-0067-Y},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/ZhaoLLQ09.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-25 05:57 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:
