长垣产业园区科技文献服务平台

会议文集


文集名Formal Techniques for Distributed Objects, Components, and Systems
会议名44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024), Held as Part of the 19th International Federated Conference on Distributed Computing Techniques (DisCoTec 2024)
中译名《第四十四届IFIP WG 6.1国际分布式对象、组件与系统形式化技术会议》
机构International Federation for Information Processing (IFIP)
会议日期June 17-21, 2024
会议地点Groningen, The Netherlands
出版年2024
馆藏号352838


题名作者出版年
A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive BiasesMario S. Alvim; Artur Gaspar da Silva; Sophia Knight; Frank Valencia2024
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_ηNick Bezhanishvili; Vincenzo Ciancia; David Gabelaia; Mamuka Jibladze; Diego Latella; Mieke Massink; Erik P. de Vink2024
Noninterference Analysis of Reversible Probabilistic SystemsAndrea Esposito; Alessandro Aldini; Marco Bernardo2024
JustAct: Actions Universally Justified by Partial Dynamic PoliciesChristopher A. Esterhuyse; Tim Muller; L. Thomas van Binsbergen2024
Synthesis for Prefix First-Order Logic on Data WordsJulien Grange; Mathieu Lehaut2024
MAGπ!: The Role of Replication in Typing Failure-Prone CommunicationMatthew Alan Le Brun; Ornela Dardha2024
Leaf-First Zipper SemanticsSerguei Lenglet; Alan Schmitt2024
Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed ScenariosNeda Saeedloei; Feliks Kluzniak2024
Formally Verifying a Rollback-Prevent ion Protocol for TEEsWeili Wang; Jianyu Niu; Michael K. Reiter; Yinqian Zhang2024
Network Simulator-Centric Compositional TestingTom Rousseaux; Christophe Crochet; John Aoga; Axel Legay2024
Adaptable Configuration of Decentralized MonitorsEnnio Visconti; Ezio Bartocci; Ylies Falcone; Laura Nenzi2024
AuDaLa is Turing CompleteTom T. P. Franken; Thomas Neele2024
Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical SystemsRong Gu; Zahra Moezkarimi; Marjan Sirjani2024



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024