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/forte2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/forte/BalabanPZ05,
author = {Ittai Balaban and
Amir Pnueli and
Lenore D. Zuck},
editor = {Farn Wang},
title = {Ranking Abstraction as Companion to Predicate Abstraction},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {1--12},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_1},
doi = {10.1007/11562436\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BalabanPZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BolligL05,
author = {Benedikt Bollig and
Martin Leucker},
editor = {Farn Wang},
title = {A Hierarchy of Implementable {MSC} Languages},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {53--67},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_6},
doi = {10.1007/11562436\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BolligL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ChangCL05,
author = {Chi{-}Lan Chang and
Yun{-}Peng Chiu and
Chin{-}Laung Lei},
editor = {Farn Wang},
title = {Automatic Generation of Conflict-Free IPsec Policies},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {233--246},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_18},
doi = {10.1007/11562436\_18},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ChangCL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ChangKWTYK05,
author = {Kai{-}Hui Chang and
Jeh{-}Yen Kang and
Han{-}Wei Wang and
Wei{-}Ting Tu and
Yi{-}Jong Yeh and
Sy{-}Yen Kuo},
editor = {Farn Wang},
title = {Automatic Partitioner for Behavior Level Distributed Logic Simulation},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {525--528},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_38},
doi = {10.1007/11562436\_38},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ChangKWTYK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ChatainHJ05,
author = {Thomas Chatain and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Claude Jard},
editor = {Farn Wang},
title = {From Automata Networks to HMSCs: {A} Reverse Model Engineering Perspective},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {489--502},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_35},
doi = {10.1007/11562436\_35},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ChatainHJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ChenHU05,
author = {Jessica Chen and
Robert M. Hierons and
Hasan Ural},
editor = {Farn Wang},
title = {Resolving Observability Problems in Distributed Test Architectures},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {219--232},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_17},
doi = {10.1007/11562436\_17},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ChenHU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CiaffaglioneHR05,
author = {Alberto Ciaffaglione and
Matthew Hennessy and
Julian Rathke},
editor = {Farn Wang},
title = {Proof Methodologies for Behavioural Equivalence in {DPI}},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {335--350},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_25},
doi = {10.1007/11562436\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/CiaffaglioneHR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CouvreurT05,
author = {Jean{-}Michel Couvreur and
Yann Thierry{-}Mieg},
editor = {Farn Wang},
title = {Hierarchical Decision Diagrams to Exploit Model Structure},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {443--457},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_32},
doi = {10.1007/11562436\_32},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/CouvreurT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DaouB05,
author = {Bassel Daou and
Gregor von Bochmann},
editor = {Farn Wang},
title = {Submodule Construction for Extended State Machine Models},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {396--410},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_29},
doi = {10.1007/11562436\_29},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/DaouB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DesmoulinV05,
author = {Alexandra Desmoulin and
C{\'{e}}sar Viho},
editor = {Farn Wang},
title = {Formalizing Interoperability Testing: Quiescence Management and Test
Generation},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {533--537},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_40},
doi = {10.1007/11562436\_40},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/DesmoulinV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DorofeevaEY05,
author = {Rita Dorofeeva and
Khaled El{-}Fakih and
Nina Yevtushenko},
editor = {Farn Wang},
title = {An Improved Conformance Testing Method},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {204--218},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_16},
doi = {10.1007/11562436\_16},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/DorofeevaEY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Hammal05,
author = {Youcef Hammal},
editor = {Farn Wang},
title = {A Formal Semantics of {UML} StateCharts by Means of Timed Petri Nets},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {38--52},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_5},
doi = {10.1007/11562436\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Hammal05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HassineRD05,
author = {Jameleddine Hassine and
Juergen Rilling and
Rachida Dssouli},
editor = {Farn Wang},
title = {Abstract Operational Semantics for Use Case Maps},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {366--380},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_27},
doi = {10.1007/11562436\_27},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/HassineRD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Heitmeyer05,
author = {Constance L. Heitmeyer},
editor = {Farn Wang},
title = {Developing High Quality Software with Formal Methods: What Else Is
Needed?},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {13--19},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_2},
doi = {10.1007/11562436\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Heitmeyer05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HelkeK05,
author = {Steffen Helke and
Florian Kamm{\"{u}}ller},
editor = {Farn Wang},
title = {Structure Preserving Data Abstractions for Statecharts},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {305--319},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_23},
doi = {10.1007/11562436\_23},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/HelkeK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HigashinoY05,
author = {Teruo Higashino and
Hirozumi Yamaguchi},
editor = {Farn Wang},
title = {A Testing Architecture for Designing High-Reliable {MANET} Protocols},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {20--23},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_3},
doi = {10.1007/11562436\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/HigashinoY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HsiungL05,
author = {Pao{-}Ann Hsiung and
Yen{-}Hung Lin},
editor = {Farn Wang},
title = {Modeling and Verification of Safety-Critical Systems Using Safecharts},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {290--304},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_22},
doi = {10.1007/11562436\_22},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/HsiungL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ImineMOR05,
author = {Abdessamad Imine and
Pascal Molli and
G{\'{e}}rald Oster and
Micha{\"{e}}l Rusinowitch},
editor = {Farn Wang},
title = {Towards Synchronizing Linear Collaborative Objects with Operational
Transformation},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {411--427},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_30},
doi = {10.1007/11562436\_30},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ImineMOR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/JhumkaS05,
author = {Arshad Jhumka and
Neeraj Suri},
editor = {Farn Wang},
title = {Designing Efficient Fail-Safe Multitolerant Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {428--442},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_31},
doi = {10.1007/11562436\_31},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/JhumkaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KelsoM05,
author = {Joel Kelso and
George J. Milne},
editor = {Farn Wang},
title = {Properties as Processes: Their Specification and Verification},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {503--517},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_36},
doi = {10.1007/11562436\_36},
timestamp = {Wed, 11 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/KelsoM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KiehnA05,
author = {Astrid Kiehn and
S. Arun{-}Kumar},
editor = {Farn Wang},
title = {Amortised Bisimulations},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {320--334},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_24},
doi = {10.1007/11562436\_24},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/KiehnA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KlaiHI05,
author = {Kais Klai and
Serge Haddad and
Jean{-}Michel Ili{\'{e}}},
editor = {Farn Wang},
title = {Modular Verification of Petri Nets Properties: {A} Structure-Based
Approach},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {189--203},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_15},
doi = {10.1007/11562436\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/KlaiHI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Lakos05,
author = {Charles Lakos},
editor = {Farn Wang},
title = {A Petri Net View of Mobility},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {174--188},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_14},
doi = {10.1007/11562436\_14},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Lakos05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Li05,
author = {Yongjian Li},
editor = {Farn Wang},
title = {The Inductive Approach to Strand Space},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {547--552},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_43},
doi = {10.1007/11562436\_43},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Li05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PradellaRM05,
author = {Matteo Pradella and
Matteo Rossi and
Dino Mandrioli},
editor = {Farn Wang},
title = {ArchiTRIO: {A} UML-Compatible Language for Architectural Description
and Its Formal Semantics},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {381--395},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_28},
doi = {10.1007/11562436\_28},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/PradellaRM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/QianNS05,
author = {Kairong Qian and
Albert Nymeyer and
Steven Susanto},
editor = {Farn Wang},
title = {Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic
Synthesis},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {275--289},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_21},
doi = {10.1007/11562436\_21},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/QianNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/QianX05,
author = {Junyan Qian and
Baowen Xu},
editor = {Farn Wang},
title = {Model Checking for Timed Statecharts},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {261--274},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_20},
doi = {10.1007/11562436\_20},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/QianX05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RothmaierK05,
author = {Gerrit Rothmaier and
Heiko Krumm},
editor = {Farn Wang},
title = {A Framework Based Approach for Formal Modeling and Analysis of Multi-level
Attacks in Computer Networks},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {247--260},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_19},
doi = {10.1007/11562436\_19},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/RothmaierK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SanchezSSGM05,
author = {C{\'{e}}sar S{\'{a}}nchez and
Henny B. Sipma and
Venkita Subramonian and
Christopher D. Gill and
Zohar Manna},
editor = {Farn Wang},
title = {Thread Allocation Protocols for Distributed Real-Time and Embedded
Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {159--173},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_13},
doi = {10.1007/11562436\_13},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/SanchezSSGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SanchezSSM05,
author = {C{\'{e}}sar S{\'{a}}nchez and
Matteo Slanina and
Henny B. Sipma and
Zohar Manna},
editor = {Farn Wang},
title = {Expressive Completeness of an Event-Pattern Reactive Programming Language},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {529--532},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_39},
doi = {10.1007/11562436\_39},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/SanchezSSM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SistlaZ05,
author = {A. Prasad Sistla and
Min Zhou},
editor = {Farn Wang},
title = {Combining Static Analysis and Model Checking for Systems Employing
Commutative Functions},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {68--82},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_7},
doi = {10.1007/11562436\_7},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/SistlaZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/StrubbeL05,
author = {Stefan Strubbe and
Rom Langerak},
editor = {Farn Wang},
title = {A Composition Operator for Systems with Active and Passive Actions},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {24--37},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_4},
doi = {10.1007/11562436\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/StrubbeL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Turner05,
author = {Kenneth J. Turner},
editor = {Farn Wang},
title = {Formalising Web Services},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {473--488},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_34},
doi = {10.1007/11562436\_34},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Turner05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Vanit-AnunchaiBK05,
author = {Somsak Vanit{-}Anunchai and
Jonathan Billington and
Tul Kongprakaiwoot},
editor = {Farn Wang},
title = {Discovering Chatter and Incompleteness in the Datagram Congestion
Control Protocol},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {143--158},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_12},
doi = {10.1007/11562436\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Vanit-AnunchaiBK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Wang05,
author = {Bow{-}Yaw Wang},
editor = {Farn Wang},
title = {Proving forall-{\(\mathrm{\mu}\)}-Calculus Properties with SAT-Based
Model Checking},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {113--127},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_10},
doi = {10.1007/11562436\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Wang05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WeddeWLPR05,
author = {Horst F. Wedde and
Arnim Wedig and
Anca M. Lazarescu and
Ralf Paaschen and
Elisei Rotaru},
editor = {Farn Wang},
title = {Incremental Modeling Under Large-Scale Distributed Interaction},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {542--546},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_42},
doi = {10.1007/11562436\_42},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/WeddeWLPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WiblingPP05,
author = {Oskar Wibling and
Joachim Parrow and
Arnold Neville Pears},
editor = {Farn Wang},
title = {Ad Hoc Routing Protocol Verification Through Broadcast Abstraction},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {128--142},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_11},
doi = {10.1007/11562436\_11},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/WiblingPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WuLT05,
author = {Yueh{-}Ting Wu and
Wanjiun Liao and
Cheng{-}Lin Tsao},
editor = {Farn Wang},
title = {Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {518--524},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_37},
doi = {10.1007/11562436\_37},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/WuLT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WuZ05,
author = {Peng Wu and
Dongmei Zhang},
editor = {Farn Wang},
title = {Compositional Modelling and Verification of IPv6 Mobility},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {553--556},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_44},
doi = {10.1007/11562436\_44},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/WuZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/YuY05,
author = {Chang Wu Yu and
Li{-}Hsing Yen},
editor = {Farn Wang},
title = {Computing Subgraph Probability of Random Geometric Graphs: Quantitative
Analyses of Wireless Ad Hoc Networks},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {458--472},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_33},
doi = {10.1007/11562436\_33},
timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/YuY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ZhanM05,
author = {Naijun Zhan and
Mila E. Majster{-}Cederbaum},
editor = {Farn Wang},
title = {Deriving Non-determinism from Conjunction and Disjunction},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {351--365},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_26},
doi = {10.1007/11562436\_26},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ZhanM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ZhangC05,
author = {Dezhuang Zhang and
Rance Cleaveland},
editor = {Farn Wang},
title = {Fast Generic Model-Checking for Data-Based Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {83--97},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_8},
doi = {10.1007/11562436\_8},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ZhangC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ZhangHJ05,
author = {Lijun Zhang and
Holger Hermanns and
David N. Jansen},
editor = {Farn Wang},
title = {Logic and Model Checking for Hidden Markov Models},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {98--112},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_9},
doi = {10.1007/11562436\_9},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ZhangHJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ZhangL05,
author = {Yujun Zhang and
Zhongcheng Li},
editor = {Farn Wang},
title = {Formal Description of Mobile IPv6 Protocol},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {538--541},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_41},
doi = {10.1007/11562436\_41},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ZhangL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2005,
editor = {Farn Wang},
title = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436},
doi = {10.1007/11562436},
isbn = {3-540-29189-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/2005.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-19 05:30 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:
