中国机械工程学会生产工程分会知识服务平台

会议文集


文集名Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
会议名12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024)
中译名《第十二届国际形式化方法、验证与确认的合理运用研讨会，卷2》
会议日期October 27-31, 2024
会议地点Crete, Greece
出版年2025
馆藏号356005


题名作者出版年
Rigorous Engineering of Collective Adaptive Systems Introduction to the 5th Track EditionMartin Wirsing; Rocco De Nicola; Stefan Jahnichen; Mirco Tribastone2025
Optimality-Preserving Reduction of Chemical Reaction NetworksKim G. Larsen; Daniele Toller; Mirco Tribastone; Max Tschaikowski; Andrea Vandin2025
Exploring Consensus Robustness in Swarms with Disruptive IndividualsJulia Klein; Alberto d'Onofrio; Tatjana Petrov2025
Towards Real-Time Aggregate ComputingGiorgio Audrito; Ferruccio Damiani; Gianluca Torta2025
Epistemic Ensembles in Semantic and Symbolic EnvironmentsRolf Hennicker; Alexander Knapp; Martin Wirsing2025
The Evolving Conscious Agent, IYifeng Chen; J. W. Sanders2025
Emergence in Multi-agent Systems: A Safety PerspectivePhilipp Altmann; Julian Schonberger; Steffen Illium; Maximilian Zorn; Fabian Ritz; Tom Haider; Simon Burton; Thomas Gabor2025
The EM-BDD Algorithm For Learning Hidden Markov ModelsEva Osk Gunnarsdottir; Anna Ingolfsdottir2025
Is Machine Learning Model Checking Privacy Preserving?Luca Bortolussi; Laura Nenzi; Gaia Saveri; Simone Silvetti2025
Matching Expectations in Ensembles: Connecting Verifiable Credentials and the Semantic WebJan Surmeli; Sergen Yilmaz2025
Once and for All: How to Compose Modules - The Composition CalculusPeter Fettke; Wolfgang Reisig2025
RailCabs and Birds in Julia: Context-Role Ensemble Engineering in PracticeUwe Assmann; Christian Gutsche2025
How Well Do LLMs Understand DEECo Ensemble-Based Component ArchitecturesMichal Topfer; Danylo Khalyeyev; Tomas Bures; Petr Hnetynka; Frantisek Plasil2025
Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim CodeKhalid Bourr; Francesco Tiezzi; Lorenzo Bettini2025
Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADLJaehun Lee; Kyungmin Bae; Peter Csaba Olveczky2025
An Approach for Extended Swarm Formation Flight with Drones: PROTEASE~(2.0)Oliver Kosak; Philipp Kastenmuller; Constantin Wanninger; Wolfgang Reif2025
Monitoring Local and Global Properties of Collective Adaptive SystemsNicola Del Giudice; Michele Loreti; Michela Quadrini; Aniqa Rehman2025
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order LogicMarco Maggesi; Cosimo Perini Brogi2025
Statistical Model Checking of Cooperative Autonomous Driving SystemsCinzia Bernardeschi; Giuseppe Lettieri; Federico Rossi2025
Attributed Point-to-Point Communication in R-CHECKYehia Abd Alrahman; Shaun Azzopardi; Luca Di Stefano; Nir Piterman2025
12



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