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/conf/forte/forte1999.bht:"
download as .bib file
@inproceedings{DBLP:conf/forte/BiW99,
author = {Jun Bi and
Jianping Wu},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {A Formal Approach to Conformance Testing of Distributed Routing Protocols},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {151--163},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 02 Aug 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BiW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CavalliLRZ99,
author = {Ana R. Cavalli and
David Lee and
Christian Rinderknecht and
Fatiha Za{\"{\i}}di},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Hit-or-Jump: An algorithm for embedded testing with applications to
{IN} services},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {41--56},
publisher = {Kluwer},
year = {1999},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/CavalliLRZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CreeseR99,
author = {S. J. Creese and
A. W. Roscoe},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Verifying an infinite family of inductions simultaneously using data
independence and {FDR}},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {437--452},
publisher = {Kluwer},
year = {1999},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/CreeseR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Csurgay99,
author = {Peter Csurgay},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Prototyping Framework for {SDL} with Evolving Semantics},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {75--94},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Csurgay99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DongR99,
author = {Yifei Dong and
C. R. Ramakrishnan},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {An Optimizing Compiler for Efficient Model Checking},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {241--256},
publisher = {Kluwer},
year = {1999},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/DongR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Frutos-EscrigLN99,
author = {David de Frutos{-}Escrig and
Natalia L{\'{o}}pez and
Manuel N{\'{u}}{\~{n}}ez},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Global Timed Bisimulation: An Introduction},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {401--416},
publisher = {Kluwer},
year = {1999},
timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Frutos-EscrigLN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GaravelS99,
author = {Hubert Garavel and
Mihaela Sighireanu},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {A Graphical Parallel Composition Operator for Process Algebras},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {185--202},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/GaravelS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Godefroid99,
author = {Patrice Godefroid},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Exploiting Symmetry when Model-Checking Software},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {257--275},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Godefroid99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HeT99,
author = {Ji He and
Kenneth J. Turner},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Specification and Verification of Synchronous Hardware using {LOTOS}},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {295--312},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/HeT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HolzmannS99,
author = {Gerard J. Holzmann and
Margaret H. Smith},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Software Model Checking},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {481--497},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/HolzmannS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HsiungW99,
author = {Pao{-}Ann Hsiung and
Farn Wang},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {User-Friendly Verification},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {279--294},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/HsiungW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HuLSV99,
author = {Alan J. Hu and
Rui Li and
Xizheng Shi and
Son T. Vuong},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Model-Checking a Secure Gorup Communication Protocol: {A} Case Study},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {469--478},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/HuLSV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/JardJTV99,
author = {Claude Jard and
Thierry J{\'{e}}ron and
L{\'{e}}naick Tanguy and
C{\'{e}}sar Viho},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Remote testin can be as powerful as local testing},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {25--40},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/JardJTV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KhoumsiBD99,
author = {Ahmed Khoumsi and
Gregor von Bochmann and
Rachida Dssouli},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Protocol Synthesis for Real-Time Applications},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {417--433},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/KhoumsiBD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KimSCK99,
author = {Myungchul Kim and
Jaehwi Shin and
Samuel T. Chanson and
Sungwon Kang},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {An enhanced model for testing asynchronous communicating systems},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {337--356},
publisher = {Kluwer},
year = {1999},
timestamp = {Mon, 05 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/KimSCK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LangendorferK99,
author = {Peter Langend{\"{o}}rfer and
Hartmut K{\"{o}}nig},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Deriving Activity Thread Implementations from Formal Descriptions
Using Transition Reordering},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {169--184},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/LangendorferK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Moller-PedersenN99,
author = {Birger M{\o}ller{-}Pedersen and
Dagbj{\o}rn Nogva},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Scalable and Object Oriented {SDL} State(chart)s},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {59--73},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Moller-PedersenN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NajmNS99,
author = {Elie Najm and
Abdelkrim Nimour and
Jean{-}Bernard Stefani},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Guaranteeing liveness in an object calculus through behavioural typing},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {203--221},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/NajmNS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NunezR99,
author = {Manuel N{\'{u}}{\~{n}}ez and
David Rup{\'{e}}rez},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Fair Testing through Probabilistic Testing},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {135--150},
publisher = {Kluwer},
year = {1999},
timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/NunezR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/OberK99,
author = {Iulian Ober and
Alain Kerbrat},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Specification and execution of tests using tMsc},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {453--468},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/OberK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PeledVY99,
author = {Doron A. Peled and
Moshe Y. Vardi and
Mihalis Yannakakis},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Black Box Checking},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {225--240},
publisher = {Kluwer},
year = {1999},
timestamp = {Fri, 12 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/PeledVY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PetrenkoBG99,
author = {Alexandre Petrenko and
Sergiy Boroday and
Roland Groz},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Confirming configurations in {EFSM}},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {5--24},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/PetrenkoBG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SchenkeD99,
author = {Michael Schenke and
Michael F. Dossis},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Provably Correct Hardware Compilation using Timing Diagrams},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {313--331},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/SchenkeD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SeolKKPC99,
author = {Soonuk Seol and
Myungchul Kim and
Sungwon Kang and
Yongbum Park and
Younghan Choe},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Interoperability Test Suite Derivation for the {TCP}},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {357--376},
publisher = {Kluwer},
year = {1999},
timestamp = {Mon, 05 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/SeolKKPC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/TrossenCK99,
author = {Dirk Trossen and
Christian Cseh and
Roman Kogan},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Framework for Automatic {SDL} to {C++} Translation},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {95--115},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/TrossenCK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WenXL99,
author = {Wen Li and
Ye Xinming and
Zhiyong Liu},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {A Formal Description Technology: Graphics {E-LOTOS}},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {389--400},
publisher = {Kluwer},
year = {1999},
timestamp = {Fri, 14 May 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/WenXL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ZhangCC99,
author = {Jian Zhang and
Shing{-}Chi Cheung and
Samuel T. Chanson},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Stress Testing of Distributed Multimedia Software Systems},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {119--133},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 19 Aug 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ZhangCC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ZhuV99,
author = {Jinsong Zhu and
Son T. Vuong},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Coverage analysis for embedded testing and an application},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {377--386},
publisher = {Kluwer},
year = {1999},
timestamp = {Wed, 10 Sep 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ZhuV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1999,
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
publisher = {Kluwer},
year = {1999},
isbn = {0-7923-8646-9},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/1999.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-30 08:15 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:
