default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/fac/fac10.bht:"
download as .bib file
@article{DBLP:journals/fac/AndersonT98,
author = {Stuart Anderson and
Konstantinos Tourlas},
title = {Design for Proof: An Approach to the Design of Domain-Specific Languages},
journal = {Formal Aspects Comput.},
volume = {10},
number = {5-6},
pages = {452--468},
year = {1998},
url = {https://doi.org/10.1007/s001650050027},
doi = {10.1007/S001650050027},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AndersonT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BernardoGR98,
author = {Marco Bernardo and
Roberto Gorrieri and
Marco Roccetti},
title = {Formal Performance Modelling and Evaluation of an Adaptive Mechanism
for Packetised Audio over the Internet},
journal = {Formal Aspects Comput.},
volume = {10},
number = {4},
pages = {313--337},
year = {1998},
url = {https://doi.org/10.1007/s001650050020},
doi = {10.1007/S001650050020},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/BernardoGR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BicarreguiMRA98,
author = {Juan Bicarregui and
Brian Matthews and
Brian Ritchie and
Sten Agerholm},
title = {Investigating the Integration of two Formal Methods},
journal = {Formal Aspects Comput.},
volume = {10},
number = {5-6},
pages = {532--549},
year = {1998},
url = {https://doi.org/10.1007/s001650050031},
doi = {10.1007/S001650050031},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BicarreguiMRA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Boralv98,
author = {Arne Bor{\"{a}}lv},
title = {Case Study: Formal Verification of a Computerized Railway Interlocking},
journal = {Formal Aspects Comput.},
volume = {10},
number = {4},
pages = {338--360},
year = {1998},
url = {https://doi.org/10.1007/s001650050021},
doi = {10.1007/S001650050021},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Boralv98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BowmanFKLM98,
author = {Howard Bowman and
Giorgio P. Faconti and
Joost{-}Pieter Katoen and
Diego Latella and
Mieke Massink},
title = {Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal},
journal = {Formal Aspects Comput.},
volume = {10},
number = {5-6},
pages = {550--575},
year = {1998},
url = {https://doi.org/10.1007/s001650050032},
doi = {10.1007/S001650050032},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BowmanFKLM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CarringtonHNWW98,
author = {David A. Carrington and
Ian J. Hayes and
Ray Nickson and
Geoffrey Watson and
Jim Welsh},
title = {A Program Refinement Tool},
journal = {Formal Aspects Comput.},
volume = {10},
number = {2},
pages = {97--124},
year = {1998},
url = {https://doi.org/10.1007/s001650050006},
doi = {10.1007/S001650050006},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CarringtonHNWW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CavalcantiW98,
author = {Ana Cavalcanti and
Jim Woodcock},
title = {{ZRC} - {A} Refinement Calculus for {Z}},
journal = {Formal Aspects Comput.},
volume = {10},
number = {3},
pages = {267--289},
year = {1998},
url = {https://doi.org/10.1007/s001650050016},
doi = {10.1007/S001650050016},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/CavalcantiW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CimattiGMRTT98,
author = {Alessandro Cimatti and
Fausto Giunchiglia and
Giorgio Mongardi and
Dario Romano and
Fernando Torielli and
Paolo Traverso},
title = {Formal Verification of a Railway Interlocking System using Model Checking},
journal = {Formal Aspects Comput.},
volume = {10},
number = {4},
pages = {361--380},
year = {1998},
url = {https://doi.org/10.1007/s001650050022},
doi = {10.1007/S001650050022},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CimattiGMRTT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DamsGKK98,
author = {Dennis Dams and
Rob Gerth and
Bart Knaack and
Ruurd Kuiper},
title = {Partial-order Reduction Techniques for Real-time Model Checking},
journal = {Formal Aspects Comput.},
volume = {10},
number = {5-6},
pages = {469--482},
year = {1998},
url = {https://doi.org/10.1007/s001650050028},
doi = {10.1007/S001650050028},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/DamsGKK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DerrickBBS98,
author = {John Derrick and
Eerke A. Boiten and
Howard Bowman and
Maarten Steen},
title = {Specifying and Refining Internal Operations in {Z}},
journal = {Formal Aspects Comput.},
volume = {10},
number = {2},
pages = {125--159},
year = {1998},
url = {https://doi.org/10.1007/s001650050007},
doi = {10.1007/S001650050007},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DerrickBBS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DingelGJN98,
author = {J{\"{u}}rgen Dingel and
David Garlan and
Somesh Jha and
David Notkin},
title = {Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee
Reasoning},
journal = {Formal Aspects Comput.},
volume = {10},
number = {3},
pages = {193--213},
year = {1998},
url = {https://doi.org/10.1007/s001650050011},
doi = {10.1007/S001650050011},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DingelGJN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FacontiM98,
author = {Giorgio P. Faconti and
Mieke Massink},
title = {Modelling and Verification of {PREMO} Synchronisable Objects},
journal = {Formal Aspects Comput.},
volume = {10},
number = {4},
pages = {405--434},
year = {1998},
url = {https://doi.org/10.1007/s001650050024},
doi = {10.1007/S001650050024},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FacontiM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GaudelJ98,
author = {Marie{-}Claude Gaudel and
Perry R. James},
title = {Testing Algebraic Data Types and Processes: {A} Unifying Theory},
journal = {Formal Aspects Comput.},
volume = {10},
number = {5-6},
pages = {436--451},
year = {1998},
url = {https://doi.org/10.1007/s001650050026},
doi = {10.1007/S001650050026},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GaudelJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GnesiL98,
author = {Stefania Gnesi and
Diego Latella},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {10},
number = {4},
pages = {311--312},
year = {1998},
url = {https://doi.org/10.1007/s001650050019},
doi = {10.1007/S001650050019},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GnesiL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GrooteLW98,
author = {Jan Friso Groote and
Bas Luttik and
Jos van Wamel},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {10},
number = {5-6},
pages = {435},
year = {1998},
url = {https://doi.org/10.1007/s001650050025},
doi = {10.1007/S001650050025},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GrooteLW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GrooteP98,
author = {Philippe de Groote and
Guy Perrier},
title = {A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model
Based on Linear Logic"},
journal = {Formal Aspects Comput.},
volume = {10},
number = {2},
pages = {160--170},
year = {1998},
url = {https://doi.org/10.1007/s001650050008},
doi = {10.1007/S001650050008},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GrooteP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hayes98,
author = {Ian J. Hayes},
title = {Expressive Power of Specification Languages},
journal = {Formal Aspects Comput.},
volume = {10},
number = {2},
pages = {187--192},
year = {1998},
url = {https://doi.org/10.1007/s001650050010},
doi = {10.1007/S001650050010},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hayes98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hehner98,
author = {Eric C. R. Hehner},
title = {Formalization of Time and Space},
journal = {Formal Aspects Comput.},
volume = {10},
number = {3},
pages = {290--306},
year = {1998},
url = {https://doi.org/10.1007/s001650050017},
doi = {10.1007/S001650050017},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hehner98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Henson98,
author = {Martin C. Henson},
title = {The Standard Logic of {Z} is Inconsistent},
journal = {Formal Aspects Comput.},
volume = {10},
number = {3},
pages = {243--247},
year = {1998},
url = {https://doi.org/10.1007/s001650050014},
doi = {10.1007/S001650050014},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Henson98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Jonker98,
author = {Jan E. Jonker},
title = {Knaster-Tarski Revisited},
journal = {Formal Aspects Comput.},
volume = {10},
number = {3},
pages = {214--232},
year = {1998},
url = {https://doi.org/10.1007/s001650050012},
doi = {10.1007/S001650050012},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Jonker98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KorverS98,
author = {Henri Korver and
M. P. A. Sellink},
title = {A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes},
journal = {Formal Aspects Comput.},
volume = {10},
number = {1},
pages = {30--42},
year = {1998},
url = {https://doi.org/10.1007/PL00003924},
doi = {10.1007/PL00003924},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KorverS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KorverS98a,
author = {Henri Korver and
M. P. A. Sellink},
title = {Example Verifications Using Alphabet Axioms},
journal = {Formal Aspects Comput.},
volume = {10},
number = {1},
pages = {43--58},
year = {1998},
url = {https://doi.org/10.1007/PL00003925},
doi = {10.1007/PL00003925},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KorverS98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LeavensW98,
author = {Gary T. Leavens and
Jeannette M. Wing},
title = {Protective Interface Specifications},
journal = {Formal Aspects Comput.},
volume = {10},
number = {1},
pages = {59--75},
year = {1998},
url = {https://doi.org/10.1007/PL00003926},
doi = {10.1007/PL00003926},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LeavensW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LeonardL98,
author = {Luc L{\'{e}}onard and
Guy Leduc},
title = {A Formal Definition of Time in {LOTOS}},
journal = {Formal Aspects Comput.},
volume = {10},
number = {3},
pages = {248--266},
year = {1998},
url = {https://doi.org/10.1007/s001650050015},
doi = {10.1007/S001650050015},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LeonardL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MorrisB98,
author = {Joseph M. Morris and
Alexander Bunkenburg},
title = {Partiality and Nondeterminacy in Program Proofs},
journal = {Formal Aspects Comput.},
volume = {10},
number = {1},
pages = {76--96},
year = {1998},
url = {https://doi.org/10.1007/PL00003927},
doi = {10.1007/PL00003927},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MorrisB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Nipkow98,
author = {Tobias Nipkow},
title = {Winskel is (almost) Right: Towards a Mechanized Semantics},
journal = {Formal Aspects Comput.},
volume = {10},
number = {2},
pages = {171--186},
year = {1998},
url = {https://doi.org/10.1007/s001650050009},
doi = {10.1007/S001650050009},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Nipkow98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OchsenschlagerRRN98,
author = {Peter Ochsenschl{\"{a}}ger and
J{\"{u}}rgen Repp and
Roland Rieke and
Ulrich Nitsche},
title = {The SH-Verification Tool - Abstraction-Based Verification of Co-operating
Systems},
journal = {Formal Aspects Comput.},
volume = {10},
number = {4},
pages = {381--404},
year = {1998},
url = {https://doi.org/10.1007/s001650050023},
doi = {10.1007/S001650050023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OchsenschlagerRRN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Paige98,
author = {Richard F. Paige},
title = {Heterogeneous Notations for Pure Formal Method Integration},
journal = {Formal Aspects Comput.},
volume = {10},
number = {3},
pages = {233--242},
year = {1998},
url = {https://doi.org/10.1007/s001650050013},
doi = {10.1007/S001650050013},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Paige98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/RewitzkyB98,
author = {Ingrid Rewitzky and
Chris Brink},
title = {Unification of Four Versions of Program Semantics},
journal = {Formal Aspects Comput.},
volume = {10},
number = {1},
pages = {1--29},
year = {1998},
url = {https://doi.org/10.1007/PL00003923},
doi = {10.1007/PL00003923},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/RewitzkyB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ShanklandZ98,
author = {Carron Shankland and
Mark van der Zwaag},
title = {The Tree Identify Protocol of {IEEE} 1394 in {\(\mathrm{\mu}\)}CRL},
journal = {Formal Aspects Comput.},
volume = {10},
number = {5-6},
pages = {509--531},
year = {1998},
url = {https://doi.org/10.1007/s001650050030},
doi = {10.1007/S001650050030},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ShanklandZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Vassiliou-GiolesS98,
author = {Theofanis Vassiliou{-}Gioles and
Ina Schieferdecker},
title = {Case Study in Protocol Validation: Validating an {ATM} Signalling
Protocol},
journal = {Formal Aspects Comput.},
volume = {10},
number = {5-6},
pages = {483--508},
year = {1998},
url = {https://doi.org/10.1007/s001650050029},
doi = {10.1007/S001650050029},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Vassiliou-GiolesS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-10-10 11:51 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:
